SC2 Summer School

Activity: Participating in or organising an event types › Organization of a workshop, panel, session or tutorial

Description

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

Keywords

  • SAT
  • SMT
  • Symbolic Computation

Documents & Links