- From: Maurizio Proietti <maurizio.proietti@IASI.CNR.IT>
- Date: Mon, 6 Jul 2015 10:24:39 +0200
- To: ANNOUNCEPPDPLOPSTR@LS.KULEUVEN.BE
======== CALL FOR PARTICIPATION LOPSTR & PPDP 2015 =========
25th International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2015)
17th International Symposium on Principles and Practice of Declarative
Programming (PPDP 2015)
University of Siena, Siena, IT, July 13-15, 2015
Registration site:
http://alpha.diism.unisi.it/ppdp-lopstr-15/registration.html
============================================================
25th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2015
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015
(co-located with PPDP 2015)
============================================================
Invited speakers:
Patrick Cousot, New York University, USA (Jointly with PPDP)
‘Verification by Abstract Interpretation, Soundness and Abstract Induction’
Gilles Barthe, IMDEA Software Institute, Spain
‘Towards Verified Cryptographic Implementations’
Dale Miller, INRIA and LIX/Ecole Polytechnique, France (Jointly with PPDP)
‘Proof checking and logic programming’
Full symposium program:
http://alpha.diism.unisi.it/lopstr15/LOPSTR2015SymposiumProgram.html
Program and Symposium Chair:
Moreno Falaschi, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
(moreno.falaschi@unisi.it)
Organizing Committee
Monica Bianchini, DIISM, Univ. of Siena, Italy
Sara Brunetti, DIISM, Univ. of Siena, Italy
Guillermo Roman-Diez, Technical Univ. of Madrid, Spain
Andrea Machetti, DIISM, Univ. of Siena, Italy
Simonetta Palmas, DIISM, Univ. of Siena, Italy
Maurizio Proietti, IASI-CNR, Italy
Simone Rinaldi, DIISM, Univ. of Siena, Italy
Elisa Tiezzi, DIISM, Univ. of Siena, Italy
Sara Ugolini, Dip. Informatica, Univ. of Pisa
============================================================
17th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2015
Siena, Italy, July 14-16, 2015
(co-located with LOPSTR 2015)
http://costa.ls.fi.upm.es/ppdp15
============================================================
Early registration by June 30, 2015
http://alpha.diism.unisi.it/ppdp-lopstr-15/registration.html
Invited speakers:
Patrick Cousot, New York University, USA (Jointly with LOPSTR)
‘Verification by Abstract Interpretation, Soundness and Abstract Induction’
Martin Hofmann, Ludwig-Maximilians University, Munich, Germany
‘Automatic Amortized Analysis’
Dale Miller, INRIA and LIX/Ecole Polytechnique, France (Jointly with LOPSTR)
‘Proof checking and logic programming’
Louis Mandel (College de France, Paris) and Marc Pouzet (ENS, Paris)
‘ReactiveML, Ten Years Later’
Full symposium program:
http://costa.ls.fi.upm.es/ppdp15/program-ppdp15.html
Program Chair
Elvira Albert
Complutense University of Madrid
C/ Profesor Garcia Santesmases
E-28040 Madrid, Spain
Email: elvira@sip.ucm.es
Symposium Chair
Moreno Falaschi
Department of information engineering and mathematics
University of Siena, Italy
Email: moreno.falaschi@unisi.it
Organizing Committee
Monica Bianchini, DIISM, Univ. of Siena, Italy
Sara Brunetti, DIISM, Univ. of Siena, Italy
Guillermo Roman-Diez, Technical Univ. of Madrid, Spain
Andrea Machetti, DIISM, Univ. of Siena, Italy
Simonetta Palmas, DIISM, Univ. of Siena, Italy
Maurizio Proietti, IASI-CNR, Italy
Simone Rinaldi, DIISM, Univ. of Siena, Italy
Elisa Tiezzi, DIISM, Univ. of Siena, Italy
Sara Ugolini, Dip. Informatica, Univ. of Pisa
Received on Monday, 6 July 2015 08:25:37 UTC