Logic-Programming Related Call for
Papers
Contents
- International Conference on Logic Programming (ICLP'08)
- Principles and Practice of Constraint Programming (CP 2008)
- International Joint Conference on Automated Reasoning (IJCAR'08)
- International Conference on Theory and Applications of Satisfiability Testing (SAT'08)
- Applications of Declarative and Object-Oriented Parallel Programming (PAPP 2008)
- Coordination Models and Languages (COORDINATION'08)
- European Semantic Web Conference (ESWC'08)
- Programming Languages and Analysis for Security (PLAS'08)
- Constraints and Language Processing (CSLP2008)
- Reduction Strategies in Rewriting and Programming (WRS'08)
- Declarative Agent Languages and Technologies (DALT'08)
- Temporal Representation and Reasoning (TIME'08)
- Computability in Europe (CIE 2008)
- International Colloquium on Automata, Languages, and Programming (ICALP'08)
- Theoretical Computer Science (TCS-2008)
- National Conference on Artificial Intelligence (AAAI'08)
- Principles of Knowledge Representation and Reasoning (KR'2008)
- Logic-based Program Synthesis and Transformation (LOPSTR'08)
International Conference on Logic Programming
Date: December 9-13, 2008
Location: Udine, Italy
Submission Deadline: June 9, 2008
URL: http://iclp08.dimi.uniud.it
Principles and Practice of Programming
Date: September 14-18, 2008
Location: Sydney, Australia
Submission Deadline: April 1, 2008
URL: http://www.cs.mu.oz.au/cp2008/
Date: August 10-15, 2008
Location: Sydney, Australia
Submission Deadline: February 22, 2008
URL: http://2008.ijcar.org/
Conference on Theory and Applications of Satisfiability Testing
Date: May 12-15, 2008
Location: Guangzhao, China
Submission Deadline: January 11, 2008
URL: http://www.upb.de/cs/SAT08
Workshop on Applications of Declarative and Object-Oriented Parallel Programming
Date: June 23-25, 2008
Location: Krakow, Poland
Submission Deadline: January 3, 2008
URL: http://f.loulergue.free.fr/PAPP2008
Date: June 23-25, 2008
Location: Krakow, Poland
Submission Deadline: January 3, 2008
URL: http://f.loulergue.free.fr/PAPP2008
Conference on Coordination Models and Languages
Date: June 4-6, 2008
Location: Oslo, Norway
Submission Deadline: January 8, 2008
URL: http://discotec08.ifi.uio.no/Coordination08/
European Semantic Web Conference
Date: June 1-5, 2008
Location: Tenerife, Spain
Submission Deadline: January 11, 2008
URL: http://www.eswc2008.org/
Date: June 1-5, 2008
Location: Tenerife, Spain
Submission Deadline: January 11, 2008
URL: http://www.eswc2008.org/
Programming Languages and Analysis for Security
Date: June 8, 2008
Location: Tucson, Arizona
Submission Deadline: March 24, 2008
URL: http://research.ihost.com/plas2008/
Date: June 8, 2008
Location: Tucson, Arizona
Submission Deadline: March 24, 2008
URL: http://research.ihost.com/plas2008/
Constraints and Language Processing
Date: August 11-15, 2008
Location: Hamburg, Germany
Submission Deadline: March 8, 2008
URL: http://control.ruc.dk/CSLP2008.html
Date: August 11-15, 2008
Location: Hamburg, Germany
Submission Deadline: March 8, 2008
URL: http://control.ruc.dk/CSLP2008.html
Reduction Strategies in Rewriting and Programming
Date: July 14, 2008
Location: Castle of Hagenberg, Austria
Submission Deadline: April 21, 2008
URL: http://cl-informatik.uibk.ac.at/events/wrs08/
Date: July 14, 2008
Location: Castle of Hagenberg, Austria
Submission Deadline: April 21, 2008
URL: http://cl-informatik.uibk.ac.at/events/wrs08/
Declarative Agent Languages and Technologies
Date: May 12, 2008
Location: Estoril, Portugal
Submission Deadline: January 25, 2008
URL: http://www.di.unito.it/~baldoni/DALT-2008/
Date: May 12, 2008
Location: Estoril, Portugal
Submission Deadline: January 25, 2008
URL: http://www.di.unito.it/~baldoni/DALT-2008/
Temporal Representation and Reasoning
Date: June 16-18, 2008
Location: Montreal, Canada
Submission Deadline: January 11, 2008
URL: http://www.time2008.org/
Date: June 16-18, 2008
Location: Montreal, Canada
Submission Deadline: January 11, 2008
URL: http://www.time2008.org/
Computability in Europe
Date: June 15-20, 2008
Location: Athens, Greece
Submission Deadline: January 4, 2008
URL: http://www.cs.swan.ac.uk/cie08/
International Colloquium on Automata, Languages, and Programming
Date: July 6-13, 2008
Location: Reykjavik, Iceland
Submission Deadline: February 10, 2008
URL: http://www.ru.is/icalp08
National Conference on Artificial Intelligence
Date: July 13-17, 2008
Location: Chicago, Illinois
Submission Deadline: January 25, 2008
URL: http://www.aaai.org/Conferences/AAAI/aaai08.php
Principles of Knowledge Representation and Reasoning
Date: September 16-19, 2008
Location: Sydney, Australia
Submission Deadline: April 7, 2008
URL: http://www.cse.unsw.edu.au/~kr2008/
Date: September 16-19, 2008
Location: Sydney, Australia
Submission Deadline: April 7, 2008
URL: http://www.cse.unsw.edu.au/~kr2008/
Logic-based Program Synthesis and Transformation
Date: July 17-18, 2008
Location: Valencia, Spain
Submission Deadline: May 7, 2008
URL: http://www.informatik.uni-kiel.de/~mh/lopstr08/
Date: July 17-18, 2008
Location: Valencia, Spain
Submission Deadline: May 7, 2008
URL: http://www.informatik.uni-kiel.de/~mh/lopstr08/
Theoretical Computer Science
Date: September 7-10, 2008
Location: Milan, Italy
Submission Deadline: February 15, 2008
URL: http://www.aicanet.it/wcc2008/TCS2008cfp1.pdf