Program - ECOOP 2016

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:45	Session 1STOP at Alfieri

08:45 10m Day opening		Opening remarks STOP
08:55 50m Talk		Types for Ruby STOP Jeffrey S. FosterUniversity of Maryland, College Park

08:45 - 09:45	OpeningDoctoral Symposium at Belli

08:45 10m Day opening		Welcome Doctoral Symposium
08:55 20m Talk		Lightning Talks Doctoral Symposium
09:15 30m Talk		Live Programming Environments for Reactive MVU Applications Doctoral Symposium A: Christopher SchusterUniversity of California, Santa Cruz

08:45 - 09:45	WinterLIVE at Foscolo

08:45 60m Talk		The Promise of Live Programming LIVE Sean McDirmidMicrosoft Research Pre-print

08:45 - 09:45	Invited talkPMLDC at Montale

08:45 15m Day opening		Opening Remarks PMLDC
09:00 45m Talk		We Are All Distributed System Engineers PMLDC Carl LercheIndependent Consultant

09:45 - 10:05	Coffee breakCurryOn Catering at Ariosto

09:45 20m Coffee break		Coffee break CurryOn Catering

10:00 - 12:30	Session 1: Programming LanguagesPMLDC at Montale

10:00 30m		Implicitly Distributing Pervasively Concurrent Programs PMLDC John A. ThywissenThe University of Texas at Austin, Arthur Michener PetersThe University of Texas at Austin, Texas, USA, William CookUT Austin Link to publication DOI
10:30 30m		Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language PMLDC Lars KrollKTH Royal Institute of Technology, Sweden, Jim Dowling, Seif Haridi Link to publication DOI File Attached
11:00 30m		Towards Aggregate Programming in Scala PMLDC Roberto Casadei, Mirko Viroli, Roberto Casadei, Roberto Casadei Link to publication DOI
11:30 30m		Building Distributed Applications with Data and Time Frames PMLDC Crista LopesUniversity of California, Irvine, Rohan Achar, Arthur Valadares
12:00 30m		Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language PMLDC Matteo CiminiIndiana University, Jeremy G. SiekIndiana University

10:05 - 12:25	Session 2STOP at Alfieri

10:05 50m Talk		Optional Typing in Dart: Purity and Practice STOP Gilad BrachaGoogle Pre-print
10:55 30m		Beyond Types: Extending the Gradual Guarantee STOP James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington, Sophia DrossopoulouImperial College London, Andrew BlackPortland State University, Kim BrucePomona College Link to publication
11:25 30m		Gradual Typing for Delimited Continuations STOP Yusuke MiyazakiKyoto University, Taro Sekiyama, Atsushi IgarashiKyoto University Link to publication
11:55 30m Talk		Automating Gradual Typing STOP Timothy JonesVictoria University of Wellington Link to publication File Attached

10:05 - 12:25	Session 1Doctoral Symposium at Belli

10:05 30m Talk		User-Centric Static Analysis Doctoral Symposium A: Lisa Nguyen Quang DoFraunhofer IEM
10:35 30m Talk		Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry Doctoral Symposium A: Adam ZiolkowskiUniversity of East Anglia
11:05 20m Coffee break		Coffee break Doctoral Symposium
11:25 30m Talk		Language Design for Validatable Information System Specifications Doctoral Symposium A: Daco HarkesDelft University of Technology
11:55 30m Talk		Compositional and Mechanically Verified Program Analyzers Doctoral Symposium A: David DaraisUniversity of Maryland, College Park

10:05 - 12:25	SpringLIVE at Foscolo

10:05 20m Talk		Language Hacking in a Live Programming Environment LIVE Patrick DubroyHARC / Y Combinator Research, Saketh KasibatlaCommunications Design Group / UCLA, Meixian LiCommunications Design Group / Y Combinator Research, Marko RöderHARC / Y Combinator Research, Alessandro WarthHARC / Y Combinator Research Pre-print
10:25 20m Talk		Towards Live Language Development LIVE Gabriël KonatTU Delft, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology Pre-print
10:45 20m Talk		Live Programming with Code Portals LIVE Alexander BreckelInstitute of Software Engineering and Compiler Construction, Matthias TichyChalmers University of Technology Media Attached
11:15 20m Talk		Live end-user programming: a demo/manifesto LIVE Jonathan EdwardsCDG Labs, Jodie ChenMIT, Alessandro WarthHARC / Y Combinator Research Pre-print
11:35 50m Other		Discuss: New Interfaces for Programming LIVE Roly PereraUniversity of {Glasgow, Edinburgh}

12:25 - 13:50	LunchCurryOn Catering at Ariosto

12:25 85m Lunch		Lunch CurryOn Catering

13:50 - 15:20	Session 3STOP at Alfieri

13:50 50m Talk		Gradual types for real-world objects STOP Jan VitekNortheastern University
14:40 30m		A Systematic Performance Evaluation of Gradually Typed Functions and References STOP Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University

13:50 - 15:20	Session 2Doctoral Symposium at Belli

13:50 30m Talk		Invited Talk: How to get your Ph.D. DONE Doctoral Symposium Eric JulAlcatel-Lucent Bell Labs
14:20 30m Talk		Concept Parameters as a New Mechanism of Generic Programming for C# Language Doctoral Symposium A: Julia BelyakovaSouthern Federal University
14:50 30m Talk		Exploring optional security typing Doctoral Symposium A: Raimil Cruz

13:50 - 15:20	SummerLIVE at Foscolo

13:50 20m Talk		Live Programming by Example: Using Direct Manipulation for Live Program Synthesis LIVE Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz Pre-print
14:10 20m Talk		Live Literals LIVE Tijs van der StormCWI, Felienne HermansDelft University of Technology Pre-print
14:30 20m Talk		Liveness for Verification LIVE Roly PereraUniversity of {Glasgow, Edinburgh}, Simon J. Gay Pre-print Media Attached
14:50 30m Other		Live Lightning Talks LIVE Jonathan EdwardsCDG Labs

13:50 - 15:20	Session 2: Conflict-Free Replicated Data TypesPMLDC at Montale

13:50 30m		Tracking the Elephants in the System PMLDC Zach Tellman
14:20 30m		Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition PMLDC Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali ShokerHASLab/INESC TEC & University of Minho Link to publication DOI Pre-print
14:50 30m		Integration Challenges of Pure Operation-based CRDTs in Redis PMLDC Georges Younes, Ali ShokerHASLab/INESC TEC & University of Minho, Paulo Sérgio Almeida, Carlos Baquero

15:20 - 16:00	Coffee breakCurryOn Catering at Ariosto

15:20 40m Coffee break		Coffee break CurryOn Catering

16:00 - 16:40	Session 4STOP at Alfieri

16:00 30m		From Optional to Gradual Typing via Transient Checks STOP Michael Vitousek, Jeremy G. SiekIndiana University
16:30 10m Day closing		Closing remarks STOP

16:00 - 17:30	Session 3Doctoral Symposium at Belli

16:00 30m Talk		Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages Doctoral Symposium A: Manuel RiggerJohannes Kepler University, Linz, Austria
16:30 30m Talk		Invited Talk: Papers vs. Artefacts Doctoral Symposium Philipp HallerKTH Royal Institute of Technology
17:00 30m Talk		Invited Talk: PhD Reflections Doctoral Symposium Sebastian ErdwegTU Delft

16:00 - 18:20	FallLIVE at Foscolo

16:00 50m Talk		Leveraging live programming in the classroom — an experience report LIVE Alessandro WarthHARC / Y Combinator Research File Attached
16:50 20m Talk		Live Tuning: Expanding Live Programming Benefits to Non-Programmers LIVE Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan, Masataka GotoNational Institute of Advanced Industrial Science and Technology, Japan Pre-print
17:10 20m Talk		Sintr: Experimenting with liveness at scale LIVE Luke Church, Mariana MarasoiuUniversity of Cambridge, Alan BlackwellUniversity of Cambridge Pre-print
17:30 50m Other		Discuss: Live Programming, Live Coding, and Intelligence Amplification LIVE Sean McDirmidMicrosoft Research, Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan

