[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] LOPSTR'10: New deadline for extended abstract submission



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

              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