International Center for Computational Logic - Letzte Änderungen [de]

Theoretische Informatik und Logik (SS2026)

Stephan Mennicke — Tue, 09 Jun 2026 10:06:04 GMT

new schedule

← Nächstältere Version		Version vom 9. Juni 2026, 10:06 Uhr
Zeile 329:		Zeile 329:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=17. ~~Vorlesung~~		\|Title=17. Funktionen und Normalformen
	\|Room=HÜL/S386		\|Room=HÜL/S386
	\|Date=2026-06-22		\|Date=2026-06-22
Zeile 336:		Zeile 336:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=18. ~~Vorlesung~~		\|Title=18. Unifikation
	\|Room=HÜL/S386		\|Room=HÜL/S386
	\|Date=2026-06-29		\|Date=2026-06-29
Zeile 343:		Zeile 343:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=19. ~~Vorlesung~~		\|Title=19. Resolution (1)
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-07-02		\|Date=2026-07-02
Zeile 350:		Zeile 350:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=20. ~~Vorlesung~~		\|Title=20. Resolution (2)
	\|Room=HÜL/S386		\|Room=HÜL/S386
	\|Date=2026-07-06		\|Date=2026-07-06
Zeile 357:		Zeile 357:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=21. ~~Vorlesung~~		\|Title=21. Endliche Modelle und Datenbanken
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-07-09		\|Date=2026-07-09
Zeile 364:		Zeile 364:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=22. ~~Vorlesung~~		\|Title=22. Datalog
	\|Room=HÜL/S386		\|Room=HÜL/S386
	\|Date=2026-07-13		\|Date=2026-07-13
Zeile 371:		Zeile 371:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=23. ~~Vorlesung~~		\|Title=23. Modallogiken
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-07-16		\|Date=2026-07-16
Zeile 378:		Zeile 378:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=24. ~~Vorlesung~~		\|Title=24. Gödel & Turing
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-07-20		\|Date=2026-07-20
Zeile 384:		Zeile 384:
	}}		}}
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=~~Konsultation~~		\|Lehrveranstaltungstype=Vorlesung
	\|Title=~~Probeklausur~~		\|Title=Zusammenfassung und Ausblick
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-07-23		\|Date=2026-07-23

Algorithmic Game Theory (SS2026)

Hannes Straß — Tue, 09 Jun 2026 06:35:55 GMT

@@ Zeile 199: / Zeile 199: @@
 |DS=DS3
 |Download=AGT2026-08.pdf
 }}

Datei:AGT2026-Problems-07.pdf

Hannes Straß — Tue, 09 Jun 2026 06:35:40 GMT

Hannes Straß lud Datei:AGT2026-Problems-07.pdf hoch

Neue Seite

Datei:AGT2026-08.pdf

Hannes Straß — Mon, 08 Jun 2026 08:50:37 GMT

Hannes Straß lud eine neue Version von Datei:AGT2026-08.pdf hoch

Neue Seite

Theoretische Informatik und Logik (SS2026)

Markus Krötzsch — Mon, 08 Jun 2026 08:41:24 GMT

← Nächstältere Version		Version vom 8. Juni 2026, 08:41 Uhr
Zeile 304:		Zeile 304:
	\|Date=2026-06-08		\|Date=2026-06-08
	\|DS=DS3		\|DS=DS3
			\|Download=TheoLog2026-Vorlesung-13-overlay.pdf, TheoLog2026-Vorlesung-13-print.pdf
	}}		}}
	{{Vorlesung Zeiten		{{Vorlesung Zeiten

Datei:TheoLog2026-Vorlesung-13-print.pdf

Markus Krötzsch — Mon, 08 Jun 2026 08:41:16 GMT

Markus Krötzsch lud Datei:TheoLog2026-Vorlesung-13-print.pdf hoch

Neue Seite

Datei:TheoLog2026-Vorlesung-13-overlay.pdf

Markus Krötzsch — Mon, 08 Jun 2026 08:41:08 GMT

Markus Krötzsch lud Datei:TheoLog2026-Vorlesung-13-overlay.pdf hoch

Neue Seite

Proof Theory and Sequent Systems (SS2026)

Tim Lyon — Fri, 05 Jun 2026 12:39:45 GMT

← Nächstältere Version		Version vom 5. Juni 2026, 12:39 Uhr
Zeile 62:		Zeile 62:
	\|Room=APB E001		\|Room=APB E001
	\|Date=2026-06-05		\|Date=2026-06-05
			\|DS=DS3
			}}
			{{Vorlesung Zeiten
			\|Lehrveranstaltungstype=Vorlesung
			\|Title=Lecture 6
			\|Room=APB E001
			\|Date=2026-06-12
	\|DS=DS3		\|DS=DS3
	}}		}}

