Das Paper mit dem Titel"The Existential Theory of the Reals with Summation Operators"wurde auf der Konferenz ISAAC 2024 angenommen. Die Autoren sind: Markus Bläser, Julian Dörfler (Universität Saarland), Maciej Liskiewicz und Benito van der Zander. Die Konferenz findet vom 08.12. bis 11.12.24 in Sydney, Australia statt.
Link zur KonferenzDas Paper mit dem Titel"On the Complexity of Identification in Linear Structural Causal Models"wurde auf der Konferenz NeurIPS2024 angenommen. Die Autoren sind: Markus Bläser, Julian Dörfler (Universität Saarland), Maciej Liskiewicz und Benito van der Zander. Die Konferenz fidnet vom 09.12. bis 15.12.24 in Vancouver, Kanada statt.
Link zur Konferenz22.06.2024
Der GCPC2024 wurde an der Universität zu Lübeck ausgetragen. Insgesamt haben drei Teams teilgenommen. Wir gratulieren dem Lübecker Team zum 12. Platz und zur Bronzemedaille. Ergebnisse
Das Paper mit dem Titel"Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs" wurde auf der Konferenz AAAI 2024 angenommen. Die Autoren sind: Maciej Liskiewicz, Marcel Wienöbst und Benito van der Zander. Die Konferenz findet vom 20.02.-27.02.2024 in Vancouver, Kanada statt.hier
09.08.2023, 16:00 Uhr, Seminarraum ITCS2021
Titel: "Some Exciting New Directions in Parameterized Complexity and Algorithms"
Zusammenfassung23 Studierende der Uni Lübeck haben am Programmierwettbewerb GCPC 2023 teilgenommen. Das beste Lübecker Team hat Platz 12 erreicht. Dafür gab es eine Bronzemedaille. Alle Informationen hier
Das Paper mit dem Titel"Combined Fault and Leakage Resilience: Composability, Constructions and Compiler" wurde auf der Konferenz CRYPTO 2023 angenommen. Die Autoren sind: Sebastian Berndt, Thomas Eisenbarth, Sebastian Faust, Marc Gourjon, Maximilian Orlt und Okan Seker. Die Konferenz findet vom 19. bis 24.August 2023 in Santa Barbara statt.hier
Sebastian Berndt ist Mitglied des Programm Comittee.
Das Paper mit dem Titel"Act natural!: Exchanging Private Messages on Public Blockchains" wurde auf der Konferenz Euro S&P 2023 angenommen. Die Autoren sind: Thore Tiemann, Sebastian Berndt, Thomas Eisenbart und Maciej Liskiewicz. Die Konferenz findet vom 3. bis 7. Juli 2023 in Delft statt. hier
Das Paper mit dem Titel"The Hardness of Reasoning about Probabilities and Causality" wurde auf der Konferenz IJCAI 2023 angenommen. Die Autoren sind: Benito van der Zander, Markus Bläser (Universität Saarland) und Maciej Liskiewicz. Die Konferenz findet vom 19. bis 25.August 2023 in Macao statt. hier
26.04.2023
Fotos und komplette Publikation
Fotos und komplette Publikation14.02.2023, 16:15 Uhr, Seminarraum ITCS2021
Titel des Vortrages ist:"Subversion-Resilient Authenticated Encryption without Random Oracles"
ZusammenfassungZehn Teams aus Lübeck, zwei Teams aus Rostock und ein Team aus Bremen haben am Wintercontest 2023 an der Uni Lübeck teilgenommen. Das beste Team der Lübecker Uni hat mit fünf gelösten Problemen Platz 25 erreicht. Ergebnisse
Das Paper mit dem Titel"Online Bin Covering with Limited Migration"wurde angenommen. Die Autoren sind: Sebastian Berndt, Leah Epstein, Klaus Jansen, Asaf Levin, Marten Maack und Lars Rohwedder. Veröffentlichung im Elsevier-Journal, Journal of Computer and Systems Sciences.
Das Paper mit dem Titel"Subversion-Resilient Authenticated Encryption without Random Oracles"wurde auf der Konferenz ACNS 2023 angenommen. Die Autoren sind: Pascal Bemmann, Sebastian Berndt, Denis Diemert, Tibor Jager und Thomas Eisenbarth. Die Konferenz findet vom 19.06. bis 22.06.2023 in Kyoto statt.Mehr Informationenhier
25.01.2023, 16 Uhr, Hörsaalgebäude AM 2
Titel des Vortrages ist:"Growth Mindset-Was im (Berufs)leben oft übersehen wird" M.Sc. Marcel Poelker, ehemaliger Student der Uni Lübeck und Gründer von Taledo in Berlin, berichtet über seine Erfahrungen, worauf es im Berufsleben ankommt und worauf in der Uni vorbereitet und worauf nicht. Veranstaltung und Zusammenfassung
Das Paper mit dem Titel"Practical Algorithms for Orientations of Partially Directed Graphical Models"wurde auf der Konferenz CLeaR 2023 angenommen. Die Autoren sind: Malte Luttermann, Marcel Wienöbst und Maciej Liskiewicz. Die Konferenz findet vom 11.04. bis 14.04.2023 in Tübingen statt.Mehr Informationenhier
28.01.2023, 11-16 Uhr, Uni Lübeck, Gebäude 64, PC-Pools 1-4
Der Programmierwettbewerb ist für interessierte Studenten mit Grundkenntnissen in Java, C++ oder Python. Teams von bis 3 Personen. Anmeldung bis zum 26.01.23 möglich. Anmeldung
13.12.2022, 16:15 Uhr, Seminarraum ITCS2021
Titel des Vortrages ist:"Towards Tight Random Probing Security"
Ein Team von Studenten der Uni Lübeck hat beim internationalen Programmierwettbewerb NWERC 2022 in Delft teilgenommen. Mit zwei gelösten Aufgaben belegte das Lübecker Team den 133. Platz bei insgesamt 140 teilnehmenden Teams.
Gewonnen hat ein Team der Universität Cambridge mit elf gelösten Problemen. Die vollständigen Ergebnisse sowie die Aufgabenstellungen sind abrufbar
Das Paper mit dem Titel"Efficient Enumeration of Markov Equivalent DAGs" wurde auf der AAAI 2023 angenommen. Die Autoren sind: Maciej Liskiewcz, Marcel Wienöbst, Max Bannach, und Malte Luttermann. Die Konferenz findet vom 07.02.-14.02.2023 in Washington D.C. statt. Mehr Informationenhier
Das Paper mit dem Titel"Learning Residual Alternating Automata" wurde akzeptiert. Die Autoren sind: Sebastian Berndt, Maciej Liskiewcz, Rüdiger Reischuk und Matthias Lutter. Veröffentlichung im Elsevir-Journal Information&Computation. Mehr Informationenhier
20.09.2022, 16:15 Uhr, Seminarraum ITCS2021
Titel des Vortrages ist:"Sublinear-Space Approximation Algorithms for Hitting Set"
Das Paper"A New Constructive Criterion for Markov Equivalence of MAGs" von Marcel Wienöbst, Max Bannach und Maciej Liskiewicz hat den best student paper award auf der
Marcel Wienöbst wurde als "Top Reviewer" für die 38. Conference on Uncertainty in Artificial Intelligence 2022 ausgewählt. Herzlichen Glückwunsch! Die Liste wurde hier öffentlich zugänglich gemacht.
Der Preis wird jährlich durch die studentischen Fachschaften für Mathematik und Informatik und für Angewandte Naturwissenschaften und Technik der Universität zu Lübeck, für die beste Lehre, vergeben.
42 Studierende - insgesamt 17 Teams an der Uni Lüebeck bei Programmierwettberwerb dabei
25.06.2022
Der German Collegiate Programming Contest (GCPC) findet dieses Jahr an der Uni Lübeck in Präsenz statt und wird unterstützt durch das Unternehmen Capgemini, dass ebenfalls vor Ort sein wird und sich vorstellt.
Sebastian Berndt ist Mitglied des Programm Comittee.
Sebastian Berndt ist Mitglied des Editorial Boards von Information Processing Letters
Am 01.06.2022 startet das Forschungsprojekt von Benito van der Zander. Das Projekt wurde bereits durch die Deutsche Forschungsgemeinschaft bewilligt. Das Projekt trägt den Titel: "Effiziente Identifizierung von kausalen Effekten". und betrifft die Untersuchung in Kausalität-ein Teilgebiet der Künstlichen Intelligenz.
Das Paper mit dem Titel "A New Constructive Criterion for Markov Equivalence of MAGs" wurde auf der UAI 2022 angenommen. Die Autoren sind: Marcel Wienöbst, Max Bannach und Maciej Liskiewcz
Die Konferenz findet vom 01.08.-05.08.2022 in Eindhoven statt. Mehr Informationenhier
10.05.2022, 16 Uhr, Seminarraum ITCS2021
Titel des Vortrages ist:"On the Fine-Grained Complexity of the Unbounded SubsetSum and the Frobenius Problem"
Dieses Jahr fand die Baltische Olympiade Informatik an der Uni Lübeck statt. Vom 28.04.-03.05.2022 kamen 67 Informatiktalente aus Europa darunter auch Teilnehmende aus Israel und Ukraine zusammen. Eine Silbermedaille und zwei Bronzemedaillen gewann das deutsche Team.
Das Paper mit dem Titel "Dynamic Kernels for Hitting Sets and Set Packing" wurde akzeptiert und wird im Springer-Journal Algorithmica veröffentlicht. Autoren sind: Till Tantau, Rüdiger Reischuk, Max Bannach und Zacharias Heinrich.
28.04.-02.05.2022
Die BOI 2022 findet dieses Jahr an der Uni Lübeck in Präsenz statt. Es werden 60 Schülerinnen und Schüler aus den Ostsee-Anrainerstaaten zum Programmierwettbewerb erwartet.
Mehr Informationenhier
13.06.-17.06.2022
Maciej Liskiewcz ist Mitglied des Programm Committee.
Maciej Liskiewcz wurde als "Top Reviewer" für die 25. International Conference Artificial Intelligence and Statistics AISTATS 2022 ausgewählt. Herzlichen Glückwunsch! Die Liste wurde hier öffentlich zugänglich gemacht.
Die Deutsche Forschungsgemeinschaft (DFG) hat gerade das Forschungsprojekt an Benito van der Zander bewilligt. Herzlichen Glückwunsch! Das Projekt zum Thema "Effiziente Identifizierung von kausalen Effekten" ist für 36 Monate geplant und betrifft die Untersuchungen in Kausalität - ein Teilgebiet der Künstlichen Intelligenz.
Am 29. Januar 2022 haben 15 Teams der Uni Lübeck am Wintercontest 2022 teilgenommen.
Dies ist ein bundesweiter Programmierwettbewerb für Studierende.
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. Weitere Infos:Link
29.01.2022
Am Samstag, 29.01.2022, findet von 11-16 Uhr ein Programmierwettbewerb aus mathematischen und algorithmischen Problemen statt. Studierende der Uni Lübeck können sich in Dreierteams unter dem folgenden Link anmelden. Bei Fragen bitte Marcel Wienöbst [email protected] kontaktieren.
24.11.2021
Herzlichen Glückwunsch für Dr. Max Bannach, er hat für seine Dissertation "Parallel Parameterized Algorithms" den Bernd-Fischer-Preis 2020, der Promotionspreis in der Sektion Informatik und Technik, erhalten. Laudatio gehalten von Till Tantau.
Preisverleihung Bild mit der Präsidentin Prof. Dr. med. Gabriele Gillessen-Kaesbach und Dr. Max BannachDrei studentische Teams aus Lübeck haben erfolgreich am internationalen Programmierwettberwerb NWERC teilgenommen und mit drei bzw. zwei gelösten Problemen die Plätze 84, 92 und 113 erreicht.Link Der nächste Contest wird am 29.01.2022 stattfinden. Bei Interesse kann man sich gerne per E-Mail bei Marcel Wienöbst [email protected] oder Prof. Liskiewcz [email protected] melden.
Ausgabe 21. November 2021, Volume 893
Titel: The Kangaroo Problem
Abstract19.10.2021, 16 Uhr, Seminarraum ITCS2021
Titel des Vortrages ist:"Computational Complexity of Deciding Provability in Linear Logic and Its Fragments"
02.10.-05.10.2021
Alle Schülerinnen und Schüler sind herzlich eingeladen!
27.09.-01.10.2021 Auf der 44. German Conference on Artificial Intelligence wurden zwei Lübecker Arbeiten angenommen: Das Full Paper "An Approach to Reduce the Number of Conditional Independence Tests in the PC Algorithm" von Marcel Wienöbst und Maciej Liskiewicz sowie der Extended Abstract "Recent Advances in Counting and Sampling Markov Equivalent DAGs von Marcel Wienöbst, Max Bannach und Maciej Liskiewicz. 12.09.-15.09.2021 Paper auf CHES 2021 akzeptiert Die Arbeit "A White-Box Masking Scheme Resisting Computational and Algebraic Attacks" von Maciej Liskiewicz mit Okan Seker und Thomas Eisenbarth (ITS) wurde auf der CHES 2021 Konferenz akzeptiert. 08.09.-10.09.2021
Veranstalter ist die Bergische Universität Wuppetal. Die Tagung findet als virtuelle Konferenz statt. 27.07.-29.07.2021 Maciej Liskiewicz, Marcel Wienöbst und Benito van der Zander sind Mitglieder des Program Committee.
Paper angenommen: Die Arbeit "Extendability of Causal Graphical Models: Algorithms and Computational Complexity" von Marcel Wienöbst, Max Bannach und Maciej Liskiewicz wurde auf der UAI 2021 als Best Student Paper angenommen. Das Paper mit dem Titel "Scalable k-anonymous Microaggregation: Exploiting the Tradeoff between Computational Complexity and Information Loss" von Rüdiger Reischuk und Florian Thaeter wurde bei der Konferenz SECRYPT 2021 eingereicht.
Weitere Informationen zur Konferenz: Link
30.06.2021 Maciej Liskiewicz und Ralf Möller (IFIS) sind die Gastherausgeber der Sonderausgabe
Wir gratulieren den neun Teams der Uni Lübeck, die erfolgreich am Programmierwettbewerb GCPC 2021 teilgenommen haben, zu ihren Platzierungen. Das beste Lübecker Team insert_vaLUE hat mit sechs gelösten Problemen den 21. Platz erreicht. ErgebnisseLink
22.06.-24.06.2021 Maciej Liskiewicz ist Mitglied des Program committee.
Link
Der Preis wird jährlich durch die studentischen Fachschaften für Mathematik und Informatik und für Angewandte Naturwissenschaften und Technik der Universität zu Lübeck, für die beste Lehre, vergeben. Die BOI 2021 fand vom 23.04. bis 26.04.2021 online statt. An zwei Tagen haben sich Schülerinnen und Schüler aus den Ostsee-Anrainerstaaten und den Gastländern Israel und Ukraine in einem spannenden Programmierwettbewerb gemessen.
Gesamtgewinner ist Almog Wald aus Israel, dem wir herzlich gratulieren, ebenso wie dem deutschen Team, das zwei Bronzemedaillen erringen konnte. 28.03.2021 Drei Teams der Uni Lübeck haben erfolgreich am Programmierwettbewerb NWERC 2020 teilgenommen und die Plätze 71, 74 und 102 von insgesamt 120 Teams erreicht. 21.03.-26.03.2021 Das schließt sich eigentlich aus, denn Dagstuhl-Seminare leben vom Miteinander der Teilnehmenden in der Abgeschiedenheit eines Schlosses.
Dieses Seminar fand trotzdem online statt-mit Erfolg, dank kurzer, intensiver täglicher Arbeitsblöcke und einem gut besuchten "Social Programme", das einige der festen Bestandteile
der Vor-Ort-Seminare wie dem trationellen Spaziergang oder den Wein- und Käseabend in der Online-Welt übertragen hat. 16.03.2021, 15 Uhr Titel des Vortrages ist: Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma
Beitreten per Cisco Webex Meeting
Link
Das Paper, dass auf der 12thInnovations in Theoretical Computer Science Conference (ITCS 2021) erschienen ist, ist verfügbar unter, siehe Link.
Link
Die Arbeit "Work-sensitive Dynamic Complexity of Formal Languages", von Till Tantau, Jonas Schmidt, Thomas Schwentick, Nils Vortmeier und Thomas Zeume wurde über die FoSSaCS2021 eingereicht.
Link
Die Sektion Informatik/Technik der Universität zu Lübeck hat die Dissertation von Benito van der Zander "Algorithmics of Identifying Causal Effects in Graphical Models" für den GI-Dissertationspreis 2020 vorgeschlagen.
Link
04.02.2021 Die Arbeit von Marcel Wienöbst, Max Bannach und Maciej Liskiewicz "Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs" wurde als Distinguished Paper an der renommierten Konferenz AAAI 2021 ausgezeichnet.
Link
02.02.-09.02.2021 Maciej Liskiewicz und Benito van der Zander sind Mitglieder des Program Committee.
Link
Paper angenommen: Die Arbeit "Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs"
von Marcel Wienöbst, Max Bannach und Maciej Liskiewicz wird am 02.02.2021 auf der AAAI 2021 Konferenz vorgestellt.
Link
44. KI 2021-German Conference on Artificial Intelligence
CHES 2021: the annual Conference on Cryptographic Hardware and Embedded Systems
INFOS 2021 - 19. Fachtagung des Fachausschusses Informatische Bildung in Schulen der Gesellschaft für Informatik
37. UAI 2021 Konferenz über Unsicherheit in der Künstlichen Intelligenz
Paper bei der Konferenz SECRYPT 2021 eingereicht
Deadline für Journal "Algorithms"
36. Internationale Konferenz für ICT Systems Security and Privacy Protection-IFIP SEC 2021
Prof. Dr. Till Tantau erhält erneut den Lehrpreis "Heliprof 2021"
Baltische Olympiade der Informatik 2021 beendet
NWERC 2020 Virtueller Programmierwettberwerb an der Uni Lübeck
Erfolgreiches Dagstuhl Seminar und online
Gastvortrag von Prof. Stefan Dziembowski, Institut für Informatik, Universität Warschau, Polen
Neue Version FoSSaCS2021-Paper eingereicht
Für Dissertationspreis 2020 vorgeschlagen
Auszeichnung für Paper erhalten
35. AAAI 2021 Konferenz für Künstliche Intelligenz
Willkommen beim Institut für Theoretische Informatik an der Universität zu Lübeck.
An unserem Institut arbeiten die Professoren Till Tantau, Kim-Manuel Klein, Maciej Liskiewicz und Rüdiger Reischuk wissenschaftliche Mitarbeiter, ein Techniker, Studenten – und wenn Sie uns besuchen wollen, ist Ihre Ansprechpartnerin unsere Sekretärin Elisa Merkel-Weißer.
Wir wollen Probleme schneller und sparsamer lösen durch intelligente Software; nicht durch immer schnellere Hardware. Unsere Schwerpunkte sind Algorithmik und Komplexität, sowie deren Anwendung in Kryptographie, Steganographie, Bioinformatik oder Quanteninformatik. Studenten haben aktiv Anteil an der Forschung im Rahmen von Bachelor-, Master- und Diplomarbeiten.
Forschungsprojekte • Veröffentlichungen
Wir führen jedes Semester etwa zehn Lehrveranstaltungen durch, sowohl im Bachelor mit einführenden und im Master mit fortgeschrittenen Kursen. Jedes Semester suchen wir nach Studenten, die gerne selber als Tutor lehren möchten.