Letzte Änderungen
Aus International Center for Computational Logic
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
3. Juni 2026
| N 11:56 | TBA14 UnterschiedVersionen +313 Meghna Bhadra Diskussion Beiträge (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 UnterschiedVersionen +311 Meghna Bhadra Diskussion Beiträge (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 UnterschiedVersionen +312 Meghna Bhadra Diskussion Beiträge (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 UnterschiedVersionen +312 Meghna Bhadra Diskussion Beiträge (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 UnterschiedVersionen +1 Jonas Karge Diskussion Beiträge | ||||
2. Juni 2026
|
|
N 20:59 | Inproceedings3467 2 Änderungen Versionsgeschichte +727 [Jonas Karge (2×)] | |||
|
|
20:59 (Aktuell | Vorherige) +63 Jonas Karge Diskussion Beiträge | ||||
| N |
|
20:58 (Aktuell | Vorherige) +664 Jonas Karge Diskussion Beiträge (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 | (Datei-Logbuch) [Stephan Mennicke; Jonas Karge; Hannes Straß] | |||
|
|
20:59 Jonas Karge Diskussion Beiträge lud Datei:First Steps Towards Human AI Ranking Aggregation.pdf hoch | ||||
|
|
12:06 Hannes Straß Diskussion Beiträge lud Datei:AGT2026-Problems-06.pdf hoch | ||||
|
|
06:15 Stephan Mennicke Diskussion Beiträge lud Datei:TheoLog2026-Uebung-07.pdf hoch | ||||
|
|
12:07 | Algorithmic Game Theory (SS2026) 2 Änderungen Versionsgeschichte +160 [Hannes Straß (2×)] | |||
|
|
12:07 (Aktuell | Vorherige) +13 Hannes Straß Diskussion Beiträge | ||||
|
|
12:06 (Aktuell | Vorherige) +147 Hannes Straß Diskussion Beiträge | ||||
| 06:17 | Theoretische Informatik und Logik (SS2026) UnterschiedVersionen +333 Stephan Mennicke Diskussion Beiträge (Blatt 7 und Dies Academicus) | ||||
1. Juni 2026
| 09:10 | Theoretische Informatik und Logik (SS2026) UnterschiedVersionen +83 Markus Krötzsch Diskussion Beiträge | ||||
|
|
09:10 | (Datei-Logbuch) [Hannes Straß; Markus Krötzsch (2×)] | |||
|
|
09:10 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-11-print.pdf hoch | ||||
|
|
09:10 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-11-overlay.pdf hoch | ||||
|
|
08:45 Hannes Straß Diskussion Beiträge lud eine neue Version von Datei:AGT2026-07.pdf hoch | ||||
