Third International SAT/SMT Summer School 2013

Espoo, Finland, July 3—5, 2013

The SAT/SMT Summer School aims at providing graduate students and researchers from universities and industry with a comprehensive overview of research and methodology in satisfiability testing (SAT) and satisfiability modulo theories (SMT). The lectures cover the foundational and practical aspects of SAT and SMT technologies and their applications. The third edition follows the schools that took place at MIT (SAT/SMT Solver Summer School 2011) and at Fondazione Bruno Kessler (SAT/SMT School 2012) in Trento, Italy. The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) is arranged at University of Helsinki the following week.

Email: satsmt2013 ics.aalto.fi

Registration

Registration to the school was closed on the 12th of June, 2013.

Venue

The venue of school is the Otaniemi campus area of Aalto University School of Science.

• The lectures are given in the Computer Science Building (number 30 in the map).
• The organizing unit is Department of Information and Computer Science.
• Google map of points of interest for SAT 2013 conference attendants
• The School is also promoted at Facebook.

Invited Lecturers

• Olaf Beyersdorff, University of Leeds, United Kingdom
• Alessandro Cimatti, FBK-IRST, Trento, Italy
• Leonardo de Moura, Microsoft Research, Redmond, USA
• John Franco, University of Cincinnati, USA
• Enrico Giunchiglia, University of Genoa, Italy
• Marijn Heule, University of Texas at Austin, USA
• Joao Marques-Silva, University College Dublin, Ireland, and IST/INESC-ID, Lisbon, Portugal
• Albert Oliveras, Technical University of Catalonia, Barcelona, Spain
• Torsten Schaub, Potsdam University, Germany
• Stefan Szeider, Vienna University of Technology, Austria

School Program

The detailed schedule and all electronic material related with lectures and tutorials is put available here.

Important Dates

• School dates: July 3th (Wednesday) — July 5th (Friday), 2013
• Grant application deadline: extended to April 8th, 2013 (originally March 29th, 2013)
• Grant notifications: April 22nd, 2013
• Registration deadline: May 20th, 2013

Organizing Committee

• Keijo Heljanko, Aalto University
• Tomi Janhunen, Aalto University
• Matti Järvisalo, University of Helsinki

Travel and Accommodation

• The campus is reachable by bus lines 102/103 in 15—20 minutes from Kamppi bus terminal (inside the Kamppi shopping centre, E-level) in downtown Helsinki (a single regional ticket costs 4,50 EUR, journey planner).
• Further instructions how to reach Otaniemi campus.
• Hotels nearby Otaniemi campus: Radisson Blu (1.1km), Sokos Tapiola Garden (1.6km, journey planner), GLO Leppävaara Sello (5km, journey planner)
• Hotels and Hostels in Helsinki as recommended by SAT 2013 includes low-budget alternatives for students.
• Visit Espoo
• Visit Helsinki
• Helsinki region journey planner

Sponsors

• Aalto University
• EU ICT COST Action IC0901: Rich-Model Toolkit — An Infrastructure for Reliable Computer Systems
• Helsinki Doctoral Programme in Computer Science (Hecse)
• SAT Association
• Helsinki Institute of Information Technology (HIIT)
• Finnish Center of Excellence in Computational Inference Research (COIN)