SAC-SVT 2022: Software Verification and Testing Track at SAC 2022


The ACM Symposium on Applied Computing (SAC) 2022 has gathered scientists from different areas of computing over the last more than thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing.

Read more



THE 31ST IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS IFIP-ICTSS 2019 will take place in Paris, France on October 15-17, 2019. Please, find further information on ICTSS and its policies on the website of ICTSS Conference Series. The call for papers is available here and the deadline for submission of abstract is Sunday, May …continue reading


MTV2 – 7 décembre 2018

Méthodes de Test pour la Vérification  et la Validation (MTV2) La prochaine réunion du groupe MTV2 du GDR GPL aura lieu le 7 décembre 2018 à l’ENSIIE à Evry, et sera associée à la réunion du groupe LTP (Langages, Types, Preuves) qui aura lieu la veille (6 décembre) au même endroit.…continue reading


USE 2018 @ ICST 2018

  USE 2018 @ ICST 2018 The Second International Workshop on Usages of Symbolic Execution  (USE 2018) April 9, 2018,Västerås, Sweden Contact :   USE 2018 is colocated with the 11th IEEE Conference on Software Testing, Verification and  Validation (ICST 2018) April 9 -13, 2018 Aros Congress Center Workshop date…continue reading