From herme@colon.dia.fi.upm.es Thu Nov 11 16:46:04 EST 1993 Article: 8921 of comp.lang.prolog Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:8921 Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!xlink.net!scsing.switch.ch!sun.rediris.es!goofy.fi.upm.es!goofy.fi.upm.es!herme Newsgroups: comp.lang.prolog Subject: CFP: ALP-PLILP'94 Joint Conference [Algebraic and Logic Programming; Programming Language Implementation and LP] Message-ID: From: herme@colon.dia.fi.upm.es (Manuel Hermenegildo) Date: 8 Nov 93 00:37:45 Distribution: world Organization: Computer Science Dept., Technical U. of Madrid (UPM), Spain Nntp-Posting-Host: colon.dia.fi.upm.es Lines: 182 (LaTeX/postscript versions available by anonymous ftp to dia.fi.upm.es) JOINT CALL FOR PAPERS --------------------- ALP'94 PLILP'94 Fourth International Conference on Sixth International Symposium on Algebraic and Logic Programming Language Implementation Programming and Logic Programming Madrid (Spain) September 14-16, 1994 Following the three previous ALP conferences in Gaussig (1988), Nancy (1990), and Volterra (1992), as well as the five previous PLILP meetings in Orleans (1988), Linkoping (1990), Passau (1991), Leuven (1992) and Tallinn (1993), the Fourth International Conference on Algebraic and Logic Programming and the Sixth International Symposium on Programming Language Implementation and Logic Programming will be held concurrently in Madrid (Spain). The event will be organized jointly by the Computer Science Departments of the Universidad Complutense de Madrid (UCM) and the Universidad Politecnica de Madrid (UPM). TOPICS ALP aims at strengthening the connections between algebraic techniques and logic programming. PLILP aims at stimulating research on new declarative concepts, methods, and techniques relevant for the implementation of all kinds of programming languages with particular emphasis on logic programming. Typical, but not exclusive topics of interest are: ALP: 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) PLILP: Declarative implementation techniques Implementation of declarative concepts Program analysis and transformation Compiler specification and construction Executable specifications Constraint programming Amalgamation of logic programming with algorithmic, functional or object-oriented programming Programming environments for declarative languages The scientific program will include a number of invited talks in addition to the presentations of the accepted papers. Invited talks, as well as possibly a selection of accepted contributions, will be scheduled for plenary sessions. Other accepted contributions will be scheduled for parallel ALP and PLILP sessions. We anticipate two proceedings volumes to be published by Springer Verlag in the LNCS series. All the participants will receive both volumes. A limited number of scholarships may be available for subsidizing those participants who are unable to obtain support from other sources. PLILP'94 -------- Program Co-Chairs: Manuel Hermenegildo (Madrid) Jaan Penjam (Tallinn) Program Committee: Mats Carlsson (Stockholm) Michael Codish (Beer Sheva) Bart Demoen (Leuven) Pierre Deransart (Rocquencourt) Moreno Falaschi (Padova) Neil Jones (Copenhagen) Herbert Kuchen (Aachen) Brian Mayoh (Aarhus) Juan J. Moreno (Madrid) Alan Mycroft (Cambridge) Hiroshi Nakashima (Kyoto) Jukka Paakki (Jyvaskyla) Peter Pepper (Berlin) Igor Pottosin (Novosibirsk) Antoine Rauzy (Bordeaux) Francesca Rossi (Pisa) Peter Stuckey (Melbourne) Doaitse Swierstra (Utrecht) David H.D. Warren (Bristol) Will Winsborough (Pennsylvania) ALP'94 ------ Program Co-Chairs: Giorgio Levi (Pisa) Mario Rodriguez-Artalejo (Madrid) Program Committee: Krzysztof Apt (Amsterdam) Egidio Astesiano (Genova) Harald Ganzinger (Saarbruecken) Claude Kirchner (Nancy) Michael Maher (Yorktown Heights) Fernando Orejas (Barcelona) Laurent Puel (Orsay) Jerzy Tiuryn (Warsaw) Andrei Voronkov (Uppsala) SUBMISSIONS Authors are invited to send five copies of their manuscripts to the following addresses by February 28: ALP papers: 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 PLILP papers: Prof. Manuel Hermenegildo PLILP'94 Co-chair Facultad de Informatica Universidad Politecnica de Madrid E28660 Boadilla del Monte, Madrid Spain Phone: +34 1 3 36 74 35 Fax: +34 1 3 52 48 19 e-mail: plilp@dia.fi.upm.es Papers must describe original, previously unpublished research, be written and presented in English, not exceed 15 pages (A4 or letter format, up to 5,000 words), and not be simultaneously submitted for publication elsewhere. The cover page should include a return mailing address and, if possible, an electronic mail address and a fax number. If at all possible, at the moment of submission a message containing the title of the paper, authors, abstract, keywords, and the address information outlined above should be sent by email to the corresponding address. Authors are warned in advance that submitted papers could be moved from ALP to PLILP or vice-versa, upon agreement of the program committees. Address for Information: plilp-alp-info@dia.fi.upm.es and anonymous ftp: dia.fi.upm.es directory: pub/plilp-alp-94 IMPORTANT DATES Deadline for submissions: February 28, 1994 Notification of acceptance/rejection: May 10, 1994 Deadline for final text: June 20, 1994 Conference: September 14-16, 1994 -- ----------------------------------------------------------------------------- herme@fi.upm.es (Internet) | Manuel Hermenegildo herme@cs.utexas.edu (Internet) | Facultad de Informatica +34-1-336-7435 or 352-4803 (Work) | Universidad Politecnica de Madrid +34-1-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID +34-1-517-1695 (Home) | SPAIN -----------------------------------------------------------------------------