[TYPES/announce] LOPSTR 2015: Early registration deadline approaching

Maurizio Proietti maurizio.proietti at IASI.CNR.IT
Sun Jun 28 08:49:40 EDT 2015


Early registration for LOPSTR 2015 until June 30th, 2015.


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

                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)


============================================================
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 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 at 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


More information about the Types-announce mailing list