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
16 September 2026
|
|
14:01 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) 2 changes history −7 [Andrea Kühn (2×)] | |||
|
|
14:01 (cur | prev) −4 Andrea Kühn talk contribs | ||||
|
|
13:35 (cur | prev) −3 Andrea Kühn talk contribs | ||||
|
|
13:59 | Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) 2 changes history +10 [Andrea Kühn (2×)] | |||
|
|
13:59 (cur | prev) +3 Andrea Kühn talk contribs | ||||
|
|
12:43 (cur | prev) +7 Andrea Kühn talk contribs | ||||
|
|
13:58 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 changes history −3 [Andrea Kühn (3×)] | |||
|
|
13:58 (cur | prev) −10 Andrea Kühn talk contribs | ||||
|
|
13:46 (cur | prev) +10 Andrea Kühn talk contribs | ||||
|
|
13:44 (cur | prev) −3 Andrea Kühn talk contribs | ||||
|
|
12:28 | Lecture Modal Logic (WS2026) 2 changes history +5 [Andrea Kühn (2×)] | |||
|
|
12:28 (cur | prev) +2 Andrea Kühn talk contribs | ||||
|
|
12:27 (cur | prev) +3 Andrea Kühn talk contribs | ||||
| 12:17 | Lecture Model Checking (WS2026) diffhist +3 Andrea Kühn talk contribs | ||||
15 September 2026
|
|
13:13 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 changes history −31 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:13 (cur | prev) 0 Andrea Kühn talk contribs | ||||
|
|
11:47 (cur | prev) +1 Sascha Klüppelholz talk contribs | ||||
|
|
11:30 (cur | prev) −32 Sascha Klüppelholz talk contribs | ||||
|
|
13:10 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 changes history −30 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:10 (cur | prev) 0 Andrea Kühn talk contribs | ||||
|
|
11:47 (cur | prev) +1 Sascha Klüppelholz talk contribs | ||||
|
|
11:32 (cur | prev) −31 Sascha Klüppelholz talk contribs | ||||
|
|
13:08 | Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) 2 changes history −33 [Sascha Klüppelholz; Andrea Kühn] | |||
|
|
13:08 (cur | prev) 0 Andrea Kühn talk contribs | ||||
|
|
11:34 (cur | prev) −33 Sascha Klüppelholz talk contribs | ||||
|
|
13:05 | Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) 3 changes history +53 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:05 (cur | prev) +3 Andrea Kühn talk contribs | ||||
|
|
11:42 (cur | prev) +1 Sascha Klüppelholz talk contribs | ||||
|
|
11:40 (cur | prev) +49 Sascha Klüppelholz talk contribs | ||||
|
|
13:04 | Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) 4 changes history −25 [Andrea Kühn; Sascha Klüppelholz (3×)] | |||
|
|
13:04 (cur | prev) 0 Andrea Kühn talk contribs | ||||
|
|
11:46 (cur | prev) +1 Sascha Klüppelholz talk contribs | ||||
|
|
11:28 (cur | prev) +51 Sascha Klüppelholz talk contribs | ||||
|
|
11:23 (cur | prev) −77 Sascha Klüppelholz talk contribs | ||||
|
|
13:00 | Seminar Selected Topics in Logic and Verification (WS2026) 4 changes history −38 [Sascha Klüppelholz (2×); Andrea Kühn (2×)] | |||
|
|
13:00 (cur | prev) +22 Andrea Kühn talk contribs | ||||
|
|
12:59 (cur | prev) −4 Andrea Kühn talk contribs | ||||
|
|
11:45 (cur | prev) 0 Sascha Klüppelholz talk contribs | ||||
|
|
11:20 (cur | prev) −56 Sascha Klüppelholz talk contribs | ||||
|
|
12:54 | Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) 3 changes history +34 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
12:54 (cur | prev) −1 Andrea Kühn talk contribs | ||||
|
|
11:49 (cur | prev) +1 Sascha Klüppelholz talk contribs | ||||
|
|
11:38 (cur | prev) +34 Sascha Klüppelholz talk contribs | ||||
|
|
11:44 | Proseminar Theoretische Informatik (WS2026) 3 changes history −67 [Sascha Klüppelholz (3×)] | |||
|
|
11:44 (cur | prev) +1 Sascha Klüppelholz talk contribs | ||||
|
|
11:43 (cur | prev) −1 Sascha Klüppelholz talk contribs | ||||
|
|
11:13 (cur | prev) −67 Sascha Klüppelholz talk contribs | ||||
|
|
11:44 | Seminar Games and Graphs (WS2026) 2 changes history −67 [Sascha Klüppelholz (2×)] | |||
|
|
11:44 (cur | prev) 0 Sascha Klüppelholz talk contribs | ||||
|
|
11:17 (cur | prev) −67 Sascha Klüppelholz talk contribs | ||||
|
|
11:42 | Proseminar Binäre Entscheidungsgraphen (WS2026) 2 changes history −67 [Sascha Klüppelholz (2×)] | |||
|
|
11:42 (cur | prev) 0 Sascha Klüppelholz talk contribs | ||||
|
|
11:11 (cur | prev) −67 Sascha Klüppelholz talk contribs | ||||
|
|
09:06 | Theoretische Informatik und Logik (SS2026) 2 changes history +436 [Stephan Mennicke (2×)] | |||
|
|
09:06 (cur | prev) +176 Stephan Mennicke talk contribs | ||||
|
|
08:59 (cur | prev) +260 Stephan Mennicke talk contribs (Klausureinsicht) | ||||
|
|
09:05 | Formale Systeme (WS2025) 3 changes history +453 [Stephan Mennicke (3×)] | |||
|
|
09:05 (cur | prev) +4 Stephan Mennicke talk contribs | ||||
|
|
09:05 (cur | prev) +19 Stephan Mennicke talk contribs (Raum) | ||||
|
|
09:01 (cur | prev) +430 Stephan Mennicke talk contribs (Klausureinsicht) | ||||
11 September 2026
|
|
N 13:28 | Techreport3063 2 changes history +1,763 [Tim Lyon (2×)] | |||
|
|
13:28 (cur | prev) +27 Tim Lyon talk contribs | ||||
| N |
|
12:27 (cur | prev) +1,736 Tim Lyon talk contribs (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Lukas Zenger }} {{Techreport |Title=Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents |Year=2026 |Institution=TU Dresden |Note=Full, Appended Version }} {{Publikation Details |Abstract=We introduce the formalism of non-wellfounded and cyclic linear nested sequent calculi, developing concrete systems for linear tempor…“) | |||
| 08:29 | Proseminar Theoretische Informatik (WS2026) diffhist 0 Johannes Lehmann talk contribs | ||||
| 08:28 | Seminar Selected Topics in Logic and Verification (WS2026) diffhist +126 Johannes Lehmann talk contribs | ||||
| 08:28 | Seminar Games and Graphs (WS2026) diffhist +126 Johannes Lehmann talk contribs | ||||
| 08:25 | Proseminar Binäre Entscheidungsgraphen (WS2026) diffhist +215 Johannes Lehmann talk contribs | ||||