Algorithmic Game Theory (SS2026)

Hannes Straß — Fri, 05 Jun 2026 07:34:07 GMT

@@ Zeile 191: / Zeile 191: @@
 |DS=terminlos
 |Download=AGT2026-Problems-06.pdf
 }}

Datei:AGT2026-08.pdf

Hannes Straß — Fri, 05 Jun 2026 07:33:08 GMT

Hannes Straß lud Datei:AGT2026-08.pdf hoch

Neue Seite

Theoretische Informatik und Logik (SS2026)

Markus Krötzsch — Thu, 04 Jun 2026 12:54:09 GMT

← Nächstältere Version		Version vom 4. Juni 2026, 12:54 Uhr
Zeile 292:		Zeile 292:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=12. ~~Vorlesung~~		\|Title=12. PSpace-Vollständigkeit
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-06-04		\|Date=2026-06-04
	\|DS=DS4		\|DS=DS4
			\|Download=TheoLog2026-Vorlesung-12-overlay.pdf, TheoLog2026-Vorlesung-12-print.pdf
	}}		}}
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=13. ~~Vorlesung~~		\|Title=13. Prädikatenlogik: Syntax und Semantik
	\|Room=HÜL/S386		\|Room=HÜL/S386
	\|Date=2026-06-08		\|Date=2026-06-08
Zeile 306:		Zeile 307:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=14. ~~Vorlesung~~		\|Title=14. Modelltheorie und logisches Schließen
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-06-11		\|Date=2026-06-11
Zeile 313:		Zeile 314:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=15. ~~Vorlesung~~		\|Title=15. Logisches Schließen
	\|Room=HÜL/S386		\|Room=HÜL/S386
	\|Date=2026-06-15		\|Date=2026-06-15
Zeile 320:		Zeile 321:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=16. ~~Vorlesung~~		\|Title=16. Logisches Schließen (2)
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-06-18		\|Date=2026-06-18

Datei:TheoLog2026-Vorlesung-12-print.pdf

Markus Krötzsch — Thu, 04 Jun 2026 12:53:17 GMT

Markus Krötzsch lud Datei:TheoLog2026-Vorlesung-12-print.pdf hoch

Neue Seite

Datei:TheoLog2026-Vorlesung-12-overlay.pdf

Markus Krötzsch — Thu, 04 Jun 2026 12:53:10 GMT

Markus Krötzsch lud Datei:TheoLog2026-Vorlesung-12-overlay.pdf hoch

Neue Seite

Article3123

