ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China

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
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
17:30 - 20:00: Catering - Reception for SPIN and Workshop attendees at Function Room A
issta-2019-catering17:30 - 20:00
Dinner

Tue 16 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Function Room B
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
10:35 - 11:00: Catering - Mini Break at Meeting Room 2
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 2
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Function Room B
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
18:00 - 21:30: Catering - OC Dinner at the lobby of the conference venue
issta-2019-catering18:00 - 21:30
Dinner

Wed 17 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
17:30 - 20:00: Catering - Reception with posters at Grand Ballroom
issta-2019-catering17:30 - 20:00
Dinner

Thu 18 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
issta-2019-catering17:45 - 21:00
Dinner

Fri 19 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
18:00 - 21:30: Catering - PC Dinner 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.

Link to Online Application Form