CICLOPS-WLPE 2010 at FLoC: Call for Participation

From: German Vidal <gvidal_at_dsic.upv.es>
Date: Wed, 12 May 2010 09:50:19 +0200

     [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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:09 CET