Recent changes

From International Center for Computational Logic

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 16:48, 14 May 2026
 
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

13 May 2026

     09:17  Algorithmic Game Theory (SS2026) 3 changes history +199 [Hannes Straß (3×)]
     
09:17 (cur | prev) +168 Hannes Straß talk contribs
     
08:18 (cur | prev) +15 Hannes Straß talk contribs
     
08:18 (cur | prev) +16 Hannes Straß talk contribs
     09:16 Upload log Hannes Straß talk contribs uploaded Datei:AGT2026-06.pdf
     08:15  Projekte und Studienarbeiten Computational Logic 2 changes history +137 [Hannes Straß (2×)]
     
08:15 (cur | prev) 0 Hannes Straß talk contribs
     
08:10 (cur | prev) +137 Hannes Straß talk contribs

12 May 2026

     12:10  Theoretische Informatik und Logik (SS2026) diffhist +1,798 Stephan Mennicke talk contribs (added remaining semester dates)
     12:03 Upload log Stephan Mennicke talk contribs uploaded Datei:TheoLog2026-Uebung-05.pdf

11 May 2026

     14:24  Theoretische Informatik und Logik (SS2026) diffhist +86 Markus Krötzsch talk contribs
     14:24  (Upload log) [Hannes Straß; Markus Krötzsch (2×)]
     
14:24 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-08-print.pdf
     
14:23 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-08-overlay.pdf
     
08:21 Hannes Straß talk contribs uploaded a new version of Datei:AGT2026-05.pdf
     12:20  Inproceedings3461 diffhist +60 Markus Krötzsch talk contribs
     11:43  Advanced Problem Solving and Search (WS2025) diffhist +106 Sarah Gaggl talk contribs
     08:21 Deletion log Hannes Straß talk contribs deleted page Datei:AGT2026-05.pdf (alte Version 20260511082121!AGT2026-05.pdf gelöscht: Inhalt vor dem Leeren der Seite: „“)
N    07:16  TRE/MATH/H diffhist +181 Stephan Mennicke talk contribs (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/raum/217102.0520 |Beschreibung DE=Hörsaal mit insgesamt 562 Plätzen |Beschreibung EN=Lecture hall with 562 seats in total. }}“)
     07:14  Formale Systeme (WS2025) diffhist +415 Stephan Mennicke talk contribs (Wiederholungsklausur)

10 May 2026

     11:34  (Upload log) [Stephan Mennicke (2×)]
     
11:34 Stephan Mennicke talk contribs uploaded a new version of Datei:TheoLog2026-Uebung-04.pdf (Blatt 3->4)
     
11:33 Stephan Mennicke talk contribs uploaded a new version of Datei:TheoLog2026-Uebung-04.pdf (typo L -> NL)

8 May 2026

     12:32  Algorithmic Game Theory (SS2026) 3 changes history +309 [Hannes Straß (3×)]
     
12:32 (cur | prev) +142 Hannes Straß talk contribs
     
09:30 (cur | prev) −153 Hannes Straß talk contribs
     
09:26 (cur | prev) +320 Hannes Straß talk contribs
     11:48  (Upload log) [Hannes Straß (2×)]
     
11:48 Hannes Straß talk contribs uploaded a new version of Datei:AGT2026-05.pdf
     
09:25 Hannes Straß talk contribs uploaded Datei:AGT2026-05.pdf