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

Dienstag, 18.03.97, 16.15 Uhr:

John Slaney:
Blocks World Tamed: Ten thousand blocks in under a second
(Gebäude 46.1, Raum 019)

Dienstag, 22.04.97, 16.15 Uhr:

François Fages:
Towards a flexible type system with subtypes and parametric polymorphism for constraint logic programming
(Gebäude 46.1, Raum 019)

Montag, 02.06.97, 14.15 Uhr:

Patrick Cousot:
Design of Semantics by Abstract Interpretation
(Gebäude 46.1, Raum 019)

Mittwoch, 11.06.97, 16.15 Uhr:

Laurent Perron:
Decorated Constraints
(Gebäude 46.1, Raum 024)

Donnerstag, 19.06.97, 16.15 Uhr:

Tobias Nipkow:
Combining Model Checking and Deduction for I/O-Automata
(Gebäude 46.1, Raum 024)

Freitag, 27.06.97, 13.45 Uhr:

Carsten Schürmann:
Twelf: Eine LF-Implementierung mit expliziten Substitutionen
(Gebäude 46.1, Raum 019)

Freitag, 27.06.97, 17.15 Uhr:

Andrei Voronkov:
The equality elimination method
(Gebäude 46.1, Raum 024)

Dienstag, 23.09.97, 16.15 Uhr:

Lincoln Wallen:
Type-theoretic interpretations of proof search
(Gebäude 46.1, Raum 019)

Dienstag, 30.09.97, 16.15 Uhr:

Jean-Marc Talbot:
Solving Co-definite Set Constraints with Membership Expressions over Sets of finite Trees
(Gebäude 46.1, Raum 019)

Montag, 27.10.97, 16.15 Uhr:

Moshe Vardi:
Computational Model Theory
(Gebäude 46.1, Raum 019)

Dienstag, 18.11.97, 16.15 Uhr:

Pierre Wolper:
The Power of QDDs
(Gebäude 46.1, Raum 019)

Donnerstag, 20.11.97, 16.15 Uhr:

Andrei Voronkov:
A new perspective in logic databases
(Gebäude 46.1, Raum 019)

Dienstag, 16.12.97, 14.15 Uhr:

Frieder Stolzenburg:
Disjunktive und normale Logikprogrammierung mit Constraints
(Gebäude 46.1, Raum 022)

---

Previous | Up | Next

---

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