Xref: utzoo sci.logic:1113 comp.ai:8610 comp.theory:1575 Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!magnus.ircc.ohio-state.edu!tut.cis.ohio-state.edu!VAX1.CC.UAKRON.EDU!mcs.kent.edu!news From: arvind@mcs.kent.edu (Arvind Kumar Bansal) Newsgroups: sci.logic,comp.ai,comp.theory,net.announce.conferences Subject: "Last and Final Call for Papers in ILPS91" Message-ID: <1991Feb24.211603.11203@mcs.kent.edu> Date: 24 Feb 91 21:16:03 GMT Sender: news@mcs.kent.edu (News Administrator) Organization: Kent State University Lines: 454 Nntp-Posting-Host: encore.mcs.kent.edu Dear Colleague: This is an effort to reach out to individual logic programming groups for possible contribution of research papers in ILPS91 - International Logic Programming Symposium 1991 (previously known as NACLP). The conference will be held in San Diego, California, USA during October 28 - 31 1991. San Diego is near Mexico border and has a very pleasant climate during the month of October. The due date for the submission of papers is March 15, 1991, and the due date for workshop proposals is March 22, 1991. We are making an attempt to reach out to all the researchers through known electronic mailing lists, electronic bulletin boards, CACM, SIGART, AI Magazine, IEEE Computer advertisement, and known postal addresses. However, we realize the limitations of this effort. I am enclosing an electronic version of the announcement followed by a tex version of the ``CALL for PAPERS" announcement and a latex version of the "CALL for WORKSHOP PROPOSALS". I will request you to post the laser printer version of the announcements on your departmental notice board and other prominent places. Please circulate the electronic version to the local e-mail list of the relevant researchers. Thank you for your help and possible research contributions, With best regards Arvind bansal Publicity Chair ILPS91 Department of Mathematics and Computer Science Kent State University Kent, OH 44242, USA ------------------------------------------------------------------- %%% The electronic version and the tex version of the Call for Papers are separated by the line %%ILPS91CALL and tex version of Call for papers and the latex version of the Workshop Proposal are separated by the line %%workshop91 The tex version of Call for Papers file will require ``tex " command to produce .dvi file and latex version of Workshop Proposal file will require ``latex " command to achieve the same effect. If you are using A4 size papers (instead of 8.5 X 11 inch letter size papers) to print out the announcement, you will have to change the line ``\hsize 181mm \vsize 260mm" in Call for Papers to ``\hsize 170mm \vsize 260mm". The change was suggested by Dan Sahlin to meet the European standard. ---------------------------------------------------------------------- ILPS91 --- FINAL Call For Papers 1991 INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM * (* Formerly called ``North American Conference on Logic Programming'' (NACLP)) San Diego, California, U.S.A., October 28--31, 1991 Sponsored by the Association for Logic Programming. In cooperation with ACM (SIGACT, SIGPLAN, SIGART, SIGMOD), IEEE Computer Society, AAAI and ESPRIT (pending). Arising from logic programming, exciting new areas of intellectual inquiry are emerging in the interaction of concurrency, logic, constraints, algorithms, and parallel processing. To foster the development of such areas, a major goal of this conference is to promote technical interaction between logic programming and neighboring fields including artificial intelligence, logic, databases and theoretical computer science. Papers are invited on all aspects of logic programming and its connections with neighboring fields. Both theoretical and practical papers are solicited. Topics of interest include (but are not limited to): - Foundations --- Semantics / Proof theory / Concurrency / Constraints and partial information / Knowledge representation and reasoning / Non-monotonic reasoning / Computational interpretation of various logics / Constructive logics (proofs-as-program principle) / Higher-order logics / Situation semantics - Languages and Programming --- [Concurrent] [Constraint] Logic programming languages / Extensions to logic programming / Language design and constructs / Constraint-satisfaction techniques and algorithms / Programming environments / Meta-programming and reflection - Implementation --- Compilation techniques / Architectures / Parallelism / Performance evaluation - Reasoning About Programs --- Program analysis and abstract interpretation / Program synthesis / Program transformation / Verification / Reasoning about safety and liveness properties - Applications --- Natural languages / Design, Diagnosis and Testing / Planning / Software engineering - Logic Databases --- Disjunctive databases / Finite model theory / Logical updates / Logics of objects / Datalog optimization Papers must be written in English and must not exceed 5000 words in length, including a 200 word abstract and excluding references. (This translates to approximately ten pages in 10 point on 16 point spacing.) Papers that exceed this limit are likely to be returned without being refereed. Submit six copies by MARCH 15, 1991 to: Vijay Saraswat, Xerox PARC 3333 Coyote Hill Road, Palo Alto, CA 94304, USA. E-mail: ilps91@parc.xerox.com Phone: +1.415.494.4747 Fax: +1.415.494.4334 Authors will be notified of acceptance or rejection by JUNE 15, 1991. Final versions of accepted papers must be received by the MIT Press in camera-ready form by July 19, 1991. The conference will have one poster session on applications and will be followed by several post-conference workshops, which will be announced separately. INVITED SPEAKERS Robert Constable, Cornell U., USA Koichi Furukawa, ICOT, Japan Vladimir Lifschitz, Stanford U., USA Johan van Benthem, U. of Amsterdam, The Netherlands PROGRAM COMMITTEE Hassan Ait-Kaci, DEC PRL, France Catriel Beeri, Hebrew U., Israel Mats Carlsson, SICS, Sweden Johan de Kleer, Xerox PARC, USA Atsuhiro Goto, NTT, Japan Ken Kahn, Xerox PARC, USA Deepak Kapur, SUNY (Albany), USA Michael Kifer, SUNY (Stony Brook), USA Alan Mackworth, U. British Columbia, Canada Michael Maher, IBM Hawthorne, USA Ugo Montanari, U. Pisa, Italy Gopalan Nadathur, Duke U., USA Shamim Naqvi, Bellcore, USA Stanley Peters, CSLI, USA David Plaisted, U. North Carolina, USA Gordon Plotkin, U. Edinburgh, UK Teodor Przymusinski, U. Texas (El Paso), USA Harald Sondergaard, U. Melbourne, Australia Evan Tick, U. Oregon, USA Allen van Gelder, U. California (Santa Cruz), USA Pascal van Hentenryck, Brown U., USA David H.D. Warren, U. Bristol, UK PROGRAM COMMITTEE CHAIRS Vijay Saraswat, Xerox PARC, USA Kazunori Ueda, ICOT, Japan CONFERENCE CHAIR Ken Kahn, Xerox PARC 3333 Coyote Hill Road, Palo Alto, CA 94304, USA E-mail: ilps91@parc.xerox.com Phone: +1.415.494.4390 Fax: +1.415.494.4334 LOCAL ARRANGEMENTS CHAIR Steve Taylor, CalTech, USA E-Mail: steve@vlsi.caltech.edu WORKSHOP COORDINATOR Kim Marriott, IBM Hawthorne, USA E-mail: kimbal@ibm.com POSTER SESSION CHAIR Leon Sterling, Case Western Reserve U., USA E-mail: leon@alpha.ces.cwru.edu PUBLICITY CHAIR Arvind Bansal, Kent State University E-mail: arvind@mcs.kent.edu -------------------------------------------------------------------------- %%ILPS91CALL %%<> %% Modified Tue Dec 4 16:23:00 1990. %% Modified Wed Nov 14 11:25:50 1990. %% Modified Sat Nov 3 18:21:04 1990 to add names of remaining %% people. \tolerance=250 \hfuzz=1.2pt \font\bigbf=cmbx10 at 12pt \font\Bigbf=cmbx10 at 14.4pt \def\ninepoint{\baselineskip=11pt \font\rm=cmr9 \font\bf=cmbx9 \font\it=cmti9 \rm} \hoffset=-3 mm \voffset=-4 mm %% For A4 size papers change to \hsize 170mm in the following line. \hsize=181 mm \vsize=260 mm \parindent=0pt \nopagenumbers \overfullrule=0pt \hbox{% %%\special{psfile=ilps.logo.openp hscale=0.85 vscale=0.85 %% hoffset=-2.7 voffset=-3.95}% \vbox{ \centerline{\Bigbf ILPS91 --- Call For Papers} \medskip \centerline{\Bigbf 1991 International Logic Programming Symposium% \raise5pt\hbox{$\,\dagger$}} \medskip\smallskip \centerline{\bf\strut San Diego, California, U.~S.~A., October 28--31, 1991} \medskip \centerline{\strut Sponsored by the Association for Logic Programming.} \centerline{\strut In cooperation with ACM SIGACT, SIGPLAN, SIGART, SIGMOD,} \centerline{\strut IEEE Computer Society and AAAI (pending).} }% %%\special{psfile=alplogo2.ps hscale=1.2 vscale=1.2 %% hoffset=-3.9 voffset=-4.5}% } \bigskip \hbox to\hsize{ \hss \vtop{\ninepoint \halign{#\hfil\cr {\bf Invited Speakers}\cr Robert Constable, {\it Cornell U., USA}\cr Koichi Furukawa, {\it ICOT, Japan}\cr Vladimir Lifschitz, {\it Stanford U., USA}\cr % Johan van Benthem, {\it U. of Amsterdam, Holland}\cr \hbox spread -7pt{Johan van Benthem, {\it U. of Amsterdam, The Netherlands}}\cr \noalign{\medskip} {\bf Program Committee}\cr Hassan A\"\i t-Kaci, {\it DEC PRL, France}\cr Catriel Beeri, {\it Hebrew U., Israel}\cr Mats Carlsson, {\it SICS, Sweden}\cr Johan de Kleer, {\it Xerox PARC, USA}\cr Atsuhiro Goto, {\it NTT, Japan}\cr Ken Kahn, {\it Xerox PARC, USA}\cr Deepak Kapur, {\it SUNY (Albany), USA}\cr Michael Kifer, {\it SUNY (Stony Brook), USA}\cr Alan Mackworth, {\it U. British Columbia, Canada}\cr Michael Maher, {\it IBM Hawthorne, USA}\cr Ugo Montanari, {\it U. Pisa, Italy}\cr Gopalan Nadathur, {\it Duke U., USA}\cr Shamim Naqvi, {\it Bellcore, USA}\cr Stanley Peters, {\it CSLI, USA}\cr David Plaisted, {\it U. North Carolina, USA}\cr Gordon Plotkin, {\it U. Edinburgh, UK}\cr Teodor Przymusinski, {\it U. Texas (El Paso), USA}\cr Harald S\o ndergaard, {\it U. Melbourne, Australia}\cr Evan Tick, {\it U. Oregon, USA}\cr Allen van Gelder, {\it U. California (Santa Cruz), USA}\cr Pascal van Hentenryck, {\it Brown U., USA}\cr David H.D.Warren, {\it U. Bristol, UK}\cr \noalign{\medskip} {\bf Program Committee Chairs}\cr Vijay Saraswat, {\it Xerox PARC, USA}\cr Kazunori Ueda, {\it ICOT, Japan}\cr \noalign{\medskip} {\bf Conference Chair}\cr Ken Kahn, {\it Xerox PARC}\cr 3333 Coyote Hill Road\cr Palo Alto, CA 94304, USA\cr %%E-mail: ilps91@parc.xerox.com\cr Phone: +1.415.494.4390\cr %%Fax: +1.415.494.4334\cr \noalign{\medskip} {\bf Local Arrangements Chair}\cr Steve Taylor, {\it CalTech, USA}\cr E-mail: steve@vlsi.caltech.edu\cr \noalign{\medskip} {\bf Workshop Coordinator}\cr Kim Marriott, {\it IBM Hawthorne, USA}\cr E-mail: kimbal@ibm.com\cr \noalign{\medskip} {\bf Poster Session Chair}\cr Leon Sterling, {\it Case Western Reserve U., USA}\cr E-mail: leon@alpha.ces.cwru.edu\cr \noalign{\medskip} {\bf Publicity Chair}\cr Arvind Bansal, {\it Kent State U., USA}\cr E-mail: arvind@mcs.kent.edu\cr } \smallskip \hrule width40mm\smallskip \vbox{\hsize=70mm\noindent \raise3pt\hbox{$\dagger$} Formerly called {\it North American Conference on Logic Programming (NACLP).}} }% \hskip2.5mm plus1fil \vtop{\hsize=103mm \parskip=\medskipamount \linepenalty=100 Arising from logic programming, exciting new areas of intellectual inquiry are emerging in the interaction of concurrency, logic, constraints, algorithms, and parallel processing. To foster the development of such areas, a major goal of this conference is to promote technical interaction between logic programming and neighboring fields including artificial intelligence, logic, databases and theoretical computer science. Papers are invited on all aspects of logic programming and its connections with neighboring fields. Both theoretical and practical papers are solicited. Topics of interest include (but are not limited to): {\parindent=12pt \item{$\bullet$} {\it Foundations} --- Semantics / Proof theory / Concurrency / Constraints and partial information / Knowledge representation and reasoning / Non-monotonic reasoning / Computational interpretation of various logics / Constructive logics (proofs-as-program principle) / Higher-order logics / Situation semantics \item{$\bullet$} {\it Languages and Programming} --- [Concurrent] [Constraint] Logic programming languages / Extensions to logic programming / Language design and constructs / Constraint-satisfaction techniques and algorithms / Programming environments / Meta-programming and reflection \item{$\bullet$} {\it Implementation} --- Compilation techniques / Architectures / Parallelism / Performance evaluation \item{$\bullet$} {\it Reasoning About Programs} --- Program analysis and abstract interpretation / Program synthesis / Program transformation / Verification / Reasoning about safety and liveness properties \item{$\bullet$} {\it Applications} --- Natural languages / Design, Diagnosis and Testing / Planning / Software engineering \item{$\bullet$} {\it Logic Databases} --- Disjunctive databases / Finite model theory / % Bottom-up evaluation / % Implementation Logical updates / Logics of objects / Datalog optimization \par} Papers must be written in English and must not exceed 5000 words in length, including a 200 word abstract and excluding references. (This translates to approximately ten pages in 10 point on 16 point spacing.) {\it Papers that exceed this limit are likely to be returned without being refereed.} Submit six copies by {\bf March 15, 1991} to: \noindent\vbox{\halign{#\hfil\cr \strut Vijay Saraswat, Xerox PARC\cr \strut 3333 Coyote Hill Road, Palo Alto, CA 94304, USA.\cr \strut E-mail: ilps91@parc.xerox.com\cr \strut Phone: +1.415.494.4747\ \ \ Fax: +1.415.494.4334\cr} } Authors will be notified of acceptance or rejection by {\bf June 15, 1991}. Final versions of accepted papers must be received by the MIT Press in camera-ready form by {\bf July 19, 1991}. The conference will have one poster session on applications and will be followed by several post-conference workshops, which will be announced separately. } \hss } \bye %%workshop91 %% <> \documentstyle{article} \thispagestyle{empty} \begin{document} \section*{Call for Workshop Proposals for 1991 ILPS} Workshop proposals are invited for the 1991 International Logic Programming Symposium (Formerly called ``North American Conference on Logic Programming'' (NACLP)) to be held in San Diego, California, U.S.A., October 28--31, 1991. Workshops will be held after the conference in an informal atmosphere and participants will have the opportunity to meet and discuss issues with a selected focus. The format of workshop presentations will be determined by the organizers proposing the workshop but ample time should be allotted for general discussion. Workshops can range in length but most are intended to last a half or a full day. Proceedings of the workshops are not intended to be published, but will be made available to participants. Workshop proposals should contain: \begin{enumerate} \item A description of the workshop, identifying the particular issues it will focus on. \item An indication as to why the workshop is topical and estimated number of attendees. \item The names and addresses of the organizing committee. This should consist of 2 or 3 people. \end{enumerate} Proposals for workshops that bridge the gap between logic programming and neighboring fields, including artificial intelligence, logic, databases and theoretical computer science are especially welcome. Workshop proposals should be submitted no later than 22nd March and organizers will be notified by 8th April. Workshop organizers are responsible for: \begin{enumerate} \item Producing a ``Call for Participation'' in the workshop by 19th April. \item Reviewing requests to participate in the workshop and scheduling workshop activities by 16th August. \end{enumerate} Please submit workshop proposals and inquiries to:\\[0.7cm] \hspace*{2cm}Kim Marriott,\\ \hspace*{2cm}IBM T.J. Watson Research Center,\\ \hspace*{2cm}P.O. Box 704,\\ \hspace*{2cm}Yorktown Heights, NY 10598, U.S.A.\\ \hspace*{2cm}Phone: (914) 784-7133\\ \hspace*{2cm}Fax: (914) 784-7455\\ \hspace*{2cm}Email: kimbal@ibm.com \end{document} Brought to you by Super Global Mega Corp .com