Conferences and Events
Where you can present your research results?

• IJCAI 99 [www.dsv.su.se/ijcai-99]
• CP 99 [www.ise.gmu.edu/cp99]
  • CP 99 Workshop on Large Scale Combinatorial Optimisation and Constraints [www.dash.co.uk/wscp99]
• ERCIM/CompulogNet Workshop on Constraints [www.math.unipd.it/~frossi/cyprus.html]
• PLANSIG 99 [www.salford.ac.uk/planning/PLANSIG99]
• ICLP 99 [www.cs.nmsu.edu/~complog/conferences/iclp99]
• CP-AI-OR 00 [www.uni-paderborn.de/~CP-AI-OR] March 8-10, 2000, University of Paderborn, Paderborn, Germany
• FroCoS2000 [www.loria.fr/conferences/frocos2000] March 22-24,2000, Nancy, France
• ETAPS 2000 [iks.cs.tu-berlin.de/etaps2000] March 25 - April 2, 2000, Berlin, Germany
• PACLP 2000 [www.practical-applications.co.uk/Expo2000] April 10-14, 2000, Manchester, UK
• AIPS2000 [www-aig.jpl.nasa.gov/public/aips00] April 15-17, 2000, Breckenridge, USA
  • AI Planning Meets CP [www.first.gmd.de/plan/aips00-ws.html]
• ERCIM/CompulogNet Workshop on Constraints [www.math.unipd.it/~frossi/padova.html] June 19-21, Padova, Italy
• CPDC2000 [lemon.ia.polsl.gliwice.pl/cpdc2000] June 26-27, 2000, Gliwice, Polland
• CL2000 [www.doc.ic.ac.uk/cl2000] July 24-28, 2000, Imperial College, London UK

  ---

• AAAI 2000 [www.aaai.org/Conferences/National/2000] July 30 - August 3, 2000, Austin, USA
  • Constraints and AI Planning [www.ai-center.com/events/aaai-2000-ws]
• ECAI 2000 [www.ecai2000.hu-berlin.de] August 20-25, 2000, Berlin, Germany
  • Workshop on Local Search for Planning & Scheduling [www.ai-center.com/events/ecai-2000-ws]
  • Modelling and Solving Problems with Constraints [www.iiia.csic.es/ecai2000]
  • Empirical Methods in Artificial Intelligence [www.cs.ubc.ca/~hoos/ecai2000-empai]
• CP 2000 [www.comp.nus.edu.sg/~cp2000] September 18-22, 2000, Singapore
  • Techniques for Implementing Constraint Programming Systems [www.comp.nus.edu.sg/~cp2000/trics]
  • Workshop on Soft Constraints: Theory and Practice [www.math.unipd.it/~frossi/cp2000-soft]
• WFLP 2000 [www.dsic.upv.es/users/elp/WFLP2000] September 28-30, 2000, Benicassim, Spain
• INAP 2000 [www.ap.kagu.sut.ac.jp/inap2k] October 22-22, 2000,Tokyo, Japan
• SOFSEM 2000 [www.sofsem.cz] November 25 - December 2, 2000, Milovy, Czech Republic
• PlanSIG 2000 [mcs.open.ac.uk/plansig2000] December 14-15, 2000, Milton Keynes, Buckinghamshire (UK)
• STACS 2001 [wwwtcs.inf.tu-dresden.de/STACS2001] February 15-17, 2001, Dresden, Germany
• IJCAI 2001 [www.boeing.com/nosearch/ijcai] August 4-10, 2001, Seattle, Washington (USA)
• ECP 2001 [scalab.uc3m.es/~ecp01] September, 2001, Spain

Educational materials
Where on the Net you can learn about logic programming, constraint programming and artificial intelligence?

• On-line Guide to Constraint Programming [kti.mff.cuni.cz/~bartak/constraints/]
  tutorial to constraint programming
• On-line Guide to Prolog Programming [kti.mff.cuni.cz/~bartak/prolog/]
  tutorial to Prolog programming using examples
• Adventure in Prolog [www.amzi.com/AdventureInProlog]
  a complete tutorial to Prolog Programming by Amzi Inc.
• Prolog Courseware Initiative [www.ifcomputer.com/PrologCourse/]
  on-line teaching of Prolog, links to other resources

Research groups
Who perform research in CP, LP and AI?

• ERCIM Working Group on Constraints [www.cwi.nl/projects/ercim-wg.html]
• PLANET Network [planet.dfki.de]
• Compulog Net [www.compulog.org]
• UK Planning and Scheduling Special Interest Group [www.salford.ac.uk/planning]

Industry
Who supply tools and software that uses AI, CP, LP?

• InSol [www.insol.co.il]
• i2 Technologies [www.i2.com]
• PeopleSoft [www.peoplesoft.com]

  ---

• Cosytec [www.cosytec.com]
  developers of CHIP (Constraint Handling in Prolog)
• ILOG [www.ilog.com]
  developers of ILOG Solver, ILOG Scheduler etc.
• IF Computer [www.ifcomputer.com]
  developers of IF-Prolog and Minerva
• PrologIA [prologianet.univ-mrs.fr]
  developers of Prolog V System
• SICS [www.sics.se]
  developers of SICStus Prolog
• Dash Associates [www.dash.co.uk]
  developers of XPRESS-MP

Grant Agencies
Where you can ask for financial support for your projects?

• Grant Agency of the Czech Republic [www.gacr.cz]
• Grant Agency of Charles University [www.cuni.cz/cuni/ruk/gauk]
• Grant Agency of Czech Academy of Science [gaav.kav.cas.cz]
• Ministerstvo skolstvi, mladeze a telovychovy [www.msmt.cz]

  ---

• NATO [www.nato.int/science]

Alma Mater

Charles University [www.cuni.cz]

• Faculty of Mathematics and Physics [www.mff.cuni.cz]
• School of Informatics [www.ms.mff.cuni.cz]
  • Department of Theoretical Computer Science [kti.mff.cuni.cz]
  • Department of Software Engineering [kocour.ms.mff.cuni.cz]
  • Department of Applied Mathematics [www.ms.mff.cuni.cz/acad/kam]