[Hol-info] Extendend Deadline Software Verification and Testing at ACM/SIGAPP SAC2020

Program Committee Chairs === Matthias Güdemann, IOHK, Hong Kong Nikolai Kosmatov, CEA List, France SAC-SVT Program Committee = - Wolfgang Ahrendt, Chalmers University, Sweden - Sébastien Bardin, CEA, France - Ezio Bartocci, TU Vienna, Austria

[Hol-info] Second call for papers Software Verfication and Testing (SVT) at SAC 2020

Program Committee Chairs === Matthias Güdemann, IOHK, Hong Kong Nikolai Kosmatov, CEA List, France SAC-SVT Program Committee = - Wolfgang Ahrendt, Chalmers University, Sweden - Sébastien Bardin, CEA, France - Ezio Bartocci, TU Vienna, Austria

[Hol-info] Software Verification and Testing Track (SVT) @ ACM SAC 2019 (deadline extension)

and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2019/. Program Committee Chairs Leonardo Mariani, University of Milano Bicocca Matthias Güdemann, Diffblue

[Hol-info] Call for Papers Software Verification and Testing Track @ ACM SAC 2019

and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2019/. Program Committee Chairs Leonardo Mariani, University of Milano Bicocca Matthias Güdemann, Diffblue

[Hol-info] 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019

34th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Limassol, Cyprus April 8 – 12, 2019 https://www.sigapp.org/sac/sac2019/