[isabelle] LOPSTR/PPDP 2010 Early Registration Deadline: June 21



[Apologize for multiple copies]
====================================================================

               *** CALL FOR PARTICIPATION ***

                          LOPSTR 2010
               20th International Symposium on
       Logic-Based Program Synthesis and Transformation
        http://www.risc.jku.at/conferences/lopstr2010/
                      July 23-25, 2010

                          PPDP 2010
         12th International ACM SIGPLAN Symposium on
      Principles and Practice of Declarative Programming
         http://www.risc.jku.at/conferences/ppdp2010/
                       July 26-28, 2010

                      Hagenberg, Austria

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

IMPORTANT INFORMATION

Early registration deadline (for both conferences): June 21, 2010

--------------------------------------------------------------------

LOPSTR 2010 INVITED SPEAKERS:

 - Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
 - Olivier Danvy (University of Aarhus, Denmark)
 - Johann Schumann (RIACS/NASA Ames Research Center, USA)

LOPSTR 2010 PROGRAM:

http://www.risc.jku.at/conferences/lopstr2010/program.html

--------------------------------------------------------------------

PPDP 2010 INVITED SPEAKERS:

 - Maria Paola Bonacina (University of Verona, Italy)
 - Sumit Gulwani (Microsoft Research)

PPDP 2010 PROGRAM:

http://www.risc.jku.at/conferences/ppdp2010/program.html

--------------------------------------------------------------------






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.