BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2006/newsitem/1312/12-
 14-July-2006-Logic-based-Program-Synthesis-and-Tra
 nsformation-LOPSTR-06-Venice-Italy
DTSTAMP:20060413T000000
SUMMARY:Logic-based Program Synthesis and Transfor
 mation (LOPSTR'06), Venice, Italy
DTSTART;VALUE=DATE:20060714
DTEND;VALUE=DATE:20060714
LOCATION:Venice, Italy
DESCRIPTION:The aim of the LOPSTR series is to sti
 mulate and promote international research and coll
 aboration on logic-based program development. LOPS
 TR is open to contributions in logic-based program
  development in any language paradigm.    LOPSTR h
 as a reputation for being a lively, friendly forum
  for presenting and discussing work in progress, s
 o it is a real workshop in the sense that it is al
 so intended to provide useful feedback to authors 
 on their research. Formal proceedings are produced
  only after the conference, so that authors can in
 corporate this feedback in the published papers. T
 his year, tool demonstrations are also solicited a
 s a separate submission category. LOPSTR'06 is col
 ocated with ICALP'06, PPDP'06 and CSWF'06.   For m
 ore information, see http://www.dsi.unive.it/lopst
 r2006/   Both research papers and tool demonstrati
 ons are solicited. Authors can either submit exten
 ded abstracts or they can choose to submit full pa
 pers. Both work in progress and tool demonstration
 s must be submitted as extended abstracts. Submiss
 ion deadline is 15 April 2006 (for full papers) or
  30 April 2006 (for extended abstracts).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The a
 im of the LOPSTR series is to stimulate and promot
 e international\nresearch and collaboration  on lo
 gic-based program development. LOPSTR\nis  open to
  contributions  in logic-based  program developmen
 t  in any\nlanguage paradigm.\n      </p>\n      <
 p>\nLOPSTR  has  a reputation  for  being  a  live
 ly, friendly  forum  for\npresenting and discussin
 g  work in progress, so it  is a real workshop\nin
  the  sense that it is  also intended to provide  
 useful feedback to\nauthors on their research.  Fo
 rmal proceedings are produced only after\nthe conf
 erence, so  that authors can incorporate this  fee
 dback in the\npublished papers.   This year, tool 
 demonstrations  are also solicited\nas a  separate
  submission category.\nLOPSTR'06 is colocated with
  ICALP'06, PPDP'06 and CSWF'06.\n      </p>\n    \
 n      \n      <p>For more information, see\n     
    <a target="_blank" href="http://www.dsi.unive.i
 t/lopstr2006/">http://www.dsi.unive.it/lopstr2006/
 </a>\n      </p>\n    </div><div>\n      <p>\nBoth
  research  papers and  tool demonstrations are  so
 licited. Authors\ncan either submit extended abstr
 acts or they can choose to submit full\npapers.   
 Both  work  in  progress  and tool  demonstrations
   must  be\nsubmitted as  extended abstracts.\n   
      Submission deadline is 15 April 2006 (for ful
 l papers) or 30 April 2006\n        (for extended 
 abstracts).\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2006/newsitem/1312/12-
 14-July-2006-Logic-based-Program-Synthesis-and-Tra
 nsformation-LOPSTR-06-Venice-Italy
END:VEVENT
END:VCALENDAR