<!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&nbsp;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>&nbsp;</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>&nbsp;</DIV>
<DIV>It&nbsp;is now possible to register and reserve hotel accommodation at 
the&nbsp;symposium site by using&nbsp;the symposium website: </DIV>
<DIV><FONT face=Arial 
size=2>------------------------------------------------------------------------</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</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>&nbsp;</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>&nbsp;</DIV>
<DIV>Best regards, and see you in Valencia,</DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp; Josep Silva</FONT></DIV></BODY></HTML>