Recent changes
From International Center for Computational Logic
Track the most recent changes to the wiki on this page.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
3 June 2026
| N 11:56 | TBA14 diffhist +313 Meghna Bhadra talk contribs (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 }}“) | ||||
| N 07:52 | TBA13 diffhist +311 Meghna Bhadra talk contribs (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 }}“) | ||||
| N 07:51 | TBA12 diffhist +312 Meghna Bhadra talk contribs (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 }}“) | ||||
| N 07:49 | TBA11 diffhist +312 Meghna Bhadra talk contribs (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 }}“) | ||||
| 07:08 | Inproceedings3467 diffhist +1 Jonas Karge talk contribs | ||||
2 June 2026
|
|
N 20:59 | Inproceedings3467 2 changes history +727 [Jonas Karge (2×)] | |||
|
|
20:59 (cur | prev) +63 Jonas Karge talk contribs | ||||
| N |
|
20:58 (cur | prev) +664 Jonas Karge talk contribs (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…“) | |||
|
|
20:59 | (Upload log) [Stephan Mennicke; Jonas Karge; Hannes Straß] | |||
|
|
20:59 Jonas Karge talk contribs uploaded Datei:First Steps Towards Human AI Ranking Aggregation.pdf | ||||
|
|
12:06 Hannes Straß talk contribs uploaded Datei:AGT2026-Problems-06.pdf | ||||
|
|
06:15 Stephan Mennicke talk contribs uploaded Datei:TheoLog2026-Uebung-07.pdf | ||||
|
|
12:07 | Algorithmic Game Theory (SS2026) 2 changes history +160 [Hannes Straß (2×)] | |||
|
|
12:07 (cur | prev) +13 Hannes Straß talk contribs | ||||
|
|
12:06 (cur | prev) +147 Hannes Straß talk contribs | ||||
| 06:17 | Theoretische Informatik und Logik (SS2026) diffhist +333 Stephan Mennicke talk contribs (Blatt 7 und Dies Academicus) | ||||
1 June 2026
| 09:10 | Theoretische Informatik und Logik (SS2026) diffhist +83 Markus Krötzsch talk contribs | ||||
|
|
09:10 | (Upload log) [Hannes Straß; Markus Krötzsch (2×)] | |||
|
|
09:10 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-11-print.pdf | ||||
|
|
09:10 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-11-overlay.pdf | ||||
|
|
08:45 Hannes Straß talk contribs uploaded a new version of Datei:AGT2026-07.pdf | ||||
