ICPC 2019
Sat 25 - Sun 26 May 2019
Montreal, QC, Canada
co-located with
ICSE 2019
Toggle navigation
Attending
Venue: Fairmont The Queen Elizabeth Hotel
ICSE 2019
Accommodation
Registration
Registration Desk Hours
Resume Database
Visas and Travel Authorizations
Travel Support
Childcare
Montréal
Code of Conduct
Diversity and Inclusion Plan
Logo
Program
Complete Program
Your Program
Sat 25 May
Sun 26 May
Tracks
ICPC 2019
ICPC 2019 Presentations
ICPC 2019 Technical Research
ICPC 2019 Tools Demo
ICPC 2019 Replications
ICPC 2019 Negative Results
Organization
ICPC 2019
Organization Committee
Steering Committee
ICPC 2019 Technical Research
Program Committee
ICPC 2019 Tools Demo
Tools Track Chairs
ICPC 2019 Replications
Program Committee
ICPC 2019 Negative Results
Program Committee
Contributors
People Index
Search
Series
Series
ICPC 2021
ICPC 2020
ICPC 2019
ICPC 2018
Sign in
Sign up
ICSE 2019
(
series
) /
ICPC 2019
(
series
) /
Fairmont The Queen Elizabeth Hotel
/
Room information: Foyer
Venue
Fairmont The Queen Elizabeth Hotel
Room name
Foyer
Floor
0
Room number
35
Additional information
There is no additional information of this room available.
Display in different time zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
Apply
Program
Detailed Table
Session Timeline
Detailed Timeline
×
You're viewing the program in a time zone which is different from your device's time zone -
change time zone
Sat 25 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
icpc-2019-Presentations
10:30 - 11:00:
ICPC 2019 Presentations
- Break at
Foyer
mobilesoft-2019-papers
10:30 - 11:00:
MOBILESoft 2019
- Coffee break at
Foyer
icgse-2019-Presentations
10:30 - 11:00:
ICGSE 2019 Main
- [Day 1] - First coffee break at
Foyer
icgse-2019-Presentations
12:30 - 14:00:
ICGSE 2019 Main
- [Day 1] - Lunch break at
Foyer
icpc-2019-Presentations
12:40 - 14:00:
ICPC 2019 Presentations
- Lunch at
Foyer
mobilesoft-2019-papers
15:30 - 16:00:
MOBILESoft 2019
- Break at
Foyer
icpc-2019-Presentations
15:30 - 16:00:
ICPC 2019 Presentations
- Break at
Foyer
icgse-2019-Presentations
15:30 - 16:00:
ICGSE 2019 Main
- [Day 1] - Second coffee break at
Foyer
icgse-2019-Presentations
17:45 - 18:00:
ICGSE 2019 Main
- [Day 1] - Break at
Foyer
Sun 26 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
TechDebt-2019
10:30 - 11:00:
TechDebt 2019
- Break at
Foyer
msr-2019-Plenary
10:30 - 11:00:
MSR 2019 Plenary
- Break at
Foyer
mobilesoft-2019-papers
10:30 - 11:00:
MOBILESoft 2019
- Coffee break at
Foyer
icgse-2019-Presentations
10:30 - 11:00:
ICGSE 2019 Main
- [Day 2] - First coffee break at
Foyer
icpc-2019-Presentations
10:35 - 11:00:
ICPC 2019 Presentations
- Break at
Foyer
msr-2019-Plenary
11:45 - 11:55:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
11:45 - 11:55:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
12:30 - 13:50:
MSR 2019 Plenary
- Lunch at
Foyer
mobilesoft-2019-papers
12:30 - 14:00:
MOBILESoft 2019
- Lunch at
Foyer
icpc-2019-Presentations
12:30 - 14:00:
ICPC 2019 Presentations
- Lunch at
Foyer
TechDebt-2019
12:30 - 14:00:
TechDebt 2019
- Lunch and Poster Review at
Foyer
icgse-2019-Presentations
12:30 - 14:00:
ICGSE 2019 Main
- [Day 2] - Lunch break at
Foyer
icgse-2019-Presentations
12:30 - 14:00
Meeting
Steering Board meeting at Dièse
msr-2019-Plenary
14:35 - 14:45:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
14:35 - 14:45:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
15:30 - 16:00:
MSR 2019 Plenary
- Break at
Foyer
icpc-2019-Presentations
15:30 - 16:00:
ICPC 2019 Presentations
- Break at
Foyer
msr-2019-Plenary
15:30 - 16:00:
MSR 2019 Plenary
- Break at
Foyer
TechDebt-2019
15:30 - 16:00:
TechDebt 2019
- Break at
Foyer
icgse-2019-Presentations
15:30 - 16:00:
ICGSE 2019 Main
- [Day 2] - Second coffee break at
Foyer
mobilesoft-2019-papers
15:45 - 16:00:
MOBILESoft 2019
- Break at
Foyer
Mon 27 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
msr-2019-Plenary
09:30 - 09:40:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
09:30 - 09:40:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
10:30 - 11:00:
MSR 2019 Plenary
- Break at
Foyer
TechDebt-2019
10:30 - 11:00:
TechDebt 2019
- Break at
Foyer
msr-2019-Plenary
10:30 - 11:00:
MSR 2019 Plenary
- Break at
Foyer
Formalise-2019-papers
10:30 - 11:00:
FormaliSE 2019
- Coffee break at
Foyer
Formalise-2019-papers
10:30 - 11:00
Coffee break
Coffee break
msr-2019-Plenary
11:45 - 11:55:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
11:45 - 11:55:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
12:30 - 13:50:
MSR 2019 Plenary
- Lunch at
Foyer
TechDebt-2019
12:30 - 14:00:
TechDebt 2019
- Lunch at
Foyer
Formalise-2019-papers
12:30 - 14:00:
FormaliSE 2019
- Lunch at
Foyer
Formalise-2019-papers
12:30 - 14:00
Lunch
Lunch
Formalise-2019-papers
14:00 - 15:30:
FormaliSE 2019
- Session 3 at
Foyer
Chair(s):
Eunsuk Kang
Carnegie Mellon University
Formalise-2019-papers
14:00 - 14:25
Full-paper
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
Hoang-Dung Tran
Vanderbilt University
,
Patrick Musau
Vanderbilt University
,
Diego Manzanas Lopez
Vanderbilt University
,
Xiao Dong Yang
Vanderbilt University
,
Luan Nguyen
University of Pennsylvania
,
Weiming Xiang
Vanderbilt University
,
Taylor T Johnson
Vanderbilt University
Formalise-2019-papers
14:25 - 14:40
Short-paper
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata
Maxime Cordy
SnT, University of Luxembourg
,
Axel Legay
,
Sami Lazreg
Visteon Electronics and Universite Cote d Azur
,
Philippe Collet
University of Nice
Formalise-2019-papers
14:40 - 15:05
Full-paper
Verifying Channel Communication Correctness for a Multi-Core Cooperatively Scheduled Runtime Using CSP
Jan Pedersen
University of Nevada Las Vegas
,
Kevin Chalmers
Edinburgh Napier University
Formalise-2019-papers
15:05 - 15:30
Full-paper
A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
Cláudio Belo Lourenço
LRI, Université Paris-Sud & INRIA Saclay
,
Maria João Frade
HASLab/INESC TEC & Universidade do Minho, Portugal
,
Jorge Sousa Pinto
HASLab/INESC TEC & Universidade do Minho, Portugal
msr-2019-Plenary
14:35 - 14:45:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
14:35 - 14:45:
MSR 2019 Plenary
- Mini-break at
Foyer
msr-2019-Plenary
15:30 - 16:00:
MSR 2019 Plenary
- Break at
Foyer
msr-2019-Plenary
15:30 - 16:00:
MSR 2019 Plenary
- Break at
Foyer
TechDebt-2019
15:30 - 16:00:
TechDebt 2019
- Break / Informal Demos Continue at
Foyer
Formalise-2019-papers
15:30 - 16:00:
FormaliSE 2019
- Coffee break at
Foyer
Formalise-2019-papers
15:30 - 16:00
Coffee break
Tea break
Sat 25 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Foyer
ICGSE Main
[Day 1] - First coffee break
ICPC Presentations
Break
10:30 - 11:00
MOBILESoft
Coffee break
10:30 - 11:00
ICGSE Main
[Day 1] - Lunch break
ICPC Presentations
Lunch
12:40 - 14:00
MOBILESoft
Break
ICGSE Main
[Day 1] - Second coffee break
15:30 - 16:00
ICPC Presentations
Break
15:30 - 16:00
ICGSE Main
[Day 1] - Break
Sun 26 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Foyer
MOBILESoft
Coffee break
TechDebt
Break
10:30 - 11:00
MSR Plenary
Break
10:30 - 11:00
ICGSE Main
[Day 2] - First coffee break
10:30 - 11:00
ICPC Presentations
Break
10:35 - 11:00
MSR Plenary
Mini-break
MSR Plenary
Mini-break
11:45 - 11:55
ICGSE Main
[Day 2] - Lunch break
MSR Plenary
Lunch
12:30 - 13:50
MOBILESoft
Lunch
12:30 - 14:00
TechDebt
Lunch and Poster Review
12:30 - 14:00
ICPC Presentations
Lunch
12:30 - 14:00
MSR Plenary
Mini-break
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Break
ICGSE Main
[Day 2] - Second coffee break
15:30 - 16:00
ICPC Presentations
Break
15:30 - 16:00
MSR Plenary
Break
15:30 - 16:00
TechDebt
Break
15:30 - 16:00
MOBILESoft
Break
15:45 - 16:00
Mon 27 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Foyer
MSR Plenary
Mini-break
MSR Plenary
Mini-break
09:30 - 09:40
MSR Plenary
Break
TechDebt
Break
10:30 - 11:00
FormaliSE
Coffee break
10:30 - 11:00
MSR Plenary
Break
10:30 - 11:00
MSR Plenary
Mini-break
MSR Plenary
Mini-break
11:45 - 11:55
MSR Plenary
Lunch
TechDebt
Lunch
12:30 - 14:00
FormaliSE
Lunch
12:30 - 14:00
FormaliSE
Session 3
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Break
FormaliSE
Coffee break
15:30 - 16:00
MSR Plenary
Break
15:30 - 16:00
TechDebt
Break / Informal Demos Continue
15:30 - 16:00
Sun 26 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Foyer
ICGSE Main
Steering Board meeting at Dièse
12:30 - 14:00
Mon 27 May
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Foyer
FormaliSE
Coffee break
10:30 - 11:00
FormaliSE
Lunch
12:30 - 14:00
FormaliSE
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural ...
14:00 - 14:25
FormaliSE
Towards Sampling and Simulation-Based Analysis of Featured Weighted Aut ...
14:25 - 14:40
FormaliSE
Verifying Channel Communication Correctness for a Multi-Core Cooperativ ...
14:40 - 15:05
FormaliSE
A Generalized Program Verification Workflow Based on Loop Elimination a ...
15:05 - 15:30
FormaliSE
Tea break
15:30 - 16:00
x
Tue 22 Sep 04:46