SC2 Summer School

Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial


Co-organizing a hands-on tutorial in SC2 Summer School 2017 on Satisfiability Checking (SAT/SMT) and Symbolic Computation.
Period31 Jul 20174 Aug 2017
Event typeCourse
LocationSaarbrücken, Germany
Degree of RecognitionInternational


  • SAT
  • SMT
  • Symbolic Computation