Verification Technology, Systems & Applications

В рамках обучения на 6 курсе студенты группы Computer Science Иван Монахов и Григорий Ярославцев приняли участие в летней школе Verification Technology, Systems & Applications. Школа проходила с 12-го по 16-ое октября в центре INRIA, Нанси, Франция.
Cписок курсов:
  • Daniel Le Berre
    SAT and related technologies from a practitioner perspective
  • Leonardo de Moura
    On Designing and Implementing Satisfiability Modulo Theory Solvers
  • Stephan Schulz
    Implementation of First-Order Theorem Provers
  • Benjamin Werner
    Coq proofs: the case of prime numbers
  • Patricia Bouyer
    On the verification and control of timed systems

Участники выступили с докладами по материалам школы на теоретическом семинаре кафедры.