SC2 Summer School

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

Aktiviteetti: Työpajan, paneelin, session, tutoriaalin tai tapahtuman 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äk. 20174 elok. 2017
Tapahtuman tyyppiCourse
SijaintiSaarbrücken, SaksaNäytä kartalla
Tunnustuksen arvoInternational