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

▶
third international sat smt summer school 2013
SMART_READER_LITE
LIVE PREVIEW

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

Sep 07, 2022 283 likes •440 views

Third International SAT/SMT Summer School 2013 Keijo Heljanko, Tomi Janhunen, and Matti Jrvisalo Venue: Aalto University, Otaniemi Campus Espoo, Finland, July 35, 2013 http://satsmt2013.ics.aalto.fi/ Welcoming Words Dr. Ilkka Niemel

slide-1
SLIDE 1

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/

slide-2
SLIDE 2

SAT/SMT School 2013 2/14

Welcoming Words

  • Dr. Ilkka Niemelä

Deputy President, Aalto University

slide-3
SLIDE 3

SAT/SMT School 2013 3/14

Otaniemi Campus

slide-4
SLIDE 4

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

slide-5
SLIDE 5

SAT/SMT School 2013 5/14

Map of Otaniemi Campus Area

slide-6
SLIDE 6

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

slide-7
SLIDE 7

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

slide-8
SLIDE 8

SAT/SMT School 2013 8/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.

slide-9
SLIDE 9

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

slide-10
SLIDE 10

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

slide-11
SLIDE 11

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

slide-12
SLIDE 12

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

slide-13
SLIDE 13

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

slide-14
SLIDE 14

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