[TYPES/announce] LOPSTR'10: New deadline for extended abstract submission

Temur Kutsia kutsia at risc.uni-linz.ac.at
Fri Apr 2 14:30:24 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)

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

New deadline for extended abstract submission: April 7, 2010


More information about the Types-announce mailing list