16:00 - 17:30	Session 3: ConsistencyPMLDC at Montale

16:00 30m		The Consistency Babel PMLDC Rodrigo RodriguesInstituto Superior Técnico, University of Lisboa & INESC-ID
16:30 30m		Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency PMLDC Nosheen ZazaUniversità della Svizzera italiana, Nate NystromUniversita della Svizzera italiana (USI) Link to publication DOI Pre-print
17:00 30m		On the Potential of Event Sourcing for Retroactive Actor-based Programming PMLDC Benjamin ErbUlm University, Germany , Gerhard Habiger, Franz J. Hauck Link to publication DOI

16:45 - 18:45	Welcome SessionSummer School at Alfieri Chair(s): Jan VitekNortheastern University

16:45 10m Day opening		Welcome Summer School
16:55 50m Talk		My twenty-five years of ECOOP Summer School Jan VitekNortheastern University File Attached
17:45 60m Talk		Research in Academia and Industry Summer School S: Jade AlglaveUniversity College London

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

08:45 - 09:50	KeynoteCurryOn at Auditorium Loyola

08:45 15m Day opening		Curry On opening remarks CurryOn Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
09:00 50m Talk		How To Win Big With Old Ideas CurryOn S: David NolenCognitec

08:45 - 09:45	Session 1PX at Belli Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research

08:45 15m Day opening		Introduction PX
09:00 45m Talk		How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments. PX Patrick ReinHasso Plattner Institute, Stefan LehmannHasso-Plattner-Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI

09:10 - 09:45	Session 1ICOOOLPS at Alfieri Chair(s): Stefan MarrJohannes Kepler University Linz

09:10 5m Day opening		Welcome ICOOOLPS Stefan MarrJohannes Kepler University Linz
09:15 30m Talk		Source Language Representation of Function Summaries in Static Analysis ICOOOLPS Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Media Attached File Attached

09:45 - 10:05	Coffee breakCurryOn Catering at Ariosto + Manzoni

09:45 20m Coffee break		Coffee break CurryOn Catering

10:05 - 12:25	Session 2ICOOOLPS at Alfieri Chair(s): Tomas KaliberaNortheastern University

10:05 60m Talk		Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation ICOOOLPS Lubomír BulejCharles University Media Attached File Attached
11:05 30m Talk		The Performance of Object Encodings in JavaScript ICOOOLPS Forrest AlexanderPortland State University, Andrew BlackPortland State University Media Attached File Attached
11:35 30m Talk		Virtual Machine Warm-up Blows Hot and Cold ICOOOLPS Edd BarrettKing's College London, Carl Friedrich Bolz-TereickKing's College London , Rebecca KillickDepartment of Mathematics and Statistics, University of Lancaster, Vincent KnightSchool of Mathematics, Cardiff University, Sarah MountKing's College London, Laurence TrattKing's College London Link to publication Media Attached File Attached
12:05 20m Other		Discussions ICOOOLPS

10:05 - 12:25	Session 1bCurryOn at Auditorium Loyola

10:05 40m Talk		Move Fast to Fix More Things CurryOn S: Peter O'HearnFacebook
10:55 40m Talk		Notes on Post-Post-Modern-Modern Programming CurryOn S: James NobleVictoria University of Wellington
11:45 40m Talk		A Type is Worth a Thousand Tests CurryOn S: Manuel ChakravartyUNSW Australia & Applicative

10:05 - 12:30	Session 2PX at Belli Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI

10:05 45m Demonstration		Envision – Turning the IDE into a Visual Information System. PX Dimitar Asenov, Peter MüllerETH Zurich
10:50 45m Talk		Satisfaction, Time Investment and Success in Students' Programming Exercise. PX Amir Kirsh, Iris Gaber
11:35 45m Talk		Towards Gaze Control in Programming Environments. PX Astrid Thomschke, Daniel Stolpe, Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI

10:05 - 12:25	Session 1aCurryOn at Foscolo

10:05 40m Talk		The Functional Programming Languages Nomad CurryOn S: Michael SperberActive Group GmbH
10:55 40m Talk		Creating a Fun Game with Elm CurryOn Andrey KuzminZalando, Kolja WilckeZalando
11:45 40m Talk		Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us CurryOn Ron PresslerParallel Universe

10:05 - 12:25	Session 1VORTEX at Saba

10:05 5m Day opening		Opening Remarks VORTEX Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
10:10 30m		StaRVOOrS: A framework for static and runtime verification of data and control properties. VORTEX Gerardo SchneiderUniversity of Gothenburg
10:40 30m		Runtime Verification with Data VORTEX Martin LeuckerUniversity of Lübeck
11:10 30m		Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System VORTEX Jean-Baptiste JeanninCarnegie Mellon University

12:25 - 13:50	LunchCurryOn Catering at Ariosto + Manzoni

12:25 85m Lunch		Lunch CurryOn Catering

13:50 - 15:20	Session 3ICOOOLPS at Alfieri Chair(s): Edd BarrettKing's College London

13:50 60m Talk		Growing an Abstract Grammar: Teaching Language Engineering ICOOOLPS Theo D'HondtVrije Universiteit Brussel Media Attached
14:50 30m Talk		MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations ICOOOLPS Shijie XuUniversity of New Brunswick, David BremnerUniversity of New Brunswick, Daniel HeidingaIBM Media Attached File Attached

13:50 - 15:20	Session 2bCurryOn at Auditorium Loyola

13:50 40m Talk		Building Scalable Stateful Services CurryOn Caitie McCaffreyTwitter
14:40 40m Talk		Data-driven Software security using Differential Privacy and Deep Learning CurryOn S: Úlfar ErlingssonGoogle

13:50 - 15:20	Session 3PX at Belli Chair(s): Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research, Hidehiko MasuharaTokyo Institute of Technology

13:50 45m Talk		Towards Making a Computer Tutor for Children of All Ages - A Memo. PX Yoshiki OhshimaViewpoints Research Institute, Alessandro WarthHARC / Y Combinator Research, Bert Freudenberg, Aran Lunzer, Alan KayUniversity of California at Los Angeles, USA
14:35 45m Demonstration		I sit down at my editor, and feel relaxed. PX Matthew Huebert

13:50 - 15:20	Session 2aCurryOn at Foscolo

13:50 40m Talk		Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds CurryOn Frank WangMIT CSAIL
14:40 40m Talk		Rascal: the Swiss Army Knife of Meta Programming CurryOn Tijs van der StormCWI

13:50 - 15:20	Session 1IWACO at Quasimodo Chair(s): Paley LiNortheastern University

13:50 30m Talk		Frozen Realms: Confining effects for safer JavaScript plugins IWACO Mark MillerGoogle Inc.
14:20 30m		Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations IWACO Juliana FrancoImperial College London, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London Pre-print
14:50 30m Talk		Objects as Session-Typed Processes IWACO Stephanie Balzer

13:50 - 15:20	Session 2VORTEX at Saba

13:50 30m		Extracting Runtime Monitors from Tests: An Overview and a way forward VORTEX Abigail Cauchi, Luke Chircop, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon PaceUniversity of Malta
14:20 30m		Runtime checks as nominal types VORTEX Paola Giannini, Elena ZuccaUniversity of Genova, Marco ServettoVictoria University of Wellington
14:50 29m		The Early Bird Catches the Worm: first Verify, then Monitor! VORTEX Angelo Ferrando
15:19 1m Day closing		Closing Remarks VORTEX Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University

15:20 - 16:00	Coffee breakCurryOn Catering at Ariosto + Manzoni

15:20 40m Coffee break		Coffee break CurryOn Catering

16:00 - 17:30	Session 4ICOOOLPS at Alfieri Chair(s): Eric JulAlcatel-Lucent Bell Labs

