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 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in 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 - 11:00 Break | 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: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
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 - 16:00 Break | 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 Dinner | Reception for SPIN and Workshop attendees Catering |
Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in 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 - 11:00 Break | 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: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | 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 - 16:00 Break | 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: OC DinnerCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at the lobby of the conference venue | |||
18:00 - 21:30 Dinner | OC Dinner Catering |
Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in 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 - 11:00 Break | Mini Break Catering |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | 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 - 16:00 Break | Mini Break Catering |
17:30 - 20:00 Dinner | Reception with posters Catering |
Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Times are displayed in 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 - 11:00 Break | Mini Break Catering |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | 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 - 16:00 Break | Mini Break Catering |
17:45 - 21:00 Dinner | Banquet Catering |
Fri 19 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Times are displayed in 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 - 11:00 Break | Mini Break Catering |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | 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 - 16:00 Break | Mini Break Catering |
18:00 - 21:30: PC DinnerCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at the lobby of the conference venue | |||
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.