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