AVM'15 10th Alpine Verification Meeting

  • Doris Falb (Organiser)
  • Seidl, M. (Organiser)
  • Ana Sokolova (Organiser)

Activity: Participating in or organising an event › Organising a conference, workshop, ...

Description

The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is bringing together young researchers from the Alpine region. The meeting is open to everyone.
Period04 May 2015 → 06 May 2015
Event typeOther
LocationAustriaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links