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

Freitag, 16.01.98, 11.15 Uhr:

John Gallagher:
Types and Constraints
(Gebäude 46.1, Raum 019)

Freitag, 23.01.98, 11.15 Uhr:

Marcus Kracht:
Reduktion von Beweisen
(Gebäude 46.1, Raum 019)

Dienstag, 27.01.98, 11.15 Uhr:

Johannes Waldmann:
Term Rewriting and Rational Tree Languages -- The CL(S) Example
(Gebäude 46.1, Raum 019)

Donnerstag, 29.01.98, 16.15 Uhr:

Ullrich Hustadt:
Developing efficient theorem provers for basic modal logic
(Gebäude 46.1, Raum 024)

Donnerstag, 12.02.98, 15.15 Uhr:

Susumu Nishimura:
Static Typing for Dynamic Messages
(Gebäude 46.1, Raum 019)

Mittwoch, 18.02.98, 11.15 Uhr:

Javier Esparza:
Model-Checking Pushdown Automata
(Gebäude 46.1, Raum 024)

Mittwoch, 25.02.98, 11.15 Uhr:

Manfred Schramm:
Schließen mit Wahrscheinlichkeiten und maximaler Entropie: Theorie, Implementierung und Anwendung
(Gebäude 46.1, Raum 024)

Dienstag, 03.03.98, 16.15 Uhr:

Andreas Nonnengart:
A Fixpoint Approach to Second-Order Quantifier Elimination
(Gebäude 46.1, Raum 024)

Mittwoch, 04.03.98, 16.15 Uhr:

Gerhard Schellhorn:
Verification of Abstract State Machines
(Gebäude 46.1, Raum 024)

Dienstag, 10.03.98, 16.15 Uhr:

Bernd Fischer:
Deductive Component Retrieval: Concepts, Experiments, and Experiences
(Gebäude 46.1, Raum 024)

Montag, 11.05.98, 16.15 Uhr:

Michele Bugliesi:
Interpretations of Objects and Object Types
(Gebäude 46.1, Raum 024)

Mittwoch, 27.05.98, 11.15 Uhr:

Nevin Heintze:
Security Protocols: Models, Set Constraints, Electronic Commerce and Cryptographic Postage Indicia
(Gebäude 46.1, Raum 024)

Mittwoch, 10.06.98, 11.15 Uhr:

Nevin Heintze:
Linear-Time Subtransitive Control-Flow Analysis
(Gebäude 46.1, Raum 024)

Dienstag, 30.06.98, 16.15 Uhr:

Julian Richardson:
Proof Planning with Schema Frameworks
(Gebäude 46.1, Raum 024)

Dienstag, 14.07.98, 16.15 Uhr:

Matthew Bishop:
Selectively Instantiating Definitions in Automated Reasoning
(Gebäude 46.1, Raum 024)

Mittwoch, 15.07.98, 11.15 Uhr:

Sabine Glesner:
Using Constraint Programming to Implement Many-Sorted Natural Semantics
(Gebäude 46.1, Raum 024)

Dienstag, 28.07.98, 16.15 Uhr:

Martin Sulzmann:
Polymorphie und Constraints in Hindley/Milner Typsystemen
(Gebäude 46.1, Raum 024)

Dienstag, 29.09.98, 16.15 Uhr:

Giovanni Sambin:
Basic Logic
(Gebäude 46.1, Raum 024)

Dienstag, 13.10.98, 16.15 Uhr:

Thomas Hillenbrand:
WALDMEISTER
(Gebäude 46.1, Raum 024)

Dienstag, 03.11.98, 16.15 Uhr:

Jens Knoop:
Optimierung paralleler Programme
(Gebäude 46.1, Raum 024)

Donnerstag, 19.11.98, 16.15 Uhr:

Bernhard Steffen:
Eigenschaftsorientierte Programmexpansion
(Gebäude 46.1, Raum 023)

Freitag, 20.11.98, 11.15 Uhr:

Tiziana Margaria:
Verifikation parametrischer Systeme mit dem MOSEL-Toolset
(Gebäude 46.1, Raum 024)

Dienstag, 24.11.98, 16.15 Uhr:

Peter Revesz:
Constraint Data Bases
(Gebäude 46.1, Raum 024)

Dienstag, 15.12.98, 16.15 Uhr:

Markus Wenzel:
Isar -- Intelligible semi-automated reasoning
(Gebäude 46.1, Raum 024)

---

Previous | Up | Next

---

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