Frühere Vorträge im Logikseminar (November 1994 bis Dezember 1995)

Dienstag, 08.11.94, 16.15 Uhr:
Sergei Vorobyov:
On Decidability Problems for Polymorphic Lambda-Calculi with Subtyping
(Gebäude 44, Raum 117)
Dienstag, 06.12.94, 16.15 Uhr:
Ernst-Rüdiger Olderog:
Design of Real-Time Systems: From Requirements to Programs
(Gebäude 44, Raum 117)
Montag, 16.01.95, 11.15 Uhr:
Michael Maher:
Constrained Functional Dependencies
(Gebäude 44, Raum 117)
Montag, 16.01.95, 15.00 Uhr:
Bernhard Steffen:
Programmsynthese durch Modellkonstruktion im META-Frame
(Gebäude 44, Raum 117)
Dienstag, 17.01.95, 9.15 Uhr:
Tiziana Margaria:
MISS: Metalevel Intelligent Software Synthesis
(Gebäude 44, Raum 117)
Montag, 30.01.95, 16.15 Uhr:
Suryanil Ghosh:
Introspective Paraconsistent Logic Programming
(Gebäude 44, Raum 117)
Dienstag, 31.01.95, 16.15 Uhr:
Joachim Niehren:
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
(Gebäude 44, Raum 117)
Dienstag, 07.02.95, 16.15 Uhr:
Tim Fernando:
Natural language as a programming language
(Gebäude 44, Raum 117)
Mittwoch, 08.03.95, 15.15 Uhr:
Christopher Lynch:
Paramodulation without Duplication
(Gebäude 44, Raum 117)
Dienstag, 14.03.95, 16.15 Uhr:
Ralf Treinen:
Feature Trees over Arbitrary Structures
(Gebäude 44, Raum 117)
Dienstag, 04.04.95, 16.15 Uhr:
Christian Prehofer:
Solving Higher-order Equations: From Logic to Programming
(Gebäude 44, Raum 117)
Mittwoch, 26.04.95, 11.15 Uhr:
P. A. D. de Maine:
Design Principles for Discipline Independent Rule Based Systems
(Gebäude 43.1, Raum +1.01)
Dienstag, 02.05.95, 16.15 Uhr:
Burkhart Wolff:
Eine Theorie generischer Bindungsstrukturen und Substitutionen in HOL
(Gebäude 44, Raum 117)
Mittwoch, 10.05.95, 17.00 Uhr:
Rajeev Goré:
Intuitionistic Logic redisplayed
(Gebäude 44, Raum 117)
Mittwoch, 17.05.95, 11.15 Uhr:
Thom Frühwirth:
How To Build Your Own Constraint Solver (Constraint Handling Rules By Example)
(Gebäude 43.1, Raum +1.01)
Mittwoch, 24.05.95, 17.00 Uhr:
Thorsten Altenkirch:
Integrierte Programmverifikation in Typtheorie
(Gebäude 44, Raum 117)
Dienstag, 30.05.95, 16.15 Uhr:
Hardi Hungar:
What if model checking must be truly symbolic
(Gebäude 44, Raum 117)
Mittwoch, 14.06.95, 17.00 Uhr:
Christoph Kreitz:
Guiding Program Development Systems by a Connection Based Proof Strategy
(Gebäude 44, Raum 117)
Freitag, 16.06.95, 16.15 Uhr:
Wolfgang Küchlin:
Approaches to Hardware Verification by Term-Rewriting
(Gebäude 44, Raum 117)
Mittwoch, 21.06.95, 17.00 Uhr:
Wayne Snyder:
Confluence Testing and Completion for Production Rule Systems
(Gebäude 44, Raum 117)
Dienstag, 04.07.95, 16.15 Uhr:
Martin Müller:
Towards Type Analysis for a Concurrent Constraint Language
(Gebäude 44, Raum 117)
Montag, 17.07.95, 11.15 Uhr:
John Slaney:
Semantically Constrained Condensed Detachment is Incomplete
(Gebäude 44, Raum 127)
Dienstag, 08.08.95, 16.15 Uhr:
Evan Tick:
Constraint Programming Applications in Finance and Negotiations
(Gebäude 44, Raum 117)
Donnerstag, 10.08.95, 14.15 Uhr:
Andrei Voronkov:
Rigid E-unification: unpleasant properties and related topics
(Gebäude 44, Raum 117)
Donnerstag, 10.08.95, 16.15 Uhr:
Chris Brink:
Programs as Priestley Relations (Or: What Topology can do for Program Semantics)
(Gebäude 44, Raum 117)
Mittwoch, 16.08.95, 16.15 Uhr:
Deepak Kapur:
Maximal Extensions of Simplification Orderings
(Gebäude 44, Raum 117)
Dienstag, 29.08.95, 16.15 Uhr:
Hubert Baumeister:
Using Algebraic Specification Languages for Model Oriented Specifications
(Gebäude 44, Raum 117)
Montag, 09.10.95, 11.00 Uhr:
Lutz Priese:
Petrinetz-Teilklassen
(Gebäude 44, Raum 117)
Dienstag, 10.10.95, 16.15 Uhr:
Lutz Priese:
Ein elementarer Petrinetz-Kalkül mit einer kompositionellen Semantik
(Gebäude 44, Raum 117)
Dienstag, 24.10.95, 16.15 Uhr:
Stephane Demri:
Backward translations for modal logics
(Gebäude 44, Raum 117)
Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 1997-10-02.
Imprint | Data Protection