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

Inproceedings3462

Maximilian Marx — Wed, 10 Jun 2026 10:43:25 GMT

← Nächstältere Version		Version vom 10. Juni 2026, 10:43 Uhr
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 7:		Zeile 7:
	\|Referiert=1		\|Referiert=1
	\|Title=Declarative Debugging for Datalog with Aggregation		\|Title=Declarative Debugging for Datalog with Aggregation
	\|To appear=1		\|To appear=0
	\|Year=2026		\|Year=2026
	\|Booktitle=Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026		\|Booktitle=Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026
Zeile 13:		Zeile 13:
	\|Editor=Alexander Krause, João Felipe Pimentel		\|Editor=Alexander Krause, João Felipe Pimentel
	\|Series=CEUR Workshop Proceedings		\|Series=CEUR Workshop Proceedings
			\|Volume=4192
	}}		}}
	{{Publikation Tool		{{Publikation Tool

Inproceedings3462

Markus Krötzsch — Wed, 10 Jun 2026 10:08:23 GMT

@@ Zeile 23: / Zeile 23: @@
 interface for editing these proof queries and visualising the results.
 |Download=TGD2026.pdf
 |Projekt=CPEC, CeTI, SECAI, ScaDS.AI
 |Forschungsgruppe=Wissensbasierte Systeme
 }}

Inproceedings3463

Lukas Gerlach — Wed, 10 Jun 2026 09:30:21 GMT

@@ Zeile 19: / Zeile 19: @@
 |Projekt=ScaDS.AI
 |Forschungsgruppe=Wissensbasierte Systeme
 }}

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
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
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
			\|Download=First Steps Towards Human AI Ranking Aggregation.pdf
	\|Projekt=SECAI		\|Projekt=SECAI
	\|Forschungsgruppe=Computational Logic		\|Forschungsgruppe=Computational Logic

Datei:First Steps Towards Human AI Ranking Aggregation.pdf

Jonas Karge — Tue, 02 Jun 2026 20:59:10 GMT

Jonas Karge lud Datei:First Steps Towards Human AI Ranking Aggregation.pdf hoch

Neue Seite

Inproceedings3467

Jonas Karge — Tue, 02 Jun 2026 20:58:48 GMT

Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jonas |ErsterAutorNachname=Karge |FurtherAuthors=Roy Ferguson; Daniel Grimaldi; Jonas Haldimann; Ruvarashe Madzime; Thomas Meyer }} {{Inproceedings |Referiert=1 |Title=First Steps Towards Human-AI Ranking Aggregation |To appear=0 |Year=2026 |Booktitle=oint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26) }} {{Publikation Details |Projekt=SECAI…“

Neue Seite

{{Publikation Erster Autor
|ErsterAutorVorname=Jonas
|ErsterAutorNachname=Karge
|FurtherAuthors=Roy Ferguson; Daniel Grimaldi; Jonas Haldimann; Ruvarashe Madzime; Thomas Meyer
}}
{{Inproceedings
|Referiert=1
|Title=First Steps Towards Human-AI Ranking Aggregation
|To appear=0
|Year=2026
|Booktitle=oint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26)
}}
{{Publikation Details
|Projekt=SECAI
|Forschungsgruppe=Computational Logic
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Multiagentensysteme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Algorithmic Game Theory (SS2026)

Hannes Straß — Tue, 02 Jun 2026 12:07:44 GMT

← Nächstältere Version		Version vom 2. Juni 2026, 12:07 Uhr
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 65:		Zeile 65:

	* Bernhard von Stengel: Game Theory Basics. Cambridge University Press (2021)		* Bernhard von Stengel: Game Theory Basics. Cambridge University Press (2021)
			** Lecture 7
	}}		}}
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
Zeile 182:		Zeile 183:
	\|DS=DS3		\|DS=DS3
	\|Download=AGT2026-07.pdf		\|Download=AGT2026-07.pdf
			}}
			{{Vorlesung Zeiten
			\|Lehrveranstaltungstype=Übung
			\|Title=Exercises 6
			\|Room=APB
			\|Date=2026-06-04
			\|DS=terminlos
			\|Download=AGT2026-Problems-06.pdf
	}}		}}

Datei:AGT2026-Problems-06.pdf

Hannes Straß — Tue, 02 Jun 2026 12:06:25 GMT

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

Neue Seite

Theoretische Informatik und Logik (SS2026)

Stephan Mennicke — Tue, 02 Jun 2026 06:17:14 GMT

Blatt 7 und Dies Academicus

@@ Zeile 392: / Zeile 392: @@
 |Title=Übungsblatt 6
 |Room=--
-|Date=2026-05-28
+|Date=2026-05-31
 |DS=terminlos
 |Download=TheoLog2026-Uebung-06.pdf
 }}

Datei:TheoLog2026-Uebung-07.pdf

Stephan Mennicke — Tue, 02 Jun 2026 06:15:09 GMT

Stephan Mennicke lud Datei:TheoLog2026-Uebung-07.pdf hoch

Neue Seite

Theoretische Informatik und Logik (SS2026)

Markus Krötzsch — Mon, 01 Jun 2026 09:10:45 GMT

