50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Home


News

    The paper with the title "The Existential Theory of the Reals with Summation Operators"was accepted at the conference ISAAC 2024. The authors are Markus Bläser, Julian Dörfler (Universität Saarland), Maciej Liskiewicz und Benito van der Zander. The conference will take place from 8th to 11th of December 2024 in Sydney, Australia.

    Link Conference

    The paper with the title ""On the Complexity of Identification in Linear Structural Causal Models"was accepted at the conference NeurIPS2024. The authors are Markus Bläser, Julian Dörfler (Universität Saarland), Maciej Liskiewicz und Benito van der Zander. The conference will take place from 9th to 15th of December 2024 in Vancouver, Kanada.

    Link Conference

    German Collegiate Programming Contest-GCPC2024 successfully completed

    22.06.2024

    The GCPC 2024 was held at the University of Lübeck. A total of 3 Teams took part. We congratulate the Lübeck Team on their 12th place and the bronze medal.

    30 years of computer science

    Abstract and pictures

    Paper accepted

    The paper with the title ""Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs" was accepted at the conference AAAI 2024 . The authors are: Maciej Liskiewicz, Marcel Wienöbst und Benito van der Zander". The conference will take place from 22th to 27th February, Vancouver, Canada.More informationshere

    Guest lecture by Prof. Mike Fellows, University of Bergen

    09.08.2023, 16:00 p.m., Seminarroom ITCS2021

    Title:"Some Exciting New Directions in Parameterized Complexity and Algorithms"

    Abstract

    Programming contest 2023 successful finished

    23 students of the University Lübeck have participated in the programming contest GCPC 2023 at the Uni Luebeck. The best team from Lübeck had reached place 12. For this we received a bronze medal. All infomrations here

    Paper accepted

    The paper with the title "Combined Fault and Leakage Resilience: Composability, Constructions and Compiler"was accepted at the conference CRYPTO 2023. The authors are Sebastian Berndt, Thomas Eisenbarth, Sebastian Faust, Marc Gourjon, Maximilian Orlt und Okan Seker. The conference will take place from 19th to 24th August 2023 in Santa Barbara.More informationshere

    Conference on Cryptographic Hardware and Embedded Systems-CHES 2023/2024

    Sebastian Berndt is member of the program committee.

    CHES 2022/2023andCHES 2024

    Paper accepted

    The paper with the title "Act natural!: Exchanging Private Messages on Public Blockchains"was accepted at the conference Konferenz Euro S&P 2023. The authors are Thore Tiemann, Sebastian Berndt, Thomas Eisenbart and Maciej Liskiewicz. The conference will take place from 3th to 7th July 2023.More inforations here

    Paper accepted

    The paper with the title "The Hardness of Reasoning about Probabilities and Causality"was accepted at the conference IJCAI 2023. The authors are Benito van der Zander, Markus Bläser (Saarland University) and Maciej Liskiewicz. The conference will take place from 19th to 25th August 2023.More inforations here

    Congratulations to Marcel Wienöbst for the award the KI-Newcomer 2023 in the field Informatics.

    26.04.2023

    Photos and complete publication

    Fotos und komplette Publikation

    Guest lecture by Pascal Bemmann, Universität Wuppertal

    On 14th February 2023 at 16:15 p.m.,Seminar room ITCS2021

    The title is: "Subversion-Resilient Authenticated Encryption without Random Oracles"

    Abstract

    Wintercontest 2023 successful finished

    Ten teams from Lübeck, two teams from Rostock and one team from Bremen have participated in the wintercontest 2023 at the Uni Luebeck. The best team at the Uni Lübeck had with five solved problems reached place 25. results

    Paper accepted

    The paper with the title"Online Bin Covering with Limited Migration" was accepted. The authors are: Sebastian Berndt, Leah Epstein, Klaus Jansen, Asaf Levin, Marten Maack und Lars Rohwedder. Publication in the Elsevier-Journal, Journal of Computer and Systems Sciences.

    Abstract

    Paper accepted

    The paper with the title"Subversion-Resilient Authenticated Encryption without Random Oracles" was accepted at the conference ACNS 2023. The authors are: Pascal Bemmann, Sebastian Berndt, Denis Diemert, Tibor Jager und Thomas Eisenbarth. The conference will take place from 19th to 22th June 2023 in Kyoto.More informationshere

    A student kolloquium-Lecture from M.Sc.Marcel Poelker, Taledo, Berlin

    25th January 2023, at 4 p.m., lecture hall, room AM 2

    The title is:"Growth Mindset-What is often overlooked in (professional)life"M.Sc. Marcel Poelker, former student of the Uni Lübeck and Founder from Taledo in Berlin, reports on his ecperiences what is important in the professional life and what the University prepares for you and what does it not prepare for you. Event and Abstract

    Paper accepted

    The paper with the title"Practical Algorithms for Orientations of Partially Directed Graphical Models" was accepted at the conference CLeaR 2023. The authors are: Malte Luttermann, Marcel Wienöbst and Maciej Liskiewicz. The conference will take place from 11th to 14th April 2023 in Tübingen.More informationshere

    Wintercontest 2023

    On 28th January 2023, at 11 a.m. to 16 p.m., Uni Lübeck, builing 64, PC-Pools 1-4

    The programmingcontest is for students with basics in Java, C++ or Python. Teams with max. 3 person. Registration possible until 26th January 2023. Registration

    Guest lecture by Maximilian Ort, M.Sc., TU Darmstadt

    On 13th December2022 at 16:15 p.m.,Seminar room ITCS2021

    The title is: "Towards Tight Random Probing Security"

    Lübeck Students at the NWERC 2022

    A team of students from University Lübeck participated in the international programming competition NWERC 2022 in Delft. With two solved problems the team from Lübeck reached the 113th place out of a total of 140 participating teams. The winner was a team from the University of Cambridge with 11 solved problems. The complete results as well as the problems are available at here

    Paper accepted

    The paper with the title "Efficient Enumeration of Markov Equivalent DAGs" was accepted at AAAI 2023. The authors are: Maciej Liskiewcz, Marcel Wienöbst, Max Bannach und Malte Luttermann. The conference will take place from 07.02.-14.02.2023 in Washington D.C.. More informationshere

    Paper accepted

    The paper with the title "Learning Residual Alternating Automata" was accepted. The authors are: Sebastian Berndt, Maciej Liskiewcz, Rüdiger Reischuk und Matthias Lutter. Publication in the Elsevir-Journal Information&Computaion More informationshere

    Guest lecture by Arindam Biswas, Ph.D., TU Ilmenau

    On 20th September 2022 at 16:15 p.m.,Seminar room ITCS2021

    The title is: "Sublinear-Space Approximation Algorithms for Hitting Set"

    Best student paper award received

    gewonnen. Der Preis wird mit 600$ dotiert.The Paper"A New Constructive Criterion for Markov Equivalence of MAGs" from Marcel Wienöbst, Max Bannach and Maciej Liskiewicz has won the best student paper award of the UAI 2022. The prize is endowed with 600$.

    link

    Top Reviewer for UAI 2022

    Marcel Wienöbst has been selected as a "Top Reviewer" for 38th Conference on Uncertainty in Artificial Intelligence 2022. Congratulations! The List has been made publicly available here

    Dr. Sebastian Berndt receives the teaching award "Heliprof 2022"

    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.

    pictures and Informations

    German Collegiate Programming Contest-GCPC2022 successful finished

    42 students - total 17 teams at the Uni Lübeck in the programming contest

    all informations here

    German Collegiate Programming Contest-GCPC2022

    25.06.2022

    The German Collegiate Programming Contest (GCPC), will take place this year at the university Lübeck in person and is supported by the company Capgemini that will also be on site and present itself.

    Registration

    Conference on Cryptographic Hardware and Embedded Systems-CHES 2022/2023

    Sebastian Berndt is member of the program committee.

    Link

    Information Processing Letters

    Sebastian Berndt is member of the Editorial Boards from Information Processing Letters

    Link

    Start of the research project

    On 01.06.2022 starts the research project of Benito van der Zander. The project has already been funded by the german research. The project is titled: "Efficient Identification of causal effects" and concerns investigations in causality-a subfield of Artificial Intelligence.

    Paper accepted

    The paper with the title "A New Constructive Criterion for Markov Equivalence of MAGs" was accepted at UAI 2022. The authors are: Marcel Wienöbst, Max Bannach and Maciej Liskiewcz.

    Die Konferenz findet vom 01.08.-05.08.2022 in Eindhoven statt.The conference will take place from 01.08.-05.08.2022 in Einhoven. More informationshere

    Guest lecture by Dr. Kim-Manuel Klein, representing professor at the University Bremen

    On 10th May 2022 at 4 p.m.,Seminar room ITCS2021

    The title is: "On the Fine-Grained Complexity of the Unbounded SubsetSum and the Frobenius Problem"

    Baltic Olympiad in Informatiks 2022 finished -Silver for Germany

    This year the baltic olympics in computer science took place at the university of Lübeck. 67 computer science talents from europe including participants from israel and ukraine came together from 28.04.-03.05.2022. The german team won one silver medal and two bronze medals.

    All Info´s here

    Paper accepted

    The paper with the title "Dynamic Kernels for Hitting Sets and Set Packing" has been accepted and will be published in the Spinger-Journal Alogrithmica. Authors are: Till Tantau, Rüdiger Reischuk, Max Bannach and Zachrias Heinrich.

    Baltic Olympiad in Informatics 2022

    28.04.-02.05.2022

    The BOI 2022 will take place this year at the Uni Lübeck in prensence. 60 pupils from countries around the baltic sea are expected.

    More informationshere

    37th International Conference on ICT Systems Security and Privacy Protection - IFIP SEC 2022

    13-17 June 2022

    Maciej Liskiewcz is member of the program committee.

    Link

    Top Reviewer for AISTATS 2022

    Maciej Liskiewcz has been selected as a "Top Reviewer" for 25th International Conference on International Conference Artificial Intelligence and Statistics AISTATS 2022. Congratulations! The List has been made publicly available here

    Research Foundation from DFG approved

    The German Research Foundation (DFG) has just approved the research project on Benito van der Zander. Congratulations! The project on "Efficient identification of causal effects" is planned for 36 months and concerns investigations in causality - a subfield of Artificial Intelligence.

    A successful wintercontest 2022

    On january 29th 15 teams of the university of Lübeck participated in the wintercontest 2022 This is a nationwide programming competition for students. The first team from Lübeck archieved the 19th place with 7 solved places. We congratulate all teams on their placements.results All interested are invited to the regular training sessions offfered by our institute.Contact: Marcel Wienöbst

    Paper accepted on AISTATS 2022

    28.03.-30.03.2022

    Das Paper mit dem Titel "Identification in Tree-shaped Linear Structural Causal Modles" wurde auf der Konferenz AISTATS 2022 angenommen. Autoren sind: Benito van der Zander, Marcel Wienöbst, Markus Bläser und Maciej Liskiewicz. The paper with the title "Identification in Tree-shaped Linear Structural Causal Modles" has been accepted on the conference AISTATS 2022. Authors are: Benito van der Zander, Marcel Wienöbst, Markus Bläser and Maciej Liskiwicz. more informations:Link

    Registration for the Wintercontest 2022!

    29.01.2022

    On Saturday, 29th January 2022, a programming contest consisting of mathematical and algorithmical challenges will be held from 11:00 to 16:00. Students from Uni Lübeck can register in teams of three under the following Link. In case of questions please contact Marcel Wienöbst [email protected] .

    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 picture with the president Prof. Dr. med. Gabriele Gillessen-Kaesbach and Dr. Max Bannach

    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 [email protected] or Prof. Liskiewcz [email protected]

    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, Till Tantau,Kim-Manuel Klein, Maciej Liskiewicz and Rüdiger Reischuk 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