Third International SAT/SMT Summer School 2013 Keijo Heljanko, Tomi - PowerPoint PPT Presentation

Third International SAT/SMT Summer School 2013 Keijo Heljanko, Tomi Janhunen, and Matti Järvisalo Venue: Aalto University, Otaniemi Campus Espoo, Finland, July 3–5, 2013 http://satsmt2013.ics.aalto.fi/

Welcoming Words Dr. Ilkka Niemelä Deputy President, Aalto University SAT/SMT School 2013 2/14

Otaniemi Campus SAT/SMT School 2013 3/14

Venues ◮ All lectures are held in lecture hall T1 (CS Building, Konemiehentie 2). ◮ Two tutorials are arranged at our computer classrooms (Maari Building, Sähkömiehentie 3). — The required passwords are attached to your badge. — Aalto’s terms of use and policies must be respected. ◮ The school dinner will take place in Käpyaula (Dipoli Conference Center, Otakaari 24). SAT/SMT School 2013 4/14

Map of Otaniemi Campus Area SAT/SMT School 2013 5/14

Who: 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 SAT/SMT School 2013 6/14

Who: Students ◮ Roughly 80 registered students ◮ From 20 countries mainly from Europe ◮ Besides Finland countries with the most participants: ◮ Germany ◮ Austria ◮ Spain ◮ Italy ◮ Sweden SAT/SMT School 2013 7/14

Who: Organizers ◮ Organizing Committee — Keijo Heljanko, Aalto University — Tomi Janhunen, Aalto University — Matti Järvisalo, University of Helsinki ◮ Team for Local Organization Evgenia Antonova, Jori Bomanson, Tommi Junttila, Tuomas Kuismin, Kari Kähkönen, Guohua Liu, Markku Riekkinen, Jussi Rintanen, Olli Saarikivi, and Siert Wieringa Plus a number of officials from Aalto University and Hecse. SAT/SMT School 2013 8/14

Program: Wednesday, July 3rd Day 1: Boolean Satisfiability 08:00-09:15 Registration 08:45-09:15 Morning coffee 09:00 I. Niemelä: Welcome 09:15-11:00 J. Franco: Foundations and Theoretical Aspects of SAT 11:00-12:00 Lunch 12:00-13:45 J. Marques-Silva: CDCL SAT Solvers and SAT-Based Problem Solving 13:45-14:15 Coffee break 14:15-15:45 T. Janhunen and J. Rintanen : Tutorial 1 on SAT 15:45-16:15 Coffee break 16:15-18:00 E. Giunchiglia: SAT-Based Planning SAT/SMT School 2013 9/14

Program: Thursday, July 4th Day 2: SAT Modulo Theories 08:00-09:15 Registration 08:45-09:15 Morning coffee 09:15-11:00 A. Oliveras: SMT Theory and DPLL(T) 11:00-12:00 Lunch 12:00-13:45 A. Cimatti: Applications of SMT Solvers 13:45-14:15 Coffee break 14:15-15:45 K. Heljanko and T. Junttila : Tutorial 2 on SMT 15:45-16:15 Coffee break 16:15-18:00 L. de Moura: Internals of Modern SMT Solvers 18:15-20:00 School Dinner SAT/SMT School 2013 10/14

Program: Friday, July 5th Day 3: Special Topics 08:00-09:15 Registration 08:45-09:15 Morning coffee 09:15-11:00 M. Heule: Preprocessing 11:00-12:00 Lunch 12:00-13:45 S. Szeider: Parametrized Complexity 13:45-14:15 Coffee break 14:15-15:45 O. Beyersdorff: Proof Complexity 16:00-16:15 Coffee break 16:15-18:00 T. Schaub: Modeling and Solving in Answer Set Programming SAT/SMT School 2013 11/14

Practical Matters: Meals ◮ Three coffee breaks every day 8:45, 13:45, and 15:45 ◮ Lunch breaks 11:00–12:00 punctually — Sodexo restaurant at CS building recommended — Lunches are not included (price roughly 6 EUR) — Meeting room reserved for invited speakers ◮ School dinner at Dipoli Conference Center (“Käpyovi”) — Thursday evening at 18:15–20:00 hours — Buffet dinner including Finnish specialties — Joint walk to Dipoli after the last lecture SAT/SMT School 2013 12/14

Practical Matters: Attendance ◮ Please get enrolled each morning at the registration desk (contact local organizers in case it is closed) ◮ Due to EU regulations certain people must sign attendance sheets for every day they receive support/reimbursement: — Lecturers supported by COST Action Rich-Model Toolkit — Student grant holders ◮ School certificates are distributed at the end of the school — Please provide your badge and the feedback form in return SAT/SMT School 2013 13/14

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) SAT/SMT School 2013 14/14