Ca' Foscari logo LOPSTR 2006  
International Symposium on
Logic-based Program Synthesis and Transformation


July 12 - 14, 2006
S. Servolo, Venice - Italy


IMPORTANT DATES

The on-line submission system is now closed.
  • Submission of full papers: April 24 2006 (was April 15, 2006)
  • Submissions of extended abstracts: May 4, 2006 ( was April 30, 2006)
  • Notification: May 20, 2006
  • Camera-ready: June 10, 2006
  • Conference: July 12-14, 2006
  • Authors are asked to register with the online site and submit titles and abstracts of their intended submissions three days before the deadline, i.e., on April 21 (was April 12) for full papers and on May 1 (was April 27) for extended abstracts.