VenueThe Catamaran Resort, San Diego
Room nameRousseau West
Floor0
Capacity50
Room InformationNo extra information available
Program

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

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
(Tutorial) Discover[i] Part ITutorials at Rousseau West +12h
09:00
60m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University
10:30 - 12:00
(Tutorial) Discover[i] Part IITutorials at Rousseau West +12h
10:30
90m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University
13:30 - 15:00
(Tutorial) JISET Part ITutorials at Rousseau West +12h
13:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST
15:30 - 16:30
(Tutorial) JISET Part IITutorials at Rousseau West +12h
15:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST
21:00 - 22:00
(Tutorial) Discover[i] Part ITutorials at Rousseau West
21:00
60m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University
22:30 - 00:00
(Tutorial) Discover[i] Part IITutorials at Rousseau West
22:30
90m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00
(Tutorial) JISET Part ITutorials at Rousseau West
01:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST
03:30 - 04:30
(Tutorial) JISET Part IITutorials at Rousseau West
03:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change