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 of the conference series), PC
memberships not considered.
NFM 2023
NASA Formal Methods.
Houston, Texas, United States, May 16-18, 2023.
(Steering committee member of NFM).
RV 2023
23rd International Conference on Runtime Verification.
Thessaloniki, Greece, October 3-6, 2023.
(Steering committee member of RV).
AISoLA 2023
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - with focus on AI.
Special track titled: AI Assisted Programming.
Crete, Greece, October 23-28, 2023.
(Co-organizer of track together with Wolfgang Ahrendt).
Free website templates
|
|