Date: Tue, 12 Oct 1993 15:24:06 +0100 To: compulog-list@cwi.nl, lics-email@cs.indiana.edu, parforce@ecrc.de, From: meta94@di.unipi.it Subject: CFP: META-94 ***** Call for Papers ***** FOURTH INTERNATIONAL WORKSHOP ON META-PROGRAMMING IN LOGIC (META'94) Pisa, June 20-22, 1994 TOPICS include: Foundations of meta-programming, Design and Implementation of language facilities for meta-programming, Meta-programming for knowledge representation, Meta-programming, non-monotonic and modal logics, Applications of Meta-programming. SUBMIT four copies of complete and original papers by January 10 to Franco Turini - Meta 94, Dipartimento di Informatica, Corso Italia, 40, 56125 Pisa, Italy. PROGRAM COMMITTEE: L. Aiello (Rome, Italy), J. Barklund (Uppsala, Sweden), Bowen (Syracuse, USA), D. De Schreye (Leuven, Belgium), Y. Jiang (London, UK), J. Komorowski (Trondheim, Norway), G. Lanzarone (Milan, Italy), A. Martelli (Turin, Italy), L.M. Pereira (Lisbon, Portugal), A. Pettorossi (Rome, Italy), A. Porto (Lisbon, Portugal), T.Sato (Tsukuba, Japan), L. Sterling (Cleveland, USA), S.A. Tarnlund (Uppsala, Sweden), F. Turini (Pisa, Italy) (Chairman). NOTICE: the workshop is in conjunction with LOPSTR'94 and the week after ICLP'94 FURTHER INFO: meta94@di.unipi.it ---------------------------------------------------------------- Franco Turini Dipartimento di Informatica, Corso Italia 40, I-56125 Pisa email: turini@di.unipi.it, ph: +39 50 510253, fax: +39 50 510226