Account
Edit tools
Intern
SucheSearch
English

Neue Seiten

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Neue Seiten
Registrierte Benutzer ausblenden | Bots ausblenden | Weiterleitungen einblenden
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)

15. Oktober 2026

14. Oktober 2026

13. Oktober 2026

12. Oktober 2026

  • 14:3914:39, 12. Okt. 2026 A Guided Tour of Sequent Formalisms for Modal Logics (Versionen | bearbeiten) [1.213 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Guided Tour of Sequent Formalisms for Modal Logics |Beschreibung EN=This tutorial explores the landscape of sequent-based proof formalisms for modal logics, using Gödel-Löb provability logic (GL) as a running example. We survey four major paradigms--labeled sequents, nested (or tree) sequents, linear nested sequents, and Gentzen sequents--and discuss the various trade-offs of choosing one formalism over another, including seq…“)

8. Oktober 2026

  • 11:4411:44, 8. Okt. 2026 Inproceedings3484 (Versionen | bearbeiten) [1.492 Bytes] Pascal Kettmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Pascal |ErsterAutorNachname=Kettmann |FurtherAuthors=Hannes Straß; Jesse Heyninck; Jeroen Spaans }} {{Inproceedings |Referiert=1 |Title=Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory |To appear=1 |Year=2026 |Booktitle=The 10th International Joint Conference on Rules and Reasoning }} {{Publikation Details |Projekt=SECAI |Forschungsgruppe=Computational Logic }}“)
  • 10:2910:29, 8. Okt. 2026 Reinforcement Learning for BDD Variable Ordering (Versionen | bearbeiten) [1.593 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Reinforcement Learning for BDD Variable Ordering |Veranstaltungsart=Vortrag |Start=2026-11-05 11:00:00 |Ende=2026-11-05 12:00:00 |Raum=APB 3027 |Vortragender=Luke Slater |Eingeladen durch=Markus Krötzsch |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
  • 10:2510:25, 8. Okt. 2026 Survey of Syntax Splitting (Versionen | bearbeiten) [319 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Survey of Syntax Splitting |Veranstaltungsart=Vortrag |Start=2026-11-12 11:00:00 |Ende=2026-11-12 12:00:00 |Raum=APB 3027 |Vortragender=Ameerah Allie |Eingeladen durch=Markus Krötzsch |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

7. Oktober 2026

  • 07:3507:35, 7. Okt. 2026 Inproceedings3483 (Versionen | bearbeiten) [2.157 Bytes] Tim Lyon (Diskussion | Beiträge) (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…“)
  • 07:3307:33, 7. Okt. 2026 Inproceedings3482 (Versionen | bearbeiten) [1.974 Bytes] Tim Lyon (Diskussion | Beiträge) (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…“)

6. Oktober 2026

  • 08:4908:49, 6. Okt. 2026 HSZ 204 (Versionen | bearbeiten) [325 Bytes] Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/hsz/02/raum/136102.0040 |Beschreibung DE=Dies ist einer der Seminarräume im zweiten Stock des Hörsaalzentrums. Er enthält etwa 60 Sitzplätze. |Beschreibung EN=This is one of the seminar rooms on the second floor of Hörsaalzentrum. It offers around 60 seats. }}“)
  • 08:4808:48, 6. Okt. 2026 HSZ 304 (Versionen | bearbeiten) [326 Bytes] Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/hsz/03/raum/136103.0040 |Beschreibung DE=Dies ist einer der Seminarräume im dritten Stock des Hörsaalzentrums. Er enthält etwa 100 Sitzplätze. |Beschreibung EN=This is one of the seminar rooms on the third floor of Hörsaalzentrum. It offers around 100 seats. }}“)
  • 06:2606:26, 6. Okt. 2026 Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) (Versionen | bearbeiten) [1.030 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |Beschreibung EN=Every closure operator on a finite set admits a canonical minimum implication basis – the stem base or Duquenne--Guigues base – whose premises are the pseudo-closed sets. The Pseudo-Closed Family problem (PCF) asks whether a given family of sets equals the pseudo-closed sets of some closure operator. We prove…“)

