Logic-Programming Related Call for Papers

Back to top

Frontiers of Combining Systems

Date: September 16-18, 2009
Location: Trento, Italy
Submission Deadline:  May 3, 2009
URL: http://events.unitn.it/en/frocos09/

Back to top

Logic Programming and Non-Monotonic Reasoning

Date: September 14-18, 2009
Location: Potsdam, Germany
Submission Deadline:  April 20, 2009
URL: http://www.cs.uni-potsdam.de/lpnmr09

Back to top

Principles and Practice of Constraint Programming

Date: September 20-24, 2009
Location: Lisbon, Portugal
Submission Deadline:  April 27, 2009
URL: http://centria.di.fct.unl.pt/conferences/cp2009

Back to top

Workshop on Logic-Based Methods in Programming Environments

Date: July 14-17, 2009
Location: Pasadena, USA
Submission Deadline: April 30, 2009
URL: http://gpd.sip.ucm.es/WLPE09/

Workshop on Answer Set Programming and Other Computing Paradigms

Date: July 14-17, 2009
Location: Pasadena, USA
Submission Deadline: April 23, 2009
URL: http://www.mat.unical.it/ASPOCP09/dates.html

Workshop on Constraint Handling Rules

Date: July 14-17, 2009
Location: Pasadena, USA
Submission Deadline: April 17, 2009
URL: http://www.uni-ulm.de/in/pm/research/events/chr2009/

Colloquium on Implementation of Constraint Logic Programming Systems

Date: July 14-17, 2009
Location: Pasadena, USA
Submission Deadline: April 13, 2009
URL: http://www.cse.unt.edu/~tarau/ciclops09/

Workshop on Constraint Logic Programming and Software Engineering

Date: July 14-17, 2009
Location: Pasadena, USA
Submission Deadline: April 19, 2009
URL: http://logtalk.org/workshops/clpse2009/

Implementation and Application of Functional Languages

Date: September 23-25, 2009
Location: South Orange, USA
Submission Deadline: August 15, 2009
URL: http://tltc.shu.edu/blogs/projects/IFL2009/

Logic Frameworks and Meta-Languages: Theory and Practice

Date: August 2, 2009
Location: Montreal, Canada
Submission Deadline: May 8, 2009
URL: http://workshops.inf.ed.ac.uk/lfmtp

International Conference on Automated Planning and Scheduling

Date: September 19-23, 2009
Location: Thessaloniki, Greece
Submission Deadline: April 22, 2009
URL: http://icaps09.uom.gr

Workshop on Visual Languages and Logic

Date: September 20, 2009
Location: Corvallis, USA
Submission Deadline: June 22, 2009
URL: http://www.cs.dal.ca/~vll

Workshop on Functional and (Constraint) Logic Programming

Date: June 28, 2009
Location: Brasilia, Brasil
Submission Deadline: April 26, 2009
URL: http://www.dsic.upv.es/workshops/wflp09/

Workshop on Commercial Users of Logic Programming

Date: July 14-17, 2009
Location: Pasadena, USA
Submission Deadline: April 5, 2009
URL: http://www.cs.kuleuven.be/~toms/CULP2009/

Computational Logic with Applications (Track of EPIA 2009)

Date: October 12-15, 2009
Location: Aveiro, Portugal
Submission Deadline: April 15, 2009
URL: http://epia2009.web.ua.pt/

Web Reasoning and Rule Systems

Date: October 25-26, 2009
Location: Chantilly, USA
Submission Deadline: July 4, 2009
URL: http://www.rr-conference.org/RR2009

Computer Science Logic

Date: September 7-11, 2009
Location: Coimbra, Portugal
Submission Deadline: April 6, 2009
URL: http://www.mat.uc.pt/CSL09/

Logics for Agents and Mobility

Date: August 9-10, 2009
Location: Los Angeles, USA
Submission Deadline: May 1, 2009
URL: http://www.dur.ac.uk/lam.09/LAM09/LAM09.html

Back to top

Logic-based Program Synthesis and Transformation

Date: September 7-11, 2009
Location: Coimbra, Portugal
Submission Deadline: May 8, 2009
URL: http://www.cs.kuleuven.be/conference/lopstr09/

Principles and Practice of Declarative Programming

Date: September 7-9, 2009
Location: Coimbra, Portugal
Submission Deadline: May 7, 2009
URL: http://www.dcc.fc.up.pt/ppdp09/