<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.6000.16640" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV class=sympheader>18TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM
SYNTHESIS AND TRANSFORMATION (LOPSTR 2008)</DIV>
<DIV><FONT face=Arial
size=2>*****************************************************************************************************************************************************************************</FONT><BR></DIV>
<DIV>The aim of the <A
href="http://en.wikipedia.org/wiki/International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation"
target=_blank>LOPSTR</A> 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.</DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV><FONT face=Arial size=2>This year, <FONT face="Times New Roman"
size=3>LOPSTR will be held in Valencia, Spain; and will start on July 17th and
will end on July 18th.</FONT></FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV>It is now possible to register and reserve hotel accommodation at
the symposium site by using the symposium website: </DIV>
<DIV><FONT face=Arial
size=2>------------------------------------------------------------------------</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV><A
href="http://www.informatik.uni-kiel.de/~mh/lopstr08/">http://www.informatik.uni-kiel.de/~mh/lopstr08/</A></DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV><FONT face=Arial
size=2>------------------------------------------------------------------------</FONT><FONT
face=Arial size=2></FONT></DIV><FONT face=Arial size=2></FONT><FONT face=Arial
size=2></FONT><FONT face=Arial size=2></FONT><FONT face=Arial size=2></FONT>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV>Best regards, and see you in Valencia,</DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV><FONT face=Arial size=2>
Josep Silva</FONT></DIV></BODY></HTML>