5. Oktober 2026

  • 15:1415:14, 5. Okt. 2026 Stratified Negation in RDF Rules: A Correct Approach (Versionen | bearbeiten) [1.408 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Stratified Negation in RDF Rules: A Correct Approach |Beschreibung EN=Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging. Existing methods to stratify negation often fail for RDF rules, since individual triples do not carry enough information to meaningfully restrict potential dependencies. Blank nodes in rule heads further complicate the matter, since the order of rule applications may…“)
  • 15:1215:12, 5. Okt. 2026 Recovering Explanations from Transformed Rule-Based Ontologies (Versionen | bearbeiten) [1.032 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Recovering Explanations from Transformed Rule-Based Ontologies |Beschreibung EN=Datalog rules are often used to define ontologies over Knowledge Graphs. Rule reasoners routinely optimise such ontologies by rewriting their rules into a form that can be evaluated more efficiently. These transformations preserve the entailed facts, but not the structure of the underlying derivations. A proof tree under the rewritten rules explains w…“)
  • 15:1015:10, 5. Okt. 2026 Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops (Versionen | bearbeiten) [1.420 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops |Beschreibung EN=Propositional Dynamic Logic (PDL) is a well-established modal logic of programs. Among its many extensions, the loop operator stands out for capturing the cyclic behaviour of programs: a world satisfies loop(pi) precisely when it can return to itself along a path matching the regular expression pi. While the satisfiability problem fo…“)
  • 15:0615:06, 5. Okt. 2026 Mo' nads, mo' problems (Versionen | bearbeiten) [978 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Mo' nads, mo' problems |Beschreibung EN=There are many important concepts in category theory that find immediate use in theoretical computer science, the most famous of which being monads. This talk will serve as a short introduction for computer scientists to the theory of monads. We will first discuss (using supporting examples from computer science) some of the foundational structures of category theory: mainly functors, natur…“)
  • 14:5414:54, 5. Okt. 2026 Equivalence Checking Between Logic Programs with Aggregates in ASP (Versionen | bearbeiten) [1.514 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Equivalence Checking Between Logic Programs with Aggregates in ASP |Beschreibung EN=Answer Set Programming (ASP) is a form of declarative programming. It is used in a range of practical applications in problem solving tasks, which has continued to expand in recent years. Equivalence checking is useful to determine whether modifications to a program preserve the intended meaning, or when evaluating a program’s semantic c…“)
  • 07:5507:55, 5. Okt. 2026 Foundations of Logic Programming (WS2026) (Versionen | bearbeiten) [1.243 Bytes] Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Logic Programming |Research group=Computational Logic |Lecturers=Hannes Straß |Term=WS |Year=2026 |Module=INF-Ma-25-FTK-FLP |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Logic Programming is a form of declarative programming that has its roots in first-order predicate logic. This introductory course covers the fundamental topics of logic programming such as the rule-based syn…“)

4. Oktober 2026

  • 13:5213:52, 4. Okt. 2026 Foundations of Knowledge Representation (WS2026) (Versionen | bearbeiten) [3.949 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Knowledge Representation |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Sebastian Rudolph |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-KR |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=== Beginning of Semester === The first lecture will take place on Monday 12 October in room APB E005 at 9:20 (DS2). === Synopsis === In this lecture, we will review the mos…“)