16:00 30m Talk		TruffleReloader: A Low-Overhead Language-Neutral Reloader ICOOOLPS Tõnis PoolZeroTurnaround / University of Tartu, Allan Raundahl GregersenZeroTurnaround, Vesal VojdaniUniversity of Tartu Media Attached File Attached
16:30 30m Talk		Sulong - Execution of LLVM-Based Languages on the JVM ICOOOLPS Manuel RiggerJohannes Kepler University, Linz, Austria, Matthias GrimmerJohannes Kepler University Linz, Hanspeter MössenböckJohannes Kepler University Linz Media Attached File Attached
17:00 30m Talk		Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems ICOOOLPS Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano Media Attached File Attached

16:00 - 17:30	Session 3bCurryOn at Auditorium Loyola

16:00 40m Talk		Doing data science with Clojure: the ugly, the sad, the joyful CurryOn Simon BelakGoOpti
16:50 40m Talk		Oden - A Functional Programming Language for the Go Ecosystem CurryOn Oskar WickströmNone (this is a free time project)

16:00 - 17:30	Session 4PX at Belli Chair(s): Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research

16:00 45m Talk		Exemplifying Moldable Development. PX Andrei ChişUniversity of Bern, Switzerland, Tudor GîrbaCompuGroup Medical Schweiz AG, Juraj KubelkaUniversity of Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhart, Aliaksei SyrelUniversity of Bern
16:45 45m Talk		Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs. PX Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI

16:00 - 17:30	Session 3aCurryOn at Foscolo

16:00 40m Talk		Why The Free Monad isn't Free CurryOn Kelley RobinsonSharethrough
16:50 40m Talk		Exercises in Programming Style CurryOn S: Crista LopesUniversity of California, Irvine

16:00 - 17:30	Session 2IWACO at Quasimodo

16:00 30m Talk		Are Ownership Types Reaching the World Yet? IWACO Patrick LamUniversity of Waterloo, Canada File Attached
16:30 30m		Kappa: Insights, Current Status and Future Work IWACO Elias CastegrenUppsala University, Tobias WrigstadUppsala University Pre-print
17:00 30m		Abstract Data Types in Object-Capability Systems IWACO James NobleVictoria University of Wellington, Sophia DrossopoulouImperial College London, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne, Alex PotaninVictoria University of Wellington Pre-print File Attached

17:40 - 18:30	Session 5ICOOOLPS at Alfieri Chair(s): Stefan MarrJohannes Kepler University Linz

17:40 25m Demonstration		Demo of Docking: Enabling Language Based Dynamic Coupling ICOOOLPS Magnus Haugom ChristensenUniversity of Oslo, Eric JulAlcatel-Lucent Bell Labs
18:05 25m Day closing		Discussions and Wrap Up ICOOOLPS

17:40 - 18:30	KeynoteCurryOn at Auditorium Loyola

17:40 50m Talk		The Racket Manifesto CurryOn S: Matthias FelleisenNortheastern University

17:40 - 18:30	Session 3IWACO at Quasimodo

17:40 50m		Closing Discussions IWACO Paley LiNortheastern University

19:30 - 23:00	Curry On Party!CurryOn at Mercati di Traiano

19:30 3h30m Social Event		Curry On Party! CurryOn

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

08:45 - 09:45	Opening and KeynoteCOP at Quasimodo

08:45 15m Day opening		Opening COP
09:00 45m Talk		Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty. COP James NobleVictoria University of Wellington

08:45 - 09:45	Opening sessionGRACE at Saba

08:45 60m Day opening		Overview of the Grace project and language GRACE Kim BrucePomona College, Andrew BlackPortland State University

09:00 - 09:50	KeynoteCurryOn at Auditorium Loyola

09:00 50m Talk		It's the End of the World as We Know It, and I Feel Fine CurryOn S: Larry Wall

09:45 - 10:05	Coffee breakCurryOn Catering at Ariosto + Manzoni

09:45 20m Coffee break		Coffee break CurryOn Catering

10:05 - 12:25	Session 4bCurryOn at Auditorium Loyola

10:05 40m Talk		Dartino - a managed language on micro-controllers? CurryOn S: Kasper LundGoogle
10:55 40m Talk		Redesigning Type Systems for Industry OO CurryOn Ross TateCornell University
11:45 40m Talk		Static analysis for security at the Facebook scale CurryOn S: Francesco LogozzoFacebook

10:05 - 11:00	Invited talkFTfJP at Belli Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology

10:05 5m Day opening		Opening FTfJP Vladimir KlebanovKarlsruhe Institute of Technology
10:10 50m Talk		Java Generics are Turing Complete FTfJP Radu GrigoreUniversity of Oxford

10:05 - 12:25	Session 4aCurryOn at Foscolo

10:05 40m Talk		Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing CurryOn Jörgen BrandtHumboldt-Universität zu Berlin
10:55 40m Talk		The Future of Programming will be Live CurryOn S: Sean McDirmidMicrosoft Research
11:45 40m Talk		From Unikernels to Databases to UIs: Truly full-stack apps in OCaml CurryOn Sean GroveNone

10:05 - 12:25	Research Papers 1COP at Quasimodo

10:05 45m Talk		Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor COP Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Robert HirschfeldHPI
10:50 50m Talk		Consistent Unanticipated Adaptation for Context-Dependent Applications COP Nguonly Taing, Markus Wutzler, Thomas Springer, Nicolás CardozoUniversidad de los Andes, Alexander Schill
11:40 45m Talk		Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy COP Tobias PapeHPI, Germany, Tim FelgentreffHPI, Germany, Robert HirschfeldHPI

10:05 - 12:25	GraceGRACE at Saba

10:05 40m		Experience teaching with Grace GRACE Andrew BlackPortland State University, Kim BrucePomona College
10:45 70m		Recent changes and language design issues in Grace GRACE Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
11:55 30m		The Recurring Rainfall Problem GRACE Shriram KrishnamurthiBrown University

10:45 - 12:25	Session 1JSTools at Alfieri

10:45 5m Day opening		Opening Remarks JSTools Julian DolbyIBM Thomas J. Watson Research Center
10:50 40m		So You Want to Build Memory Tooling For JavaScript? JSTools Nick Fitzgerald
11:30 40m		Sound Type Inference for JavaScript JSTools Jean-Baptiste JeanninCarnegie Mellon University

11:00 - 12:25	Session 2FTfJP at Belli Chair(s): Delphine DemangeIRISA / University of Rennes 1

11:00 30m Talk		A Mechanical Soundness Proof for Subtyping Over Recursive Types FTfJP Timothy JonesVictoria University of Wellington, David J. PearceVictoria University of Wellington DOI Pre-print File Attached
11:30 30m Talk		A formal account of SSA in Java-like languages FTfJP Davide AnconaUniversity of Genova, Andrea Corradi
12:00 25m Talk		A Note on the Soundness of Difference Propagation FTfJP Jens DietrichMassey University, New Zealand, Nicholas HollingumThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia

12:25 - 13:50	LunchCurryOn Catering at Ariosto + Manzoni

12:25 85m Lunch		Lunch CurryOn Catering

13:50 - 15:20	Session 2JSTools at Alfieri

13:50 30m Talk		Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins JSTools Mark MillerGoogle Inc.
14:20 30m		JavaScript Verification JSTools Philippa GardnerImperial College London
14:50 30m		What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript JSTools Alexander JordanOracle Labs, Australia

13:50 - 15:20	Session 5bCurryOn at Auditorium Loyola

13:50 40m Talk		Practical Demystification of CRDTs CurryOn Dmitry IvanovTomTom, Nami NasserazadTomTom
14:40 40m Talk		Distributed Iterative Computation in TensorFlow CurryOn S: Yuan Yu

13:50 - 15:20	Session 3FTfJP at Belli Chair(s): Davide AnconaUniversity of Genova

13:50 30m Talk		Generating Concurrency Checks Automatically FTfJP Jonathan HoylandRoyal Holloway University of London, Matthew HagueRoyal Holloway University of London
14:20 30m Talk		An Extended Buffered Memory Model With Full Reorderings FTfJP Gurvan Cabon, David Cachera, David PichardieIRISA / ENS Rennes
14:50 30m Talk		Towards a Model of Corecursion with Default FTfJP Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova

13:50 - 15:20	Session 5aCurryOn at Foscolo

