Activities per year
Activities
- 3 results
Search results
-
Doctoral Symposium of Formal Methods 2015, University of Oslo
Bernhard Aichernig (Organiser)
22 Jun 2015Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
10th International Conference on Tests & Proofs
Bernhard Aichernig (Organiser)
24 Jul 2015 → 7 Jul 2016Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
FMCO 2010: Software Technologies Concertation on Formal Methods for Components and Objects
Elisabeth Jöbstl (Organiser), Harald Brandl (Organiser) & Bernhard Aichernig (Organiser)
29 Nov 2010 → 1 Dec 2010Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)