Calendar
================================================================

July 8-12, 1997 -- ICLP '97 <http://www.cs.kuleuven.ac.be/~iclp97> will
be held in Leuven, Belgium.  (See entry below) A workshop on
logic-based composition of software
<http://www.scs.leeds.ac.uk/hill/locos.html> will be held following the
conference.

July 27-31, 1997 --  AAAI, Providence, Rhode Island.  (See entry
below)  There will be a Workshop on Constraints and Agents
<http://www.cs.unh.edu/ccc/ca/aaai97.html> at AAAI-97, chaired by
Eugene Freuder.

August 11-22, 1997 -- The European Summer School in Logic, Language,
and Information, ESSLLI'97 <http://www.lpl.univ-aix.fr/~esslli97> will
be held in Aix-en-Provence, France.

August 20-22, 1997 -- The 2nd international conference on the Practice
And Theory of Automated Timetabling
<http://tawny.cs.nott.ac.uk/ASAP/ttg/patat.html> will be held at the
University of Toronto.

August 23-29, 1997 -- The Fifteenth International Joint Conference on
Artificial Intelligence (IJCAI) will be held in Nagoya, Japan.  (See
entry below)

August 26-29, 1997 -- Euro-Par 97 <http://www.uni-passau.de/europar97/>
will have a workshop on Symbolic Computation, for which papers on
constraint programming are invited.

September 24-26, 1997 -- The Fourth European Conference on Planning ECP
'97 <http://cswww.essex.ac.uk/conferences/ecp-97.htm> (formerlly the
European Workshop on Planning, EWSP) will be held in Toulouse, France.

October 12-17, 1997 -- The International Logic Programming Symposium
<http://www.ida.liu.se/~ilps97/> ILPS'97 will be held October 12-17,
1997 at Port Jefferson, NY.

October 16-17, 1997 -- The International Workshop on Tools and
Environments for (Constraint) Logic Programming
<http://www.clip.dia.fi.upm.es/Tools_Environ/call_for_papers.html> will
be held in association with ILPS'97.

October 16, 1997 -- The Second International Workshop on Interval
Constraints <http://web.univ-orleans.fr/~benhamou/IWIC97cfp.html> will
be held in association with ILPS'97.

October 27-28, 1997 -- The International Workshop on First-Order
Theorem Proving <http://www.logic.tuwien.ac.at/FTP97/> (FTP97) will be
held in Schloss Hagenberg, Austria, in conjunction with CP97.

October 28-30, 1997 -- The Workshop on Planning and Scheduling for
Space <http://www-aig.jpl.nasa.gov/NASA-ps97.html> will be held in
Oxnard, California.

October 29 - November 1, 1997 -- CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/> will be held in Schloss
Hagenberg, Austria.  (See entry below)

November 1, 1997 -- A Workshop on Industrial Constraint-Directed
Scheduling will be held in Schloss Hagenberg, Austria, in conjunction
with CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>

November 1, 1997 -- A Workshop on Constraint Reasoning on the Internet
<http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/wcicp97.html>
will be held in Schloss Hagenberg, Austria, in conjunction with CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/>

November 1, 1997 -- A Workshop on the Theory and Practice of Dynamic
Constraint Satisfaction
<http://www-icparc.doc.ic.ac.uk/~hhe/dcsp_workshop.html> will be held
in Schloss Hagenberg, Austria, in conjunction with CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/>

November 1, 1997 -- A Workshop on Constraints and
Bioinformatics/Biocomputing will be held in Schloss Hagenberg, Austria,
in conjunction with CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>

November 4 - November 7, 1997 -- ICTAI-97
<http://cs.utep.edu/csdept/conferences/conf1.html>, the IEEE
International Conference on Tools with Artificial Intelligence, will be
held in Newport Beach, California.

December 9-11, 1997 -- The Asian Computer Science Conference
<http://www.tcs.tifr.res.in/~asian97>, has "formal reasoning and
constraints" as one of four focus areas this year.  The 1997 meeting
will be held in Kathmandu, Nepal.  (An alternate site for conference
information is <http://ueda.info.waseda.ac.jp/asian97>.)

March 30 - April 1, 1998 -- The 9th International Conference on
Rewriting Techniques and Applications
<http://www4.informatik.tu-muenchen.de/~rta98/> (RTA 98) will be held
in Tsukuba, Japan.  (Submission deadline: September 28, 1997)

April 15-17, 1998 -- The Symposium on Combinatorial Optimization (CO98)
<http://smg.ulb.ac.be/co98>, an international biennial conference will
be hosted by the Universite Libre de Bruxelles, organized by ISRO and
SMG, Brussels.

May 15-16, 1998 -- TIME-98
<http://www.cs.fit.edu/~lina/time/time98.html> the Fifth International
Workshop on Temporal Representation and Reasoning, will be held at
Sanibel Island, Florida, conjunction with FLAIRS-98.  (See entry below)

May 17-20, 1998 -- The 11th International FLAIRS Conference
<http://www-cse.uta.edu/~cook/flairs98.html> will be held at the
Sundial Beach Resort Sanibel Island, Florida.  (See entry below)

Recurring conferences and workshops
================================================================

The First International Workshop on Approximate Reasoning in Scheduling
ARS'97 <http://www.dbai.tuwien.ac.at/events/ars97.html> was held in
Zurich, Switzerland in conjunction with ISFL'97 (February 12 - 14,
1997), the Second International ICSC Symposium on fuzzy logic and
applications.  There is also an associated Special Issue of the
International Journal of Approximate Reasoning
<http://www.dbai.tuwien.ac.at/events/ars-si-ijar.html> on approximate
reasoning in scheduling.

