Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020

ISSTA will host a diverse offering of workshops bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experiences. Topics for workshops may include, but are not limited to, the theory, design, implementation, optimization, testing, and analysis of models, programs, and programming languages. Accepted papers will appear in the workshop proceedings of ISSTA by ACM.


This year, we are having two ISSTA workshops, WoSCA and TAV-CSP/IoT. Please find their webpages below.

Call for Proposals


ISSTA will host a diverse offering of workshops bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experiences. Topics for workshops may include, but are not limited to, the theory, design, implementation, optimization, testing, and analysis of models, programs, and programming languages. Accepted papers will appear in the workshop proceedings of ISSTA by ACM.

To submit a proposal for an ISSTA workshop, please complete the online application form linked below. After submitting, you will receive an automated email confirmation of your submission and, within four weeks, a formal response notifying you if the workshop has been accepted for ISSTA. Proposals will be reviewed on a rolling basis until February 17, 2020.

Link to Online Application Form

Each workshop must conform to the following schedule constraints:

  1. The workshop’s website must be live within two weeks of notification of the workshop’s acceptance and include relevant information about any call for papers.
  2. The camera ready version of the accepted workshop papers must be prepared by June 15, 2020.

Please contact the workshop co-chairs, Lingming Zhang (lingming.zhang@utdallas.edu) and Oksana Tkachuk (oksana.tkachuk@gmail.com), if you have any questions.