SC2 Summer School

Keijo Heljanko (Järjestäjä), Janhunen, T. (Järjestäjä), Junttila, T. (Järjestäjä)

Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

Description

Co-organizing a hands-on tutorial in SC2 Summer School 2017 on Satisfiability Checking (SAT/SMT) and Symbolic Computation.
Aikajakso31 heinäkuuta 20174 elokuuta 2017
Tapahtuman tyyppiCourse
SijaintiSaarbrücken, Saksa
Tunnustuksen arvoInternational