Frühere Vorträge im Logikseminar (Januar 1999 bis Dezember 1999)

Dienstag, 09.02.99, 16.15 Uhr:

Julian Richardson:
Proof Planning in Higher-Order Logic with LambdaClam
(Gebäude 46.1, Raum 024)

Mittwoch, 10.02.99, 11.15 Uhr:

Wolfgang Heydrich:
Theory of Mutuality
(Gebäude 46.1, Raum 024)

Dienstag, 09.03.99, 16.15 Uhr:

Rana Barua:
A Hierarchy of $\omega$-regular Languages and a Hierarchy of Muller Automata
(Gebäude 46.1, Raum 024)

Mittwoch, 10.03.99, 15.15 Uhr:

Helmut Veith:
Datalog LITE: Temporal versus deductive reasoning in verification
(Gebäude 46.1, Raum 024)

Dienstag, 16.03.99, 14.15 Uhr:

Hélène Kirchner:
Programming with rewrite rules and strategies in ELAN
(Gebäude 46.1, Raum 019)

Montag, 19.04.99, 15.15 Uhr:

Helmut Schwichtenberg:
Programmextraktion aus klassischen Beweisen
(Gebäude 46.1, Raum 019)

Freitag, 23.04.99, 11.15 Uhr:

Bernard Boigelot:
On Iterating Linear Operations over Recognizable Sets of Integers
(Gebäude 46.1, Raum 024)

Donnerstag, 17.06.99, 16.15 Uhr:

Rolf Backofen:
Symmetrieausschluß in der constraint-basierten Suche
(Gebäude 46.1, Raum 024)

Montag, 19.07.99, 16.15 Uhr:

Kahlil Hodgson:
On the recent development of SCOTT
(Gebäude 46.1, Raum 024)

Montag, 10.08.99, 16.15 Uhr:

Bruce Spencer:
Nearly Ordered Resolution
(Gebäude 46.1, Raum 024)

Dienstag, 05.10.99, 16.15 Uhr:

Dimitri Hendriks:
Automated construction of proofs of first-order tautologies in type theory
(Gebäude 46.1, Raum 024)

Dienstag, 09.11.99, 16.15 Uhr:

Ralf Treinen:
Tree Automata with Tests and Predicate Logic
(Gebäude 46.1, Raum 024)

Donnerstag, 11.11.99, 16.15 Uhr:

Ewa Orlowska:
Rasiowa-Sikorski-style proof systems for nonclassical logics
(Gebäude 46.1, Raum 024)

Dienstag, 23.11.99, 16.15 Uhr:

Agustín Valverde:
TAS: a tool for automated deduction in many-valued and temporal logics
(Gebäude 46.1, Raum 024)

---

Previous | Up | Next

---

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