The Wayback Machine - https://web.archive.org/web/20100716184811/http://www.floc-conference.org:80/CICLOPS-WLPE-accepted.html
ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

CICLOPS-WLPE-2010 Accepted Papers

Jan Wielemaker and Vítor Santos Costa
Portability of Prolog programs: theory and case-studies
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
Peter Biener, François Degrave and Wim Vanhoof
A Test Automation Framework for Mercury
Vasco Pedro and Salvador Abreu
Distributed Work Stealing for Constraint Solving
Paulo André and Salvador Abreu
Casting the WAM as an EAM
Paulo Moura
Meta-Predicate Semantics