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

[PVS] Call for Participation: LOPSTR and PPDP 2012



(Apologies for multiple copies of this announcement)



CALL FOR PARTICIPATION:

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

                        LOPSTR 2012

                22nd International Symposium on
       Logic-Based Program Synthesis and Transformation

            Leuven, Belgium, September 18-20, 2012
              http://costa.ls.fi.upm.es/lopstr12


  and

                          PPDP 2012

              14th International Symposium on
      Principles and Practice of Declarative Programming

            Leuven, Belgium, September 19-21, 2012
          http://dtai.cs.kuleuven.be/events/PPDP2012/

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


Early registration is until 31 July 2012. There is a significant discount if you register for both events.

Registration link:  http://dtai.cs.kuleuven.be/events/PPDP2012/reg.html



More information about LOPSTR'12:
	http://costa.ls.fi.upm.es/lopstr12/

More information about PPDP'12:
	http://dtai.cs.kuleuven.be/events/PPDP2012/