Monthly Archives: October 2015

Next meeting: 10-11 Dec. 2015, Tallinn

The next ARVI meeting will be held in Tallinn, Estonia, Thu-Fri 10-11 Dec. 2015. The details are here.

Posted in Events, Meetings | Comments Off on Next meeting: 10-11 Dec. 2015, Tallinn

Course on Formal Verification in Colombia

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.

Posted in Events | Comments Off on Course on Formal Verification in Colombia