[TYPES/announce] PPDP 2013 + LOPSTR 2013 Call for participation

Ricardo Peña ricardo at sip.ucm.es
Fri Aug 30 03:29:34 EDT 2013


(Apologies for multiple copies of this announcement)


                   CALL FOR PARTICIPATION:

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

                           PPDP 2013

               15th International Symposium on
       Principles and Practice of Declarative Programming

               Madrid, Spain, September 16-18, 2013
http://users.ugent.be/~tschrijv/PPDP2013/

and
                         LOPSTR 2013

                 23rd International Symposium on
        Logic-Based Program Synthesis and Transformation

               Madrid, Spain, September 18-19, 2013
http://www.utdallas.edu/~gupta/lopstr/

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


Registration is open now. There is a significant discount if you 
register for both events.


Registration link:

http://dalila.sip.ucm.es/ppdp-lopstr-13/?page_id=31

You can access the PPDP 2013 scientific program at:

http://users.ugent.be/~tschrijv/PPDP2013/program.pdf

You can access the  LOPSTR 2013 scientific program at:

http://www.utdallas.edu/~gupta/lopstr/lopstr-program.pdf

Hope to see you at Madrid














        



More information about the Types-announce mailing list