Programm

			Logik in der Informatik

		       Karlsruhe 31.5. - 2.6.1995

Mittwoch, 31. Mai

               Anreise

ab   19:30     Treffen in der Pizzeria "Il Giardino" (Hebelstrasse 17,
               in der Naehe des Marktplatzes); es besteht die Moeglichkeit,
               dort zu Abend zu essen -- aber auch wer erst spaeter ankommt
               oder vielleicht nur ein Glas Wein trinken will, ist
               willkommen.



Donnerstag, 1. Juni (Raum 236)

 9:00   -  9:10     Begruessung

 9:10   -  9:40     Oksana Arnold (Universitaet Leipzig) und Klaus P. Jantke
                    (HTWK Leipzig)
                    Anwendung einer Logik der Constraints in der operativen
                    Prozessfuehrung

 9:40   - 10:10     Reiner Haehnle (Universitaet Karlsruhe)
                    Horn Formulas in Many-Valued Logic

10:10   - 10:40     Franz Regensburger (TU Muenchen)
                    HOLCF: Higher Order Logic of Computable Functions

10:40   - 11:00     Pause

11:00   - 11:30     Jochen Burghardt (GMD Berlin)
                    Eine entscheidbare Klasse n-stelliger Horn-Praedikate

11:30   - 12:00     Matthias Ott (Universitaet Karlsruhe)
                    Aufzaehlungsspiele auf partiellen Funktionen

12:00   - 12:30     Frank Stephan (Universitaet Karlsruhe)
                    Learning via Queries and Oracles

12:30   - 14:00     Mittagsause

14:00   - 14:30     Daniel Matuschek, Klaus P. Jantke (HTWK Leipzig) und
                    Oksana Arnold (Universitaet Leipzig)
                    Generierung von Therapieplaenen mit Mitteln der
                    logischen Programmierung

14:30   - 15:00     Arnd Poetzsch-Heffter (TU Muenchen)
                    Specification and Prototyping of Programming Languages
                    Using the MAX-System

15:00   - 15:30     Harald Feibel (DFKI Saarbruecken)
                    IGLOO _ A Graphic Supported Proof Development System

15:30   - 16:00     Pause

16:00   - 17:30     Eingeladener Vortrag:  Alexander Leitsch (TU Wien)
                    Hyperresolution and Automated Model Building

17:30   - 18:30     Fachgruppensitzung

20:00               Gemeinsames Abendessen



Freitag, 2. Juni (Raum 301)

 9:00   -  9:30     Guiseppe Del Castillo (Universitaet Pisa)
                    An Evolving Algebra Model for the APE 100 Parallel
                    Architecture

 9:30   - 10:00     Gerhard Schellhorn (Universitaet Ulm)
                    Von PROLOG zur WAM: Compilerverifikation mit KIV

10:00   - 10:30     Kirsten Winter (Universitaet Freiburg)
                    Modellierung und Spezifikation mit dynamischen Algebren

10:30   - 11:00     Pause

11:00   - 11:30     Bernhard Beckert und Joachim Posegga (Universitaet
                    Karlsruhe)
                    leanEA: A Poor Man's Evolving Algebra Compiler

11:30   - 12:00     Angelica M. Kappel (Universitaet Bonn)
                    Der Einsatz von Evolving algebras in einem
                    wissensbasierten System

12:00   - 12:30     Igor Durdanovic und Uwe Glaesser (Universitaet Paderborn)
                    An Evolving Algebra Abstract Machine

12:30               Ende


Am Freitag nachmittag (die Uhrzeit steht noch nicht fest) wird fuer
Interessierte eine Vorfuehrung stattfinden zu Gerhard Schellhorns
Vortrag "Von PROLOG zur WAM: Compilerverifikation mit KIV".