Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] International SAT/SMT/AR Summer School

Email Gateway (Aug 22 2022 at 13:10):

From: Philipp Ruemmer <philipp.ruemmer@it.uu.se>
[ Apologies for multiple copies ]

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

APPLICATION and REGISTRATION:

The application deadline for the school is May 1st, 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)
• 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 will be provided shortly 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

Last updated: Nov 21 2024 at 12:39 UTC