Monthly Archives: October 2015
The next ARVI meeting will be held in Tallinn, Estonia, Thu-Fri 10-11 Dec. 2015. The details are here.
As part of the summer school preceding ICTAC’2015, which takes place in Colombia this year, a course on formal verification is offered that mainly introduces the concepts of runtime verification. Details can be found here.