13:50 40m Talk		On the chemistry of typestate-oriented actors CurryOn Silvia CrafaUniversità di Padova, Italy
14:40 40m Talk		Become a Polyglot by learning Java! CurryOn S: Jaroslav TulachOracle Labs

13:50 - 15:20	Research Papers 2COP at Quasimodo

13:50 30m Talk		A Context-Oriented Software Architecture COP Kim MensUniversité Catholique de Louvain, Belgium, Nicolás CardozoUniversidad de los Andes, Benoît Duhoux
14:20 30m Talk		Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android COP Tetsuo KaminaRitsumeikan University, Noriyuki Suzuki, Katsuhisa Maruyama
14:50 30m Talk		Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP COP Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI

13:50 - 15:20	Contributed PapersGRACE at Saba

13:50 30m Talk		Grace in Spoofax: Readable Specification and Implementation in One GRACE Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology Link to publication File Attached
14:20 30m		Traitorous Traits GRACE Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington File Attached
14:50 30m		Tooling matters – Why Grace needs a good IDE GRACE Michael KöllingUniversity of Kent

15:20 - 16:00	Coffee breakCurryOn Catering at Ariosto + Manzoni

15:20 40m Coffee break		Coffee break CurryOn Catering

16:00 - 17:30	Session 3JSTools at Alfieri

16:00 40m		Verification of Communication in Web Applications JSTools Nathalie OostvogelsVrije Universiteit Brussel
16:40 40m		Fishing for JavaScript Bugs at the Shallow End JSTools Max SchaeferSemmle
17:20 10m Day closing		Closing Remarks JSTools Julian DolbyIBM Thomas J. Watson Research Center

16:00 - 17:30	Session 6bCurryOn at Auditorium Loyola

16:00 40m Talk		Distributed Configuration with Clojure CurryOn Renzo BorgattiMailonline
16:50 40m Talk		Using Object Algebras To Design Embedded Domain Specific Languages CurryOn Julien Richard-FoyZengularity

16:00 - 18:30	Session 4FTfJP at Belli Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology

16:00 30m Demonstration		Tool Demonstration: The VeriFast Verification System for Java and C FTfJP Bart JacobsiMinds - Distrinet, KU Leuven
16:30 30m Talk		Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast FTfJP Bart JacobsiMinds - Distrinet, KU Leuven
17:00 30m Talk		Coupling Catch Clauses with Local Declarations FTfJP Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
17:30 30m Talk		Towards Modular Reasoning for Context-Oriented Programs FTfJP Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
18:00 30m Talk		Permission and Authority Revisited: Towards a Formalization FTfJP Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne

16:00 - 17:30	Session 6aCurryOn at Foscolo

16:00 40m Talk		What is programming? CurryOn Juan LulkinKlarna
16:50 40m Talk		Are We Ready for Secure Languages? CurryOn S: Cristina CifuentesOracle Labs, Australia

16:00 - 17:30	DiscussionGRACE at Saba

16:00 90m		Next steps with Grace GRACE

17:30 - 18:30	Poster Session & Workshops ReceptionCurryOn Catering at Manzoni

17:30 60m Social Event		Poster Session & Workshops Reception CurryOn Catering

17:40 - 18:20	Session 7bCurryOn at Auditorium Loyola

17:40 40m Talk		A brief and incomplete history of programming languages CurryOn Andrea Magnorsky

17:40 - 18:20	Session 7aCurryOn at Foscolo

17:40 40m Talk		To Macros and Beyond!: How macros changed Scala, and what's coming next CurryOn Eugene BurmakoEPFL

18:30 - 19:20	KeynoteCurryOn at Auditorium Loyola

18:30 50m Talk		Building an Open Source Research Lab CurryOn S: Dave HermanMozilla Research

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

08:45 - 10:00	Invited TalkResearch Track at Auditorium Loyola Chair(s): Camil DemetrescuSapienza University of Rome

08:45 15m		Welcome address Research Track
09:00 60m Talk		The Elements of Decision Alignment: Large programs as complex organizations Research Track Mark MillerGoogle Inc. Media Attached

10:00 - 10:30	Coffee breakCatering at Ariosto + Manzoni

10:00 30m Coffee break		Coffee break Catering

10:30 - 12:00	Session 1Research Track at Auditorium Loyola Chair(s): Camil DemetrescuSapienza University of Rome

10:30 25m Talk		Higher-Order Demand-Driven Program Analysis Research Track Zachary PalmerSwarthmore College, Scott F. SmithThe Johns Hopkins University Link to publication DOI Media Attached
10:55 25m Talk		Interprocedural Type Specialization of JavaScript Programs Without Type Analysis Research Track Maxime Chevalier-BoisvertUniversity of Montreal, Marc FeeleyUniversité de Montréal Link to publication DOI Media Attached
11:20 25m Talk		Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic Research Track Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Jens DietrichMassey University, New Zealand Link to publication DOI Pre-print Media Attached
11:45 15m		Awards Research Track

10:30 - 12:00	Lecture 1Summer School at Leopardi Chair(s): Jan VitekNortheastern University

10:30 90m Talk		28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand Summer School S: Matthias FelleisenNortheastern University File Attached

12:00 - 13:30	LunchCatering at Ariosto + Manzoni

12:00 90m Lunch		Lunch Catering

13:30 - 15:00	Lecture 2aSummer School at Leopardi Chair(s): Jan VitekNortheastern University

13:30 90m Talk		Building a Research Program for Scripting Languages Summer School S: Shriram KrishnamurthiBrown University

13:45 - 15:00	Session 2Research Track at Auditorium Loyola Chair(s): James NobleVictoria University of Wellington

13:45 25m Talk		C++ const and Immutability: An Empirical Study of Writes-Through-const Research Track Jonathan EyolfsonUniversity of Waterloo, Patrick LamUniversity of Waterloo, Canada Link to publication DOI Pre-print Media Attached
14:10 25m Talk		Formal Language Recognition with the Java Type Checker Research Track Yossi GilIsrael Institute of Technology, Tomer LevyTechnion – Israel Institute of Technology Link to publication DOI
14:35 25m Talk		Towards Ontology-Based Program Analysis Research Track Yue ZhaoNCSU, Guoyang Chen, Chunhua LiaoLLNL, Xipeng ShenNCSU Link to publication DOI Media Attached

15:00 - 15:30	Coffee breakCatering at Ariosto + Manzoni

15:00 30m Coffee break		Coffee break Catering

15:30 - 16:45	Session 3Research Track at Auditorium Loyola Chair(s): Colin GordonDrexel University

15:30 25m Talk		Making an Embedded DBMS JIT-friendly Research Track Carl Friedrich Bolz-TereickKing's College London , Darya MelicherCarnegie Mellon University, Laurence TrattKing's College London Link to publication DOI Pre-print Media Attached
15:55 25m Talk		QL: Object-oriented Queries on Relational Data Research Track Pavel AvgustinovSemmle, Oege de MoorSemmle, Michael Peyton JonesSemmle, Max SchaeferSemmle Link to publication DOI Pre-print
16:20 25m Talk		Transactional Tasks: Parallelism in Software Transactions Research Track Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI Pre-print Media Attached

15:30 - 17:00	Lecture 2bSummer School at Leopardi Chair(s): Jan VitekNortheastern University

15:30 90m Talk		Building a Research Program for Scripting Languages Summer School S: Shriram KrishnamurthiBrown University

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

09:00 - 10:00	DN TalkResearch Track at Auditorium Loyola Chair(s): Eric JulAlcatel-Lucent Bell Labs

09:00 60m Talk		Half a Life in Software (Senior DN Prize Lecture) Research Track P: James NobleVictoria University of Wellington Media Attached

10:00 - 10:30	Coffee breakCatering at Ariosto + Manzoni

10:00 30m Coffee break		Coffee break Catering

10:30 - 11:45	Session 4Research Track at Auditorium Loyola Chair(s): Sebastian ErdwegTU Delft

