ISSTA 2019 (series) /
WorkshopsISSTA 2019
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. We encourage the proposal of workshops that are of interest to both the ISSTA and SPIN communities. Accepted papers will appear in the workshop proceedings of ISSTA by ACM.
Please contact the workshop co-chairs, Alex Groce ( agroce@gmail.com) and Moonzoo Kim(moonzoo.kim@gmail.com), if you have any questions.
Dates
Tracks
Mon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering |
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
12:30 - 14:00 | |||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
17:30 - 20:00 | |||
17:30 2h30mDinner | Reception for SPIN and Workshop attendees Catering |
Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering |
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
10:35 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
18:00 - 21:30 | |||
18:00 3h30mDinner | OC Dinner Catering |
Wed 17 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
17:30 - 20:00 | |||
17:30 2h30mDinner | Reception with posters Catering |
Thu 18 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
17:45 - 21:00 | |||
17:45 3h15mDinner | Banquet Catering |
Fri 19 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
18:00 - 21:30 | |||
Call for Proposals
To submit a proposal for an ISSTA workshop, please complete the online application form linked to 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 15, 2019.
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, 2019.