Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room namePrince of Wales
Floor3
Capacity100
Additional informationThere is no additional information of this room available.
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: Tijuana, Baja California change

10:30 - 12:00: Session 2PX/17.2 at Prince of Wales
10:30 - 11:15
Talk
PX/17.2
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
11:15 - 12:00
Talk
PX/17.2
Vadim ZaytsevRaincode Labs, Belgium
Pre-print
13:30 - 15:00: Session 3PX/17.2 at Prince of Wales
13:30 - 14:15
Talk
PX/17.2
Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute
Pre-print
14:15 - 15:00
Talk
PX/17.2
Patrick ReinHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI
Pre-print
15:30 - 17:00: Session 4PX/17.2 at Prince of Wales
15:30 - 16:15
Talk
PX/17.2
Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano
Pre-print
16:15 - 17:00
Talk
PX/17.2
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: Tijuana, Baja California change

08:30 - 10:00: Introduction + KeynoteAGERE at Prince of Wales
08:45 - 09:00
Talk
AGERE
09:00 - 10:00
Talk
AGERE
Philip A. BernsteinMicrosoft Research
File Attached
10:30 - 12:00: Session 1: Verification and Language ModelsAGERE at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
10:30 - 11:00
Talk
AGERE
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
11:00 - 11:30
Talk
AGERE
Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou
11:30 - 12:00
Talk
AGERE
Mehdi BagherzadehOakland University, Hridesh RajanIowa State University
File Attached
13:30 - 15:00: Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
13:30 - 14:00
Talk
AGERE
File Attached
14:00 - 14:30
Talk
AGERE
Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium
14:30 - 15:00
Talk
AGERE
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
15:30 - 17:00: Keynote + Discussion/PanelAGERE at Prince of Wales
15:30 - 16:30
Talk
AGERE
16:30 - 17:00
Talk
AGERE

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change