10:30 25m Talk		A Calculus for Variational Programming Research Track Sheng ChenUniversity of Louisiana at Lafayette, Martin ErwigOregon State University, Eric WalkingshawOregon State University Link to publication DOI Media Attached
10:55 25m Talk		A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Research Track Atsushi OhoriTohoku University, Katsuhiro UenoTohoku University, Tomohiro SasakiTohoku University, Daisuke KikuchiTohoku University and Hitachi Solutions East Japan, Ltd. Link to publication DOI Pre-print Media Attached
11:20 25m Talk		Transforming programs between APIs with Many-to-Many Mappings Research Track Chenglong WangUniversity of Washington, Jiajun JiangPeking University, Jun LiPeking University, Yingfei XiongPeking University, Xiangyu LuoPeking University, Lu ZhangPeking University, Zhenjiang HuNational Institute of Informatics Link to publication DOI Pre-print Media Attached

10:30 - 12:00	Lecture 3Summer School at Leopardi Chair(s): Jan VitekNortheastern University

10:30 90m Talk		Gradual Type Systems Summer School Jeremy G. SiekIndiana University File Attached

11:45 - 13:30	LunchCatering at Ariosto + Manzoni

11:45 1h45m Lunch		Lunch Catering

13:30 - 15:00	Lecture 4aSummer School at Leopardi Chair(s): Jan VitekNortheastern University

13:30 90m Talk		A JIT Compiler (almost) for Free Summer School S: Carl Friedrich Bolz-TereickKing's College London , S: Laurence TrattKing's College London File Attached

13:45 - 15:00	Session 5Research Track at Auditorium Loyola Chair(s): Kim BrucePomona College

13:45 25m Talk		LJGS: Gradual Security Types for Object-Oriented Languages Research Track Luminous FennellUniversity of Freiburg, Germany, Peter ThiemannUniversity of Freiburg Link to publication DOI Media Attached
14:10 25m Talk		Lightweight session programming in Scala Research Track Alceste ScalasImperial College London, Nobuko YoshidaImperial College London, UK Link to publication DOI Media Attached
14:35 25m Talk		Trace Typing: An Approach for Evaluating Retrofitted Type Systems Research Track Esben AndreasenAarhus University, Colin GordonDrexel University, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Frank TipSamsung Research America, Koushik SenUniversity of California, Berkeley Link to publication DOI Pre-print Media Attached

15:00 - 15:30	Coffee breakCatering at Ariosto + Manzoni

15:00 30m Coffee break		Coffee break Catering

15:30 - 16:45	Session 6Research Track at Auditorium Loyola Chair(s): Sophia DrossopoulouImperial College London

15:30 25m Talk		Object Inheritance without Classes Research Track Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington, Kim BrucePomona College Link to publication DOI Pre-print Media Attached
15:55 25m Talk		Program Tailoring: Slicing by Sequential Criteria Research Track Yue LiUNSW Australia, Tian TanUNSW Australia, Yifei ZhangUNSW Australia, Jingling XueUNSW Australia Link to publication DOI Pre-print Media Attached
16:20 25m Talk		Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Research Track Casper Bach PoulsenTU Delft, Pierre NeronFrench Network and Information Security Agency (ANSSI), Andrew TolmachPortland State University, Eelco VisserDelft University of Technology Link to publication DOI Pre-print Media Attached

15:30 - 17:00	Lecture 4bSummer School at Leopardi Chair(s): Jan VitekNortheastern University

15:30 90m Talk		A JIT Compiler (almost) for Free Summer School S: Carl Friedrich Bolz-TereickKing's College London , S: Laurence TrattKing's College London File Attached

19:30 - 23:00	BanquetCatering at Pinacoteca del Tesoriere

19:30 3h30m Dinner		ECOOP Banquet Catering

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

09:00 - 10:00	DN TalkResearch Track at Auditorium Loyola Chair(s): Eric JulAlcatel-Lucent Bell Labs

09:00 60m Talk		Synthesis and Verification for All (Junior DN Prize Lecture) Research Track P: Emina TorlakUniversity of Washington Media Attached

10:00 - 10:30	Coffee breakCatering at Ariosto + Manzoni

10:00 30m Coffee break		Coffee break Catering

10:30 - 11:45	Session 7Research Track at Auditorium Loyola Chair(s): Julian DolbyIBM Thomas J. Watson Research Center

10:30 25m Talk		Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Research Track Johannes SpäthFraunhofer SIT, Lisa Nguyen Quang DoFraunhofer IEM, Karim AliTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI Pre-print Media Attached
10:55 25m Talk		IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs Research Track Daco HarkesDelft University of Technology, Danny GroenewegenDelft University of Technology, Eelco VisserDelft University of Technology Link to publication DOI Pre-print Media Attached
11:20 25m Talk		Reference Capabilities for Concurrency Control Research Track Elias CastegrenUppsala University, Tobias WrigstadUppsala University Link to publication DOI Pre-print Media Attached

10:30 - 12:00	Lecture 5aSummer School at Leopardi Chair(s): Jan VitekNortheastern University

10:30 90m Talk		Experimental Evaluation of Programming Systems Summer School S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern University File Attached

11:45 - 13:30	LunchCatering at Ariosto + Manzoni

11:45 1h45m Lunch		Lunch Catering

13:30 - 15:20	Session 8Research Track at Auditorium Loyola Chair(s): Matthias KeilUniversity of Freiburg, Eric JulAlcatel-Lucent Bell Labs

13:30 25m Talk		Composing Interfering Abstract Protocols Research Track Filipe MilitãoCarnegie Mellon University & Universidade Nova de Lisboa, Jonathan AldrichCarnegie Mellon University, Luís CairesFCT / Universidade Nova de Lisboa Link to publication DOI Pre-print Media Attached
13:55 25m Talk		Fine-grained Language Composition: A Case Study Research Track Edd BarrettKing's College London, Carl Friedrich Bolz-TereickKing's College London , Lukas DiekmannKing's College London, Laurence TrattKing's College London Link to publication DOI Pre-print Media Attached
14:20 25m Talk		One Way to Select Many Research Track Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc. Link to publication DOI Media Attached
14:45 25m Talk		Staccato: A Bug Finder for Dynamic Configuration Updates Research Track John TomanUniversity of Washington, Dan GrossmanUniversity of Washington, USA Link to publication DOI Media Attached
15:10 10m		Adjourn Research Track

13:40 - 15:20	Lecture 5bSummer School at Leopardi Chair(s): Jan VitekNortheastern University

13:40 90m Talk		Experimental Evaluation of Programming Systems Summer School S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern University File Attached
15:10 10m		Adjourn Summer School

15:20 - 16:20	Ice Cream SocialCatering at Manzoni

15:20 60m Social Event		Social Catering

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	30		9:00	30		10:00		30	11:00	30	12:00		30	13:00	30		14:00	30	15:00		30	16:00	30		17:00	30	18:00	30
Alfieri			STOP Session 1					STOP Session 2									STOP Session 3						STOP Session 4		Summer School Welcome Session
Ariosto						CurryOn Catering Coffee break							CurryOn Catering Lunch								CurryOn Catering Coffee break
Belli			Doctoral Symposium Opening					Doctoral Symposium Session 1									Doctoral Symposium Session 2						Doctoral Symposium Session 3
Foscolo			LIVE Winter					LIVE Spring									LIVE Summer						LIVE Fall
Montale			PMLDC Invited talk				PMLDC Session 1: Programming Languages										PMLDC Session 2: Conflict-Free Replicated Data Types						PMLDC Session 3: Consistency

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


Room	8:00	30		9:00		30		10:00		30	11:00	30	12:00		30	13:00		30		14:00	30	15:00		30	16:00	30	17:00		30		18:00	30	19:00	30	20:00	30	21:00	30	22:00	30
Alfieri					ICOOOLPS Session 1				ICOOOLPS Session 2										ICOOOLPS Session 3						ICOOOLPS Session 4					ICOOOLPS Session 5
Ariosto + Manzoni							CurryOn Catering Coffee break							CurryOn Catering Lunch									CurryOn Catering Coffee break
Auditorium Loyola			CurryOn Keynote						CurryOn Session 1b										CurryOn Session 2b						CurryOn Session 3b					CurryOn Keynote
Belli			PX Session 1						PX Session 2										PX Session 3						PX Session 4
Foscolo									CurryOn Session 1a										CurryOn Session 2a						CurryOn Session 3a
Mercati di Traiano																	CurryOn Curry On Party!
Quasimodo																	IWACO Session 1							IWACO Session 2				IWACO Session 3
Saba									VORTEX Session 1										VORTEX Session 2

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