Tim Lyon — Thu, 04 Jun 2026 10:09:36 GMT

Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Piotr Ostropolski-Nalewaja }} {{Article |Referiert=1 |Title=Foundations for an Abstract Proof Theory in the Context of Horn Rules |To appear=1 |Year=2026 |Month=Juni |Journal=ACM Transactions on Computational Logic }} {{Publikation Details |Abstract=We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a numbe…“

Neue Seite

{{Publikation Erster Autor
|ErsterAutorVorname=Tim
|ErsterAutorNachname=Lyon
|FurtherAuthors=Piotr Ostropolski-Nalewaja
}}
{{Article
|Referiert=1
|Title=Foundations for an Abstract Proof Theory in the Context of Horn Rules
|To appear=1
|Year=2026
|Month=Juni
|Journal=ACM Transactions on Computational Logic
}}
{{Publikation Details
|Abstract=We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a number of proof-theoretic formalisms and concrete proof systems that appear in the literature. In particular, we introduce a generalized form of sequents, dubbed "g-sequents," which are taken to be binary graphs of typical, Gentzen-style sequents. We then define a variety of inference rule types as sets of operations that act over such objects, and define abstract (sequent) calculi as pairs consisting of a set of g-sequents together with a finite set of operations. Our approach permits an analysis of how certain inference rule types interact in a general setting, demonstrating under what conditions rules of a specific type can be permuted with or simulated by others, and being applicable to any multisequent proof system that fits within our framework. We then leverage our permutation and simulation results to establish generic calculus and proof transformation algorithms, which show that every abstract calculus can be effectively transformed into a lattice of polynomially equivalent abstract calculi. We determine the complexity of computing this lattice and compute the relative sizes of proofs and sequents within distinct calculi of a lattice. We recognize that top and bottom elements in lattices correspond to many known deep-inference nested sequent systems and labeled sequent systems (respectively) for logics characterized by Horn properties.
|Projekt=DeciGUT
|Forschungsgruppe=Computational Logic
}}

TBA14

Meghna Bhadra — Wed, 03 Jun 2026 11:56:48 GMT

Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-08-20 11:00:00 |Ende=2026-08-20 12:00:00 |Raum=APB-2026 |Vortragender=Stefan Borgwardt |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

Neue Seite

{{Veranstaltung
|Titel DE=TBA
|Titel EN=TBA
|Beschreibung DE=TBA
|Beschreibung EN=TBA
|Veranstaltungsart=Vortrag
|Start=2026-08-20 11:00:00
|Ende=2026-08-20 12:00:00
|Raum=APB-2026
|Vortragender=Stefan Borgwardt
|Forschungsgruppe=Automatentheorie
|Event series=Research Seminar Logic and AI
|In News anzeigen=1
}}

TBA13

Meghna Bhadra — Wed, 03 Jun 2026 07:52:28 GMT

Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-06-25 11:00:00 |Ende=2026-06-25 12:00:00 |Raum=APB-2026 |Vortragender=Jonas Karge |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

Neue Seite

{{Veranstaltung
|Titel DE=TBA
|Titel EN=TBA
|Beschreibung DE=TBA
|Beschreibung EN=TBA
|Veranstaltungsart=Vortrag
|Start=2026-06-25 11:00:00
|Ende=2026-06-25 12:00:00
|Raum=APB-2026
|Vortragender=Jonas Karge
|Forschungsgruppe=Computational Logic
|Event series=Research Seminar Logic and AI
|In News anzeigen=1
}}

TBA12

Meghna Bhadra — Wed, 03 Jun 2026 07:51:21 GMT

Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-09 11:00:00 |Ende=2026-07-09 12:00:00 |Raum=APB-2026 |Vortragender=Alisa Kovtunova |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

Neue Seite

{{Veranstaltung
|Titel DE=TBA
|Titel EN=TBA
|Beschreibung DE=TBA
|Beschreibung EN=TBA
|Veranstaltungsart=Vortrag
|Start=2026-07-09 11:00:00
|Ende=2026-07-09 12:00:00
|Raum=APB-2026
|Vortragender=Alisa Kovtunova
|Forschungsgruppe=Automatentheorie
|Event series=Research Seminar Logic and AI
|In News anzeigen=1
}}

TBA11

Meghna Bhadra — Wed, 03 Jun 2026 07:49:50 GMT

Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-02 11:00:00 |Ende=2026-07-02 12:00:00 |Raum=APB-2026 |Vortragender=Alisa Kovtunova |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

Neue Seite

{{Veranstaltung
|Titel DE=TBA
|Titel EN=TBA
|Beschreibung DE=TBA
|Beschreibung EN=TBA
|Veranstaltungsart=Vortrag
|Start=2026-07-02 11:00:00
|Ende=2026-07-02 12:00:00
|Raum=APB-2026
|Vortragender=Alisa Kovtunova
|Forschungsgruppe=Automatentheorie
|Event series=Research Seminar Logic and AI
|In News anzeigen=1
}}

Inproceedings3467

Jonas Karge — Wed, 03 Jun 2026 07:08:02 GMT

← Nächstältere Version		Version vom 3. Juni 2026, 07:08 Uhr
Zeile 7:		Zeile 7:
	\|Referiert=1		\|Referiert=1
	\|Title=First Steps Towards Human-AI Ranking Aggregation		\|Title=First Steps Towards Human-AI Ranking Aggregation
	\|To appear=0		\|To appear=1
	\|Year=2026		\|Year=2026
	\|Booktitle=~~oint~~ Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26)		\|Booktitle=Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26)
	}}		}}
	{{Publikation Details		{{Publikation Details