Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

SPLASH-I Logo

SPLASH-I is a series of research talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the OOPSLA main track. Talks are open to all attendees.

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

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 1 (SPLASH-E)SPLASH-I at Matterhorn 3
Chair(s): Matthias HauswirthUniversity of Lugano
10:30 - 11:20
Talk
SPLASH-I
Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached File Attached
11:20 - 12:10
Talk
SPLASH-I
Brian HarveyUniversity of California, Berkeley
Media Attached
13:30 - 15:10: Session 2 (AGERE)SPLASH-I at Matterhorn 3
Chair(s): Alessandro RicciUniversity of Bologna, Italy
13:30 - 15:10
Talk
SPLASH-I
Amal El Fallah-SegrouchniLIP6, John-Jules MeyerUniversiteit Utrecht, Mehdi Dastani, Rafael BordiniPUCRS, Koen HindriksDelft University of Technology, Netherlands, Rem CollierUniversity College Dublin, Alessandro RicciUniversity of Bologna, Italy
Media Attached
15:40 - 17:20: Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
15:40 - 17:20
Talk
SPLASH-I
I: Mark MillerGoogle Inc., I: Bill TulloheRights.org
Media Attached

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 4 (SPLASH-E)SPLASH-I at Matterhorn 3
Chair(s): Matthias HauswirthUniversity of Lugano
10:30 - 12:10
Talk
SPLASH-I
Emmanuel SchanzerBrown University
Media Attached
13:30 - 15:10: Session 5SPLASH-I at Matterhorn 3
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
13:30 - 14:20
Talk
SPLASH-I
Media Attached
14:20 - 15:10
Talk
SPLASH-I
Emma ToschUniversity of Massachusetts, Amherst
Media Attached
15:40 - 17:20: Session 6SPLASH-I at Matterhorn 3
Chair(s): Tiark RompfPurdue University, USA
15:40 - 16:30
Talk
SPLASH-I
Edwin BradyUniversity of St Andrews
16:30 - 17:20
Talk
SPLASH-I
Andy ZaidmanTU Delft
Media Attached

Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 7 (Modeling)SPLASH-I at Matterhorn 3
Chair(s): Laurence TrattKing's College London
10:30 - 11:20
Talk
SPLASH-I
Markus Völteritemis, Germany
Media Attached
11:20 - 12:10
Talk
SPLASH-I
Jos WarmerIndependent
13:30 - 15:10: Session 8SPLASH-I at Matterhorn 3
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark
13:30 - 14:20
Talk
SPLASH-I
Boaz RosenanUniversity of Haifa, David H. LorenzOpen University and Technion IIT
14:20 - 15:10
Talk
SPLASH-I
Ralf LämmelUniversity of Koblenz-Landau, Germany
Media Attached
15:40 - 17:20: Session 9SPLASH-I at Matterhorn 3
Chair(s): Ross TateCornell University
15:40 - 16:30
Talk
SPLASH-I
Jürgen CitoUniversity of Zurich
Media Attached
16:30 - 17:20
Talk
SPLASH-I
Robert GrimmGoldman Sachs

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 10SPLASH-I at Matterhorn 3
Chair(s): Tijs van der StormCWI & University of Groningen
10:30 - 11:20
Talk
SPLASH-I
Media Attached
11:20 - 12:10
Talk
SPLASH-I
Crista LopesUniversity of California, Irvine
Media Attached
13:30 - 15:10: Session 11SPLASH-I at Matterhorn 3
Chair(s): Philipp HallerKTH Royal Institute of Technology
13:30 - 14:20
Talk
SPLASH-I
Derek JacobyQvirt, Yvonne CoadyUniversity of Victoria
Media Attached
14:20 - 15:10
Talk
SPLASH-I
Chris SeatonOracle Labs, Adam WelcOracle Labs, USA
Media Attached
15:40 - 17:20: Session 12SPLASH-I at Matterhorn 3
Chair(s): Coen De RooverVrije Universiteit Brussel, Belgium
15:40 - 16:30
Talk
SPLASH-I
Heather MillerEcole Polytechnique Federale de Lausanne
16:30 - 17:20
Talk
SPLASH-I
Sylvan ClebschImperial College London
Media Attached

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 13 (Languages)SPLASH-I at Matterhorn 3
Chair(s): Craig AnslowMiddlesex University, UK
10:30 - 11:20
Talk
SPLASH-I
William CookUT Austin
Media Attached
11:20 - 12:10
Talk
SPLASH-I
Adam ChlipalaMIT CSAIL
Media Attached
13:30 - 15:10: Session 14SPLASH-I at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
13:30 - 14:20
Talk
SPLASH-I
Media Attached File Attached
14:20 - 15:10
Talk
SPLASH-I
Tudor Gîrbafeenk.com
Media Attached
15:40 - 17:00: Session 15 (Keynote)SPLASH-I at Matterhorn 2
Chair(s): Eelco VisserDelft University of Technology, Netherlands
15:40 - 17:00
Talk
SPLASH-I

SPLASH-I

SPLASH-I is a series of research talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the conference from Monday to Friday. Talks are open to all attendees.

Talks

Title
SPLASH-I
SPLASH-I
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached File Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
SPLASH-I
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
SPLASH-I
Media Attached File Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached
SPLASH-I
Media Attached