Room	8:00	30		9:00	30		10:00		30		11:00	30	12:00		30	13:00		30		14:00	30	15:00		30	16:00	30	17:00	30		18:00	30	19:00	30
Alfieri										JSTools Session 1									JSTools Session 2						JSTools Session 3
Ariosto + Manzoni						CurryOn Catering Coffee break								CurryOn Catering Lunch									CurryOn Catering Coffee break
Auditorium Loyola				CurryOn Keynote				CurryOn Session 4b											CurryOn Session 5b						CurryOn Session 6b				CurryOn Session 7b		CurryOn Keynote
Belli								FTfJP Invited talk			FTfJP Session 2								FTfJP Session 3						FTfJP Session 4
Foscolo								CurryOn Session 4a											CurryOn Session 5a						CurryOn Session 6a				CurryOn Session 7a
Manzoni																	CurryOn Catering Poster Session & Workshops Reception
Quasimodo			COP Opening and Keynote					COP Research Papers 1											COP Research Papers 2
Saba			GRACE Opening session					GRACE Grace											GRACE Contributed Papers						GRACE Discussion

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


Room	8:00	30		9:00	30	10:00	30	11:00	30	12:00	30	13:00	30		14:00	30	15:00	30	16:00	30
Ariosto + Manzoni						Catering Coffee break				Catering Lunch							Catering Coffee break
Auditorium Loyola			Research Track Invited Talk				Research Track Session 1							Research Track Session 2				Research Track Session 3
Leopardi							Summer School Lecture 1						Summer School Lecture 2a					Summer School Lecture 2b

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


Room	9:00	30	10:00	30	11:00	30		12:00	30	13:00	30		14:00		30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30	22:00	30
Ariosto + Manzoni			Catering Coffee break				Catering Lunch									Catering Coffee break
Auditorium Loyola	Research Track DN Talk			Research Track Session 4								Research Track Session 5					Research Track Session 6
Leopardi				Summer School Lecture 3							Summer School Lecture 4a						Summer School Lecture 4b
Pinacoteca del Tesoriere														Catering Banquet

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


Room	9:00	30	10:00	30	11:00	30		12:00	30	13:00	30		14:00		30	15:00	30	16:00	30
Ariosto + Manzoni			Catering Coffee break				Catering Lunch
Auditorium Loyola	Research Track DN Talk			Research Track Session 7							Research Track Session 8
Leopardi				Summer School Lecture 5a								Summer School Lecture 5b
Manzoni														Catering Ice Cream Social

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45		9:00	15	30	45	10:00		15		30		45		11:00		15		30		45		12:00	15		30	45	13:00	15	30	45		14:00		15		30		45		15:00	15		30	45	16:00	15	30	45			17:00		15	30	45	18:00	15	30	45
Alfieri				STOP Opening remarks 08:45 - 08:55	STOP Types for Ruby 08:55 - 09:45						STOP Optional Typing in Dart: Purity and Practice 10:05 - 10:55						STOP Beyond Types: Extending the Gradual Guarantee 10:55 - 11:25				STOP Gradual Typing for Delimited Continuations 11:25 - 11:55				STOP Automating Gradual Typing 11:55 - 12:25										STOP Gradual types for real-world objects 13:50 - 14:40						STOP A Systematic Performance Evaluation of Gradually Typed Functions and Re ... 14:40 - 15:10								STOP From Optional to Gradual Typing via Transient Checks 16:00 - 16:30		STOP Closing remarks 16:30 - 16:40	ECOOP Summer School Welcome 16:45 - 16:55		ECOOP Summer School My twenty-five years of ECOOP 16:55 - 17:45					ECOOP Summer School Research in Academia and Industry 17:45 - 18:45
Ariosto									CurryOn Catering Coffee break 09:45 - 10:05																			CurryOn Catering Lunch 12:25 - 13:50																		CurryOn Catering Coffee break 15:20 - 16:00
Belli				ECOOP Doctoral Symposium Welcome 08:45 - 08:55	ECOOP Doctoral Symposium Lightning Talks 08:55 - 09:15		ECOOP Doctoral Symposium Live Programming Environments for Reactive MVU Applications 09:15 - 09:45				ECOOP Doctoral Symposium User-Centric Static Analysis 10:05 - 10:35				ECOOP Doctoral Symposium Domain-based Simulation Modelling to Enable Continuous Testing for Soft ... 10:35 - 11:05				ECOOP Doctoral Symposium Coffee break 11:05 - 11:25		ECOOP Doctoral Symposium Language Design for Validatable Information System Specifications 11:25 - 11:55				ECOOP Doctoral Symposium Compositional and Mechanically Verified Program Analyzers 11:55 - 12:25										ECOOP Doctoral Symposium Invited Talk: How to get your Ph.D. DONE 13:50 - 14:20				ECOOP Doctoral Symposium Concept Parameters as a New Mechanism of Generic Programming for C# Lan ... 14:20 - 14:50				ECOOP Doctoral Symposium Exploring optional security typing 14:50 - 15:20						ECOOP Doctoral Symposium Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages 16:00 - 16:30		ECOOP Doctoral Symposium Invited Talk: Papers vs. Artefacts 16:30 - 17:00				ECOOP Doctoral Symposium Invited Talk: PhD Reflections 17:00 - 17:30
Foscolo				LIVE The Promise of Live Programming 08:45 - 09:45							LIVE Language Hacking in a Live Programming Environment 10:05 - 10:25		LIVE Towards Live Language Development 10:25 - 10:45			LIVE Live Programming with Code Portals 10:45 - 11:05				LIVE Live end-user programming: a demo/manifesto 11:15 - 11:35			LIVE Discuss: New Interfaces for Programming 11:35 - 12:25												LIVE Live Programming by Example: Using Direct Manipulation for Live Program ... 13:50 - 14:10		LIVE Live Literals 14:10 - 14:30			LIVE Liveness for Verification 14:30 - 14:50			LIVE Live Lightning Talks 14:50 - 15:20						LIVE Leveraging live programming in the classroom — an experience report 16:00 - 16:50				LIVE Live Tuning: Expanding Live Programming Benefits to Non-Programmers 16:50 - 17:10			LIVE Sintr: Experimenting with liveness at scale 17:10 - 17:30		LIVE Discuss: Live Programming, Live Coding, and Intelligence Amplification 17:30 - 18:20
Montale				PMLDC Opening Remarks 08:45 - 09:00		PMLDC We Are All Distributed System Engineers 09:00 - 09:45				PMLDC Implicitly Distributing Pervasively Concurrent Programs 10:00 - 10:30				PMLDC Static Type Checking for the Kompics Component Model -- Kola - The Komp ... 10:30 - 11:00				PMLDC Towards Aggregate Programming in Scala 11:00 - 11:30				PMLDC Building Distributed Applications with Data and Time Frames 11:30 - 12:00				PMLDC Fractional Permissions for Race-Free Mutable References in a Dataflow I ... 12:00 - 12:30									PMLDC Tracking the Elephants in the System 13:50 - 14:20				PMLDC Join Decompositions for Efficient Synchronization of CRDTs after a Netw ... 14:20 - 14:50				PMLDC Integration Challenges of Pure Operation-based CRDTs in Redis 14:50 - 15:20						PMLDC The Consistency Babel 16:00 - 16:30		PMLDC Data-centric Consistency Policies: A Programming Model for Distributed ... 16:30 - 17:00				PMLDC On the Potential of Event Sourcing for Retroactive Actor-based Programming 17:00 - 17:30

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


