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
25 April 2024
|
14:56 | Theoretische Informatik und Logik (SS2024) 2 changes history +611 [Markus Krötzsch (2×)] | |||
|
14:56 (cur | prev) +528 Markus Krötzsch talk contribs | ||||
|
11:27 (cur | prev) +83 Markus Krötzsch talk contribs |
13:52 | Automatentheorie diffhist −2 Oliver Fernandez Gil talk contribs |
|
13:52 | (Upload log) [Oliver Fernandez Gil; Markus Krötzsch (4×)] | |||
|
13:52 Oliver Fernandez Gil talk contribs uploaded Datei:LAT group photo 2024.jpeg | ||||
|
12:57 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-05-overlay.pdf | ||||
|
12:57 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-05-print.pdf | ||||
|
11:26 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-06-overlay.pdf | ||||
|
11:26 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-06-print.pdf |
13:23 | Anni-Yasmin Turhan diffhist 0 Oliver Fernandez Gil talk contribs |
13:23 | Satyadharma Tirtarasa diffhist 0 Oliver Fernandez Gil talk contribs |
13:21 | Adrian Nuradiansyah diffhist 0 Oliver Fernandez Gil talk contribs |
07:55 | Proof Theory and Sequent Systems (SS2024) diffhist +113 Tim Lyon talk contribs |
24 April 2024
N 14:39 | Inproceedings3379/en diffhist +31 Tim Lyon talk contribs (Page created automatically by parser function on page Inproceedings3379) |
N 14:39 | Inproceedings3379 diffhist +1,486 Tim Lyon talk contribs (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents |To appear=1 |Year=2024 |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We introduce a constructive met…“) |
|
14:37 | (Upload log) [Tim Lyon; Stephan Mennicke] | |||
|
14:37 Tim Lyon talk contribs uploaded Datei:IJCAI24-Lyon-Karge.pdf | ||||
|
11:03 Stephan Mennicke talk contribs uploaded a new version of Datei:CONCUR24-04-directstyle.pdf (missing proofs added) |
11:00 | Concurrency Theory (SS2024) diffhist −2 Stephan Mennicke talk contribs (mild change) |
23 April 2024
09:13 | Concurrency Theory (SS2024) diffhist +38 Stephan Mennicke talk contribs (upload slides (jbl)) |
09:12 | Upload log Stephan Mennicke talk contribs uploaded Datei:CONCUR24-04-directstyle.pdf |
22 April 2024
|
14:50 | Formale Systeme (WS2023) 3 changes history +407 [Stephan Mennicke (3×)] | |||
|
14:50 (cur | prev) +65 Stephan Mennicke talk contribs | ||||
|
14:47 (cur | prev) +58 Stephan Mennicke talk contribs | ||||
|
14:46 (cur | prev) +284 Stephan Mennicke talk contribs (Klausureinsicht) |
11:09 | Theoretische Informatik und Logik (SS2024) diffhist +83 Markus Krötzsch talk contribs |
|
11:09 | (Upload log) [Jonas Karge; Markus Krötzsch (2×)] | |||
|
11:09 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-05-print.pdf | ||||
|
11:09 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-05-overlay.pdf | ||||
|
10:26 Jonas Karge talk contribs uploaded Datei:AGT24-Ex02.pdf |
10:27 | Algorithmic Game Theory (SS2024) diffhist +161 Jonas Karge talk contribs |
19 April 2024
17:17 | Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models diffhist +7 Lukas Gerlach talk contribs |
15:23 | Algorithmic Game Theory (SS2024) diffhist +164 Hannes Straß talk contribs |
|
15:22 | (Upload log) [Larry Gonzalez; Hannes Straß] | |||
|
15:22 Hannes Straß talk contribs uploaded Datei:AGT2024-02.pdf | ||||
|
09:37 Larry Gonzalez talk contribs uploaded Datei:2024.04.18-filippo-best-paper.jpeg |
10:37 | Inproceedings3315 diffhist 0 Filippo De Bortoli talk contribs (Changes author order.) |
10:36 | Inproceedings3316 diffhist 0 Filippo De Bortoli talk contribs (Changes author order.) |
|
N 09:49 | News96 4 changes history +1,668 [Larry Gonzalez (2×); Alex Ivliev (2×)] | |||
|
09:49 (cur | prev) 0 Alex Ivliev talk contribs | ||||
|
09:46 (cur | prev) 0 Alex Ivliev talk contribs | ||||
|
09:38 (cur | prev) −8 Larry Gonzalez talk contribs | ||||
N |
|
09:37 (cur | prev) +1,676 Larry Gonzalez talk contribs (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Best Paper Award für Forschende der ICCL |Titel EN=ICCL Researchers win Best Paper Award at SAC 2024 |Beschreibung DE=Franz Baader und Filippo De Bortoli erhielten den Best Paper Award im Information Systems Track des [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing]. Ausgezeichnet wurde das Paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-…“) |
N 09:37 | News96/en diffhist +16 Larry Gonzalez talk contribs (Page created automatically by parser function on page News96) |
|
09:28 | News95 2 changes history +230 [Larry Gonzalez (2×)] | |||
|
09:28 (cur | prev) +165 Larry Gonzalez talk contribs | ||||
|
09:26 (cur | prev) +65 Larry Gonzalez talk contribs |