Frühere Vorträge im Logikseminar (Januar 2002 bis Dezember 2002)
- Dienstag, 14.05.02, 14.15 Uhr:
- Lenore Zuck:
Automatic Verification of Parametrized Systems
(Gebäude 46.1, Raum 021)
- Mittwoch, 15.05.02, 14.15 Uhr:
- Lenore Zuck:
Translation Validation of Optimizing Compilers
(Gebäude 46.1, Raum 021)
- Dienstag, 06.08.02, 14.15 Uhr:
- Stefan Ratschan:
Proving and Solving Formulae in the First-Order Predicate Language over the Real Numbers
(Gebäude 46.1, Raum 024)
- Dienstag, 06.08.02, 14.15 Uhr:
- Chad Brown:
Set Variables in Higher Order Logic
(Gebäude 46.1, Raum 024)
- Donnerstag, 24.10.02, 16.15 Uhr:
- Jamie Gabbay:
Fraenkel-Mostowski techniques for syntax with binding
(Gebäude 46.1, Raum 024)
- Dienstag, 05.11.02, 16.15 Uhr:
- Wilfried Sieg:
Beyond Church Canons and Turing Calculators: Analyzing Computability without Theses
(Gebäude 46.1, Raum 024)
- Dienstag, 17.12.02, 16.15 Uhr:
- Carsten Schürmann:
Towards Proof Automation in Logical Frameworks
(Gebäude 46.1, Raum 019)
Previous |
Up |
Next |
Uwe Waldmann
<
uwe@mpi-inf.mpg.de>,
2003-02-07.
Imprint |
Data Protection