[isabelle] International SAT/SMT/AR Summer School: Final call for participation



     [ Apologies for multiple copies ]

=========================================================================
     FINAL CALL FOR PARTICIPATION

     International SAT/SMT/AR Summer School
     Instituto Superior TÃcnico (IST/UL), University of Lisbon
     Lisbon, Portugal, June 22-25, 2016
     http://ssa-school-2016.it.uu.se/
=========================================================================

EXTENDED APPLICATION DEADLINE: May 15th, 2016

Full details of the application and registration procedure are
available at the school website (http://ssa-school-2016.it.uu.se/).

ABOUT:

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and
Automated Reasoning (AR) continue to make rapid advances and find
novel uses in a wide variety of applications, both in computer science
and beyond.  The SAT/SMT/AR Summer School aims to bring a select group
of students up to speed quickly in this exciting research area. The
lectures cover both foundational and practical aspects of SAT, SMT,
and AR technologies, and their application.

The school is the first SAT/SMT/AR Summer School, but continues the
successful line of SAT/SMT Summer Schools, which have taken place
annually since 2011. The SAT/SMT/AR Summer School will take place on
June 22-25 2016 in Lisbon, Portugal, in the week before the IJCAR
conference in Coimbra (27 June â 2 July), which in turn is followed by
the SAT conference in Bordeaux (July 5-8). The school takes place at
the Instituto Superior TÃcnico (IST/UL), University of Lisbon.

INVITED LECTURERS:

* Maria Paola Bonacina (Università degli Studi di Verona, Italy)
* Supratik Chakraborty (IIT Bombay, India)
* Dejan JovanoviÄ (SRI International, USA)
* Matti JÃrvisalo (University of Helsinki, Finland)
* Marius Lindauer (University of Freiburg, Germany)
* Florian Lonsing (TU Vienna, Austria)
* Nuno P. Lopes (Microsoft Research Cambridge, UK)
* Jakob NordstrÃm (KTH Royal Institute of Technology, Sweden)
* Andrew Reynolds (University of Iowa, USA)
* JoÃo Marques Silva (University of Lisbon, Portugal)
* Laurent Simon (Bordeaux INP, University of Bordeaux, LaBRI-CNRS, France)
* Christoph Weidenbach (Max-Planck-Institut fÃr Informatik, Germany)
* Thomas Wies (New York University, USA)

More details about the programme are available on the school webpage
http://ssa-school-2016.it.uu.se/

Organizing committee:

InÃs Lynce, University of Lisbon
Ruzica Piskac, Yale University
Philipp RÃmmer, Uppsala University




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