[loginf] LOPSTR 2010: Deadline extension

Temur Kutsia kutsia at risc.uni-linz.ac.at
Thu Mar 25 19:06:13 CET 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 loginf mailing list