Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Wolfgang Ahrendt

Registered user since Tue 8 Mar 2016

Name:Wolfgang Ahrendt
Affiliation:Chalmers University of Technology
Research interests:Formal Methods, Software Verification, Runtine Verification


FTfJP 2021 Committee Member in Program Committee within the FTfJP-track
VORTEX 2021 Co-chair in Organizing Committee within the VORTEX-track
Session Chair of Afternoon session 1 (part of VORTEX)
Co-chair in Program Committee within the VORTEX-track
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile