🚀 go-pugleaf

$B:#G/#97n$NO@M}%W%m%0%i%_%s%09q:]2q5D!\%7%s%]%8%&%`!J(BICLP $B$H(B ILPS 
$B$N9gF12q5D!K$N(B Call for Papers $B$G$9!#:G=i$K(B plain text$B!"<!$K(B
LaTeX $BHG$rE:IU$7$^$9!#(B

$BO@J8Dy@Z$O#27n#9F|$G$9!#(B

$B>eED(B $BOB5*!wAa0pEDBg3XM}9)3XIt>pJs3X2J(B
========================================================================

			 Call for Papers

	   ==============================================

	    JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM

		       ON LOGIC PROGRAMMING

			    JICSLP'96


		 Bonn, Germany, 2-6 September, 1996

	   ==============================================


	  Sponsored by the Association of Logic Programming


The Joint Conference and Symposium combines the two major annual
international conferences reporting research results in logic programming.
It will be the main logic programming forum in 1996. The technical program
for the conference will include tutorials, invited lectures, and
presentations of refereed papers and posters. A series of workshops will be
scheduled in conjunction with the conference. Papers are welcome on all
aspects of logic programming, including, but not limited to:

    Analysis and optimization		Meta-programming
    Applications			Natural language processing
    Architecture			Non-monotonic reasoning
    Concurrency				Parallelism
    Constraints				Programming environments
    Databases				Programming language design
    Experimental evaluation		Programming methodology
    Higher-order programming		Semantics and foundations
    Implementation			Theorem proving
    Induction				Transformation
    Integration with other paradigms


Papers must be written in English and must not exceed 15 pages
(including references and figures). Papers that exceed this limit
risk rejection. Each submission 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. This information should also be sent in a
text file to jicslp96@cit.gu.edu.au. Submitted papers should not have
been previously published or submitted to any journals or refereed
conferences. Accepted papers must be presented at the conference.
Send six (6) copies of your submission by February 9, 1996 to

PROGRAM CHAIR:
--------------
    Michael Maher
    JICSLP'96 Program Chair
    School of Computing and Information Technology
    Griffith University
    Nathan, Queensland 4111
    Australia
    Email: jicslp96@cit.gu.edu.au

PROGRAM COMMITTEE:
------------------
    Annalisa Bossi		Italy
    Philippe Codognet		France
    Saumya Debray		USA
    Bart Demoen			Belgium
    Juergen Dix			Germany
    Mireille Ducasse		France
    Steve Gregory		UK
    Gopal Gupta			USA
    Sverker Janson		Sweden
    Paris Kanellakis		USA
    Helene Kirchner		France
    Jean-Louis Lassez		USA
    Giorgio Levi		Italy
    Rainer Manthey		Germany
    Wiktor Marek		USA
    Kim Marriott		Australia
    Dale Miller			USA
    Lutz Pluemer		Germany
    Peter Reintjes		USA
    Mario Rodriguez-Artalejo	Spain
    Taisuke Sato		Japan
    Divesh Srivastava		USA
    Peter Stuckey		Australia
    Paul Tarau			Canada
    Kazunori Ueda		Japan
    Mark Wallace		UK

GENERAL CHAIRS:
---------------
    Rainer Manthey (Germany)
    Lutz Pluemer (Germany)

PUBLICITY CHAIR:
----------------
    Thomas H. Kolbe (Germany)

LOCAL ORGANIZATION:
-------------------
    Christine Harms (Germany)


Authors will be notified of the acceptance or rejection of their
papers in late April, 1996. Final versions of the accepted papers must
be received in camera-ready form by May 24, 1996. The proceedings will
be published by MIT Press.

Further information can be obtained from the conference WWW home page at

    http://www.informatik.uni-bonn.de/~jicslp96/

or on request via Email to jicslp96@informatik.uni-bonn.de

========================================================================
\documentstyle{article}
%\setlength{\oddsidemargin}{-0.50in}
\setlength{\oddsidemargin}{-0.90in}
\setlength{\evensidemargin}{0in}
\setlength{\textwidth}{7.75in}
\setlength{\topmargin}{-0.5in}
\setlength{\headsep}{0.0in}
\setlength{\textheight}{24.5cm}
\pagestyle{empty}
\hbadness=10000

\begin{document}
\begin{center}
{\Large Call For Papers} \\
$ \ $ \\
{\Large\bf Joint International Conference and Symposium on Logic Programming (JICSLP'96)} \\
$ \ $ \\
Bonn, Germany, 2--6 September, 1996 \\
$ \ $ \\
Sponsored by the {\bf Association of Logic Programming}
\end{center}
\vspace{5mm}

\parbox{2.682in}{
{\center\bf Program Committee} \\
\noindent\begin{tabular}{ll}
Annalisa Bossi          	&  Italy  \\
Philippe Codognet			&  France  \\
Saumya Debray           	&  USA  \\
Bart Demoen             	&  Belgium  \\
J\"{u}rgen Dix              &  Germany  \\
Mireille Ducass\'{e}        &  France  \\
Steve Gregory           	&  UK  \\
Gopal Gupta             	&  USA  \\
Sverker Janson          	&  Sweden  \\
Paris Kanellakis        	&  USA  \\
H\'{e}l\`{e}ne Kirchner     &  France  \\
Jean-Louis Lassez       	&  USA  \\
Giorgio Levi            	&  Italy  \\
Rainer Manthey 				&  Germany \\
Wiktor Marek            	&  USA  \\
Kim Marriott            	&  Australia  \\
Dale Miller             	&  USA  \\
Lutz Pl\"{u}mer 			&  Germany \\
Peter Reintjes          	&  USA  \\
Mario Rodr\'{\i}guez-Artalejo &  Spain  \\
Taisuke Sato            	&  Japan  \\
Divesh Srivastava       	&  USA  \\
Peter Stuckey           	&  Australia  \\
Paul Tarau              	&  Canada  \\
Kazunori Ueda           	&  Japan  \\
Mark Wallace            	&  UK  \\
\end{tabular}

{\center\bf General Chairs} \\
\begin{tabular}{l}
Rainer Manthey (Germany)  \\
Lutz Pl\"{u}mer (Germany)  \\
\end{tabular}
%
{\center\bf Program Chair} \\
\begin{tabular}{l}
Michael Maher (Australia) \\
\end{tabular}
%
%{\center\bf Workshop Chair} \\
%\begin{tabular}{l}
%Fred Flintstone (Bedrock) \\
%\end{tabular}
%
{\center\bf Publicity Chair} \\
\begin{tabular}{l}
Thomas Kolbe (Germany) \\
\end{tabular}
%
{\center\bf Local Organization} \\
\begin{tabular}{l}
Christine Harms (Germany) \\
\end{tabular}
}
\parbox{4.8in}{
\setlength{\parindent}{0.5cm}

The Joint Conference and Symposium combines the two major annual international
conferences reporting research results in logic programming.
It will be the main logic programming forum in 1996.  The
technical program for the conference will include tutorials, invited lectures,
and presentations of refereed papers and posters. A series of
workshops will be scheduled in conjunction with the conference.
Papers are welcome on all aspects of logic programming, including,
but not limited to:

\begin{quote}
\begin{tabular}{ll}
Analysis and optimization       & Meta-programming    \\
Applications                    & Natural language processing     \\
Architecture                    & Non-monotonic reasoning   \\
Concurrency                     & Parallelism      \\
Constraints                     & Programming environments     \\
Databases                       & Programming language design    \\
Experimental evaluation         & Programming methodology \\
Higher-order programming        & Semantics and foundations \\
Implementation                  & Theorem proving       \\
Induction                       & Transformation \\
Integration with other paradigms &   \\

\end{tabular}
\end{quote}


Papers must be written in English and must not exceed 15 pages (including
references and figures).  Papers that exceed this limit risk rejection.
Each submission 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. This information should also be sent in a text file
to {\tt jicslp96@cit.gu.edu.au}. Submitted papers should not have been previously
published or submitted to any journals or refereed conferences.
Accepted papers must be presented at the conference.
Send {\bf six (6) copies} of your submission by {\em February 9, 1996} to
\begin{quote}
Michael Maher\\
JICSLP'96 Program Chair  \\
School of Computing and Information Technology  \\
Griffith University  \\
Nathan, Queensland 4111  \\
Australia  \\
Email: {\tt jicslp96@cit.gu.edu.au} \\
%Phone: +61 7 3875 5313 $\;\;$ Fax: +61 7 3875 5051
\end{quote}
Authors will be notified of the acceptance or rejection of their
papers in late {\em April, 1996}. Final versions of the accepted
papers must be received in camera-ready form by {\em May 24, 1996.}
The proceedings will be published by MIT Press.

Further information can be obtained from the conference WWW home page at
{\tt http://www.informatik.uni-bonn.de/\~{}jicslp96/}
or on request via Email to {\tt jicslp96@informatik.uni-bonn.de}
}
\end{document}