Room	8:00	15	30	45	9:00		15	30	45	10:00			15	30		45			11:00			15	30		45	12:00		15		30	45	13:00	15		30	45		14:00	15		30			45		15:00	15		30	45	16:00	15	30	45		17:00		15	30		45	18:00		15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45
Alfieri						ICOOOLPS Welcome 09:10 - 09:15	ICOOOLPS Source Language Representation of Function Summaries in Static Analysis 09:15 - 09:45				ICOOOLPS Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrume ... 10:05 - 11:05									ICOOOLPS The Performance of Object Encodings in JavaScript 11:05 - 11:35				ICOOOLPS Virtual Machine Warm-up Blows Hot and Cold 11:35 - 12:05			ICOOOLPS Discussions 12:05 - 12:25										ICOOOLPS Growing an Abstract Grammar: Teaching Language Engineering 13:50 - 14:50								ICOOOLPS MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Langua ... 14:50 - 15:20						ICOOOLPS TruffleReloader: A Low-Overhead Language-Neutral Reloader 16:00 - 16:30		ICOOOLPS Sulong - Execution of LLVM-Based Languages on the JVM 16:30 - 17:00			ICOOOLPS Efficient Profiling of Actor-based Applications in Parallel and Distrib ... 17:00 - 17:30				ICOOOLPS Demo of Docking: Enabling Language Based Dynamic Coupling 17:40 - 18:05			ICOOOLPS Discussions and Wrap Up 18:05 - 18:30
Ariosto + Manzoni									CurryOn Catering Coffee break 09:45 - 10:05																				CurryOn Catering Lunch 12:25 - 13:50																			CurryOn Catering Coffee break 15:20 - 16:00
Auditorium Loyola				CurryOn Curry On opening remarks 08:45 - 09:00	CurryOn How To Win Big With Old Ideas 09:00 - 09:50						CurryOn Move Fast to Fix More Things 10:05 - 10:45							CurryOn Notes on Post-Post-Modern-Modern Programming 10:55 - 11:35							CurryOn A Type is Worth a Thousand Tests 11:45 - 12:25												CurryOn Building Scalable Stateful Services 13:50 - 14:30						CurryOn Data-driven Software security using Differential Privacy and Deep Learning 14:40 - 15:20								CurryOn Doing data science with Clojure: the ugly, the sad, the joyful 16:00 - 16:40				CurryOn Oden - A Functional Programming Language for the Go Ecosystem 16:50 - 17:30					CurryOn The Racket Manifesto 17:40 - 18:30
Belli				PX Introduction 08:45 - 09:00	PX How Live are Live Programming Systems? – Benchmarking the Response Time ... 09:00 - 09:45						PX Envision – Turning the IDE into a Visual Information System. 10:05 - 10:50						PX Satisfaction, Time Investment and Success in Students' Programming Exer ... 10:50 - 11:35							PX Towards Gaze Control in Programming Environments. 11:35 - 12:20													PX Towards Making a Computer Tutor for Children of All Ages - A Memo. 13:50 - 14:35					PX I sit down at my editor, and feel relaxed. 14:35 - 15:20									PX Exemplifying Moldable Development. 16:00 - 16:45			PX Evolving User Interfaces From Within Self-sustaining Programming Enviro ... 16:45 - 17:30
Foscolo											CurryOn The Functional Programming Languages Nomad 10:05 - 10:45							CurryOn Creating a Fun Game with Elm 10:55 - 11:35							CurryOn Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us 11:45 - 12:25												CurryOn Sieve: Cryptographically Enforced Access Control for User Data in Untru ... 13:50 - 14:30						CurryOn Rascal: the Swiss Army Knife of Meta Programming 14:40 - 15:20								CurryOn Why The Free Monad isn't Free 16:00 - 16:40				CurryOn Exercises in Programming Style 16:50 - 17:30
Mercati di Traiano																																		CurryOn Curry On Party! 19:30 - 23:00
Quasimodo																																		IWACO Frozen Realms: Confining effects for safer JavaScript plugins 13:50 - 14:20			IWACO Towards Enabling Low-Level Memory Optimisations at the High-Level with ... 14:20 - 14:50			IWACO Objects as Session-Typed Processes 14:50 - 15:20									IWACO Are Ownership Types Reaching the World Yet? 16:00 - 16:30		IWACO Kappa: Insights, Current Status and Future Work 16:30 - 17:00		IWACO Abstract Data Types in Object-Capability Systems 17:00 - 17:30				IWACO Closing Discussions 17:40 - 18:30
Saba											VORTEX Opening Remarks 10:05 - 10:10	VORTEX StaRVOOrS: A framework for static and runtime verification of data and ... 10:10 - 10:40			VORTEX Runtime Verification with Data 10:40 - 11:10						VORTEX Runtime Verification of Safe Advisories in the Next-Generation Airborne ... 11:10 - 11:40																VORTEX Extracting Runtime Monitors from Tests: An Overview and a way forward 13:50 - 14:20			VORTEX Runtime checks as nominal types 14:20 - 14:50					VORTEX The Early Bird Catches the Worm: first Verify, then Monitor! 14:50 - 15:19			VORTEX Closing Remarks 15:19 - 15:20

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


