Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
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: (GMT-07:00) 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: (GMT-07:00) 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: (GMT-07:00) Tijuana, Baja California change

08:00 - 08:10
Day opening
PL Mentoring Workshop (PLMW)
Barbara RyderVirginia Tech, Lori PollockUniversity of Delaware, USA
File Attached
08:10 - 08:50
Talk
PL Mentoring Workshop (PLMW)
File Attached
08:50 - 09:30
Talk
PL Mentoring Workshop (PLMW)
Yannis SmaragdakisUniversity of Athens
File Attached
09:30 - 10:10
Talk
PL Mentoring Workshop (PLMW)
Benjamin ZornMicrosoft Research
Media Attached File Attached
10:30 - 11:10
Talk
PL Mentoring Workshop (PLMW)
Y. Annie LiuStony Brook University
File Attached
11:10 - 12:10
Other
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
PL Mentoring Workshop (PLMW)
Jan VitekNortheastern University, USA
File Attached
14:10 - 14:50
Talk
PL Mentoring Workshop (PLMW)
Ana MilanovaRensselaer Polytechnic Institute
File Attached
15:20 - 16:00
Talk
PL Mentoring Workshop (PLMW)
Mayur NaikUniversity of Pennsylvania
File Attached
16:00 - 17:00
Other
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
PL Mentoring Workshop (PLMW)
File Attached
17:15 - 18:30
Social Event
PL Mentoring Workshop (PLMW)

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

15:30 - 17:00: SRC 2nd Round: PresentationsStudent Research Competition at Prince of Wales
Chair(s): Jennifer B. SartorVrije Universiteit Brussel, Shan Shan HuangLogicBlox, Inc.
15:30 - 15:45
Talk
Student Research Competition
Valerie ZhaoWellesley College
15:45 - 16:00
Talk
Student Research Competition
Daniel LehmannTU Darmstadt
16:00 - 16:15
Talk
Student Research Competition
16:15 - 16:30
Talk
Student Research Competition
Germán CeballosUppsala University
16:30 - 16:45
Talk
Student Research Competition
16:45 - 17:00
Talk
Student Research Competition
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

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

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

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