Friday, April 2, 2010

LOPSTR'10: New deadline for extended abstract submission

=========================================================================

20th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2010

http://www.risc.uni-linz.ac.at/conferences/lopstr2010/
Hagenberg, Austria, July 23-25, 2010
(co-located with PPDP 2010)

=========================================================================

New deadline for extended abstract submission: April 7, 2010