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, email@example.com, 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 firstname.lastname@example.org. 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: email@example.com. 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. firstname.lastname@example.org.