[Apologies for multiple copies of this announcement] ******************************************************************* Call For Participation CICLOPS-WLPE 2010 Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments Edinburgh, Scotland, U.K. July 15, 2010 http://users.dsic.upv.es/~ciclops-wlpe10/ Satellite event of the 26th International Conference on Logic Programming (ICLP 2010) http://www.floc-conference.org/ICLP-home.html ******************************************************************* IMPORTANT DEADLINES: * early registration deadline: 17 May 2010 * standard registration: 18 May 2010 - 30 June 2010 * late registration: after 30 June 2010 Registration, accomodation, and travel/visa information for all FLoC conferences and workshops is on the FLoC 2010 web pages: http://www.floc-conference.org/ INVITED TALKS: Programming with Boolean Satisfaction Michael Codish, Ben-Gurion University of the Negev (Israel) Solving Constraint Satisfaction Problems by a SAT Solver Naoyuki Tamura, Kobe University (Japan) ACCEPTED PAPERS: - Peter Biener, François Degrave and Wim Vanhoof A Test Automation Framework for Mercury - Petra Hofstedt Realizing evaluation strategies by hierarchical graph rewriting - Nicos Angelopoulos and Paul Taylor An extensible web interface for databases and its application to storing biochemical data - Paulo Moura Meta-Predicate Semantics - Jan Wielemaker and Vítor Santos Costa Portability of Prolog programs: theory and case-studies - Dimitar Shterionov, Angelika Kimmig, Theofrastos Mantadelis and Gerda Janssens DNF Sampling for ProbLog Inference - Vasco Pedro and Salvador Abreu Distributed Work Stealing for Constraint Solving - Paulo André and Salvador Abreu Casting the WAM as an EAM Workshop organizers: German Vidal DSIC, Universidad Politecnica de Valencia Camino de Vera S/N, 46022 Valencia, Spain http://www.dsic.upv.es/~gvidal/ Neng-Fa Zhou Department of Computer and Information Science, Brooklyn College The City University of New York 2900 Bedford Avenue, Brooklyn, NY 11210-2889 http://www.sci.brooklyn.cuny.edu/~zhou/