Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
SPLASH 2017 (series) / Onward! 2017 (series) / Hyatt Regency Vancouver /

Room information: Prince of Wales

VenueHyatt Regency Vancouver
Room namePrince of Wales
Floor3
Capacity100
Additional informationThere is no additional information of this room available.

Display in different time zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.
Apply
Close
Program

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

Sun 22 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

px-17-2
08:30 - 10:00: PX/17.2 - Session 1 at Prince of Wales
px-17-208:30 - 10:00
Talk
Steven TanimotoUniversity of Washington, Seattle
Link to publication
px-17-2
10:30 - 12:00: PX/17.2 - Session 2 at Prince of Wales
px-17-210:30 - 11:15
Talk
Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, Marcel TaeumelHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam
Pre-print
px-17-211:15 - 12:00
Talk
Vadim ZaytsevRaincode Labs, Belgium
Pre-print
px-17-2
13:30 - 15:00: PX/17.2 - Session 3 at Prince of Wales
px-17-213:30 - 14:15
Talk
Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute
Pre-print
px-17-214:15 - 15:00
Talk
Patrick ReinHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI
Pre-print
px-17-2
15:30 - 17:00: PX/17.2 - Session 4 at Prince of Wales
px-17-215:30 - 16:15
Talk
Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano
Pre-print
px-17-216:15 - 17:00
Talk
Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
Pre-print

Mon 23 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

agere-2017
08:30 - 10:00: AGERE 2017 - Introduction + Keynote at Prince of Wales
agere-201708:45 - 09:00
Talk
agere-201709:00 - 10:00
Talk
Philip A. BernsteinMicrosoft Research
File Attached
agere-2017
10:30 - 12:00: AGERE 2017 - Session 1: Verification and Language Models at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
agere-201710:30 - 11:00
Talk
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
agere-201711:00 - 11:30
Talk
Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou
agere-201711:30 - 12:00
Talk
Mehdi BagherzadehOakland University, Hridesh RajanIowa State University
File Attached
agere-2017
13:30 - 15:00: AGERE 2017 - Session 2: Runtime Environments and Debugging at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
agere-201713:30 - 14:00
Talk
Sebastian WölkeNone, Raphael Hiesgen, Dominik Charousset, Thomas C. SchmidtHAW Hamburg
File Attached
agere-201714:00 - 14:30
Talk
Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium
agere-201714:30 - 15:00
Talk
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
agere-2017
15:30 - 17:00: AGERE 2017 - Keynote + Discussion/Panel at Prince of Wales
agere-201715:30 - 16:30
Talk
Gul Agha
agere-201716:30 - 17:00
Talk

Tue 24 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

splash-2017-PLMW
08:30 - 10:00: PL Mentoring Workshop (PLMW) - Session 1 at Prince of Wales
splash-2017-PLMW08:00 - 08:10
Day opening
Barbara RyderVirginia Tech, Lori PollockUniversity of Delaware, USA
File Attached
splash-2017-PLMW08:10 - 08:50
Talk
Kathryn S McKinleyGoogle
File Attached
splash-2017-PLMW08:50 - 09:30
Talk
Yannis SmaragdakisUniversity of Athens
File Attached
splash-2017-PLMW09:30 - 10:10
Talk
Benjamin ZornMicrosoft Research
Media Attached File Attached
splash-2017-PLMW
10:30 - 12:00: PL Mentoring Workshop (PLMW) - Session 2 at Prince of Wales
splash-2017-PLMW10:30 - 11:10
Talk
Y. Annie LiuStony Brook University
File Attached
splash-2017-PLMW11:10 - 12:10
Other
Michael HiltonCarnegie Mellon University, USA, Kathryn StoleeNorth Carolina State University, David DaraisUniversity of Maryland, USA, Annie T.T. YingEquitySim
splash-2017-PLMW
13:30 - 15:00: PL Mentoring Workshop (PLMW) - Session 3 at Prince of Wales
splash-2017-PLMW13:30 - 14:10
Talk
Jan VitekNortheastern University, USA
File Attached
splash-2017-PLMW14:10 - 14:50
Talk
Ana MilanovaRensselaer Polytechnic Institute
File Attached
splash-2017-PLMW
15:30 - 17:00: PL Mentoring Workshop (PLMW) - Session 4 at Prince of Wales
splash-2017-PLMW15:20 - 16:00
Talk
Mayur NaikUniversity of Pennsylvania
File Attached
splash-2017-PLMW16:00 - 17:00
Other
Kathryn S McKinleyGoogle, Julia RubinUniversity of British Columbia, Benjamin ZornMicrosoft Research, Mayur NaikUniversity of Pennsylvania
splash-2017-PLMW17:00 - 17:15
Day closing		 File Attached
splash-2017-PLMW17:15 - 18:30
Social Event

Thu 26 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

splash-2017-Student-Research-Competition
15:30 - 17:00: Student Research Competition - SRC 2nd Round: Presentations at Prince of Wales
Chair(s): Jennifer B. SartorVrije Universiteit Brussel, Shan Shan HuangLogicBlox, Inc.
splash-2017-Student-Research-Competition15:30 - 15:45
Talk
Valerie ZhaoWellesley College
splash-2017-Student-Research-Competition15:45 - 16:00
Talk
Daniel LehmannTU Darmstadt
splash-2017-Student-Research-Competition16:00 - 16:15
Talk
Piotr Padlewski
splash-2017-Student-Research-Competition16:15 - 16:30
Talk
Germán CeballosUppsala University
splash-2017-Student-Research-Competition16:30 - 16:45
Talk
Lukas Lazarek
splash-2017-Student-Research-Competition16:45 - 17:00
Talk
David LeopoldsederJohannes Kepler University Linz

Sun 22 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Prince of Wales

PX/17.2

Session 1

PX/17.2

Session 2

PX/17.2

Session 3

PX/17.2

Session 4

Mon 23 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Prince of Wales

AGERE

Introduction + Keynote

AGERE

Session 1: Verification and Language Models

AGERE

Session 2: Runtime Environments and Debugging

AGERE

Keynote + Discussion/Panel

Tue 24 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Prince of Wales

SPLASH PL Mentoring Workshop (PLMW)

Session 1

SPLASH PL Mentoring Workshop (PLMW)

Session 2

SPLASH PL Mentoring Workshop (PLMW)

Session 3

SPLASH PL Mentoring Workshop (PLMW)

Session 4

Thu 26 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room15:003016:003017:0030
Prince of Wales

SPLASH Student Research Competition

SRC 2nd Round: Presentations

Sun 22 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Prince of Wales
08:30 - 10:00
10:30 - 11:15
11:15 - 12:00
13:30 - 14:15
14:15 - 15:00
15:30 - 16:15
16:15 - 17:00

Mon 23 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Prince of Wales
08:45 - 09:00
09:00 - 10:00
10:30 - 11:00
11:00 - 11:30
11:30 - 12:00
13:30 - 14:00
14:00 - 14:30
14:30 - 15:00
15:30 - 16:30
16:30 - 17:00

Tue 24 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Prince of Wales
08:00 - 08:10
08:10 - 08:50
08:50 - 09:30
09:30 - 10:10
10:30 - 11:10
11:10 - 12:10
13:30 - 14:10
14:10 - 14:50
15:20 - 16:00
16:00 - 17:00
17:00 - 17:15
17:15 - 18:30

Thu 26 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room15:0015304516:0015304517:00153045
Prince of Wales
15:30 - 15:45
15:45 - 16:00
16:00 - 16:15
16:15 - 16:30
16:30 - 16:45
16:45 - 17:00