Future Events I have Involvement With
Direct (as co-chair) or indirect (as steering committee member/chair), PC
memberships not considered.
(steering committee chair for NFM)
The 9th NASA Formal Methods Symposium.
NASA Ames Research Center, Moffett Field, CA, USA, May 16 - 18, 2017.
The 24th International SPIN Symposium on Model Checking of Software.
Santa Barbara, CA, USA, July 13-14, 2017.
The 17th International Conference on Runtime Verification.
Seattle, Washington, USA, September 13-16, 2017.
Free website templates