50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Home


News

    Award to Dr. Max Bannach with the Bernd-Fischer-Price

    24.11.2021

    Gratulation for Dr. Max Bannach, he has received for his dissertation "Parallel Parameterized Algorithms" the Bernd-Fischer-award" 2020, the promotions-award at the section Informatics and technical. Laudation beld by Till Tantau. award ceremony

    Programming Contest with Students from Uni Lübeck

    Three teams of students from Uni Lübeck have successfully taken part at the international programming contest NWERC and reached the places 84, 92 and 113 having solved three and two problems, respectively. Link The next contest will take place at the 29th of January. Anyone interested is invited to write an E-Mail to Marcel Wienöbst wienoebst@tcs.uni-luebeck.de or Prof. Liskiewcz liskiewi@tcs.uni-luebeck.de

    Article from Prof. Dr. Rüdiger Reischuk in the Journal Theoretical Computer Science

    issue 21th November 2021, Volume 893

    Title: The Kangaroo Problem

    Abstract

    Guest lecture by Florian Chudigiewitsch, M.Sc., degree at the Leibnitz University Hannover

    On October 19,2021 at 4 p.m.,Seminar room ITCS2021

    The topic is:"Computational Complexity of Deciding Provability in Linear Logic and Its Fragments"

    Tech.Festival

    02.10.-05.10.2021

    For all pupils! The festival offers in an extensive with workshops and insights into new technologies in computer science. It offers the opportunity for people to try out and participate.

    registration and program

    44th KI 2021-German Conference on Artificial Intelligence

    27.09.-01.10.2021

    Link

    Two papers from Lübeck were accepted at the 44th German Conference on Artificial Intelligence: The full paper "An Approach to Reduce the Number of Conditional Independence Tests in the PC Algorithm" by Marcel Wienöbst and Maciej Liskiewicz as well as the extended abstract "Recent Advances in Counting and Sampling Markov Equivalent DAGs by Marcel Wienöbst, Max Bannach and Maciej Liskiewicz.

    CHES 2021: the annual Conference on Cryptographic Hardware and Embedded Systems

    12.09.-15.09.2021

    Link

    Paper on CHES 2021 accepted

    The paper "A White-Box Masking Scheme Resisiting Computational and Algebraic Attacks" by Maciej Liskiewicz joint with Okan Seker and Thomas Eisenbarth (ITS) has been accepted for CHES 2021 conference.

    Link

    INFOS 2021 - 19th Symposium of the Expert Committee on Computer Education in Schools of the German Informatics Society

    08.09.-10.09.2021

    Organizer is the Bergische University Wuppertal. The meeting will take place as a virtuel conference.

    To the Website

    37th Conference on Uncertainty in Artificial Intelligence

    27.07.-29.07.2021

    Maciej Liskiewicz, Marcel Wienöbst and Benito van der Zander are members of the program committee.

    Paper accepted: The paper "Extendability of Causal Graphical Models: Algorithms and Computational Complexity" by Marcel Wienöbst, Max Bannach and Maciej Liskiewicz has been accepted for presentation at the UAI 2021 conference as Best Student Paper.

    Link

    Paper submitted to the conference SECRYPT 2021

    06.07.-08.07.2021

    More informations to the conference Link

    Deadline for submissions Journal "Algorithms"

    30.06.2021

    Maciej Liskiewicz and Ralf Möller (IFIS) are the guest editors of the special issue

    Link

    Great turnout at Uni Lübeck

    We congratulate the nine teams from Uni Lübeck which successfully participated at the GCPC 2021 programming contest.

    The best team from Lübeck reached the 21. place with six solved problems.

    resultsLink

    36th International Conference on ICT Systems Security and Privacy Protection-IFIP SEC 2021

    22.06.-24.06.2021

    Maciej Liskiewicz is member of the program committee. Link

    Prof. Dr. Till Tantau again receives the teaching award "Heliprof 2021"

    The Pize is awarded annually by the student councils for Mathematics and Computer Science and for Applied Natural Sciences and Technology at the University of Lübeck, for the best teaching.

    Baltic Olympiad in Informatics 2021 finished

    The BOI 2021 was held from April 23th, to April,26th. On two days, pupils from countries around the balatic sea and from guest countries Israel and Ukraine participated in a tough programming contest. The overall winner ist Almog Wald from Israel-we congratulate both him as well as the whole German team, which was awarded two bronze medals.

    Website BOI 2021 results BOI 2021

    NWERC 2020 Virtual Programming Contest at Uni Lübeck

    28.03.2021

    Three Teams from Uni Lübeck have successfully participated in the NWERC 2020 programming contest. They reached places 71, 74 and 102 teams in total.

    Link

    Successful Dagstuhl Seminar and online

    21.03.-26.03.2021

    This is normally a contradiction since Dagstuhl seminars are all about people meeting in a remote location to do research together without distractions.

    This seminar was held online nevertheless-and it was quite successful. Keys to this were shot, intensive working periods followed by a social programme that transferred some

    of the cherished traditions of Dagstuhl seminars- like the hike or the wine and cheese party-to the online world.

    Guest lecture by Prof. Stefan Dziembowski, Insitute of Informatics, University of Warsaw, Poland

    On March 16,2021 at 3 p.m.

    The topic is: Lower Bounds for Off-Chain Protocol: Exploring the Limits of Plasma

    Join Cisco Webex meeting Link

    The paper that appeared at the 12th Innovations in Theoretical Computer Science Conference (ITCS 2021) is available at, see Link. Link

    A new version of FoSSaCS2021-Paper submitted

    The Paper "Work-sensitive Dynamic Complexity of Formal Languages", to Till Tantau, Jonas Schmidt, Thomas Schwentick, Nils Vortmeier and Thomas Zeume was submitted via FoSSaCS2021. Link

    Nominated for GI-Dissertation Award

    The section Informatics/Technology at the University of Lübeck nominated the PhD-Thesis of Benito van der Zander titled "Algorithmics of Identifying Causal Effects in Graphical Models" for the GI-Dissertation Award 2020. Link

    Award for Paper received

    04.02.2021

    The paper of Marcel Wienöbst, Max Bannach and Maciej Liskiewcz "Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs" was awarded as Distinguished Paper by AAAI 2021 conferences that is widely considered as one of the most prestigious conferences in the field Machine Learning & Artificial Intelligence. Link

    35th AAAI Conference on Artificial Intelligence

    02.02.-09.02.2021

    Maciej Liskiewicz and Benito van der Zander are members of the program committee. Link

    Paper accepted: The Paper "Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs"

    to Marcel Wienöbst, Max Bannach and Maciej Liskiewicz has been accepted for presentation at the Conference on 2nd February. Link

Welcome to the institute of theoretical computer science at the University of Lübeck.

Institute Staff Group photo of staff

The staff of our institute consists of three professors, Rüdiger Reischuk, Till Tantau and Maciej Liskiewicz , research assistants, a technician, students – and when you visit us, you will receive a warm welcome by our secretary Elisa Merkel-Weißer.

Staff Open positions

Research at the Institute

We are interested in faster and more economic ways of solving problem using intelligent software rather than ever-more-powerful hardware. Our focus is on algorithms and complexity as well as applications in cryptology, steganography, bioinforamtics or quantum informatics. Students participate actively in our research as they write their bachelor, master, and diploma theses.

Research projects Publications

Teaching at the Insitute

Each semester around ten courses are taught by the institute staff, both introductory courses of the bachelor curriculum as well as advanced master courses. Each semester we offer positions to students who like to work as tutors.

Courses Theses