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

Mittwoch, 10.01.96, 11.15 Uhr:

Francois Bourdoncle:
Implicit Higher-Order Polymorphism With Primitive Subtyping
(Gebäude 44, Raum 117)

Mittwoch, 17.01.96, 16.15 Uhr:

Czeslaw Bylinski:
The PC Mizar System
(Gebäude 43.1, Raum +1.01)

Dienstag, 23.01.96, 16.15 Uhr:

Sergei Vorobyov:
Lower Bounds for Theories of Trees
(Gebäude 44, Raum 117)

Donnerstag, 25.01.95, 16.15 Uhr:

Detlef Plump:
Term Graph Rewriting vs. Term Rewriting
(Gebäude 44, Raum 117)

Dienstag, 30.01.96, 16.15 Uhr:

Steffo Weber:
A cautious, paraconsistent version of Kleene's strong three-valued logic
(Gebäude 44, Raum 117)

Dienstag, 06.02.96, 14.15 Uhr:

Marek Zaionc:
Lambda Representation of Operations Between Different Term Algebras
(Gebäude 36, Raum 412)

Freitag, 09.02.96, 15.15 Uhr:

Nils Klarlund:
Automated logical verification based on trace abstractions
(Gebäude 46.1, Raum 022)

Dienstag, 05.03.96, 16.15 Uhr:

Paliath Narendran:
On solving linear equations over semirings and related problems
(Gebäude 46.1, Raum 019)

Mittwoch, 06.03.96, 14.15 Uhr:

Aart Middeldorp:
Call by Need Revisited
(Gebäude 46.1, Raum 019)

Mittwoch, 06.03.96, 16.15 Uhr:

Nachum Dershowitz:
Calendrical Calculations
(Gebäude 46.1, Raum 019)

Freitag, 08.03.96, 11.15 Uhr:

Robert Nieuwenhuis:
Basic Paramodulation and Decidable Theories
(Gebäude 46.1, Raum 019)

Mittwoch, 20.03.95, 16.15 Uhr:

John Alan Robinson:
Formal and Informal Proof
(Gebäude 46.1, Raum 019)

Donnerstag, 21.03.95, 16.15 Uhr:

Maurice Nivat:
Reconstruction of convex polyominos from their horizontal and vertical projection: a problem in discrete tomography
(Gebäude 46.1, Raum 019)

Freitag, 26.04.96, 15.15 Uhr:

Bertrand Le Saec:
Towards a structural coverage measure for protocols
(Gebäude 46.1, Raum 019)

Dienstag, 07.05.96, 16.15 Uhr:

Maarten de Rijke:
Logic, Bisimulations and Processes
(Gebäude 46.1, Raum 019)

Donnerstag, 09.05.96, 16.15 Uhr:

Maarten de Rijke:
Expressivity and Modal Logic
(Gebäude 46.1, Raum 019)

Dienstag, 28.05.96, 16.15 Uhr:

Jean-Raymond Abrial:
Protocol Design and Liveness Proofs with the B-tool
(Gebäude 46.1, Raum 019)

Freitag, 31.05.96, 14.15 Uhr:

Rajeev Goré:
Cut-free Display Calculi for Relation Algebras
(Gebäude 46.1, Raum 019)

Freitag, 05.07.96, 14.15 Uhr:

Frank Pfenning:
Linear Higher-Order Pre-Unification
(Gebäude 46.1, Raum 019)

Dienstag, 06.08.96, 16.15 Uhr:

Arnaud Venet:
Abstract Interpretation of the pi-Calculus
(Gebäude 46.1, Raum 019)

Donnerstag, 29.08.96, 14.15 Uhr:

IV Ramakrishnan:
Optimizing Clause Resolution
(Gebäude 46.1, Raum 024)

Dienstag, 29.10.96, 16.15 Uhr:

Alessandro Coglio:
The Control Component of OMRS: Resolution as a Case Study
(Gebäude 46.1, Raum 019)

Dienstag, 05.11.96, 16.15 Uhr:

Bernd Ingo Dahn:
Computergestützte Beweise in der Theorie verbandsgeordneter Gruppen
(Gebäude 46.1, Raum 019)

Dienstag, 12.11.96, 16.15 Uhr:

Leon van der Torre:
The different faces of defeasibility in defeasible deontic logic
(Gebäude 46.1, Raum 024)

Mittwoch, 13.11.96, 11.30 Uhr:

Tim Fernando:
Probabilistic reasoning without numbers
(Gebäude 46.1, Raum 024)

Dienstag, 19.11.96, 16.15 Uhr:

Björn Viktor:
Constraints as Processes (enhanced version)
(Gebäude 46.1, Raum 019)

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 1998-01-13.
Imprint | Data Protection