18TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND
TRANSFORMATION (LOPSTR 2008)
*****************************************************************************************************************************************************************************
The aim of the LOPSTR series is to stimulate and promote international research
and collaboration on logic-based program development. LOPSTR is open to
contributions in logic-based program development in any language paradigm.
LOPSTR has a reputation for being a lively, friendly forum for presenting and
discussing work in progress.
This year, LOPSTR will be held in Valencia, Spain; and will start on July 17th
and will end on July 18th.
It is now possible to register and reserve hotel accommodation at the symposium
site by using the symposium website:
------------------------------------------------------------------------
http://www.informatik.uni-kiel.de/~mh/lopstr08/
------------------------------------------------------------------------
Best regards, and see you in Valencia,
Josep Silva_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
