SC2 Summer School

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

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

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, GermanyShow on map
Degree of RecognitionInternational

Keywords

  • SAT
  • SMT
  • Symbolic Computation

Documents & Links