[Haskell] CICLOPS-WLPE 2010 at FLoC: Call for Participation

German Vidal gvidal at dsic.upv.es
Wed May 12 03:48:14 EDT 2010


      [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/





More information about the Haskell mailing list