2. Oktober 2026

  • 06:4706:47, 2. Okt. 2026 Inproceedings3470 (Versionen | bearbeiten) [3.418 Bytes] Timm Spork (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Sascha Klüppelholz; Timm Spork }} {{Inproceedings |Referiert=1 |Title=Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata |To appear=0 |Year=2026 |Month=August |Booktitle=37th International Conference on Concurrency Theory (CONCUR 2026) |Pages=15:1 - 15:19 |Publisher=Schloss Dagstuhl- Leibniz-Zentrum für Informatik |E…“)

1. Oktober 2026

  • 16:0616:06, 1. Okt. 2026 Knowledge Graphs (WS2026) (Versionen | bearbeiten) [7.804 Bytes] Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Knowledge Graphs |Research group=Wissensbasierte Systeme |Lecturers=Markus Krötzsch |Tutors=Maximilian Marx |Term=WS |Year=2026 |Lecture series=Knowledge Graphs |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====News=== * the first lecture will take place on '''Tuesday, 2025-10-14, DS2 (09:20–10:50)''' in room BAR 106 <!-- * the first exercise will take place on '''Wednesday, 2025-10-22,…“)
  • 12:0912:09, 1. Okt. 2026 Complexity Theory (WS2026) (Versionen | bearbeiten) [10.996 Bytes] Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Complexity Theory |Research group=Wissensbasierte Systeme |Lecturers=Markus Krötzsch |Tutors=Lukas Gerlach |Term=WS |Year=2026 |Lecture series=Complexity Theory |Matrix=https://matrix.to/#/#complexity:tu-dresden.de |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=== Contents == This course covers both fundamental concepts and advanced topics in complexity theory. Key topics are: * '''Turing…“)

24. September 2026

  • 08:1708:17, 24. Sep. 2026 Advanced Problem Solving and Search (WS2026) (Versionen | bearbeiten) [5.421 Bytes] Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Advanced Problem Solving and Search |Research group=Computational Logic; Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Tutors=Hannes Straß; Tim Lyon |Term=WS |Year=2026 |Module=CMS-CE-EL1, CMS-CE-EL2, CMS-CLS-ELG, CMS-CLS-ELV, CMS-EE-EL1, CMS-EE-EL2, CMS-VC-ELV2, INF-25-MA-FTK-APSS |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur, nach Modulbeschreibung |Description=Problem solving and search is…“)

23. September 2026

  • 13:5513:55, 23. Sep. 2026 Seminar Knowledge Representation (WS2026) (Versionen | bearbeiten) [2.423 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar „Knowledge Representation“ |Title_EN=Seminar “Knowledge Representation” |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Language=EN |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-Sem |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description= {{MissingTranslation|Language=de}} The topic of this seminar are === Anmeldung === Für die Teilnahme ist eine Registrierung via Opal bis zum 19. Oktober erforderlic…“)
  • 10:1010:10, 23. Sep. 2026 News114 (Versionen | bearbeiten) [2.020 Bytes] Tim Lyon (Diskussion | Beiträge) (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…“)
  • 08:0008:00, 23. Sep. 2026 Proof Theory and Sequent Systems (WS2026) (Versionen | bearbeiten) [2.472 Bytes] Tim Lyon (Diskussion | Beiträge) (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

  • 12:2712:27, 11. Sep. 2026 Techreport3063 (Versionen | bearbeiten) [1.878 Bytes] Tim Lyon (Diskussion | Beiträge) (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…“)

8. September 2026

  • 13:4613:46, 8. Sep. 2026 Aktivitaet2140 (Versionen | bearbeiten) [333 Bytes] Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Editor in Chief der Zeitschrift Transactions on Graph Data and Knowledge (TGDK) |Beschreibung EN=Editor in Chief of Transactions on Graph Data and Knowledge (TGDK) |Person=Markus Krötzsch |URL=https://drops.dagstuhl.de/entities/journal/TGDK#general |Start(Jahr)=2026 |Ende(Jahr)=2030 |Rank=★★★ }}“)

1. September 2026

  • 10:4610:46, 1. Sep. 2026 Markus Krötzsch/Applications (Versionen | bearbeiten) [472 Bytes] Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Main heading|Bewerbungen zur Promotion, als Studentische Hilfskraft oder für Praktika}} Bitte beachten Sie die entsprechenden Hinweise in englischer Sprache. Diese Informationen beziehen sich nicht auf Schülerpraktika (die wir leider nur selten anbieten können). In der Regel sollten derartige Anfragen an die Fakultät (das Dekanat) gesendet werden, sofern es nicht ein besonderes Interesse an der Arbeit meiner Pr…“)
  • 09:4509:45, 1. Sep. 2026 Markus Krötzsch/Applications/en (Versionen | bearbeiten) [6.612 Bytes] Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Main heading|How to Apply for PhD Positions, Student Assistant Jobs, and Internhips}} ''This is a personal note of Markus Krötzsch. Other professors may have other views on the matter.'' I am receiving many solicited and unsolicited emails where students around the world apply for a PhD position, student assistant job, or research internship. Most of them are unsuccessful, and many are not even answered. This page is meant to…“)

