Thread View: de.sci.ki.announce
1 messages
1 total messages
Started by Norbert E. Fuchs
Tue, 10 Nov 1992 14:59
Prolog Forum
Author: Norbert E. Fuchs
Date: Tue, 10 Nov 1992 14:59
Date: Tue, 10 Nov 1992 14:59
94 lines
2758 bytes
2758 bytes
-------------------------------------------------------------------- Universitaet Zuerich-Irchel ETH Zuerich P r o l o g F o r u m ----------------------- Wintersemester 1992/93 Das Prolog Forum mit Themen aus der Logischen Programmierung dient dem informellen Informationsaustausch - insbsondere neue Ideen sollen vorgestellt und diskutiert werden. Um den informellen Charakter zu betonen, trifft man sich ueber Mittag bei Sandwiches, Biscuits und Kaffee. Anschliessend kann im kleinen Rahmen weiterdiskutiert werden. Das Prolog Forum findet alternierend mit dem Cognitive Science Brown Bag statt, das normalerweise am Donnerstag veranstaltet wird. Ort --- IFI: Universitaet Zuerich-Irchel, Institut fuer Informatik Seminarraum 27-H-25 oder 27-H-46 ETH: ETH Zuerich, Departement Informatik Haldeneggsteig 4/Weinbergstrasse Raum IWF E42 Zeit ---- 12.30 Ð 13.30 normalerweise: Mittwoch Ausnahme: Montag, 14. Dezember Programm -------- Mittwoch, 25. November IFI 27-H-25 David Robertson, University of Edinburgh Automating the Construction of Logic Programs Mittwoch, 9. Dezember IFI 27-H-25 Alain Colmerauer, Universite d'Aix-Marseille Naive Solving of Constraints Montag, 14. Dezember IFI 27-H-46 Ina Kraan, University of Edinburgh A Novel Approach to the Synthesis of Logic Programs Mittwoch, 16. Dezember IFI 27-H-25 Bradley Richards, University of Texas, Austin An Operator-Based Approach to First-OrderTheory Revision Mittwoch, 13. Januar IFI Francois Bry, ECRC, Muenchen Gottlob Freges Erbe - Ein Beitrag zur Formalisierung der Logischen Programmierung Mittwoch, 3. Februar ETH Michael Boehlen, ETH, Zuerich A Temporal Extension of the Deductive Database System ProQuel Mittwoch, 10. Februar ETH Letizia Tanca, Politecnico di Milano LOGRES - A Deductive Database Programming Language Norbert E. Fuchs Robert Marti Institut fuer Informatik Institut fuer Informationssysteme Universitaet Zuerich-Irchel ETH Zuerich Winterthurerstrasse 190 ETH Zentrum CH-8057 Zuerich CH-8092 Zuerich Telefon +41-1-257 43 11 Telefon +41-1-254-7260 E-mail fuchs@ifi.unizh.ch Email marti@inf.ethz.ch --------------------------------------------------------------------
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads