[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=========================================================================
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