31. August 2026

  • 13:3013:30, 31. Aug. 2026 Inproceedings3481 (Versionen | bearbeiten) [1.618 Bytes] Alex Ivliev (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Alex |ErsterAutorNachname=Ivliev |FurtherAuthors=Markus Krötzsch; Maximilian Marx }} {{Inproceedings |Referiert=1 |Title=SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs (Extended Abstract) |To appear=0 |Year=2026 |Booktitle=Proceedings of the 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2026) |Publisher=CEUR-WS.org |Editor=Marco Calautti…“)

25. August 2026

  • 11:5211:52, 25. Aug. 2026 Inproceedings3480 (Versionen | bearbeiten) [2.016 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Andrey Kudinov; Maik Nguyen; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=On Modal Logics of Full Products of Neighborhood Frames |To appear=0 |Year=2026 |Booktitle=Advances in Modal Logic |Publisher=College Publications |Volume=16 |Note=To appear }} {{Publikation Details |Abstract=On the product of two neighborhood frames, three natural neighborhoo…“)
  • 11:3511:35, 25. Aug. 2026 Article3125 (Versionen | bearbeiten) [1.736 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer }} {{Article |Referiert=0 |Title=Linear dynamical systems, Formal verification, Linear recurrence sequences, Markov chains |To appear=0 |Year=2026 |Journal=Nonlinear Analysis: Hybrid Systems |Volume=60 |Pages=101680 |Publisher=Elsevier }} {{Publikation Details |Bild=X1751570X.jpg |Abstract=In di…“)
  • 11:1211:12, 25. Aug. 2026 Inproceedings3479 (Versionen | bearbeiten) [1.989 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala; Isa Vialard }} {{Inproceedings |Referiert=1 |Title=Temporal Properties of Conditional Independence in Dynamic Bayesian Networks |To appear=0 |Year=2026 |Booktitle=Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26) |Pages=36601–36609 |Publisher=AAAI Press |Edit…“)
  • 07:5707:57, 25. Aug. 2026 Inproceedings3478 (Versionen | bearbeiten) [2.060 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork }} {{Inproceedings |Referiert=1 |Title=Model Checking Linear Temporal Logic with Standpoint Modalities |To appear=0 |Year=2025 |Booktitle=Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |Pages=2--11 |Publisher=I…“)

21. August 2026

  • 08:1708:17, 21. Aug. 2026 Inproceedings3477 (Versionen | bearbeiten) [1.881 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Dörthe Arndt; Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Stratified Negation in RDF Rules: A Correct Approach |To appear=1 |Year=2026 |Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026) |Publisher=Springer |Editor=Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto J…“)

