Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 3
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 30 Oct

meta2016
08:30 - 10:00: Meta 2016 - Model Checking and Transformation at Matterhorn 3
Chair(s): Ralf LämmelUniversity of Koblenz-Landau, Germany
meta2016147781260000008:30 - 09:00
Talk
Vadim ZaytsevRaincode, Belgium
Media Attached File Attached
meta2016147781440000009:00 - 09:30
Talk
Harumi WatanabeTokai University, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Midori SugayaShibaura Institute of Technology, Kenji HisazumiKyushu University, Akira FukudaKyushu University
File Attached
meta2016147781620000009:30 - 10:00
Talk
Yutaro TsunekawaWaseda University, Taichi TomiokaWaseda University, Kazunori UedaWaseda University
Media Attached File Attached
meta2016
10:30 - 12:10: Meta 2016 - Run-time Reflection at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
meta2016147781980000010:30 - 11:00
Talk
Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
Media Attached File Attached
meta2016147782160000011:00 - 11:30
Talk
Pablo TesoneInria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo PolitoInria, Luc FabresseMines Douai, Noury BouraqadiMines Douai, Stéphane Ducasse INRIA Lille
Media Attached File Attached
meta2016147782340000011:30 - 12:00
Talk
Chris SeatonOracle Labs
Pre-print Media Attached File Attached
meta2016
13:30 - 15:10: Meta 2016 - Security & Capability-based Designs at Matterhorn 3
Chair(s): Shigeru ChibaUniversity of Tokyo
meta2016147783060000013:30 - 14:00
Talk
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel
Media Attached File Attached
meta2016147783240000014:00 - 14:30
Talk
Prakasam KannanSan Jose State University, Thomas H. Austin, Mark StampSan Jose State University, Tim Disney, Cormac FlanaganUniversity of California, Santa Cruz
Media Attached File Attached
meta2016147783420000014:30 - 15:00
Talk
Esther WangCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Media Attached File Attached
meta2016
15:40 - 17:20: Meta 2016 - Mirror-based Reflection at Matterhorn 3
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
meta2016147783840000015:40 - 16:40
Talk
meta2016147784200000016:40 - 17:20
Talk
Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen
Pre-print Media Attached File Attached

Mon 31 Oct

splash-2016-splash-i
10:30 - 12:10: SPLASH-I - Session 1 (SPLASH-E) at Matterhorn 3
Chair(s): Matthias HauswirthUniversity of Lugano
splash-2016-splash-i147790620000010:30 - 11:20
Talk
Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached File Attached
splash-2016-splash-i147790920000011:20 - 12:10
Talk
Brian HarveyUniversity of California, Berkeley
Media Attached
splash-2016-splash-i
13:30 - 15:10: SPLASH-I - Session 2 (AGERE) at Matterhorn 3
Chair(s): Alessandro RicciUniversity of Bologna, Italy
splash-2016-splash-i147791700000013:30 - 15:10
Talk
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
splash-2016-splash-i
15:40 - 17:20: SPLASH-I - Session 3 (Philosophy of Computing) at Matterhorn 3
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
splash-2016-splash-i147792480000015:40 - 17:20
Talk
Mark MillerGoogle Inc., Bill TulloheRights.org
Media Attached

Tue 1 Nov

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

Wed 2 Nov

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

Thu 3 Nov

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

Fri 4 Nov

splash-2016-splash-i
10:30 - 12:10: SPLASH-I - Session 13 (Languages) at Matterhorn 3
Chair(s): Craig AnslowMiddlesex University, UK
splash-2016-splash-i147825180000010:30 - 11:20
Talk
William CookUT Austin
Media Attached
splash-2016-splash-i147825480000011:20 - 12:10
Talk
Adam ChlipalaMIT CSAIL
Media Attached
splash-2016-splash-i
13:30 - 15:10: SPLASH-I - Session 14 at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
splash-2016-splash-i147826260000013:30 - 14:20
Talk
Media Attached File Attached
splash-2016-splash-i147826560000014:20 - 15:10
Talk
Tudor Gîrbafeenk.com
Media Attached

Sun 30 Oct 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 3

Mon 31 Oct 2016

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 3

Tue 1 Nov 2016

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 3
13:30 - 15:10
15:40 - 17:20

Wed 2 Nov 2016

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 3
13:30 - 15:10
15:40 - 17:20

Thu 3 Nov 2016

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 3
10:30 - 12:10
13:30 - 15:10
15:40 - 17:20

Fri 4 Nov 2016

Room10:003011:003012:003013:003014:003015:0030
Matterhorn 3
13:30 - 15:10

Fri 4 Nov 2016