Benutzerbeiträge von „Tim Lyon“

19. Juni 2026

• 07:3207:32, 19. Jun. 2026 Unterschied Versionen +111 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung aktuell
• 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…“ aktuell

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

30. April 2026

• 08:4508:45, 30. Apr. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung
• 08:4408:44, 30. Apr. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

20. April 2026

• 18:1818:18, 20. Apr. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

28. März 2026

• 09:5609:56, 28. Mär. 2026 Unterschied Versionen +2.245 N Proof Theory and Sequent Systems (SS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |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…“
• 09:4509:45, 28. Mär. 2026 Unterschied Versionen +228 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung aktuell

26. Februar 2026

• 11:2911:29, 26. Feb. 2026 Unterschied Versionen −192 Thema3519 Keine Bearbeitungszusammenfassung aktuell
• 11:2911:29, 26. Feb. 2026 Unterschied Versionen −56 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2611:26, 26. Feb. 2026 Unterschied Versionen +1.902 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2511:25, 26. Feb. 2026 Unterschied Versionen +103 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2411:24, 26. Feb. 2026 Unterschied Versionen +39 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2211:22, 26. Feb. 2026 Unterschied Versionen −7 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2211:22, 26. Feb. 2026 Unterschied Versionen +14 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2011:20, 26. Feb. 2026 Unterschied Versionen −53 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1911:19, 26. Feb. 2026 Unterschied Versionen −739 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1811:18, 26. Feb. 2026 Unterschied Versionen +763 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1711:17, 26. Feb. 2026 Unterschied Versionen +1.847 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1411:14, 26. Feb. 2026 Unterschied Versionen +35 K Thema3519 Keine Bearbeitungszusammenfassung
• 10:5910:59, 26. Feb. 2026 Unterschied Versionen +536 N Thema3519 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Titel EN=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Bitte sehen Sie sich die beigefügte PDF-Datei an, die Sie über den „Download“-Link herunterladen können. |Beschreibung EN=Plea…“
• 10:5810:58, 26. Feb. 2026 Unterschied Versionen 0 N Datei:Thesis Topics Lyon.pdf Keine Bearbeitungszusammenfassung aktuell

13. Januar 2026

• 11:5311:53, 13. Jan. 2026 Unterschied Versionen +14 News109 Keine Bearbeitungszusammenfassung aktuell
• 11:5311:53, 13. Jan. 2026 Unterschied Versionen +1.728 N News109 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten |Titel EN=Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic |Beschreibung DE=Tim Lyon, Postdoktorand am ICCL, ist in das Herausgebergremium des Bulletin of the Section of Logic (BSL) aufgenommen worden. Die Zeitschrift ist eine hervorragende Adresse für Forschungsarbeiten im Bereich Logik, und interessierte Wissenschaft…“

11. Januar 2026

• 15:1915:19, 11. Jan. 2026 Unterschied Versionen +58 Article3099 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen +27 Inproceedings3402 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2404.15855v3.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen +31 Inproceedings3403 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2410.24053v3 (2).pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1515:15, 11. Jan. 2026 Unterschied Versionen +27 Inproceedings3404 Keine Bearbeitungszusammenfassung aktuell
• 15:1515:15, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2412.04012v1.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1415:14, 11. Jan. 2026 Unterschied Versionen +27 Article3103 Keine Bearbeitungszusammenfassung aktuell
• 15:1415:14, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2312.03426v2.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1315:13, 11. Jan. 2026 Unterschied Versionen +53 Inproceedings3402 Keine Bearbeitungszusammenfassung
• 15:1215:12, 11. Jan. 2026 Unterschied Versionen +53 Inproceedings3403 Keine Bearbeitungszusammenfassung
• 15:1115:11, 11. Jan. 2026 Unterschied Versionen +74 Article3103 Keine Bearbeitungszusammenfassung
• 15:1015:10, 11. Jan. 2026 Unterschied Versionen +15 Techreport3054 Keine Bearbeitungszusammenfassung aktuell

6. Januar 2026

• 11:0711:07, 6. Jan. 2026 Unterschied Versionen +541 N Techreport3054 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Omar |ErsterAutorNachname=Taher |FurtherAuthors=Tim Lyon }} {{Techreport |Title=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Year=2025 |Institution=TU Dresden |Note=Report from Master's Project }} {{Publikation Details |Abstract=This paper introduces an EXPTIME decision procedure for the (in)validity of Gödel-Löb Provability Logic via a syntactic variant of the Tree-Hyperseque…“
• 11:0611:06, 6. Jan. 2026 Unterschied Versionen 0 N Datei:GL-Project .pdf Keine Bearbeitungszusammenfassung aktuell
• 10:5710:57, 6. Jan. 2026 Unterschied Versionen 0 N Datei:GL-Project download.pdf Keine Bearbeitungszusammenfassung aktuell

18. Dezember 2025

• 13:4613:46, 18. Dez. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

6. Dezember 2025

• 15:0215:02, 6. Dez. 2025 Unterschied Versionen +339 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

21. November 2025

• 08:0308:03, 21. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

14. November 2025

• 10:2010:20, 14. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

10. November 2025

• 11:5111:51, 10. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung