From honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick Fri Aug 27 01:06:31 EDT 1993 Article: 4632 of news.announce.conferences Xref: honeydew.srv.cs.cmu.edu news.announce.conferences:4632 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: pvh@cs.brown.edu (Pascal Van Hentenryck) Subject: CFP: International Conference on Logic Programming(ICLP-94) Message-ID: <1993Aug26.235251.27104@sparky.sterling.com> Keywords: logic programming Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Brown Computer Science Dept. Date: Thu, 26 Aug 1993 23:52:51 GMT Approved: rick@sparky.sterling.com Expires: Tue, 16 Nov 1993 08:00:00 GMT Lines: 120 X-Md4-Signature: 05024bb1a33e2bdf9a84d0f617b9fca4 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 Maluszinski Sweden Kim Marriott Australia Maurizio Martelli Italy Lee Naish Australia Frank Pfenning USA David Poole Canada 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 5607 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5607 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: franz@neuro.informatik.uni-ulm.de (Franz Kurfess) Subject: CFP: Workshop on "Logic and Reasoning with Neural Networks" Message-ID: <1994Feb4.193637.8930@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Neuroinformatik, Uni Ulm, Germany Date: Fri, 4 Feb 1994 19:36:37 GMT Approved: rick@sparky.sterling.com Expires: Sat, 2 Apr 1994 08:00:00 GMT Lines: 144 X-Md4-Signature: af88da414a8c86d6bec321299760639b FIRST CALL FOR PAPERS "Logic and Reasoning with Neural Networks" Workshop at the International Conference on Logic Programming ICLP'94 Santa Margherita Ligure, Italy June 17 or 18, 1994 Description of the Workshop =========================== 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 the combination of neural networks and logic opens up interesting perspectives: * Methods for Reasoning - cognitively plausible models of reasoning - reasoning with vague knowledge - neural inference mechanisms - probabilistic reasoning with neural networks * Knowledge Representation Aspects - representation of non-symbolic information - knowledge acquisition from raw data (rule extraction) with neural networks - representation of vague knowledge - similarity-based access to knowledge - context-dependent retrieval of facts * Integration of Symbolic and Neural Components - combining sub-symbolic and symbolic information - pattern recognition - sensor fusion * Implementation Techniques - connectionist implementations of symbolic inference mechanisms - neural networks as massively parallel implementation technique - neural networks for learning of search heuristics There are at least three major aspects where a discussion of neural networks / connectionist models can be beneficial to the logic programming community at this time: * development of reasoning techniques which are closer to the way humans reason in everyday situation * dealing with vague knowledge, i.e. imprecise, uncertain, incomplete, inconsistent information, possibly from different sources and in various formats * efficiency improvements for symbolic inference mechanisms, e.g. through adaptive learning from previously solved problems, or content-oriented access to rules and facts Submission of Papers ==================== Prospective contributors are invited to submit papers or extended abstracts to the organizers by April 1, 1994. They will be notified about acceptance or rejection by May 1. The final version of the papers is due June 1. We are planning to make the full papers accessible to the workshop participants in an ftp archive, and hand out only copies of the abstracts. If possible, please use a text processing program that allows you to produce PostScript output; otherwise it might be difficult to print out copies on other systems than the one you used. Preliminary Agenda ================== There will be one or two talks of approximately 30 min. where the essential background on the use of neural networks for logic and reasoning will be presented. The main purpose for this is to offer a brief introduction to those attendants with little knowledge of neural networks, and to provide a common framework of reference for the workshop. Care will be taken that these presentations concentrate on fundamental aspects, providing an overview of the field rather than a detailed technical review of one particular system or approach. The rest of the time slots will be used for presentations of submitted papers, i.e. approximately two in each section, with enough time for discussion. The final time schedule will be distributed after May 1. The workshop will be concluded by a final discussion and a wrap-up of important aspects. Important Dates =============== Submission deadline April 1, 1994 Notification of acceptance/rejection May 1, 1994 Final version of papers due June 1, 1994 Date of the workshop June 17 or 18, 1994 Registration ============ According to the standard policy of LP post-coference workshops, the workshops are integrating part of the conference. This means that participants of the workshop are expected to register for the conference. Workshop Organizers =================== Franz Kurfess Dept. of Neural Information Processing University of Ulm D-89069 Ulm, Germany Voice : +49/731 502-41+4953 Fax : +49/731 502-4156 E-mail: kurfess@neuro.informatik.uni-ulm.de Alessandro Sperduti CSD - University of Pisa Corso Italia 40 56100 Pisa, Italy Voice : +39/50 510 248 Fax : +39/50 510 226 E-mail: perso@di.unipi.it Article 5622 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5622 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!sparky!rick From: jmj@info.fundp.ac.be (Jean-Marie JACQUET) Subject: CFP: ICLP '94 Postconference Workshop on Process-based Parallel Logic Programming Message-ID: <1994Feb4.202323.14824@sparky.sterling.com> Keywords: parallel logic programming Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Institut d'Informatique - F.U.N.D.P. Date: Fri, 4 Feb 1994 20:23:23 GMT Approved: rick@sparky.sterling.com Expires: Sat, 16 Apr 1994 08:00:00 GMT Lines: 209 X-Md4-Signature: 6b48e9b9a0589b1905b05276bc48cdf9 Call For Papers ICLP'94 Postconference Workshop on Process-based Parallel Logic Programming June 17 or 18, 1994 S. Margherita Ligure, Italy In the last decade, several process-based parallel logic programming languages (Delta-Prolog, CS-Prolog, MB-Prolog, Multi-BinProlog, Shared Prolog, $\mu$Log) have been proposed as an alternative for committed choice languages and and/or-parallel execution models. Their main features are, on the one hand, the explicit process creation as opposed to the and/or evaluation of goals and clauses, and, on the other hand, the explicit communication based on channels or blackboards instead of that achieved by shared variables. Other characteristics include the properties that the parallelism is programmer-controlled, processes are loosely coupled, multi-paradigm applications can easily be built, and last but not least, existing sequential code can be incorporated in this new concurrent framework. As suggested, the languages (also called coordination languages) offer a quite pragmatic approach to concurrency in logic programming. It is believed to be well-suited for development purposes, and for the integration of multiple paradigms, possibly including constraint handling. The workshop is intended to bring together researchers interested in all aspects of process-based logic programming, including but not limited to the following topics: * Language design (both concurrent and sequential) * Theory and foundations * Implementations and architectures * Compilation techniques * Programming methodologies and Applications. Authors interested in presenting their work are invited to send, by e-mail or by regular mail, a 3-5 page abstract or, preferably, a full paper before April 15th. The submissions will be reviewed by the workshop organizers and based on this review, they will be included in informal proceedings to be distributed to the attendees. A selection of these papers will be presented at the workshop. Acceptance/rejection will be notified by May 15th. People interested in attending the workshop are welcome too. They are kindly requested to send their postal and (if available) electronic address as soon as possible. All submissions and information requests should be sent to: Koen De Bosschere ELIS, Universiteit Gent St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium Email: kdb@elis.rug.ac.be Tel: +32 (9) 264 34 06 Fax: +32 (9) 264 35 94 Workshop organizers: K. De Bosschere, Universiteit Gent, Belgium, kdb@elis.rug.ac.be J.-M. Jacquet, University of Namur, Belgium, jmj@info.fundp.ac.be A. Brogi, Universita di Pisa, Italy, brogi@di.unipi.it Important dates: Deadline for submission of papers: April 15th Notification for acceptance/rejection: May 15th ========================== latex version ======================= \documentstyle[11pt]{article} \pagestyle{empty} \topmargin -1.4cm \textheight 49\baselineskip \marginparwidth 16 mm \textwidth 16.4 cm \evensidemargin -3mm \oddsidemargin -3mm \begin{document} \begin{center} % {\large \bf Call For Papers} \\ \vspace{0.75ex} {\large \bf ICLP\'{ }94 Postconference Workshop on} \\ \vspace{2ex} {\LARGE \bf Process-based Parallel Logic Programming} \\ \vspace{2ex} {\large \bf June 17 or 18, 1994} \\ \vspace{0.75ex} {\large \bf S. Margherita Ligure, Italy} \end{center} \vfill \vspace{0.3cm} In the last decade, several process-based parallel logic programming languages (Delta-Prolog, CS-Prolog, MB-Prolog, Multi-BinProlog, Shared Prolog, $\mu$Log) have been proposed as an alternative for committed choice languages and and/or-parallel execution models. Their main features are, on the one hand, the explicit process creation as opposed to the and/or evaluation of goals and clauses, and, on the other hand, the explicit communication based on channels or blackboards instead of that achieved by shared variables. Other characteristics include the properties that the parallelism is programmer-controlled, processes are loosely coupled, multi-paradigm applications can easily be built, and last but not least, existing sequential code can be incorporated in this new concurrent framework. As suggested, the languages (also called coordination languages) offer a quite pragmatic approach to concurrency in logic programming. It is believed to be well-suited for development purposes, and for the integration of multiple paradigms, possibly including constraint handling. The workshop is intended to bring together researchers interested in all aspects of process-based logic programming, including but not limited to the following topics: {\em \begin{itemize} \setlength{\itemsep}{-1mm} \item Language design (both concurrent and sequential) \item Theory and foundations \item Implementations and architectures \item Compilation techniques \item Programming methodologies and Applications. \end{itemize} % } Authors interested in presenting their work are invited to send, by e-mail or by regular mail, a 3-5 page abstract or, preferably, a full paper before {\em April 15th}. The submissions will be reviewed by the workshop organizers and based on this review, they will be included in informal proceedings to be distributed to the attendees. A selection of these papers will be presented at the workshop. Acceptance/rejection will be notified by May 15th. People interested in attending the workshop are welcome too. They are kindly requested to send their postal and (if available) electronic address as soon as possible. \vspace{2ex} \noindent All submissions and information requests should be sent to: \vspace{1.5ex} Koen De Bosschere ELIS, Universiteit Gent St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium Email: kdb@elis.rug.ac.be Tel: +32 (9) 264 34 06 \qquad Fax: +32 (9) 264 35 94 \vspace{2ex} \noindent \begin{tabular}{ll} {\bf Workshop organizers} % & K. De Bosschere, Universiteit Gent, Belgium, kdb@elis.rug.ac.be \\ & J.-M. Jacquet, University of Namur, Belgium, jmj@info.fundp.ac.be \\ & A. Brogi, Universita di Pisa, Italy, brogi@di.unipi.it \end{tabular} \vspace{2ex} \noindent \begin{tabular}{ll} {\bf Important dates:} & Deadline for submission of papers: April 15th \\ \mbox{ } & Notification for acceptance/rejection: May 15th \end{tabular} \end{document} Article 5663 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5663 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!sparky!rick From: am4e+@andrew.cmu.edu (Alberto D. Momigliano) Subject: CFP: Proof-Theoretical Extensions of Logic Programming Message-ID: <1994Feb9.231824.12983@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Doctoral student, Philosophy, Carnegie Mellon, Pittsburgh, PA Date: Wed, 9 Feb 1994 23:18:24 GMT Approved: rick@sparky.sterling.com Expires: Fri, 1 Apr 1994 08:00:00 GMT Lines: 281 X-Md4-Signature: 258cada56571cdc4f422c6efaba2ff7a Ascii first,then LateX. My apologies if you receive multiple copies of the CFP. Cheers A. --------- ICLP'94 POST-CONFERENCE WORKSHOP PROOF-THEORETICAL EXTENSIONS OF LOGIC PROGRAMMING This workshop is intended to provide a forum for researchers to exchange ideas on the influence of proof theory on the future development of the field of logic programming. This follows the workshops named "Extensions of Logic Programming" since 1989. The previous workshops were held in Tuebingen, Germany, (1989), Stockholm, Sweden, (1991), Bologna, Italy, (1992), St Andrews, Scotland, (1993). The proceedings of each has been published in Springer's Lecture Notes in Artificial Intelligence series (numbers 475, 596, 660, forthcoming). The workshop intends to bring together researchers from the two fields and evaluate the state of the art. Given the different backgrounds required, it may include a tutorial part besides contributed papers. We expect papers exploring (or criticizing) the fruitfulness of the proof-theoretic approach to traditional and novel issues in logic programming. Topics include, but are not necessarily limited to o proof-theoretic foundations - cut elimination - negation-as-failure - equational theories - program completion - reasoning by induction - partial inductive definitions - linear logic - constructive, modal and temporal logics - many-valued logics - higher-order logics - type-theoretic approaches o languages - Elf - GCLA - Isabelle - lambda Prolog - LO! - Lolli - ACL o applications - program synthesis, transformations and equivalence - program termination - unification theory and constraints - theorem proving - programming language implementations - modularity - knowledge representation Organizing Committee - Lars-Henrik Eriksson, Swedish Institute of Computer Science (SICS), Stockholm, Sweden - Roy Dyckhoff, University of St Andrews, Scotland - Alberto Momigliano, Department of Philosophy, Carnegie Mellon University - Mario Ornaghi, Department of Computer Science, Universita' di Milano, Italy Electronic submissions in LaTeX, DVI or Postcript format of extended abstracts (up to 5 pages) are strongly encouraged, preferably following the Springer style. The abstracts should present work that is original although not necessarily finished. The organizers will select a number of the submitted extended abstracts for presentation but other good submissions will be also included in the informal proceedings. Please state an email address and a fax number on your submission Contact person: Alberto Momigliano Department of Philosophy Carnegie Mellon University Pittsburgh, PA 15213-3890, U.S.A. Telephone: +1 412 268-8047 FAX: +1 412 268-1440 Email: mobile@lcl.cmu.edu The workshop will occupy a full day, following the 1994 International Conference on Logic Programming. Pre-conference abstracts will be distributed to the participants. Post-conference in-depth review of submitted papers for publication will be considered. Further information can be obtained by anonymous ftp from launce.lcl.cmu.edu in directory /pub/whop94. Important Dates Abstracts due: March 31, 1994 Notification sent: April 30, 1994 Workshop: June 17, 1994. ------ LateX starts here -------- \documentstyle{article} \pagestyle{empty} \setlength{\textwidth}{16cm} \setlength{\textheight}{24cm} \addtolength{\hoffset}{-2cm} \addtolength{\voffset}{-2cm} \begin{document} \begin{center} Announcement and Call for Papers {\Large\bf Proof-Theoretical Extensions of Logic Programming \par} \medskip Post-ICLP'94 Workshop \\ S.~Margherita Ligure, Italy \\ 17 June 1994 \end{center} This workshop is intended to provide a forum for researchers to exchange ideas on the influence of proof theory on the future development of the field of logic programming. This follows the workshops named "Extensions of Logic Programming" since 1989. The previous workshops were held in Tuebingen, Germany, (1989), Stockholm, Sweden, (1991), Bologna, Italy, (1992), St Andrews, Scotland, (1993). The proceedings of each has been published in Springer's Lecture Notes in Artificial Intelligence series (numbers 475, 596, 660, forthcoming). The workshop intends to bring together researchers from the two fields and evaluate the state of the art. Given the different backgrounds required, it may include a tutorial part besides contributed papers. \begin{center} \bf Topics \end{center} We expect papers exploring (or criticizing) the fruitfulness of the proof-theoretic approach to traditional and novel issues in logic programming. Topics include, but are not necessarily limited to: \begin{enumerate} \item proof-theoretic foundations \begin{itemize} \item cut elimination \item negation-as-failure \item equational theories \item program completion \item reasoning by induction \item partial inductive definitions \item linear logic \item constructive, modal, temporal and many-valued logics \item higher-order logics \item type-theoretic approaches \end{itemize} \item languages \begin{itemize} \item Elf \item GCLA \item Isabelle \item $\lambda$Prolog \item LO! \item Lolli \item ACL \end{itemize} \item applications \begin{itemize} \item program synthesis, transformations and equivalence \item program termination \item unification theory and constraints \item theorem proving \item programming language implementations \item modularity \item knowledge representation \end{itemize} \end{enumerate} \begin{center} \bf Organizing Committee \end{center} \begin{quote} - Lars-Henrik Eriksson, Swedish Institute of Computer Science (SICS), Stockholm, Sweden \\ - Roy Dyckhoff, University of St Andrews, Scotland \\ - Alberto Momigliano, Department of Philosophy, Carnegie Mellon University, U.S.A.\\ - Mario Ornaghi, Department of Computer Science, Universita' di Milano, Italy \end{quote} \begin{center} \bf Submission \end{center} Electronic submissions in \LaTeX, DVI or Postcript format of extended abstracts (up to 5 pages) are strongly encouraged, preferably following the Springer style. The abstracts should present work that is original although not necessarily finished. The organizers will select a number of the submitted extended abstracts for presentation but other good submissions will be also included in the informal proceedings. Please state an email address and a fax number on your submission. \begin{center} {\bf Contact person} \end{center} \begin{quote} Alberto Momigliano\\ Department of Philosophy\\ Carnegie Mellon University\\ Pittsburgh, PA 15213-3890, U.S.A.\\ Telephone: +1 412 268-8047\\ FAX: +1 412 268-1440\\ Email: mobile@lcl.cmu.edu \end{quote} \medskip The workshop will occupy a full day, following the 1994 International Conference on Logic Programming. Pre-conference abstracts will be distributed to the participants. Post-conference in-depth review of submitted papers for publication will be considered. Further information can be obtained by anonymous ftp from {\tt launce.lcl.cmu.edu} in directory {\tt /pub/whop94}. \begin{center} {\bf Important Dates} \end{center} \begin{quote} Abstracts due: March 31, 1994\\ Notification sent: April 30, 1994 \\ Workshop: June 17, 1994. \end{quote} \end{document} Article 5797 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5797 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!cs.utexas.edu!uunet!sparky!sparky!not-for-mail From: jmj@info.fundp.ac.be (Jean-Marie JACQUET) Newsgroups: news.announce.conferences Subject: CFP: ICLP'94 Postconference Workshop on Process-based Parallel Logic Programming Followup-To: poster Date: 14 Mar 1994 08:28:27 -0600 Organization: Institut d'Informatique - F.U.N.D.P. Lines: 212 Sender: rick@sparky.sterling.com Approved: rick@sparky.sterling.com Expires: 16 Apr 1994 8:00:00 GMT Message-ID: <2m1sab$72p@sparky.sterling.com> NNTP-Posting-Host: sparky.sterling.com Keywords: parallel logic programming Call For Papers ICLP'94 Postconference Workshop on Process-based Parallel Logic Programming June 17 or 18, 1994 S. Margherita Ligure, Italy In the last decade, several process-based parallel logic programming languages (Delta-Prolog, CS-Prolog, MB-Prolog, Multi-BinProlog, Shared Prolog, $\mu$Log) have been proposed as an alternative for committed choice languages and and/or-parallel execution models. Their main features are, on the one hand, the explicit process creation as opposed to the and/or evaluation of goals and clauses, and, on the other hand, the explicit communication based on channels or blackboards instead of that achieved by shared variables. Other characteristics include the properties that the parallelism is programmer-controlled, processes are loosely coupled, multi-paradigm applications can easily be built, and last but not least, existing sequential code can be incorporated in this new concurrent framework. As suggested, the languages (also called coordination languages) offer a quite pragmatic approach to concurrency in logic programming. It is believed to be well-suited for development purposes, and for the integration of multiple paradigms, possibly including constraint handling. The workshop is intended to bring together researchers interested in all aspects of process-based logic programming, including but not limited to the following topics: * Language design (both concurrent and sequential) * Theory and foundations * Implementations and architectures * Compilation techniques * Programming methodologies and Applications. Authors interested in presenting their work are invited to send, by e-mail or by regular mail, a 3-5 page abstract or, preferably, a full paper before April 15th. The submissions will be reviewed by the workshop organizers and based on this review, they will be included in informal proceedings to be distributed to the attendees. A selection of these papers will be presented at the workshop. Acceptance/rejection will be notified by May 15th. People interested in attending the workshop are welcome too. They are kindly requested to send their postal and (if available) electronic address as soon as possible. All submissions and information requests should be sent to: Koen De Bosschere ELIS, Universiteit Gent St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium Email: kdb@elis.rug.ac.be Tel: +32 (9) 264 34 06 Fax: +32 (9) 264 35 94 Workshop organizers: K. De Bosschere, Universiteit Gent, Belgium, kdb@elis.rug.ac.be J.-M. Jacquet, University of Namur, Belgium, jmj@info.fundp.ac.be A. Brogi, Universita di Pisa, Italy, brogi@di.unipi.it Important dates: Deadline for submission of papers: April 15th Notification for acceptance/rejection: May 15th ========================== latex version ======================= \documentstyle[11pt]{article} \pagestyle{empty} \topmargin -1.4cm \textheight 49\baselineskip \marginparwidth 16 mm \textwidth 16.4 cm \evensidemargin -3mm \oddsidemargin -3mm \begin{document} \begin{center} % {\large \bf Call For Papers} \\ \vspace{0.75ex} {\large \bf ICLP\'{ }94 Postconference Workshop on} \\ \vspace{2ex} {\LARGE \bf Process-based Parallel Logic Programming} \\ \vspace{2ex} {\large \bf June 17 or 18, 1994} \\ \vspace{0.75ex} {\large \bf S. Margherita Ligure, Italy} \end{center} \vfill \vspace{0.3cm} In the last decade, several process-based parallel logic programming languages (Delta-Prolog, CS-Prolog, MB-Prolog, Multi-BinProlog, Shared Prolog, $\mu$Log) have been proposed as an alternative for committed choice languages and and/or-parallel execution models. Their main features are, on the one hand, the explicit process creation as opposed to the and/or evaluation of goals and clauses, and, on the other hand, the explicit communication based on channels or blackboards instead of that achieved by shared variables. Other characteristics include the properties that the parallelism is programmer-controlled, processes are loosely coupled, multi-paradigm applications can easily be built, and last but not least, existing sequential code can be incorporated in this new concurrent framework. As suggested, the languages (also called coordination languages) offer a quite pragmatic approach to concurrency in logic programming. It is believed to be well-suited for development purposes, and for the integration of multiple paradigms, possibly including constraint handling. The workshop is intended to bring together researchers interested in all aspects of process-based logic programming, including but not limited to the following topics: {\em \begin{itemize} \setlength{\itemsep}{-1mm} \item Language design (both concurrent and sequential) \item Theory and foundations \item Implementations and architectures \item Compilation techniques \item Programming methodologies and Applications. \end{itemize} % } Authors interested in presenting their work are invited to send, by e-mail or by regular mail, a 3-5 page abstract or, preferably, a full paper before {\em April 15th}. The submissions will be reviewed by the workshop organizers and based on this review, they will be included in informal proceedings to be distributed to the attendees. A selection of these papers will be presented at the workshop. Acceptance/rejection will be notified by May 15th. People interested in attending the workshop are welcome too. They are kindly requested to send their postal and (if available) electronic address as soon as possible. \vspace{2ex} \noindent All submissions and information requests should be sent to: \vspace{1.5ex} Koen De Bosschere ELIS, Universiteit Gent St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium Email: kdb@elis.rug.ac.be Tel: +32 (9) 264 34 06 \qquad Fax: +32 (9) 264 35 94 \vspace{2ex} \noindent \begin{tabular}{ll} {\bf Workshop organizers} % & K. De Bosschere, Universiteit Gent, Belgium, kdb@elis.rug.ac.be \\ & J.-M. Jacquet, University of Namur, Belgium, jmj@info.fundp.ac.be \\ & A. Brogi, Universita di Pisa, Italy, brogi@di.unipi.it \end{tabular} \vspace{2ex} \noindent \begin{tabular}{ll} {\bf Important dates:} & Deadline for submission of papers: April 15th \\ \mbox{ } & Notification for acceptance/rejection: May 15th \end{tabular} \end{document}