[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/
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Mai 12 2010 - 10:05:08 CEST