SC2 Summer School

Keijo Heljanko (Organiser), Janhunen, T. (Organiser), Junttila, T. (Organiser)

Activity: Participating in or organising an event typesOrganization 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 20174 Aug 2017
Event typeCourse
LocationSaarbrücken, Germany
Degree of RecognitionInternational

Keywords

  • SAT
  • SMT
  • Symbolic Computation