Room	8:00	15	30	45	9:00	15	30	45	10:00			15	30	45			11:00	15	30		45		12:00	15		30	45	13:00	15		30	45		14:00	15		30		45		15:00	15		30	45	16:00	15	30		45		17:00	15		30		45	18:00	15	30	45	19:00	15	30	45
Alfieri														JSTools Opening Remarks 10:45 - 10:50	JSTools So You Want to Build Memory Tooling For JavaScript? 10:50 - 11:30				JSTools Sound Type Inference for JavaScript 11:30 - 12:10														JSTools Invited Talk - Frozen Realms: Confining effects for safer JavaScript pl ... 13:50 - 14:20			JSTools JavaScript Verification 14:20 - 14:50				JSTools What Went Wrong? Automatic Triage of Precision Loss During Static Analy ... 14:50 - 15:20						JSTools Verification of Communication in Web Applications 16:00 - 16:40			JSTools Fishing for JavaScript Bugs at the Shallow End 16:40 - 17:20					JSTools Closing Remarks 17:20 - 17:30
Ariosto + Manzoni								CurryOn Catering Coffee break 09:45 - 10:05																	CurryOn Catering Lunch 12:25 - 13:50																		CurryOn Catering Coffee break 15:20 - 16:00
Auditorium Loyola					CurryOn It's the End of the World as We Know It, and I Feel Fine 09:00 - 09:50					CurryOn Dartino - a managed language on micro-controllers? 10:05 - 10:45						CurryOn Redesigning Type Systems for Industry OO 10:55 - 11:35					CurryOn Static analysis for security at the Facebook scale 11:45 - 12:25												CurryOn Practical Demystification of CRDTs 13:50 - 14:30					CurryOn Distributed Iterative Computation in TensorFlow 14:40 - 15:20								CurryOn Distributed Configuration with Clojure 16:00 - 16:40					CurryOn Using Object Algebras To Design Embedded Domain Specific Languages 16:50 - 17:30					CurryOn A brief and incomplete history of programming languages 17:40 - 18:20				CurryOn Building an Open Source Research Lab 18:30 - 19:20
Belli										FTfJP Opening 10:05 - 10:10	FTfJP Java Generics are Turing Complete 10:10 - 11:00						FTfJP A Mechanical Soundness Proof for Subtyping Over Recursive Types 11:00 - 11:30		FTfJP A formal account of SSA in Java-like languages 11:30 - 12:00				FTfJP A Note on the Soundness of Difference Propagation 12:00 - 12:25										FTfJP Generating Concurrency Checks Automatically 13:50 - 14:20			FTfJP An Extended Buffered Memory Model With Full Reorderings 14:20 - 14:50				FTfJP Towards a Model of Corecursion with Default 14:50 - 15:20						FTfJP Tool Demonstration: The VeriFast Verification System for Java and C 16:00 - 16:30		FTfJP Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast 16:30 - 17:00				FTfJP Coupling Catch Clauses with Local Declarations 17:00 - 17:30			FTfJP Towards Modular Reasoning for Context-Oriented Programs 17:30 - 18:00			FTfJP Permission and Authority Revisited: Towards a Formalization 18:00 - 18:30
Foscolo										CurryOn Functional Programming and Foreign Language Interfaces: Essentials in D ... 10:05 - 10:45						CurryOn The Future of Programming will be Live 10:55 - 11:35					CurryOn From Unikernels to Databases to UIs: Truly full-stack apps in OCaml 11:45 - 12:25												CurryOn On the chemistry of typestate-oriented actors 13:50 - 14:30					CurryOn Become a Polyglot by learning Java! 14:40 - 15:20								CurryOn What is programming? 16:00 - 16:40					CurryOn Are We Ready for Secure Languages? 16:50 - 17:30					CurryOn To Macros and Beyond!: How macros changed Scala, and what's coming next 17:40 - 18:20
Manzoni																														CurryOn Catering Poster Session & Workshops Reception 17:30 - 18:30
Quasimodo				COP Opening 08:45 - 09:00	COP Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty. 09:00 - 09:45					COP Classes as Layers: Rewriting Design Patterns with COP - Alternative Imp ... 10:05 - 10:50					COP Consistent Unanticipated Adaptation for Context-Dependent Applications 10:50 - 11:40					COP Optimizing Sideways Composition: Fast Context-Oriented Programming in C ... 11:40 - 12:25													COP A Context-Oriented Software Architecture 13:50 - 14:20			COP Detecting Invalid Layer Combinations Using Control-Flow Analysis for An ... 14:20 - 14:50				COP Transaction Layers: Controlling Granularity of Change in Live Programmi ... 14:50 - 15:20
Saba				GRACE Overview of the Grace project and language 08:45 - 09:45						GRACE Experience teaching with Grace 10:05 - 10:45				GRACE Recent changes and language design issues in Grace 10:45 - 11:55								GRACE The Recurring Rainfall Problem 11:55 - 12:25											GRACE Grace in Spoofax: Readable Specification and Implementation in One 13:50 - 14:20			GRACE Traitorous Traits 14:20 - 14:50				GRACE Tooling matters – Why Grace needs a good IDE 14:50 - 15:20						GRACE Next steps with Grace 16:00 - 17:30

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


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45		11:00	15		30	45	12:00	15	30	45	13:00	15	30	45	14:00		15	30		45	15:00	15	30	45		16:00	15		30	45
Ariosto + Manzoni									ECOOP Catering Coffee break 10:00 - 10:30										ECOOP Catering Lunch 12:00 - 13:30														ECOOP Catering Coffee break 15:00 - 15:30
Auditorium Loyola				ECOOP Research Track Welcome address 08:45 - 09:00	ECOOP Research Track The Elements of Decision Alignment: Large programs as complex organizations 09:00 - 10:00						ECOOP Research Track Higher-Order Demand-Driven Program Analysis 10:30 - 10:55		ECOOP Research Track Interprocedural Type Specialization of JavaScript Programs Without Type ... 10:55 - 11:20			ECOOP Research Track Magic with Dynamo – Flexible Cross-Component Linking for Java with Invo ... 11:20 - 11:45		ECOOP Research Track Awards 11:45 - 12:00								ECOOP Research Track C++ const and Immutability: An Empirical Study of Writes-Through-const 13:45 - 14:10		ECOOP Research Track Formal Language Recognition with the Java Type Checker 14:10 - 14:35			ECOOP Research Track Towards Ontology-Based Program Analysis 14:35 - 15:00				ECOOP Research Track Making an Embedded DBMS JIT-friendly 15:30 - 15:55		ECOOP Research Track QL: Object-oriented Queries on Relational Data 15:55 - 16:20			ECOOP Research Track Transactional Tasks: Parallelism in Software Transactions 16:20 - 16:45
Leopardi											ECOOP Summer School 28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand 10:30 - 12:00														ECOOP Summer School Building a Research Program for Scripting Languages 13:30 - 15:00										ECOOP Summer School Building a Research Program for Scripting Languages 15:30 - 17:00

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


Room	9:00	15	30	45	10:00	15	30	45		11:00	15		30	45	12:00	15	30	45	13:00	15	30	45	14:00		15		30		45	15:00	15	30	45		16:00	15		30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45
Ariosto + Manzoni					ECOOP Catering Coffee break 10:00 - 10:30									ECOOP Catering Lunch 11:45 - 13:30																ECOOP Catering Coffee break 15:00 - 15:30
Auditorium Loyola	ECOOP Research Track Half a Life in Software (Senior DN Prize Lecture) 09:00 - 10:00						ECOOP Research Track A Calculus for Variational Programming 10:30 - 10:55		ECOOP Research Track A Calculus with Partially Dynamic Records for Typeful Manipulation of J ... 10:55 - 11:20			ECOOP Research Track Transforming programs between APIs with Many-to-Many Mappings 11:20 - 11:45										ECOOP Research Track LJGS: Gradual Security Types for Object-Oriented Languages 13:45 - 14:10		ECOOP Research Track Lightweight session programming in Scala 14:10 - 14:35				ECOOP Research Track Trace Typing: An Approach for Evaluating Retrofitted Type Systems 14:35 - 15:00				ECOOP Research Track Object Inheritance without Classes 15:30 - 15:55		ECOOP Research Track Program Tailoring: Slicing by Sequential Criteria 15:55 - 16:20			ECOOP Research Track Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Se ... 16:20 - 16:45
Leopardi							ECOOP Summer School Gradual Type Systems 10:30 - 12:00														ECOOP Summer School A JIT Compiler (almost) for Free 13:30 - 15:00											ECOOP Summer School A JIT Compiler (almost) for Free 15:30 - 17:00
Pinacoteca del Tesoriere																										ECOOP Catering ECOOP Banquet 19:30 - 23:00

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


Room	9:00	15	30	45	10:00	15	30	45		11:00	15		30	45	12:00	15	30	45	13:00	15	30		45		14:00	15		30	45	15:00		15	30	45	16:00	15	30	45
Ariosto + Manzoni					ECOOP Catering Coffee break 10:00 - 10:30									ECOOP Catering Lunch 11:45 - 13:30
Auditorium Loyola	ECOOP Research Track Synthesis and Verification for All (Junior DN Prize Lecture) 09:00 - 10:00						ECOOP Research Track Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis f ... 10:30 - 10:55		ECOOP Research Track IceDust: Incremental and Eventual Computation of Derived Values in Pers ... 10:55 - 11:20			ECOOP Research Track Reference Capabilities for Concurrency Control 11:20 - 11:45									ECOOP Research Track Composing Interfering Abstract Protocols 13:30 - 13:55			ECOOP Research Track Fine-grained Language Composition: A Case Study 13:55 - 14:20			ECOOP Research Track One Way to Select Many 14:20 - 14:45		ECOOP Research Track Staccato: A Bug Finder for Dynamic Configuration Updates 14:45 - 15:10		ECOOP Research Track Adjourn 15:10 - 15:20
Leopardi							ECOOP Summer School Experimental Evaluation of Programming Systems 10:30 - 12:00															ECOOP Summer School Experimental Evaluation of Programming Systems 13:40 - 15:10									ECOOP Summer School Adjourn 15:10 - 15:20
Manzoni																											ECOOP Catering Social 15:20 - 16:20

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

ECOOP 2016 Program

Filter Program

Program Display Configuration

Sun 17 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

Sun 17 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

STOP

STOP

STOP

STOP

Summer School

CurryOn Catering

CurryOn Catering

CurryOn Catering

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

LIVE

LIVE

LIVE

LIVE

PMLDC

PMLDC

PMLDC

PMLDC

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

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

CurryOn Catering

CurryOn Catering

CurryOn Catering

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

PX

PX

PX

PX

CurryOn

CurryOn

CurryOn

CurryOn

IWACO

IWACO

IWACO

VORTEX

VORTEX

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

JSTools

JSTools

JSTools

CurryOn Catering

CurryOn Catering

CurryOn Catering

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

FTfJP

FTfJP

FTfJP

FTfJP

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn Catering

COP

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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