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

Freitag, 16.02.01, 14.15 Uhr:
Jürgen Dix:
Theoretical Foundations of IMPACT: A Multi Agent system
(Gebäude 46.1, Raum 019)
Mittwoch, 09.05.01, 16.15 Uhr:
Anatol Slissenko:
A Logic Framework for Verification of Real-Time Reactive Systems
(Gebäude 46.1, Raum 024)
Dienstag, 15.05.01, 16.15 Uhr:
R. K. Shyamasundar:
A System for Object Code Validation
(Gebäude 46.1, Raum 024)
Mittwoch, 23.05.01, 16.15 Uhr:
Anatol Slissenko:
Computing in the Nature: Biological Computing
(Gebäude 46.1, Raum 024)
Dienstag, 12.06.01, 16.15 Uhr:
Christoph Meyer Kirsch:
The Embedded Machine
(Gebäude 46.1, Raum 024)
Donnerstag, 02.08.01, 16.15 Uhr:
Stéphane Demri:
On the Complexity of Grammar Logics
(Gebäude 46.1, Raum 024)
Dienstag, 07.08.01, 16.15 Uhr:
Chad Brown:
Set Variable Instantiations in Higher Order Logic
(Gebäude 46.1, Raum 024)
Mittwoch, 17.10.01, 16.15 Uhr:
Frank Pfenning:
Verifying Program Invariants with Refinement Types
(Gebäude 46.1, Raum 024)
Montag, 22.10.01, 16.15 Uhr:
Silvio Ranise:
Uniform Derivation of Decision Procedures by Superposition
(Gebäude 46.1, Raum 024)
Donnerstag, 06.12.01, 14.15 Uhr:
Aarne Ranta:
GF, a Type-Theoretical Grammar Formalism
(Gebäude 46.1, Raum 022)

Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2002-05-08.
Imprint | Data Protection