The International Conference on Principles and Practice of Constraint Programming will take place in Toulouse, France, from September 5th – 9th 2016. This is the 22nd edition of the annual conference on all aspects of computing with constraints, including: theory,…
Category: Call for papers
CFP: Special Issue of TPLP
SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON
NEW TRENDS OF CONSTRAINT LOGIC PROGRAMMING, guest editor Agostino Dovier
CFP: Workshop on Horn Clauses for Verification and Synthesis (HCVS)
By John Gallagher
Roskilde University
Denmark
CFP: International Conference on Compiler Construction
By Manuel Hermenegildo,
IMDEA SW and Technical Univ. of Madrid,
Spain
CFP: Symposium on Practical Aspects of Declarative Languages 2016
By Marco Gavanelli
University of Ferrara
Italy
CFP: AI*IA 2015
AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence, Ferrara September 23-25, 2015 http://aixia2015.unife.it AI*IA 2015 is the fourteenth International Conference on Advances in Artificial Intelligence held bi-annually by the Italian Association for Artificial Intelligence (AI*IA). Topics…
CFP: Ontologies and Logic Programming for Query Answering
By Torsten Schaub
University of Potsdam
Germany
CFP: Hybrid Reasoning Workshop
By Torsten Schaub,
University of Potsdam
Germany
CFP: Practical Aspects of Declarative Languages (PADL 2015)
By Enrico Pontelli
New Mexico State University
USA
CFP: RuleML 2015
Communicated by Fariba Sadri, IC London, (co-chair)