← Nächstältere Version		Version vom 1. Juni 2026, 09:10 Uhr
Zeile 280:		Zeile 280:
	\|Date=2026-06-01		\|Date=2026-06-01
	\|DS=DS3		\|DS=DS3
			\|Download=TheoLog2026-Vorlesung-11-overlay.pdf, TheoLog2026-Vorlesung-11-print.pdf
	}}		}}
	{{Vorlesung Zeiten		{{Vorlesung Zeiten

Datei:TheoLog2026-Vorlesung-11-print.pdf

Markus Krötzsch — Mon, 01 Jun 2026 09:10:38 GMT

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

Neue Seite

Datei:TheoLog2026-Vorlesung-11-overlay.pdf

Markus Krötzsch — Mon, 01 Jun 2026 09:10:31 GMT

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

Neue Seite

Datei:AGT2026-07.pdf

Hannes Straß — Mon, 01 Jun 2026 08:45:26 GMT

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

Neue Seite

Algorithmic Game Theory (SS2026)

Hannes Straß — Wed, 27 May 2026 12:02:15 GMT

@@ Zeile 174: / Zeile 174: @@
 |Date=2026-05-28
 |DS=terminlos
 }}

Datei:AGT2026-07.pdf

Hannes Straß — Wed, 27 May 2026 12:02:07 GMT

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

Neue Seite

Datei:FS2025-Vorlesung-04-print.pdf

Markus Krötzsch — Fri, 22 May 2026 08:51:24 GMT

Markus Krötzsch lud eine neue Version von Datei:FS2025-Vorlesung-04-print.pdf hoch

Neue Seite

Datei:FS2025-Vorlesung-09-print.pdf

Markus Krötzsch — Fri, 22 May 2026 08:51:14 GMT

Markus Krötzsch lud eine neue Version von Datei:FS2025-Vorlesung-09-print.pdf hoch

Neue Seite

Theoretische Informatik und Logik (SS2026)

Stephan Mennicke — Thu, 21 May 2026 12:50:39 GMT

Blatt 6

@@ Zeile 386: / Zeile 386: @@
 |Date=2026-07-23
 |DS=DS4
 }}

Datei:TheoLog2026-Uebung-06.pdf

Stephan Mennicke — Thu, 21 May 2026 12:50:33 GMT

Stephan Mennicke lud Datei:TheoLog2026-Uebung-06.pdf hoch

Neue Seite

Proof Theory and Sequent Systems (SS2026)

Tim Lyon — Thu, 21 May 2026 09:10:00 GMT

← Nächstältere Version		Version vom 21. Mai 2026, 09:10 Uhr
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 61:		Zeile 61:
	\|Title=Lecture 5		\|Title=Lecture 5
	\|Room=APB E001		\|Room=APB E001
	\|Date=2026-05~~-29~~		\|Date=2026-06-05
	\|DS=DS3		\|DS=DS3
	}}		}}

Theoretische Informatik und Logik (SS2026)

Markus Krötzsch — Thu, 21 May 2026 06:42:15 GMT

← Nächstältere Version		Version vom 21. Mai 2026, 06:42 Uhr
Zeile 268:		Zeile 268:
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=10. ~~Pseudopolynomialität und NL~~		\|Title=10. NP-Vollständigkeit (2)
	\|Room=HSZ/0002		\|Room=HSZ/0002
	\|Date=2026-05-21		\|Date=2026-05-21
	\|DS=DS4		\|DS=DS4
			\|Download=TheoLog2026-Vorlesung-10-overlay.pdf, TheoLog2026-Vorlesung-10-print.pdf
	}}		}}
	{{Vorlesung Zeiten		{{Vorlesung Zeiten
	\|Lehrveranstaltungstype=Vorlesung		\|Lehrveranstaltungstype=Vorlesung
	\|Title=11. PSpace		\|Title=11. NL und PSpace
	\|Room=HÜL/S386		\|Room=HÜL/S386
	\|Date=2026-06-01		\|Date=2026-06-01

Datei:TheoLog2026-Vorlesung-10-print.pdf

Markus Krötzsch — Thu, 21 May 2026 06:42:08 GMT

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

Neue Seite

Datei:TheoLog2026-Vorlesung-10-overlay.pdf

Markus Krötzsch — Thu, 21 May 2026 06:41:59 GMT

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

Neue Seite

Datei:TheoLog2026-Vorlesung-09-print.pdf

Markus Krötzsch — Thu, 21 May 2026 06:40:29 GMT

Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-09-print.pdf hoch

Neue Seite

Datei:TheoLog2026-Vorlesung-09-overlay.pdf

Markus Krötzsch — Thu, 21 May 2026 06:40:16 GMT

Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-09-overlay.pdf hoch

Neue Seite

Proof Theory and Sequent Systems (SS2026)

Tim Lyon — Wed, 20 May 2026 20:01:30 GMT

← Nächstältere Version		Version vom 20. Mai 2026, 20:01 Uhr
Zeile 55:		Zeile 55:
	\|Room=APB E001		\|Room=APB E001
	\|Date=2026-05-22		\|Date=2026-05-22
			\|DS=DS3
			}}
			{{Vorlesung Zeiten
			\|Lehrveranstaltungstype=Vorlesung
			\|Title=Lecture 5
			\|Room=APB E001
			\|Date=2026-05-29
	\|DS=DS3		\|DS=DS3
	}}		}}

Datei:AGT2026-Problems-05.pdf

Hannes Straß — Wed, 20 May 2026 12:24:03 GMT

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

Neue Seite