No information available yet.

Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30: Coffee Break MorningSocial at Lakes Foyer
12:00 - 13:30: LunchSocial at Lakeview Restaurant (West)
15:00 - 15:30: Coffee Break AfternoonSocial at Lakes Foyer

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30: Coffee Break MorningSocial at Lakes Foyer
12:00 - 13:30: LunchSocial at Lakeview Restaurant (West)
15:00 - 15:30: Coffee Break AfternoonSocial at Lakes Foyer

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30: Coffee Break MorningSocial at Horizons 1-4F
12:00 - 13:30: LunchSocial at Lakeview Restaurant
15:00 - 15:30: Coffee Break AfternoonSocial at Horizons 1-4F
17:15 - 18:45: SIGSOFT Town Hall MeetingSocial at Horizons 10-11
17:15 - 18:45
Meeting
Social
Thomas ZimmermannMicrosoft Research
18:45 - 20:00: Post Town Hall ReceptionSocial at Horizons 1-4F
18:45 - 20:00
Social Event
Social
Gary LeavensUniversity of Central Florida

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30: Coffee Break MorningSocial at Horizons 1-4F
12:00 - 13:30: LunchSocial at Lakeview Restaurant
15:00 - 15:30: Coffee Break AfternoonSocial at Horizons 1-4F
18:45 - 19:45: ReceptionSocial at Horizons 6-9F
18:45 - 19:45
Social Event
Social
19:45 - 22:00: BanquetSocial at Horizons 6-9F
19:45 - 22:00
Social Event
Social

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30: Coffee Break MorningSocial at Horizons 1-4F
12:00 - 13:30: LunchSocial at Lakeview Restaurant
15:00 - 15:30: Coffee Break AfternoonSocial at Horizons 1-4F
17:15 - 17:45: Closing Plenary (closing ceremony)Social at Horizons 6-9F
17:15 - 17:45
Social Event
Social
Gary LeavensUniversity of Central Florida

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: WASPI workshopWASPI at Spring Lake
Chair(s): Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University, Tien N. NguyenUniversity of Texas at Dallas, Gary LeavensUniversity of Central Florida, Robert DyerBowling Green State University
09:00 - 09:15
Day opening
WASPI
09:15 - 10:00
Talk
WASPI
Miryung KimUniversity of California, Los Angeles
10:00 - 10:30: Coffee Break MorningSocial at Spring Lake
10:30 - 12:00: Morning TalksWASPI at Spring Lake
Chair(s): Gary LeavensUniversity of Central Florida
10:30 - 11:00
Talk
WASPI
Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
11:00 - 11:30
Talk
WASPI
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
11:30 - 12:00
Talk
WASPI
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
12:00 - 13:30: LunchSocial at Rock Lake
13:30 - 14:30: Afternoon talksWASPI at Spring Lake
Chair(s): Robert DyerBowling Green State University
13:30 - 14:00
Talk
WASPI
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
14:00 - 14:30
Talk
WASPI
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
14:30 - 15:00: Future of Specification Inference PanelWASPI at Spring Lake
Chair(s): Hoan NguyenIowa State University
14:30 - 15:00
Other
WASPI
15:00 - 15:30: Coffee Break AfternoonSocial at Spring Lake
15:30 - 17:00: Open Discussion: Benchmarks for Program SpecificationWASPI at Spring Lake
Chair(s): Hridesh RajanIowa State University
15:30 - 17:00
Other
WASPI

Not scheduled yet

Not scheduled yet
Lunch
Social
Not scheduled yet
Lunch
Social
Not scheduled yet
Lunch
Social
Not scheduled yet
Lunch
Social
Not scheduled yet
Lunch
Social
Not scheduled yet
Lunch
Social
Not scheduled yet
Lunch
Social
Not scheduled yet
Lunch
Social