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: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-Social
17:15 - 18:45: Social - SIGSOFT Town Hall Meeting at Horizons 10-11
fse-2018-Social17:15 - 18:45
Meeting
Thomas ZimmermannMicrosoft Research
fse-2018-Social
18:45 - 20:00: Social - Post Town Hall Reception at Horizons 1-4F
fse-2018-Social18:45 - 20:00
Social Event
Gary LeavensUniversity of Central Florida

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-Social
18:45 - 19:45: Social - Reception at Horizons 6-9F
fse-2018-Social18:45 - 19:45
Social Event
fse-2018-Social
19:45 - 22:00: Social - Banquet at Horizons 6-9F
fse-2018-Social19:45 - 22:00
Social Event

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-Social
17:15 - 17:45: Social - Closing Plenary (closing ceremony) at Horizons 6-9F
fse-2018-Social17:15 - 17:45
Social Event
Gary LeavensUniversity of Central Florida

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-WASPI
09:00 - 10:00: WASPI - WASPI workshop 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
fse-2018-WASPI09:00 - 09:15
Day opening
fse-2018-WASPI09:15 - 10:00
Talk
Miryung KimUniversity of California, Los Angeles
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Spring Lake
fse-2018-WASPI
10:30 - 12:00: WASPI - Morning Talks at Spring Lake
Chair(s): Gary LeavensUniversity of Central Florida
fse-2018-WASPI10:30 - 11:00
Talk
Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
fse-2018-WASPI11:00 - 11:30
Talk
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
fse-2018-WASPI11:30 - 12:00
Talk
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
fse-2018-Social
12:00 - 13:30: Social - Lunch at Rock Lake
fse-2018-WASPI
13:30 - 14:30: WASPI - Afternoon talks at Spring Lake
Chair(s): Robert DyerBowling Green State University
fse-2018-WASPI13:30 - 14:00
Talk
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
fse-2018-WASPI14:00 - 14:30
Talk
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
fse-2018-WASPI
14:30 - 15:00: WASPI - Future of Specification Inference Panel at Spring Lake
Chair(s): Hoan NguyenIowa State University
fse-2018-WASPI14:30 - 15:00
Other
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Spring Lake
fse-2018-WASPI
15:30 - 17:00: WASPI - Open Discussion: Benchmarks for Program Specification at Spring Lake
Chair(s): Hridesh RajanIowa State University
fse-2018-WASPI15:30 - 17:00
Other

Not scheduled yet

fse-2018-SocialNot scheduled yet
Lunch
fse-2018-SocialNot scheduled yet
Lunch
fse-2018-SocialNot scheduled yet
Lunch
fse-2018-SocialNot scheduled yet
Lunch
fse-2018-SocialNot scheduled yet
Lunch
fse-2018-SocialNot scheduled yet
Lunch
fse-2018-SocialNot scheduled yet
Lunch
fse-2018-SocialNot scheduled yet
Lunch