Home

  Research

  Papers

  Future events

  Event organization

  Invited presentations

  Program committees

  Contact me

 

Future Events I have Involvement With

Direct (as co-chair) or indirect (as steering committee member/chair), PC memberships not considered.


NFM 2017 (steering committee chair for NFM)
The 9th NASA Formal Methods Symposium.
NASA Ames Research Center, Moffett Field, CA, USA, May 16 - 18, 2017.


SPIN 2017 (program chair)
The 24th International SPIN Symposium on Model Checking of Software.
Santa Barbara, CA, USA, July 13-14, 2017.


RV 2017 (general chair)
The 17th International Conference on Runtime Verification.
Seattle, Washington, USA, September 13-16, 2017.







Free website templates