19. August 2026

  • 12:4612:46, 19. Aug. 2026 Seminar Games and Graphs (WS2026) (Versionen | bearbeiten) [5.073 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar „Selected Topics in Logic and Verification“ |Title_EN=Seminar “Selected Topics in Logic and Verification” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier;Jakob Piribauer |Language=EN |Term=WS |Year=2026 |Module=CMS-SEM, INF-25-Ma-FTK-Sem |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Maste…“)
  • 12:3712:37, 19. Aug. 2026 Seminar Selected Topics in Logic and Verification (WS2026) (Versionen | bearbeiten) [5.446 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar „Selected Topics in Logic and Verification“ |Title_EN=Seminar “Selected Topics in Logic and Verification” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier,Jakob Piribauer |Language=EN |Term=WS |Year=2026 |Module=CMS-SEM, INF-25-Ma-FTK-Sem |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=This seminar is mainly intended for students enrolled in the Master Computer Scien…“)
  • 12:2812:28, 19. Aug. 2026 Proseminar Theoretische Informatik (WS2026) (Versionen | bearbeiten) [4.423 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Theoretische Informatik“ |Title_EN=Proseminar “Theoretische Informatik” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=WS |Year=2026 |Module=INF-25-Ba-WIA,INF-IST-E-WIA |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.…“)
  • 12:2512:25, 19. Aug. 2026 Proseminar Binäre Entscheidungsgraphen (WS2026) (Versionen | bearbeiten) [4.939 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Binäre Entscheidungsgraphen“ |Title_EN=Proseminar “Binäre Entscheidungsgraphen” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=SS |Year=2026 |Module=INF-25-Ba-WIA,INF-IST-E-WIA |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Die…“)
  • 12:2312:23, 19. Aug. 2026 Article3124 (Versionen | bearbeiten) [1.391 Bytes] Jonas Karge (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jonas |ErsterAutorNachname=Karge |FurtherAuthors=Roy Ferguson; Daniel Grimaldi; Jonas Haldimann; Ruvarashe Madzime; Thomas Meyer }} {{Article |Referiert=1 |Title=When AI Influence Helps or Hurts: Guarantees for Ranking-Based Human–AI Aggregation |To appear=1 |Year=2026 |Journal=The 17th International Conference on Scalable Uncertainty Management }} {{Publikation Details |Abstract=We present, to the best of…“)
  • 10:2710:27, 19. Aug. 2026 CMS Research Project Model Checking (WS2026) (Versionen | bearbeiten) [3.115 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=CMS-Forschungsprojekt „Model Checking“ |Title_EN=CMS Research Project “Model Checking” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=EN |Term=WS |Year=2026 |Module=CMS-PRO |SWSLecture=0 |SWSExercise=0 |SWSPractical=12 |Description=This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's prog…“)
  • 09:5709:57, 19. Aug. 2026 Lecture Model Checking (WS2026) (Versionen | bearbeiten) [4.825 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Vorlesung „Model Checking“ |Title_EN=Lecture “Model Checking” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier; Sascha Klüppelholz |Language=EN |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-MC |SWSLecture=4 |SWSExercise=4 |SWSPractical=0 |Description=Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles o…“)
  • 09:4409:44, 19. Aug. 2026 Lecture Modal Logic (WS2026) (Versionen | bearbeiten) [5.669 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Vorlesung „Modal Logic“ |Title_EN=Lecture “Modal Logic” |Research group=Algebraische und logische Grundlagen der Informatik |Language=EN |Lecturers=Jakob Piribauer |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-MoL |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Description_EN=Modalities are expressions that quantify the truth of a statement, e.g. “possibly” and “necessarily”. Modal logics are simple, yet expressive formalisms…“)
  • 09:1509:15, 19. Aug. 2026 Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.395 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Großer Beleg |Title_EN=Student Research Project (Großer Beleg) |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-25-Ma-GB |SWSLecture=0 |SWSExercise=0 |SWSPractical=100h |Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der Algebraische und l…“)
  • 09:0309:03, 19. Aug. 2026 Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.471 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Forschungsprojekt |Title_EN=Research Project |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-25-Ma-FP |SWSLecture=0 |SWSExercise=0 |SWSPractical=100h |Description=Das Forschungsprojekt ist angedacht für Studierende der Studiengänge ''Master Computer Science'' und ''Diplom Information''. Teilnehmende bearbeiten ausgewählte Themen aus den Bere…“)
  • 07:1007:10, 19. Aug. 2026 Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.322 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title_EN=Exploration of a Research Subject |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-25-Ma-ERS |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=Projekte (40 Stunden) |Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der Algebrai…“) ursprünglich erstellt als „Exploration of a Research Topic: Algebraische und logische Grundlagen der Informatik (WS2026)“
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)
Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Neue_Seiten“