[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