Benutzerbeiträge von „Tim Lyon“

22. Oktober 2026

• 11:2711:27, 22. Okt. 2026 Unterschied Versionen +226 Proof Theory and Sequent Systems (WS2026) Keine Bearbeitungszusammenfassung aktuell

7. Oktober 2026

• 07:3507:35, 7. Okt. 2026 Unterschied Versionen +2.157 N Inproceedings3483 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Omar Taher }} {{Inproceedings |Referiert=1 |Title=Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents |To appear=0 |Year=2026 |Booktitle=Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) |Pages=148-164 |Publisher=Electronic Proceedings in Theoretical Computer Scien…“ aktuell
• 07:3307:33, 7. Okt. 2026 Unterschied Versionen +1.974 N Inproceedings3482 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Lukas Zenger }} {{Inproceedings |Referiert=1 |Title=Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents |To appear=0 |Year=2026 |Booktitle=Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) |Pages=165-182 |Publisher=Electronic Proceedings in Theoretical Co…“ aktuell

5. Oktober 2026

• 12:5312:53, 5. Okt. 2026 Unterschied Versionen +115 Techreport3063 Keine Bearbeitungszusammenfassung aktuell
• 12:5312:53, 5. Okt. 2026 Unterschied Versionen +143 N Datei:GandALF26 Full LyoZen.pdf Full version of "Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents" (published at GandALF 2026) aktuell

3. Oktober 2026

• 13:5713:57, 3. Okt. 2026 Unterschied Versionen +3 Article3123 Keine Bearbeitungszusammenfassung aktuell
• 13:5713:57, 3. Okt. 2026 Unterschied Versionen +2.286 Article3123 Keine Bearbeitungszusammenfassung

23. September 2026

• 10:1410:14, 23. Sep. 2026 Unterschied Versionen +16 News114 Keine Bearbeitungszusammenfassung aktuell
• 10:1310:13, 23. Sep. 2026 Unterschied Versionen +167 News114 Keine Bearbeitungszusammenfassung
• 10:1010:10, 23. Sep. 2026 Unterschied Versionen +9 News114 Keine Bearbeitungszusammenfassung
• 10:1010:10, 23. Sep. 2026 Unterschied Versionen +1.828 N News114 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Hannes Straß und Pascal Kettmann gewinnen den Harold Boley Distinguished Paper Award |Titel EN=Hannes Straß and Pascal Kettmann win the Harold Boley Distinguished Paper Award |Beschreibung DE=Die Computational Logic Group freut sich, bekannt zu geben, dass die Arbeit „Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory“ von Pascal Kettmann, Hannes Straß, Jesse Heyninck und J…“
• 10:0910:09, 23. Sep. 2026 Unterschied Versionen +28 N Datei:Best paper award.jpg Pascal and Hannes Award 2026 aktuell
• 08:0708:07, 23. Sep. 2026 Unterschied Versionen +52 Proof Theory and Sequent Systems (WS2026) Keine Bearbeitungszusammenfassung
• 08:0508:05, 23. Sep. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2026) Keine Bearbeitungszusammenfassung
• 08:0008:00, 23. Sep. 2026 Unterschied Versionen +2.081 N Proof Theory and Sequent Systems (WS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=WS |Year=2026 |Module=INF-25-MA-FTK-ASAI, INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are defined as synt…“

11. September 2026

• 13:2813:28, 11. Sep. 2026 Unterschied Versionen +27 Techreport3063 Keine Bearbeitungszusammenfassung
• 12:2712:27, 11. Sep. 2026 Unterschied Versionen +1.736 N Techreport3063 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…“

9. Juli 2026

• 14:0914:09, 9. Jul. 2026 Unterschied Versionen +7 News113 Keine Bearbeitungszusammenfassung aktuell
• 14:0814:08, 9. Jul. 2026 Unterschied Versionen +3 News113 Keine Bearbeitungszusammenfassung
• 14:0714:07, 9. Jul. 2026 Unterschied Versionen +4 News113 Keine Bearbeitungszusammenfassung
• 14:0614:06, 9. Jul. 2026 Unterschied Versionen −16 News113 Keine Bearbeitungszusammenfassung
• 14:0414:04, 9. Jul. 2026 Unterschied Versionen −2 News113 Keine Bearbeitungszusammenfassung
• 14:0214:02, 9. Jul. 2026 Unterschied Versionen 0 News113 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 14:0214:02, 9. Jul. 2026 Unterschied Versionen +8 News113 Keine Bearbeitungszusammenfassung
• 14:0214:02, 9. Jul. 2026 Unterschied Versionen −6 News113 Keine Bearbeitungszusammenfassung
• 14:0114:01, 9. Jul. 2026 Unterschied Versionen −2 News113 Keine Bearbeitungszusammenfassung
• 14:0114:01, 9. Jul. 2026 Unterschied Versionen −2 News113 Keine Bearbeitungszusammenfassung
• 13:5913:59, 9. Jul. 2026 Unterschied Versionen +2.223 N News113 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Kurs über Standpoint Logic auf der ESSAI 2026 von Tim Lyon und Hannes Straß |Titel EN=Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß |Beschreibung DE=Tim Lyon und Hannes Straß hielten einen Kurs mit dem Titel „Multi-Perspective Reasoning in Knowledge Representation: An Introduction to Standpoint Logic" auf der ESSAI 2026, der European Summer School on Artificial Intelligence, in Wien. <br> Standpoint…“
• 13:5913:59, 9. Jul. 2026 Unterschied Versionen 0 N Datei:Screenshot 2026-07-09 at 15.58.01.png Keine Bearbeitungszusammenfassung aktuell
• 10:0510:05, 9. Jul. 2026 Unterschied Versionen +440 News112 Keine Bearbeitungszusammenfassung

8. Juli 2026

• 12:4912:49, 8. Jul. 2026 Unterschied Versionen +163 Tim Lyon Keine Bearbeitungszusammenfassung aktuell
• 12:4412:44, 8. Jul. 2026 Unterschied Versionen +68 Article3099 Keine Bearbeitungszusammenfassung aktuell
• 12:4312:43, 8. Jul. 2026 Unterschied Versionen +62 Article3123 Keine Bearbeitungszusammenfassung

7. Juli 2026

• 13:5013:50, 7. Jul. 2026 Unterschied Versionen +147 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung aktuell
• 13:0413:04, 7. Jul. 2026 Unterschied Versionen −2 News112 Keine Bearbeitungszusammenfassung
• 13:0313:03, 7. Jul. 2026 Unterschied Versionen +2.365 N News112 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Jonas Karge verteidigt erfolgreich seine Dissertation über Multi-Agent Belief Management |Titel EN=Jonas Karge Successfully Defends PhD Thesis on Multi-Agent Belief Management |Beschreibung DE=Wir freuen uns, bekannt geben zu dürfen, dass Jonas Karge seine Dissertation mit dem Titel „Multi-Agent Belief Management" erfolgreich verteidigt hat. In seiner Arbeit untersuchte Jonas, wie Gruppen zu verlässlichen Schlussfolgerungen gela…“
• 13:0213:02, 7. Jul. 2026 Unterschied Versionen 0 N Datei:1783214424880.jpg Keine Bearbeitungszusammenfassung aktuell

2. Juli 2026

• 11:1711:17, 2. Jul. 2026 Unterschied Versionen −2 News111 Keine Bearbeitungszusammenfassung aktuell
• 11:1711:17, 2. Jul. 2026 Unterschied Versionen 0 News111 Keine Bearbeitungszusammenfassung
• 11:1611:16, 2. Jul. 2026 Unterschied Versionen +10 News111 Keine Bearbeitungszusammenfassung
• 11:1511:15, 2. Jul. 2026 Unterschied Versionen +1.327 N News111 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Hannes Straß erhält Lehrpreis des Fachschaftsrats für „Algorithmische Spieltheorie" |Titel EN=Hannes Straß Receives Student Council Teaching Award for "Algorithmic Game Theory" |Beschreibung DE=Hannes Straß, Wissenschaftler in der Arbeitsgruppe Computational Logic am ICCL, hat den Lehrpreis des Fachschaftsrats in der Kategorie „Beste Wahlpflichtveranstaltung" für seine Vorlesung „Algorithmische Spieltheorie" erhalten.…“
• 11:1011:10, 2. Jul. 2026 Unterschied Versionen 0 N Datei:Pic hannes.jpeg Keine Bearbeitungszusammenfassung aktuell

19. Juni 2026

• 07:3207:32, 19. Jun. 2026 Unterschied Versionen +111 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung
• 07:3107:31, 19. Jun. 2026 Unterschied Versionen −18 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

18. Juni 2026

• 20:2720:27, 18. Jun. 2026 Unterschied Versionen +339 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

5. Juni 2026

• 12:3912:39, 5. Jun. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

4. Juni 2026

• 10:0910:09, 4. Jun. 2026 Unterschied Versionen +1.878 N Article3123 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Piotr Ostropolski-Nalewaja }} {{Article |Referiert=1 |Title=Foundations for an Abstract Proof Theory in the Context of Horn Rules |To appear=1 |Year=2026 |Month=Juni |Journal=ACM Transactions on Computational Logic }} {{Publikation Details |Abstract=We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a numbe…“

21. Mai 2026

• 09:1009:10, 21. Mai 2026 Unterschied Versionen 0 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung
• 08:3408:34, 21. Mai 2026 Unterschied Versionen 0 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

20. Mai 2026

• 20:0120:01, 20. Mai 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung