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
24. Juni 2026
|
|
13:31 | Theoretische Informatik und Logik (SS2026) 2 Änderungen Versionsgeschichte +11 [Markus Krötzsch (2×)] | |||
|
|
13:31 (Aktuell | Vorherige) −38 Markus Krötzsch Diskussion Beiträge | ||||
|
|
13:30 (Aktuell | Vorherige) +49 Markus Krötzsch Diskussion Beiträge | ||||
23. Juni 2026
| 10:33 | Algorithmic Game Theory (SS2026) UnterschiedVersionen +72 Hannes Straß Diskussion Beiträge | ||||
22. Juni 2026
|
|
11:50 | Algorithmic Game Theory (SS2026) 2 Änderungen Versionsgeschichte +288 [Hannes Straß (2×)] | |||
|
|
11:50 (Aktuell | Vorherige) +145 Hannes Straß Diskussion Beiträge | ||||
|
|
08:09 (Aktuell | Vorherige) +143 Hannes Straß Diskussion Beiträge | ||||
|
|
11:49 | (Datei-Logbuch) [Markus Krötzsch (2×); Hannes Straß (2×)] | |||
|
|
11:49 Hannes Straß Diskussion Beiträge lud Datei:AGT2026-Problems-09.pdf hoch | ||||
|
|
08:09 Hannes Straß Diskussion Beiträge lud Datei:AGT2026-10.pdf hoch | ||||
|
|
07:31 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-17-print.pdf hoch | ||||
|
|
07:31 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-17-overlay.pdf hoch | ||||
| N 09:33 | TBA16 UnterschiedVersionen +317 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-30 11:00:00 |Ende=2026-07-30 12:00:00 |Raum=APB-2026 |Vortragender=Lukas Gerlach |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“) | ||||
| 08:39 | Lösch-Logbuch Meghna Bhadra Diskussion Beiträge löschte die Seite TBA11/en (Inhalt war: „{{Veranstaltung/en}}“. Einziger Bearbeiter: 172.16.22.57 (Diskussion)) | ||||
| N 08:38 | TBA15 UnterschiedVersionen +315 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-06 11:00:00 |Ende=2026-08-06 12:00:00 |Raum=APB-2026 |Vortragender=Alex Ivliev |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“) | ||||
|
|
08:29 | Research Seminar Logic and AI 4 Änderungen Versionsgeschichte +533 [Meghna Bhadra (4×)] | |||
|
|
08:29 (Aktuell | Vorherige) +21 Meghna Bhadra Diskussion Beiträge | ||||
|
|
08:27 (Aktuell | Vorherige) 0 Meghna Bhadra Diskussion Beiträge | ||||
|
|
08:26 (Aktuell | Vorherige) +7 Meghna Bhadra Diskussion Beiträge | ||||
|
|
08:26 (Aktuell | Vorherige) +505 Meghna Bhadra Diskussion Beiträge | ||||
| 07:38 | TBA13 UnterschiedVersionen +3.068 Meghna Bhadra Diskussion Beiträge | ||||
| 07:31 | Theoretische Informatik und Logik (SS2026) UnterschiedVersionen +83 Markus Krötzsch Diskussion Beiträge | ||||
20. Juni 2026
| N 19:32 | Inproceedings3471 UnterschiedVersionen +1.976 Sebastian Rudolph Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nicholas |ErsterAutorNachname=Leisegang |FurtherAuthors=Thomas Meyer; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Standpoint Logics with Defeasible Beliefs |To appear=1 |Year=2026 |Booktitle=Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025) |Editor=Ana Ozaki, Nico Potyka |Series=CEUR }} {{Publikation Details |Abstract=In this paper, we integrate the defeasible l…“) | ||||
| 19:31 | Datei-Logbuch Sebastian Rudolph Diskussion Beiträge lud Datei:LeisegangMeyerRudolph-NMR2026.pdf hoch | ||||
19. Juni 2026
|
|
14:33 | Vorlage:Projektliste 3 Änderungen Versionsgeschichte −32 [Johannes Lehmann (3×)] | |||
|
|
14:33 (Aktuell | Vorherige) −51 Johannes Lehmann Diskussion Beiträge (Bilder wieder vertikal zentrieren (Versuch 2)) | ||||
|
|
14:29 (Aktuell | Vorherige) +22 Johannes Lehmann Diskussion Beiträge (Bilder wieder vertikal zentrieren) | ||||
|
|
14:27 (Aktuell | Vorherige) −3 Johannes Lehmann Diskussion Beiträge (Zu Flexbox gewechselt, damit überlange Beschreibungen das Layout nicht kaputtmachen) | ||||
|
|
14:17 | SEMECO-Q1 2 Änderungen Versionsgeschichte −359 [Andrea Kühn (2×)] | |||
|
|
14:17 (Aktuell | Vorherige) −378 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:46 (Aktuell | Vorherige) +19 Andrea Kühn Diskussion Beiträge | ||||
|
|
N 14:11 | SEMECO-Q1 TrustMod 4 Änderungen Versionsgeschichte +948 [Andrea Kühn (4×)] | |||
|
|
14:11 (Aktuell | Vorherige) +4 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:58 (Aktuell | Vorherige) +10 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:56 (Aktuell | Vorherige) +62 Andrea Kühn Diskussion Beiträge | ||||
| N |
|
13:51 (Aktuell | Vorherige) +872 Andrea Kühn Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q1 |Name=Secure Medical Microsystems and Communications: Sichere & Vertrauenswürdige Systemarchitekturen |Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architectures |Beschreibung DE=Weitere Informationen finden Sie auf der [https://semeco.info/projekte/secure-and-trustworthy-system-architectures/ externen Projektwebsite]. |Beschreibung EN=For more information, see the [https://semeco.info/…“) | |||
| 14:11 | Datei-Logbuch Andrea Kühn Diskussion Beiträge lud Datei:Semeco trustmod.png hoch | ||||
|
|
07:32 | Proof Theory and Sequent Systems (SS2026) 2 Änderungen Versionsgeschichte +93 [Tim Lyon (2×)] | |||
|
|
07:32 (Aktuell | Vorherige) +111 Tim Lyon Diskussion Beiträge | ||||
|
|
07:31 (Aktuell | Vorherige) −18 Tim Lyon Diskussion Beiträge | ||||
18. Juni 2026
| 20:27 | Proof Theory and Sequent Systems (SS2026) UnterschiedVersionen +339 Tim Lyon Diskussion Beiträge | ||||
| 11:02 | Theoretische Informatik und Logik (SS2026) UnterschiedVersionen +83 Markus Krötzsch Diskussion Beiträge | ||||
|
|
11:01 | (Datei-Logbuch) [Markus Krötzsch (2×)] | |||
|
|
11:01 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-16-print.pdf hoch | ||||
|
|
11:00 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-16-overlay.pdf hoch | ||||