The Asian Computer Science Conference
<http://www.tcs.tifr.res.in/~asian97>, has "formal reasoning and
constraints" as one of four focus areas this year.  The 1997 meeting
will be held in Kathmandu, Nepal.  (An alternate site for conference
information is <http://ueda.info.waseda.ac.jp/asian97>.) The 1996
meeting <http://www.iscs.nus.sg/~asian96> was held in in Singapore, and
included a Constraints and Constraint Programming workshop.

AAAI <http://www.aaai.org/Conferences/conferences.html> is held
annually (most years).  AAAI-97
<http://www.aaai.org/Conferences/National/1997/aaai97.html> will be
held in Providence, Rhode Island.

The annual Constraint <http://www.sci.tamucc.edu/constraint96/>
conference is held in conjunction with FLAIRS (see separate entry).

The CONTESSA Workshop
<http://www.cirl.uoregon.edu/constraints/temp/contessa96> Constraint
Databases and their Applications, was held in Delphi, Greece.

CPP, Constraint Programming for Reasoning about Programming
<http://www.scs.leeds.ac.uk/hill/cpp97.html>.

The European Conference on AI (ECAI) is held every other year(?).
ECAI'96 <http://wwwis.cs.utwente.nl:8080/mars/ECAI96.html> was in
Budapest.

FLAIRS <http://www.cis.ufl.edu/~ddd/FLAIRS/> (Florida AI Research
Society) is an annual AI conference.  Proceedings are available on-line
for Constraint '95 <http://www.sci.tamucc.edu/constraint95/> and
Constraint '96
<http://www.sci.tamucc.edu/constraint96/proceedings.html>

The French Conference on Logic and Constraint Programming is held
annually.  JFPLC'97 <http://www.univ-orleans.fr/LIFO/jfplc97> was held
in Orle'ans, France.

The International Converence on Logic Programming (ICLP) is held
annually(?).  ICLP '95 <http://daigo.sfc.keio.ac.jp/iei/iclp95.html>
was held in Kanagawa, Japan.  ICLP '97
<http://www.cs.kuleuven.ac.be/~iclp97> will be held in Leuven, Belgium,
8-12 July 1997.

The International Conference on Principles and Practice of Constraint
Programming <http://www.cs.ualberta.ca/~ai/cp/> (CP) is held annually.
CP96 <http://web.cs.ualberta.ca:80/~ai/cp96/> was held in Cambridge,
Mass, August 1996.  CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>
will be held in Schloss Hagenberg, Austria, October 29 - November 1,
1997.

The International Joint Conference on Artificial Intelligence is the
main international gathering of researchers in AI. Started in 1969, it
is held every two years, and is jointly sponsored by IJCAI Inc.
(IJCAII), and the national AI societies of the host countries.  [IJCAI
<http://ijcai.org/>] IJCAI'97 <http://ijcai.org/ijcai-97/> will be held
in Nagoya, Japan.

The Joint International Conference and Symposium on Logic Programming
(?).  JICSLP'96 <http://www.informatik.uni-bonn.de/~jicslp96/> was held
in Bonn.

The International Workshop on Logic Program Synthesis and
Transformation <http://www.cs.ruu.nl/docs/plilp/lopstrxx.html> (LOPSTR)
is an annual workshop.

The Practical Application of Constraint Technology Conferences
<http://www.demon.co.uk/ar/PACT/index.html> (PACT) are held annually.
"Supported by the Prolog Management Group and CompulogNet, the PACT
Conferences demonstrate the application of Constraints and Constraint
Logic Programming to industrial problems." PACT'96
<http://www.demon.co.uk/ar/PACT96/index.html> and PACT'97
<http://www.demon.co.uk/ar/TPAC> were both held in London.

The Practical Application of Prolog Conferences
<http://www.demon.co.uk/ar/PAP/index.html> (PAP) are held annually.
"Supported by The Prolog Management Group and Compulog Net, the
Practical Application of Prolog Conferences are the world's leading
showcase for Prolog applications and systems."

The International Joint Conference on the Theory and Practice of
Software Development (TAPSOFT) is held annually.  TAPSOFT'97
<http://www.lifl.fr/tapsoft97> will be held in Lille, April 14-18
1997.

The TIME International Workshop
<http://www.cs.uregina.ca/~temporal/index.html> is held annually in
conjunction with FLAIRS (see separate entry).

The Uncertainty in AI <http://www.auai.org/> (UAI) conference is held
annually.  UAI-96 <http://cuai-96.microsoft.com/> was held in Portland,
Oregon.

The International Workshop on Functional and Logic Programming
<http://wwwipd.ira.uka.de/~hlock/wsflp97.html> was held in
Schwarzenberg (Black Forest) in January, 1997.

General info
================================================================

For information on Prolog-related conferences, see the Prolog Home Page
<http://www.demon.co.uk/ar/Prolog/index.html>.

Past conferences
================================================================

Archives of papers, bibliographies, and descriptions of past
conferences can be found in Peggy Eaton's archive
<http://www.cs.unh.edu/ccc/archive/>.