By
Francesco Calimeri, University of Calabria, Italy
Pascal Hitzler, Wright State University, USA
Author: Editors
Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry
Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry by Thorsten Winterer Flexis AG, Stuttgart, Germany
CFP: 6th International Conference on Web Reasoning and Rule Systems
RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning…
CFP: ICLP 2012
28th International Conference on Logic Programming (ICLP 2012), Budapest, Hungary, September 4-8, 2012, http://www.cs.bme.hu/iclp2012/
PADL 2012: Call for Participation
14th International Symposium on
Practical Aspects of Declarative Languages (PADL 2012)
Philadelphia, Pennsylvania, USA, January 23-24, 2012
Co-located with ACM POPL’12
Conference Report: The Twelfth International Workshop on Computational Logics in Multi-Agent Systems
by
Joao Leite, Universidade Nova de Lisboa, Portugal
Paolo Torroni, University of Bologna, Italy
CFP: COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2012)
By Stefan Woltran
Vienna University of Technology,
Austria
PhD Position in Rule-based Programming Systems
PhD Position in Rule-based Programming Systems in Ghent Universtity (Belgium).
CFP: 3rd International Conference on Interactive Theorem Proving
ITP 2012: 3rd International Conference on Interactive Theorem Proving 13-16 August 2012, Princeton, New Jersey, USA http://itp2012.cs.princeton.edu/ ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. The inaugural meeting of ITP…
EAPLS PhD Award 2011: Call for Nominations
URL: http://eapls.org/pages/phd_award/ The European Association for Programming Languages and Systems has established a Best Dissertation Award in the international research area of programming languages and systems. The award will go to the PhD student who in the previous period has…