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/