[TYPES/announce] LOPSTR 2010: Deadline extension
Temur Kutsia
kutsia at risc.uni-linz.ac.at
Thu Mar 25 12:51:52 EDT 2010
=====================================================================
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)
=====================================================================
EXTENDED DEADLINE
Paper (or extended abstract) submission: March 31, 2010
More information about the Types-announce
mailing list