LICS'94 REMINDER.
* Submissions. 10 hard copies of a detailed abstract (not a full paper)
and 20 additional copies of the cover page should be received by
* DECEMBER 13 *
by the program chair. This is a FIRM DEADLINE: late submissions will not
be considered.
* Program Chair: Samson Abramsky, Attn: LICS, Department of Computing,
Imperial College of Science, Technology and Medicine, 180 Queen's Gate,
London SW7 2BZ, United Kingdom, sa@doc.ic.ac.uk, Phone: (010-44)
71-589-5111 ext. 5005, Fax: (010-44) 71-581-8024
* Full Call for Papers. By anonymous ftp from research.att.com,
directory /dist/lics, or by emailing lics-request@research.att.com.
4th INT'L CONF. ON ALGEBRAIC AND LOGIC PROGRAMMING,
6th INT'L SYMP. ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING
(ALP'94, PLILP'94)
September 14-16, 1994, Madrid (Spain).
* ALP topics. Semantics of algebraic and logic programming, integration
of functional and logic programming, term rewriting, narrowing,
resolution, constrained logic programming and constrained theorem
proving, concurrent features in algebraic and logic programming
languages, higher order features in algebraic and logic programming
languages, implementation issues (with possible system demonstrations).
* ALP Submissions. 5 copies by February 28 to Prof. Mario
Rodriguez-Artalejo, ALP'94 Co-chair, Departamento de Informatica y
Automatica UCM, Facultad de Matematicas, Avenida Complutense s/n, E28040
Madrid, Spain, Phone: +34 1 3 94 45 12, Fax: +34 1 3 94 46 07, e-mail:
mario@dia.ucm.es. Maximum 15 pages (5,000 words). Warning: papers could
be moved from ALP to PLILP or vice-versa, upon agreement of the program
committees.
* ALP Program Committee. G. Levi (2nd co-chair). K Apt, E Astesiano, H
Ganzinger, C Kirchner, M Maher, F Orejas, L Puel, J Tiuryn, A Voronkov.
* Information. plilp-alp-info@dia.fi.upm.es.