Logikseminar

[This information is also available in English.]

Das Logikseminar ist eine gemeinsame Veranstaltung des Deutschen Forschungszentrums für künstliche Intelligenz, des Max-Planck-Instituts für Informatik, Saarbrücken und der Fachrichtungen Informatik, Philosophie und Rechtswissenschaft der Universität des Saarlandes.

Themen des Logikseminars sind

• Logiken aller Art (z.B.: Programmlogiken, Modallogiken, ...),
• Automatisches und interaktives Theorembeweisen,
• Termersetzungssysteme und verwandte Kalküle,
• Unifikation und Constraints.

Die Vorträge sind öffentlich; alle Interessenten sind herzlich eingeladen.

Aktuelle Vortragsankündigungen
Frühere Vorträge
Hinweise für Vortragende und Einladende

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2001-05-08.
Imprint | Data Protection