From pvh@cs.brown.edu Tue Nov 9 12:09:27 EST 1993 Article: 8913 of comp.lang.prolog Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:8913 Newsgroups: comp.lang.prolog Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!cs.utexas.edu!uunet!brunix!cs.brown.edu!pvh From: pvh@cs.brown.edu (Pascal Van Hentenryck) Subject: ICLP'94 Final Call For Papers Message-ID: <1993Nov9.025430.22852@cs.brown.edu> Sender: news@cs.brown.edu Organization: Brown Computer Science Dept. Date: Tue, 9 Nov 1993 02:54:30 GMT Lines: 148 Please find enclosed the final call for papers for ICLP'94. Concerning the yearly confusion about how hard the deadline for ICLP submissions is, prospective authors should consider the following: "Papers airmailed on or before November 15 and arriving before December 1st will still be processed as being arrived in time; papers send up to one week late and arriving before December 1st will also be considered as submitted but will have a more rough treatment concerning selection of reviewers and more likely to be rejected in case of being borderline." In other words, the announcement/rumour that the deadline is extended has to be taken with salt: November 15 is the soft deadline, December 1st is the hard deadline. Pascal Van Hentenryck ICLP'94 Program Chair Call For Papers INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'94) S. Margherita Ligure, Italy, 13-18 June 1994 Sponsored by the Association of Logic Programming Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research as well as to explore parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. ICLP'94 is the eleventh international conference on logic programming and is one of the two major annual international conferences reporting recent research results in logic programming. The technical program for the conference will include tutorials, invited lectures, and presentations of refereed papers and posters. Papers are welcome on all aspects of logic programming, including, but not limited to: Applications Language design Architecture Natural language Artificial Intelligence Parallelism Concurrency Programming methodology Constraints Proof theory Databases Semantics and foundations Environments Static analysis Higher-order programming Theorem Proving Implementation Types Papers must be written in English, must not exceed 15 pages (including references and figures), and must contain a cover page including the following: a 200 word abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of the responsible author. Submitted papers should not have been previously published or being submitted to any journals or refereed conferences. Accepted papers must be presented at the conference. Send SIX (6) copies of your submission by NOVEMBER 15, 1993 to Pascal Van Hentenryck Brown University, Box 1910 Providence, RI 02912 (USA) Email: pvh@cs.brown.edu Phone: +1 401 863 76 34 Fax: +1 401 863 76 57 Authors will be notified of the acceptance or rejection of their papers by FEBRUARY 21, 1994. Final versions of the accepted papers must be received in camera-ready form by MARCH 15, 1994. The proceedings will be published by MIT Press. ICLP'94 will take place in Santa Margherita Ligure, a small town in the Italian Riviera close to Genova, the largest city of Liguria. Close to the conference site is the worldwide famous village of Portofino, pearl of the Mediterranean Sea and marine natural park; not far from Santa Margherita is also the pleasant resort area of "Cinque Terre", consisting of five pictoresque villages on the rocky coast which can be reached by train or boat only. PROGRAM COMMITTEE Khayri Ali Sweden Maurice Bruynooghe Belgium Philippe Codognet France Yves Deville Belgium Herve Gallaire France Chris Hogger UK Joxan Jaffar USA Giorgio Levi Italy Jan Maluszynski Sweden Kim Marriott Australia Maurizio Martelli Italy Lee Naish Australia Frank Pfenning USA David Poole Canada Antonio Porto Portugal Raghu Ramakrishnan USA M. Rodriguez-Artalejo Spain Gert Smolka Germany V.S. Subrahmanian USA Peter Szeredi Hungary Evan Tick USA Kazunori Ueda Japan Pascal Van Hentenryck USA Peter Van Roy France Andrei Voronkov Sweden Mark Wallace Germany Rong Yang UK GENERAL CHAIR Maurizio Martelli (Genova) PROGRAM CHAIR Pascal Van Hentenryck (Brown) POSTER CHAIR Lee Naish (Melbourne) WORKSHOP CHAIR Catuscia Palamidessi (Genova) PUBLICITY CHAIR} Fosca Giannotti (Pisa) ORGANIZING COMMITTEE Rosa Maria Bottino (IMA-CNR) Giorgio Delzanno (DISI) Giuseppe Marino (DIST) Alessandro Messora (DISI) LOCAL ORGANIZATION Piera Ponta (CGR) Article 9938 of comp.lang.prolog: Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:9938 comp.theory:9407 comp.ai:21077 Newsgroups: comp.lang.prolog,comp.theory,comp.ai Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!cs.utexas.edu!uunet!brunix!cs.brown.edu!vr From: vr@cs.brown.edu (Viswanath) Subject: ICLP'94 (Preliminary Program & Call for Attendance) Message-ID: <1994Mar12.104041.18145@cs.brown.edu> Sender: news@cs.brown.edu Organization: Brown Computer Science Dept. Date: Sat, 12 Mar 1994 10:40:41 GMT Lines: 528 Posted on behalf of Pascal Van Hentenryck (pvh@cs.brown.edu) /----------------------------------------------------------------------------/ Preliminary Program INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'94) S. Margherita Ligure, Italy, 13-18 June 1994 Sponsored by the Association of Logic Programming and the Prolog Vendors Group MONDAY JUNE 13 8.30 - 9.00 Welcome Session 9.00 - 10.00 Invited Talk: J. Wing (CMU) Chair: H. Gallaire 10.00 - 10.30 Coffee Break 10.30 - 12.30 Parallel Session: Semantics I Chair: G. Levi - Splitting a Logic Program Lifschitz, V. and Turner, H. - Language Independence and Language Tolerance in Logic Programs McCain, N. and Turner, H. - Computing Stable Models by Program Transformation Stuber, J. - Declarative Interpretions Reconsidered Apt, K. and Gabbrielli, M. 10.30 - 12.30: Parallel Session: Parallelism Chair: K. Ali - ACE: And/Or-parallel Copying-based Execution of Logic Programs Gupta, G. and Pontelli and Hermenegildo, M. and Santos Costa, V. - Hybrid Tree Search in the Andorra Model Moolenaar, R. and Demoen, B. - Parallel CLP on Heterogeneous Networks Mudambi, S. and Schimpf, J. - PDP: Prolog Distributed Processor for Independent AND/OR parallel Execution of Prolog Araujo, L. and Ruz, J. 12.30-14.00 Lunch Break 14.00-15.30 Parallel Tutorial Chair: R. Yang - Implementation of Andorra-based Languages Janson, S. 14.00-15.30 Parallel Tutorial Chair: C. Hogger - Synthesis of Logic Programs Lau, K.K. and Wiggins, G. 15.30-16.00 Coffee Break 16.00-17.30 Parallel Session: Implementation Chair: P. Van Roy - On the Scheme of Passing Arguments in Stack Frames for Prolog Zhou, N. - Output Value Placement in Moded Logic Programs Bigot, P. and Gudeman, D. and Debray, S. - Native Code Compliation in SICStus Prolog Haygood, R.C. 16.00-17.30 Parallel Session: Actions Chair: M. Rodriguez Artalejo - Representing Actions in Equational Logic Programming Thielscher, M. - Representing continuous change in the abductive event calculus Van Belleghem, K. and Denecker, M. and De Schreye - Concurrency and plan generation in a linear logic programming language with a sequential operator Guglielmi, A. TUESDAY JUNE 14 9.00 - 10.00 Invited Talk: S. Peyton-Jones (Glasgow) Chair: E. Tick 10.00 - 10.30 Coffee Break 10.30 - 12.30 Parallel Session: Semantics II Chair: A. Voronkov - Computing Annotated Logic Programs: Theory and Implementation Leach, S. and Lu, J. - Conditonal Logic Programming Gabbay, and Giordano, and Martelli, and Olivetti - Casual Models of Disjunctive Logic Programs Dix, J. and Gottlob, G. and Marek, V. - An Axiomatic Approach to Semantics of Disjunctive Programs Dix, J. and Mueller, M. 10.30 - 12.30 Parallel Session: Constraints I Chair: J. Jaffar - Finding Conflict Sets and Backtrack Points in CLP(R) Burg, J. and Lang, S. - Entailment of Finate Domain Constraints Carlson, B. and Carlsson, M. and Diaz, D. - Notes on the Design of an Open Boolean Solver Rauzy, A. - Improved CLP Scheduling with Task Intervals Caseau, Y. and Laburthe, F. 12.30-14.00 Lunch Break 14.00-15.30 Parallel Tutorial Chair: P. Codognet - Abduction and Abductive Logic Programming Kakas, A.C. and Mancarella, P. 14.00-15.30 Parallel Tutorial Chair: A. Porto - Modularity in Logic Programming Mello, P. 15.30-16.00 Coffee Break 16.00-17.30 Parallel Session: Higher-order and Meta Programming Chair: J. Lloyd - Ambivalent logic as the semantic basis of metalogic programming Jiang, Y. - Higher-order Aspects of Logic Programming Reddy, U. - Higher-Order Polymorphic Unification for Logic Programming Caires, L. and Monteiro, L. 16.00-17.30 Parallel Session: Databases Chair: U. Nilsson - A Database Interface for Complex Objects Holsheimer, M. and de By, R. and Ait-Kaci, H. - A slick procedure for integrity checking in deductive databases Decker, H. and Celma, M. - LPDA: Another look at Tabulation in Logic Programming Lang, B. and de la Clergerie, E.V. WEDNESDAY JUNE 15 9.00 - 10.00 Invited Talk: Z. Manna (Stanford) Chair: V.S. Subrahmanian 10.00 - 10.30 Coffee Break 10.30 - 12.30 Parallel Session: Abduction & Negation Chair: M. Wallace - On the Equivalence between Disjunctive and Abductive Logic Programs Sakama, C. and Inoue, K. - The Acceptability Semantics for Logic Programs: Negation as Failure as a general non-monotonuc reasoning framework Kakas, A. and Mancarella, P. and Dung, P. - A Bottom-up Semantics for Constructive Negation Bossi, A. and Fabris, M. and Meo, M.C. - Default Rules: An extension of Constructive Negation for Narrowing-based languages Moreno-Navarro, Juan 10.30 - 12.30 Parallel Session: Analysis Chair: M. Bruynooghe - Depth-k Sharing and Freeness King, A. and Soper, P. - Towards a Practical Full Mode Inference System for CLP(H,N) Dumortier, V. and Janssens, G. - A proof method for runtime properties of Prolog Programs Pedreschi, D. - Fast and Precise Regular Approximations of Logic Programs Gallagher, J. and de Wall, D.A. 12.30-13.30 Lunch Break 13.30-16.30 Industrial Section Chair: P. Van Hentenryck - Application of Logic Programming at British Telecom Crabtree, B. - Overview of the Prolog Application Conference Sterling, L. - Industrial Applications of CLP Dincbas, M. - Industrial Applications of Logic Programming in Sweden Nilson, Hans THURSDAY JUNE 16 9.00 - 10.00 Invited Talk: A. Mackworth (UBC) Chair: Y. Deville 10.00 - 10.30 Coffee Break 10.30 - 12.30 Parallel Session: Constraint II Chair: G. Smolka - Constraint solving by narrowing in combined algebraic domains Kirchner, H. and Ringeissen, C. - A Grammatical Approach to DCG Parsing Barthelemy, F. - Compiling Intensional Sets in CLP Bruscoli, Dovier, Pontelli, Rossi 10.30 - 12.30 Parallel Session: Transformation & Synthesis Chair: J. Maluszynski - The Halting Problem for Deductive Synthesis of Logic Programs Lau, K-K. and Ornaghi, M. and Tarnlund, S-A. - A New Transformation for Concurrent Logic Languages Kumon, K. and Hirata, K. - Compiling Control Revisited: A New Approach based upon Abstract Interpretation Boulanger, D. and De Schreye, D. - Completeness of Some Transformation Strategies for Avoiding Unncessary Logical Variables Proietti, M. and Pettorossi, A. /*****************************************************************************/ Call For Attendance INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'94) S. Margherita Ligure, Italy, 13-18 June 1994 Sponsored by the Association of Logic Programming and the Prolog Vendors Group ICLP'94 is the eleventh international conference on logic programming. The technical program for the conference will include tutorials, invited lectures and presentations of refereed papers and posters on: Applications Language design Architecture Natural language Artificial Intelligence Parallelism Concurrency Programming methodology Constraints Proof theory Databases Semantics and foundations Environments Static analysis Higher-order programming Theorem proving Implementation Types A series of workshops will be organized during the conference on the following topics: W1) Process-based Parallel Logic Programming W2) Verification and analysis of (concurrent) logic languages W3) Logic and Reasoning with Neural Networks W4) Sixth Workshop on Logic Programming Environments W5) Non-monotonic Extensions of Logic Programming W6) Parallel and Data-Parallel Execution of Declarative Languages W7) Applications of Logic Programming to Software Engineering W8) Integration fo Declarative Paradigms W9) Second ICLP Workshop on Deductive Databases W10) Proof-Theoretical Extensions of Logic Programming W11) Logic Programming and Education W12) Legal Applications of Logic Programming ___________________________Organization_________________________________________ The 11th International Conference on Logic Programming - ICLP'94 is organized by DISI (University of Genova), DIST (University of Genova) and IMA-CNR and sponsoredby the Association of Logic Programming and the Prolog Vendors Group. __________________________Time and place___________________________________ The conference will be held from Monday 13 June to Thursday 16 June, 1994, in Santa Margherita Ligure, Italy, at the Hotel Miramare. The post-conference Workshops will be held on Friday 17 and Saturday 18 at the same place. Conference Secretariat Piera Ponta Consorzio Genova Ricerche Via dell'Acciaio, 139 16152 Genova (Italy) Telephone 39-10-6514000 Telefax 39-10-6512981 e-mail: ponta@infmge.ge.infn.it ___________________________Registration fees_________________________________ Registration forms must be completed and returned to the Conference Secretariat before May 15, 1994. The registration fees are (in US $): before after May 15, 1994 May 15, 1994 ALP Members (*) 400 470 Non-Members (**) 430 500 Students (***) 145 170 Workshops ICLP'94 participants non participants 1/2 day 25 65 full day 40 80 The registration fee for participants includes attendance to the conference, coffee and tea during breaks, the social dinner, as well as a copy of the proceedings. The student fee does not include the social dinner. (*) All members of ALP are eligible for the discount of the registration fee. Members must include the membership/organization number in order to receive the discount. (**) People who want to join or renew their membership to ALP or GULP for 1994/1995 must tick the appropriate space in the registration form and pay the Non-Members fee. Recall that GULP is affiliated to ALP, and so GULP members are also ALP members. (***) All students must submit proof of student status by enclosing a photocopy of the student identification or a letter from the advisor. The amount due for participation in the conference and in the social programme can be paid (in US dollars) as follows: - by cheque made payable to Consorzio Genova Ricerche, Via dell'Acciaio 139, 16152 Genova,Italy) - by money transfer to Consorzio Genova Ricerche, current account n. 21503/20 Banca CARIGE Ag. 21 Genova, Italy - by cash Credit cards cannot be accepted Please make sure that your payment includes any banking or other fees, so that we receive the correct amount. A confirmation of registration, hotel accommodation and payment will be sent to you immediately. ________________________________Cancellations______________________________ For cancellations communicated (in writing) to the conference secretariat before June 4, 1994, all fees will be refunded minus a 15% deduction. _______________________________Hotel accommodation__________________________ All hotels reserved for the conference are located within walking distance from the Hotel Miramare. Hotels at the following rates (in Italian Lire) have been reserved for ICLP participants: single room double room **** 120.000/180.000 200.000/280.000 *** 70.000/90.000 110.000/140.000 ** 55.000/75.000 90.000/120.000 Please indicate your preference in the attached hotel accomodation form. Because of limited availability, please send your accomodation form by fax to the Conference Secretariat no later than April 15, 1994. Every effort will be made to meet participants' preferences on a first-come/first-served basis. Confirmation of the reservation with all details on the hotel and its location will be given immediately after receival of the hotel accommodation form. For an accommodation different from those proposed, please contact the Conference Secretariat. N.B. The deadline for accommodation is anticipated with respect to the deadline for registration because of the limited availability of rooms in S. Margherita. Hotel accommodation will be considered as definitely confirmed only after receival (by May 15, 1994) of the registration form. Should the hotel accommodation form not be followed by any confirmation of participation, the hotel reservation will be cancelled. @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @ @ @ REGISTRATION FORM @ @ @ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Please complete (block letters) and return to the Conference Secretariat by May 15, 1994, to pay a reduced fee. Surname ________________________________________________________________________ First name ______________________________________________________________________ Affiliation _______________________________________________________________________ Full address ________________________________________________________________________ _________________________________________________________________________ Telephone ________________________ Fax________________________________ e-mail ______________________________________ Name/s of the accompanying person/s participating in the conference: _______________________________________________________________________ _______________________________________________________________________ _______________________________________________________________________ __ I am not sure of my plans but I wish to receive next circular __ I will participate in the conference and/or in ___ Workshop n. _____ __ I wish to join ALP __ __ I wish to join GULP__ Please find enclosed: ___Copy of the money tranfer ___Cheque ___I will pay at the conference @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @ @ @ HOTEL ACCOMMODATION FORM @ @ @ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Please complete (block letters) and return to the Conference Secretariat by April 15, 1994. After this date hotel accommodation cannot be guaranteed. Name __________________________________________________________________ Telephone ______________________ Fax ____________________________ Please reserve for me: n. ....... single room/s n. ....... double room/s to be shared with ............................................................... in the following hotel **** (single n. ____ double n. ____) *** (single n. ____ double n. ____) ** (single n. ____ double n. ____) arrival on ____________________________ departure on ___________________________ date __________________________________ signature _____________________________ Article 10206 of comp.lang.prolog: Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:10206 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!xlink.net!newshost.uni-koblenz.de!newshost!dix From: dix@uni-koblenz.de (Juergen &) Newsgroups: comp.lang.prolog Subject: CFP (LAST) Workshop at ICLP 94 Date: 8 Apr 94 15:49:51 Organization: University of Koblenz, Germany Lines: 276 Message-ID: NNTP-Posting-Host: yun.uni-koblenz.de ********************************************************************* ************* DEADLINE EXTENSION: April 15, 1994 ******************* ********************************************************************* Call For Papers: Postconference Workshop "NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING: Theory, Implementation, and Applications" in conjunction with ICLP '94, S. Margherita Ligure, Italy June 13 -18, 1994 During the last couple of years a significant body of knowledge has been accumulated providing us with a better understanding of semantic issues in logic programming and the theory of deductive databases. In particular, the class of perfect models for (locally) stratified logic programs and two closely related extensions to normal, non-disjunctive, logic programs were introduced and extensively investigated: the well-founded models and the stable models. The problem of extending these approaches and defining a suitable semantics for the class of disjunctive logic programs and deductive databases turned out to be a difficult one, as evidenced by a large number of papers and the recent book of Lobo, Minker and Rajasekar devoted to this issue. Logic programs rely on a non-monotonic operator, often referred to as negation by failure or negation by default. The non-monotonicity of this operator allows us to view logic programs as special non-monotonic theories and thus makes it possible to draw from the extensive research in the area of non-monotonic reasoning and use it as a guidance in the search for a suitable semantics for logic programs. Research work aimed at better understanding of the relationships exist- ing between logic programming (LP) and nonmonotonic formalisms (N- MF) is mutually beneficial to both areas. NMFs help us to determine suitable semantics for LP and help us understand how LPs can express and compute solutions to AI problems. Conversely, the NMFs can utilize the wide body of knowledge already gathered about LPs and apply the existing implementations of LPs. This one-day workshop is the fourth in a series of workshops held in conjunction with Logic Programming conferences (NACLP '90, ILPS '91, and ILPS '93) and will be concerned with all of the three aspects of Theory, Implementation, and Applications. Papers are welcome on all non- monotonic aspects of logic programming, including, but not limited to: Abductive Extensions Implementations Applications to KR Inconsistency Handling Constructive Negation New Application Domains Disjunctive LP Semantics Epistemic Extensions Strong or Explicit Negation Program Committee Juergen Dix Germany Michael Gelfond USA Jorge Lobo USA Wiktor Marek USA Luis Moniz Pereira Portugal Teodor Przymusinski USA Organizing Committee Juergen Dix Luis Moniz Pereira Dept. of Computer Science Dept. of Computer Science University of Koblenz Universidade Nova de Lisboa Rheinau 1 2825 Monte da Caparica 56075 Koblenz, Germany Portugal dix@informatik.uni-koblenz.de lmp@fct.unl.pt Teodor Przymusinski Dept. of Computer Science University of California 100 Univ. Office Building Riverside, CA 92521-0304 USA teodor@cs.ucr.edu ***************** *Important Dates* ***************** Deadline: April 15, 1994 Notification: May 10, 1994 Final Version: June 1, 1994. The Program Committee will review extended abstracts rather than complete papers. Abstracts must be written in English, must not exceed 10 pages (excluding references and figures), and must contain a cover page including the following: a 200 word abstract with a list of keywords, postal and electronic addresses as well as phone and fax numbers of the contact author. LaTEX article-style (12pt) on 8.5" x 11" or A4 paper is appropriate. Authors are strongly encouraged to submit their contributions elec- tronically (by e-mail): if possible, please send compressed and uuencoded ?.dvi or ?.ps-files. Those having no e-mail facilities or those not being able to prepare a ?.ps-file can also submit hardcopies. Submitted papers should not have been previously published, but may be also submitted to other conferences and workshops. Accepted papers must be presented at the workshop. Registration for the workshop as well as fees (which include a copy of the informal proceedings) will be handled by the organizers of ICLP '94 in a separate call. The workshop will take place at the conference site in S. Margherita Ligure on June 17 or 18 (exact date to be decided by the ICLP organiza- tion). Send one (1) copy of your submission by April 15, 1994 to each member of the organizing committee (addresses as above). Authors will be notified of the acceptance or rejection of their papers by May 10, 1994. Final versions of the accepted papers must be received by June 1, 1994. The informal workshop proceedings will be available at the conference. We are planning to publish extended versions of the papers in a regular Proceedings volume. %==================LaTeX version follows================= \documentstyle{article} %postscript \setlength{\oddsidemargin}{-0.50in} \setlength{\evensidemargin}{0in} \setlength{\textwidth}{7.4in} \setlength{\topmargin}{-0.2in} \setlength{\headsep}{0.0in} \setlength{\textheight}{26cm} \pagestyle{empty} \hbadness=10000 \begin{document} \mbox{} \vspace{-2.5cm} \begin{center} {\Large Call For Papers:\\[.1cm] Postconference Workshop } \\ $ \ $ \\ {\Large \bf Non-monotonic Extensions of Logic Programming:\\[.1cm] Theory, Implementation, and Applications } \\ $ \ $ \\ {\bf (in conjunction with ICLP '94, S. Margherita Ligure, Italy, June 13 -18, 1994)} \end{center} \parbox[b]{2.7in}{ {\center\bf Program Committee} \\ \noindent\begin{tabular}{ll} J\"{u}rgen Dix & Germany\\ Michael Gelfond & USA\\ Jorge Lobo & USA\\ Wiktor Marek & USA\\ Luis Moniz Pereira & Portugal\\ Teodor Przymusinski & USA\\ \end{tabular} {\center\bf Organizing Committee} \\ \begin{tabular}{l} J\"{u}rgen Dix\\ Dept. of Computer Science\\ University of Koblenz\\ Rheinau 1\\ 56075 Koblenz\\ Germany\\ {\small \bf dix@informatik.uni-koblenz.de}\\[.2cm] Luis Moniz Pereira\\ Dept. of Computer Science\\ Universidade Nova de Lisboa\\ 2825 Monte da Caparica\\ Portugal\\ {\small \bf lmp@fct.unl.pt}\\[.2cm] Teodor Przymusinski\\ Dept. of Computer Science\\ University of California\\ 100 Univ. Office Building\\ Riverside, CA 92521-0304\\ USA\\ {\small \bf teodor@cs.ucr.edu}\\ \end{tabular} % {\center\bf Important Dates} \\ \begin{tabular}{ll} Deadline: &{\tt April 15}, \\ Notification: &{\tt May 10},\\ Final Version: &{\tt June 1}.\\ & \\ \end{tabular} % } \hspace{-.6cm} \rule[-.8cm]{.5mm}{15cm}\ \ \ \ \ \parbox[b]{4.3in}{ \setlength{\parindent}{0.5cm} During the last couple of years a significant body of knowledge has been accumulated providing us with a better understanding of {\em semantic issues\/} in logic programming and the theory of deductive databases. In particular, the class of {\em perfect models\/} for (locally) stratified logic programs and two closely related extensions to normal, {\em non-disjunctive\/}, logic programs were introduced and extensively investigated: the {\em well-founded models\/} and the {\em stable models\/}. The problem of extending these approaches and defining a suitable semantics for the class of {\em disjunctive logic programs\/} and {\em deductive databases\/} turned out to be a difficult one, as evidenced by a large number of papers and the recent book of Lobo, Minker and Rajasekar devoted to this issue. Logic programs rely on a {\em non-monotonic} operator, often referred to as {\em negation by failure} or {\em negation by default}. The non-monotonicity of this operator allows us to view logic programs as special non-monotonic theories and thus makes it possible to draw from the extensive research in the area of non-monotonic reasoning and use it as a guidance in the search for a suitable semantics for logic programs. Research work aimed at better understanding of the relationships existing between logic programming (LP) and nonmonotonic formalisms (NMF) is mutually beneficial to both areas. NMFs help us to determine suitable semantics for LP and help us understand how LPs can express and compute solutions to AI problems. Conversely, the NMFs can utilize the wide body of knowledge already gathered about LPs and apply the existing implementations of LPs. This one-day workshop is the fourth in a series of workshops held in conjunction with Logic Programming conferences (NACLP~'90, ILPS~'91, and ILPS~'93) and will be concerned with all of the three aspects of {\em Theory\/}, {\em Implementation\/}, and {\em Applications\/}. Papers are welcome on all non-monotonic aspects of logic programming, including, but not limited to: \begin{quote}{\em \vspace{-.4cm}\begin{tabular}{lccl} Abductive Extensions &&& Implementations \\ Applications to KR &&& Inconsistency Handling\\ Constructive Negation &&& New Application Domains\\ Disjunctive LP &&& Semantics \\ Epistemic Extensions &&& Strong or Explicit Negation\\ \end{tabular} \mbox{}\vspace{-1cm}\mbox{} } \end{quote} }\\[.3cm] The Program Committee will review {\em extended abstracts\/} rather than complete papers. Abstracts must be written in English, must not exceed 10 pages (excluding references and figures), and must contain a cover page including the following: a 200 word abstract with a list of keywords, postal and electronic addresses as well as phone and fax numbers of the contact author. \LaTeX \ article-style (12pt) on 8.5'' x 11'' or A4 paper is appropriate. Authors are strongly encouraged to submit their contributions {\em electronically (by e-mail)\/}: if possible, please send {\em compressed\/} and {\em uuencoded\/} $\star$.dvi or $\star$.ps-files. Those having no e-mail facilities or those not being able to prepare a $\star$.ps-file can also submit hardcopies. Submitted papers should not have been previously published, but may be also submitted to other conferences and workshops. Accepted papers must be presented at the workshop. Registration for the workshop as well as fees (which include a copy of the informal proceedings) will be handled by the organizers of ICLP~'94 in a separate call. The workshop will take place at the conference site in S. Margherita Ligure on June 17 or 18 (exact date to be decided by the ICLP organization). Send {\bf one (1) copy} of your submission by {\bf April 15, 1994} to {\bf each} member of the organizing committee (addresses as above). Authors will be notified of the acceptance or rejection of their papers by {\tt May 10, 1994}. Final versions of the accepted papers must be received by {\tt June 1, 1994}. The informal workshop proceedings will be available at the conference. We are planning to publish extended versions of the papers in a regular Proceedings volume. \end{document} -- Juergen Dix Tel: +49 261 9119-435 Deptartment of CS Fax: +49 261 9119-499 University of Koblenz E-mail: dix@informatik.uni-koblenz.de Rheinau 1 D-56075 KOBLENZ GERMANY _________________ ________ Article 10416 of comp.lang.prolog: Xref: glinda.oz.cs.cmu.edu comp.ai:22051 comp.theory:9794 comp.lang.prolog:10416 comp.compilers:6857 comp.software-eng:22235 Newsgroups: comp.ai,comp.theory,comp.lang.prolog,comp.compilers,comp.software-eng Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!sunic!EU.net!uunet!world!iecc!compilers-sender From: vr@cs.brown.edu (Viswanath) Subject: ICLP'94: Final Program and Registration (Italy, Jun 13-18) Message-ID: <94-05-023@comp.compilers> Keywords: conference, logic, prolog Sender: compilers-sender@chico.iecc.com Organization: Brown University Department of Computer Science Date: Tue, 10 May 1994 05:29:08 GMT Approved: compilers@chico.iecc.com Lines: 1033 ------------------------------------------------------------------------------- International Conference on Logic Programming ICLP '94 Santa Margherita Ligure, Italy 13-18 June 1994 ------------------------------------------------------------------------------ Sponsored by the Association of Logic Programming and the Prolog Vendors Group Organized by: DISI - University of Genova DIST - Univesity of Genova IMA-CNR, Genova Supported by: CNR ------------------------------------------------------------------------------ Final Program ------------------------------------------------------------------------------ General Chair Maurizio Martelli, DISI, University of Genova martelli@disi.unige.it Program Chair Pascal Van Hentenryck, Brown University pvh@cs.brown.edu Workshop Chair Catuscia Palamidessi, DISI, University of Genova catuscia@di.unipi.it Poster Chair Lee Naish, University of Melbourne lee@cs.mu.oz.au Publicity Chair Fosca Giannotti, CNUCE-CNR, Pisa fosca@cnuce.cnr.it Organizing Committee Rosa Maria Bottino, IMA-CNR, Genova Giorgio Delzanno, DISI, University of Genova Giuseppe Marino, DIST, University of Genova Alessandro Messora, DISI, University of Genova Giancarlo Colla, DIST, University of Genova Program Committee Khayri Ali, Sweden Maurice Bruynooghe, Belgium Philippe Codognet, France Yves Deville, Belgium Herve Gallaire, France Chris Hogger, UK Joxan Jaffar, USA Giorgio Levi, Italy Jan Maluszynski, Sweden Kim Marriott, Australia Maurizio Martelli, Italy Lee Naish, Australia Frank Pfenning, USA David Poole, Canada Antonio Porto, Portugal Raghu Ramakrishnan, USA Mario Rodriguez-Artalejo, Spain Gert Smolka, Germany V.S. Subrahmanian, USA Peter Szeredi, Hungary Evan Tick, USA Kazunori Ueda, Japan Pascal Van Hentenryck , USA Peter Van Roy, France Andrei Voronkov, Sweden Mark Wallace, Germany Rong Yang, UK Conference Secretariat Piera Ponta Consorzio Genova Ricerche via dell'Acciaio 139 16152 Genova, Italy Email: ponta@infmge.ge.infn.it Phone: +39 10 6514000 Fax: +39 10 6512981, 6503801 ------------------------------------------------------------------------------- Welcome to the International Conference on Logic Programming - 1994 Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases and operations research as well as to explore parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. ICLP'94 is the eleventh international conference on logic programming and is one of the two major annual international conferences reporting recent research results in logic programming. Sponsored by the Association of Logic Programming (ALP) and the Prolog Vendors Group, it has been organized by DISI, DIST (departments of the University of Genova) and IMA (Institute for Applied Mathematics of CNR); the CNR (National Research Council of Italy), with its institutes and national committees, has given a strong support to the conference. The technical program for the conference includes 43 refereed papers (arranged in two parallel sessions), various poster presentations and 4 invited lectures by Z. Manna (Stanford), A. Mackworth (UBC), J. Wing (CMU) and S. Peyton Jones (Glasgow). The conference presents also 4 advanced tutorials and an industrial session with important contributions from people really involved in applications. The opportunities to discuss various scientific themes during this week will be enhanced by the organization of 12 post conference workshops on some of the most up-to-date subjects in the field. The opportunity to enjoy Italy and, hopefully, to have also a good time during the conference is given by the choice of the place and by some events scheduled as part of the social program. ICLP'94 takes place in Santa Margherita Ligure, a small town in the Italian Riviera not far from Genova, the largest city of Liguria. Close to the conference site is the worldwide famous village of Portofino, pearl of the Mediterranean Sea and marine natural park; not far from Santa Margherita is also the pleasant resort area of "Cinque Terre", consisting of five picturesque villages on the rocky coast which can be reached by train or boat only. The social program includes an excursion to one of the oldest villages in the nearby coast (S. Fruttuoso) which also can be reached by boat only. The banquet will be held in one of the most important old building in Genova with the possibility to visit it. Italy is well known to be attractive from many points of view, particularly in June, but this is not the main motivation for having for the first time ICLP in Italy. Our Logic Programming community is one of the largest in the world as witnessed by the GULP association (the Italian society affiliated to ALP) and this event is the result of all the efforts that many people have put into the development of Logic Programming and GULP. On behalf of all the colleagues who contribute to the organization of ICLP'94, I welcome all participants and wish them a nice and successful conference. Maurizio Martelli ------------------------------------------------------------------------------ Scientific Programme SUNDAY, JUNE 12 18.00-21.00 Registration 19.30 Welcome Cocktail MONDAY, JUNE 13 8.30-9.00 Welcome Session 9.00-10.00 Invited Talk The Role of Logic Programming in Software Engineering J. Wing (CMU) chair: H. Gallaire 10.00-10.30 Coffee Break 10.30-12.30 Session Semantics I Chair: G. Levi * Splitting a Logic Program V. Lifschitz, H. Turner * Language Independence and Language Tolerance in Logic Programs N. McCain, H. Turner * Computing Stable Models by Program Transformation J. Stuber * Declarative Interpretations reconsidered K. Apt, M. Gabbrielli 10.30-12.30 Session Parallelism Chair: K. Ali * ACE: And/Or-parallel Copying-based Execution of Logic Programs G. Gupta, E. Pontelli, M. Hermenegildo, V. Santos Costa * Hybrid Tree Search in the Andorra Model R. Moolenaar, B. Demoen * Parallel CLP on Heterogeneous Networks S. Mudambi, J. Schimpf * PDP: Prolog Distributed Processor for Independent AND/OR parallel Execution of Prolog L. Araujo, J. Ruz 12.30-14.00 Lunch Break 14.00-15.30 Tutorial Chair: R. Yang * Implementation of Andorra-based Languages S. Janson 14.00-15.30 Tutorial Chair: C. Hogger * Synthesis of Logic Programs K.K. Lau, G. Wiggins 15.30-16.00 Coffee Break 16.00-17.30 Session Implementation Chair: P. Van Roy * On the Scheme of Passing Arguments in Stack Frames for Prolog N. Zhou * Output Value Placement in Moded Logic Programs P. Bigot, D. Gudeman, S. Debray * Native Code Compilation in SICStus Prolog R.C. Haygood 16.00-17.30 Section Parallel Actions Chair: M. Rodriguez Artalejo * Representing Actions in Equational Logic Programming M. Thielscher * Representing continuous change in the abductive event calculus K. Van Belleghem, M. Denecker, D. De Schreye * Concurrency and plan generation in a linear logic programming language with a sequential operator A. Guglielmi 18:00-19:30 ALP General Meeting followed by GULP Meeting TUESDAY, JUNE 14 8.45-9.45 Invited Talk S. Peyton-Jones (Glasgow) Manipulating Mutable State in a Purely Functional Language Chair: E. Tick 9.45-10.00 Coffee Break 10.00-12.00 Session Semantics II Chair: A. Voronkov * Computing Annotated Logic Programs: Theory and Implementation S. Leach, J. Lu * Conditonal Logic Programming D. Gabbay, L. Giordano, A. Martelli, N. Olivetti * Causal Models of Disjunctive Logic Programs J. Dix, G. Gottlob, V. Marek * An Axiomatic Approach to Se-mantics of Disjunctive Programs J. Dix, M. Mueller 10.00 - 12.00 Session Constraints I Chair: J. Jaffar * Finding Conflict Sets and Backtrack Points in CLP(R) J. Burg, S. Lang * Entailment of Finite Domain Constraints B. Carlson, M. Carlsson, D. Diaz * Notes on the Design of an Open Boolean Solver A. Rauzy * Improved CLP Scheduling with Task Intervals Y. Caseau, F. Laburthe 12.00-13.15 Lunch Break 13.15-16.15 Industrial Section Char: P. Van Hentenryck * Application of Logic Programming at British Telecom B. Crabtree * Overview of the Prolog Application Conference L. Sterling * Industrial Applications of CLP M. Dincbas * Industrial Applications of Declarative Programming in Sweden H. Nilson 17.00 Excursion WEDNESDAY, JUNE 15 9.00 -10.00 Invited Talk Z. Manna (Stanford) Specification and Verification of Real-Time Systems Chair: V.S. Subrahmanian 10.00 -10.30 Coffee Break 10.30-12.30 Session Abduction & Negation Chair: M. Wallace * Equivalence between Disjunctive and Abductive Logic Programs C. Sakama, K. Inoue * The Acceptability Semantics for Logic Programs: Negation as Failure as a general non-monotonic reasoning framework A.L. Kakas, P. Mancarella, P.M. Dung * A Bottom-up Semantics for Constructive Negation A. Bossi, M. Fabris, M.C. Meo * Default Rules: An Extension of Constructive Negation for Narrowing-based languages J. Moreno-Navarro 10.30-12.30 Session Analysis Chair: M. Bruynooghe * Depth-k Sharing and Freeness A. King, P. Soper * Towards a Practical Full Mode Inference System for CLP(H,N) V. Dumortier, G. Janssens * A proof method for runtime properties of Prolog Programs D. Pedreschi * Fast and Precise Regular Approximations of Logic Programs J. Gallagher, D.A. de Waal 12.30-14.00 Lunch Break 14.00-15.30 Tutorial Chair: P. Codognet * Abduction and Abductive Logic Programming A.C. Kakas, P. Mancarella 14.00-15.30 Tutorial Chair: A. Porto * Modularity in Logic Programming E. Lamma, P. Mello 15.30-16.00 Coffee Break 16.00-17.30 Session Higher-Order and Meta Programming Chair: J. Lloyd * Ambivalent logic as the semantic basis of metalogic programming Y. Jiang * Higher-order Aspects of Logic Programming U. Reddy * Higher-Order Polymorphic Unification for Logic Programming L. Caires, L. Monteiro 16.00-17.30 Session Databases Chair: U. Nilsson * A Database Interface for Complex Objects M. Holsheimer, R. de By, H. Ait-Kaci * A slick procedure for integrity checking in deductive databases H. Decker, M. Celma * LPDA: Another look at Tabulation in Logic Programming B. Lang, E.V. de la Clergerie 18.30 Banquet THURSDAY, JUNE 16 9.00-10.00 Invited Talk A. Mackworth (UBC) Constraint-based Robotic Systems Chair: Y. Deville 10.00-10.30 Coffee Break 10.30-11.30 Poster Session 11.30-13.30 Session Constraint II Chair: G. Smolka * Constraint Solving by Narrowing in Combined Algebraic Domains H. Kirchner, C. Ringeissen * A Grammatical Approach to DCG Parsing F. Barthelemy * Compiling Intensional Sets in CLP P. Bruscoli, A. Dovier, E. Pontelli, G.F. Rossi 11.30-13.30 Session Transformation & Synthesis Chair: J. Maluszynski * The Halting Problem for Deductive Synthesis of Logic Programs K-K. Lau, M. Ornaghi, S-A. Tarnlund * A New Transformation for Concurrent Logic Languages K. Kumon, K. Hirata * Compiling Control Revisited: A New Approach based upon Abstract Interpretation D. Boulanger, D. De Schreye * Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables M. Proietti, A. Pettorossi ------------------------------------------------------------------------- Post-Conference Workshops Schedule ------------------------------------------------------------------------- FRIDAY 17 JUNE 9.00 - 18.00 W2: Verification and analysis of (concurrent) logic languages W5: Non-monotonic Extensions of Logic Programming: Theory, Implementation, and Applications W9: Second ICLP-Workshop on Deductive Databases - Deductive Databases and Logic Programming 8.00 - 13.00 W1: Process-based Parallel Logic Programming W4: Sixth Workshop on Logic Programming Environments 14.00 - 19.00 W3: Logic and Reasoning with Neural Networks W6: Parallel and Data-Parallel Execution of Declarative Languages ------------------------------------------------------------------------- SATURDAY 18 JUNE 9.00 - 18.00 W7: Applications of Logic Programming to Software Engineering W8: Integration of declarative Paradigms W10: Proof-Theoretical Extensions of Logic Programming W11: Logic programming and education W12: Legal Application of Logic Programming ------------------------------------------------------------------------------ Workshops Descriptions -------------------------------------------------------------------------------- Workshop W1 Process-Based Parallel Logic Programming Organizer: K. De Bosschere, Universiteit Gent, Belgium J.-M. Jacquet, University of Namur, Belgium A. Brogi, Universit` di Pisa, Italy Contacts: Koen De Bosschere ELIS, Universiteit Gent St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium Email: kdb@elis.rug.ac.be Several process-based parallel logic programming languages (e.g., Delta-Prolog, CS-Prolog, Multi-Prolog and Shared-Prolog) have been proposed as an alternative to goal-based (and/or) parallel execution models for logic programs. The main features of these languages are explicit process creation and explicit communication based on channels or blackboards. The workshop is aimed at being a forum for discussing the various topics of process-based parallel LP, ranging from theory to practice. Workshop W2 Verification and Analysis of (Concurrent) Logic Languages Organizer: F.S. de Boer, Free University Amsterdam, The Netherlands M. Gabbrielli, Universit` di Pisa Contacts: Frank S. de Boer Free University de Boelelaan 1081 1081 HV Amsterdam, The Netherlands E-mail: frankb@cs.vu.nl This workshop aims at a discussion of the analysis and correctness of logic programs and their concurrent (constraint) extensions. More specifically, we are interested in proof methods based on abstract interpretation and the applicability of methods developed in different programming paradigms, like process algebras, Hoare logics, etc. The workshop also includes discussion of techniques for the development of (concurrent) logic programs. Workshop W3 Logic and Reasoning with Neural Networks Organizers: Franz Kurfess, University of Ulm, Germany Alessandro Sperduti, University of Pisa, Italy Contacts: Franz Kurfess Dept. of Neural Inf. Proc., D-89069 Ulm, Germany. kurfess@neuro.informatik.uni-ulm.de The goal of the workshop is to initiate discussions and foster interaction between researchers interested in the use of neural networks and connectionist models for various aspects of logic and reasoning. There are a number of domains where thecombination of neural networks and logic opens up interesting perspectives: methods for reasoning, know-ledge representation, integration of symbolic and neural components, implementation techniques. Workshop W4 Sixth Workshop on Logic Programming Environments Organizers: Markus Fromherz, Xerox PARC Palo Alto, USA Anthony J. Kusalik, University of Saskatoon, Canada Oysten Nytro, University of Trondheim, Norway Steven Prestwich, ECRC Munich, Germany Contacts: Anthony J. Kusalik Dept. of Comp. Sci., Saskatoon, Saskatchewan S7N 0W0 Canada. kusalik@cs.usask.ca This workshop will provide a forum for researchers and logic programming system developers to exchange ideas and results on all aspects of environments for logic programming. This includes work related to design issues, new techniques and tools, and the solution of noteworthy problems arising, for example, from new logic programming languages or interesting application areas. Both state-of-the-practice and state-of-the-art presentations are welcome. Workshop W5 Non-monotonic Extension of Logic Programming: Theory, Implementation and Applications Organizers: Jurgen Dix, University of Koblenz, Germany Luis Moniz Pereira, Univ. Nova de Lisboa, Portugal Teodor Przymusinski, University of California Riverside, USA Contacts: Jurgen Dix Dept. of Comp. Sci., Rheinau 1, 56075 Koblenz, Germany. dix@informatik.uni-koblenz.de Logic programs rely on a non-monotonic operator, often referred to as negation by failure. The non-monotonicity of this operator allows us to view logic programs as special non-monotonic theories and thus makes it possible to draw from the extensive research in the area of non-monotonic reasoning. This workshop focusses on non-monotonic extensions of logic programming and will be concerned with all of the three aspects of Theory, Implementation, and Applications. Workshop W6 Parallel and Data-Parallel Execution of Declarative Languages Organizers: Jonas Barklund, University of Uppsala, Sweden Bhat Jayaraman, SUNY Buffalo, USA Jiro Tanaka, University of Tsukuba, Japan Contacts: Jonas Barklund Computing Science Dept., Box 311, S-751 05 Uppsala, Sweden. jonas@csd.uu.se The workshop will focus on language constructs, implementation technology, program analysis and practical experiences of declarative programming languages on parallel computers. There will be an emphasis on data parallel computation (not restricted to SIMD computation) and other massively parallel computation models. It is expected that logic programming languages will be more represented than, e.g., functional programming languages, but we would consider participation from these neighbouring fields valuable. Workshop W7 Applications of Logic Programming to Software Engineering Organizers: P. Ciancarini, Universit` di Bologna, Italy L. Sterling, Case Western Reserve University, Cleveland, USA Contacts: Paolo Ciancarini Dip. di Matematica, P. di Porta S. Donato, 5, 40127 Bologna, Italy. cianca@cs.unibo.it We will discuss which features of logic programming are most useful for a software engineer, and which software engineering applications have been already developed based on a logic programming approach. Suggested topics are: Requirement analysis, specification and design based on logic programming, software engineering environments including rule-based components, Prolog-based tools, software process modeling based on logic languages, and Logic and Object-oriented programming methods. Workshop W8 Integration of Declarative Paradigms Organizers: Hassan Ait-Kaci, Simon Fraser University, Canada Michael Hanus, MPI Saarbr|cken, Germany Juan Jose' Moreno Navarro, Univ. of Madrid, Spain Contacts: Juan Jose' Moreno Navarro Facultad de Informatica, Campus de Montegancedo s/n, Boadilla del Monte 28660 Madrid, Spain. jjmoreno@fi.upm.es The interest on the integration of declarative paradigms and, in particular, the integration of functional and logic programming, has been spurred anew, especially for what concerns efficient implementation. The aim of this workshop is to bring together researchers from different communities as well as to give the logic programming community an idea of recent advances in the area. A non-exhaustive list of topics is: language features, semantics, execution principles, implementation issues, abstract interpretation of integrated languages, environments for integrated languages. Workshop W9 Second ICLP-Workshop on Deductive Databases - Deductive Databases and Logic Programming Organizers: Natraj Arni, InferData Corp. Vaustin, USA Ulrich Geske, GMD-FIRST Berlin, Germany Fosca Giannotti, CNUCE-CNR Pisa, Italy Els Laenens, Univ. Antwerp, Belgium Dietmar Seipel, Univ. Tuebingen, Germany Mark Wallace, ECRC Munich, Germany Contacts: Dietmar Seipel, Tuebingen Univ., Sand 13, D - 72076 Tuebingen, Germany. seipel@informatik.uni-tuebingen.de Deductive databases use logic programming as a powerful declarative language for accessing and maintaining large amounts of data. Recent research results in logic programming are useful for extending the power and efficiency of deductive database systems. Topics of the workshop are: disjunctive DBs; sets, types and aggregation; abstract interpretations and program transformations; non-deterministic extensions of logic DB languages; non-monotonic deduction; constraint reasoning in DBs; subsumption; expressiveness of query languages; query optimization and evaluation; logics of active DBs; updates and knowledge acquisition. Workshop W10 Proof-Theoretical Extensions of Logic Programming Organizers: Roy Dyckhoff, University of St. Andrew, Scotland Lars-Henrik Eriksson, SICS Stockholm, Sweden Alberto Momigliano, Carnegie Mellon University, USA Mario Ornaghi, Universit` di Milano, Italy Contacts: Alberto Momigliano CMU, Pittsburgh, PA 15213-3890, U.S.A. mobile@lcl.cmu.edu The workshop will provide a forum to discuss the use of proof-theoretical techniques in logic programming as well as the influence of proof theory on the future development of this field. Topics include proof-theoretical foundations of logic programming, languages based on proof theory and applications. Critical and comparative papers are also welcome. Workshop W11 Logic programming and education Organizers: Rosa Maria Bottino, IMA-CNR Genova, Italy Paola Forcheri, IMA-CNR Genova, Italy Maria Teresa Molfino, IMA-CNR Genova, Italy Contacts: Rosa Maria Bottino IMA, Via De Marini 6, 16149 Genova, Italy. Bottino@IMAGE.GE.CNR.IT The workshop will focus onto two different aspects of the research concerned with the use of logic programming, in particular of Prolog, in education. >From one hand we consider issues and problems related to the teaching (and learning) of Prolog: problems in understanding Prolog, misconceptions of novices, ways of representing the behaviour of Prolog, problems of supporting program construction and debugging, etc. On the other hand we consider the opportunities offered by Prolog as a tool for the implementation of classroom products, such as modelling tools, tutoring systems, problem solvers etc. Workshop W12 Legal Application of Logic Programming Organizers: Carlo Biagioli, IDG Firenze, Italy Giovanni Sartor, IDG Firenze, Italy Daniela Tiscornia, IDG Firenze, Italy Contacts: Daniela Tiscornia IDG, Via Panciatichi 56/16, 50127 Firenze, Italy. daniela@idg.cnr.fi.it The workshop is dedicated to the use of logic programming methodologies in modelling legal knowledge and legal reasoning. Main topics are: legal knowledge represention, abductive model of legal reasoning, metalevel legal reasoning, default reasoning, deontic logic, arguments construction; beliefs revision; analogical reasoning; case-based reasoning. SOCIAL PROGRAM Tuesday, June 14 17.00-20.00 Excursion by boat to San Fruttuoso di Camogli, visit to the Doria Family Abbey and cocktail. Minimum participants 30. Wednesday, June 15 18.30 Banquet at Palazzo Ducale of Genova Participation fees are the following (in US $): Social dinner Excursion ICLP'94 participants included in the 30 registration fee Accompanying persons 85 30 Delegates and accompanying persons interested in participating in the social program are requested to specify it in the attached registration form. GENERAL INFORMATION Venue of the Conference ICLP'94 will be held in Santa Margherita Ligure at the Grand Hotel Miramare, which is located at about 1 km from the Railway Station. Full address of the Hotel is the following: Via Milite Ignoto 30, 16038 Santa Margherita Ligure (GE), Italy tel. +39 185 287013, fax +39 185 284651 Travelling to Santa Margherita Ligure * by plane The International Airport "C. Colombo of Genova" is well connected to the main European cities. Genova is located about 25 Kilometers from Santa Margherita Ligure. Shuttle busses connect the airport to the terminals of Porta Principe and Brignole railway stations. Contact the conference Secretariat for train time-table from Genova to Santa Margherita (the trip takes about 20 minutes). * by train Piazza Principe and Brignole are the main railway stations in Genova: the former is located in the western area of the city, the latter in the eastern area. Many trains from Milano stop only at Piazza Principe: Brignole station (from which all trains to Santa Margherita depart) can be reached by bus or by train. * by car Santa Margherita can be reached via highway A12 (Livorno-Genova). The exit is Rapallo. Then follow indications for Santa Margherita-Portofino. Registration fees The attached registration form must be complete and returned to the Conference Secretariat before May 28, 1994. The registration fees are the following (in US $): Conference before May 28, 1994 after May 28, 1994 ALP Members (*) 400 470 Non-Members (**) 430 500 Students (***) 145 170 Workshops ICLP'94 Participants non Participants half day workshop 25 65 full day workshop 40 80 The registration fee for participants include attendance to the confe-rence, coffee and tea during breaks, the social dinner, as well as a copy of the proceedings. The student fee does not include the social dinner. (*) All ALP members are eligible for the discount of the registration fee. Members must include the membership/organization number in order to receive the discount. (**) People who want to join or renew their membership to ALP or GULP for 1994/1995 must tick the appropriate space in the registration form and pay the Non-Members fee. Recall that GULP is affiliated to ALP, therefore GULP members are also ALP members. (***) All students must submit proof of student status by enclosing a photocopy of the student identification or a letter from the advisor The amount due for participation in the conference, in the workshops and in the social program can be paid (in US $) as follows: * by cheque made payable to Consorzio Genova Ricerche, Via dell'Acciaio 139, 16152 Genova, Italy * by money transfer to Consorzio Genova Ricerche, current account n. 21503/20 banca CARIGE Ag. 21, Genova, Italy * by cash at the registration desk (in this case no discount will be applied) Credit cards cannot be accepted Please make sure that your payment includes any banking or other fees, so that we receive the correct amount. Grants A limited number of grants is available for young researchers and/or for researchers from the Eastern and the Developing Countries. If you are interested in receiving a grant please attach a formal request to your registration form. Cancellations For cancellations communicated (in writing) to the conference secretariat before June 4, 1994, all fee will be refunded minus a 15% deduction. Hotel Accommodation All hotels reserved for the conference are located within walking distance from the Grand Hotel Miramare. Hotels at the following rates (in Italian Lire) have been reserved for ICLP participants: single room double room *** 120.000/180.000 200.000/280.000 *** 70.000/90.000 110.000/140.000 ** 55.000/75.000 90.000/120.000 Please indicate your preference in the attached Hotel Accommodation Form. Every effort will be made to meet participants' preferences on a first-come/first-served basis. Confirmation of the reservation with all details on the hotel and its location will be given after receival of the hotel accommodation form. For an accommodation different from those proposed, please contact the Conference Secretariat. The hotel accommodation will be considered as definitely confirmed only after receival of the registration form and after payment of the participation fee. Should the hotel accommodation form not be followed by any confirmation of participation, the hotel reservation will be cancelled. ============================================================================== REGISTRATION FORM ------------------------------------------------------------------------------ Please complete (block letters) and return to the Conference Secretariat by May 28, 1994, to pay a reduced fee. Surname ______________________________________________________________________ First name ____________________________________________________________________ Affiliation ___________________________________________________________________ Full address __________________________________________________________________ _______________________________________________________________________________ Telephone ________________________ Fax ________________________________ e-mail ______________________________________ Name/s of the accompanying person/s participating in the conference: _______________________________________________________________________________ _______________________________________________________________________________ _______________________________________________________________________________ Please fill in: __ I will participate in the conference US $ ____________________ __ I will participate in workshop n.___ US $ ____________________ __ Social dinner for n. ____ person/s US $ ____________________ __ Excursion for n. ____ person/s US $ ____________________ Total US $ ____________________ Please find enclosed: ___Copy of the money tranfer ___Cheque ___I will pay at the conference (full fee) ============================================================================== HOTEL ACCOMMODATION FORM -------------------------------------------------------------------------------- Please complete (block letters) and return URGENTLY by fax or e-mail to the Conference Secretariat. Name __________________________________________________________________ Telephone ______________________ Fax ____________________________ Please reserve for me: n. _______ __ single room/s n. _______ __ double room/s to be shared with ________________________________________________________________ in the following hotel **** ___ *** ___ ** ___ Arrival on ___________________________ Departure on ___________________________ Date __________________________________ Signature _____________________________ -- Viswanath Ramachandran vr@cs.brown.edu -- Send compilers articles to compilers@iecc.com or {ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request@iecc.com.