[TYPES/announce] SPLASH'16 Amsterdam CFP: early registration ends Sept 30
Tijs van der Storm
storm at cwi.nl
Wed Sep 28 16:16:54 EDT 2016
#################################################
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'16)
#################################################
Amsterdam, The Netherlands
Sun 30th October - Fri 4th November , 2016
http://2016.splashcon.org
https://twitter.com/splashcon
https://www.facebook.com/SPLASHCon/
** REGISTRATION **
30 September 2016 (Early Deadline)
Contact: info at splashcon.org
http://2016.splashcon.org/attending/registration
# What's happening at SPLASH?
## Keynotes
- Benjamin Pierce (SPLASH)
The Science of Deep Specification
- Andy Ko (SPLASH)
A Human View of Programming Languages
- Martin Odersky (SPLASH)
- Guy Steele Jr. (SPLASH-I)
- Robby Findler (SLE)
Redex: Lightweight Semantics Engineering
- Tiark Rompf (GPCE)
Lightweight Modular Staging: Generate all the things!
- Simon Peyton Jones (SPLASH-I/E)
The dream of a lifetime: shaping how our children learn computing
- Laurence Tratt (Scala)
Fine-grained language composition without a common VM
- Jan Vitek (Scala)
This is not a Type: Gradual typing in practice
## Workshop Keynotes
- Andrew Black (NOOL)
The Essence of Inheritance
- Alan Blackwell (PLATEAU)
How to Design a Programming Language
- Felienne Hermans (DSLDI)
Small, simple and smelly: What we can learn from examining end-user
artifacts?
- Ivano Malavolta (Mobile!)
Beyond native apps: Web technologies to the rescue!
- Betsy Pepels (ITSLE)
Model Driven Software Engineering (MDSE) in the large
- Markus Voelter (ITSLE)
Lessons Learned about Language Engineering from the Development of mbeddr
- Beverly Sanders (SEPS)
Patterns for Parallel Programming: New and Improved!
** Conference Program **
http://2016.splashcon.org/program/program-splash-2016
** SPLASH-I Track **
SPLASH-I is a series of invited and solicited 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 rest of SPLASH during the week days. Talks are
open to all attendees.
A selection of confirmed talks:
- Edwin Brady
Type-driven Development in Idris
- Jürgen Cito
Using Docker Containers to Improve Reproducibility in PL/SE Research
- Yvonne Coady
Exploratory Analysis in Virtual Reality: The New Frontier
- Adam Chlipala
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
- Tudo Girba
Software Environmentalism
- Robert Grimm
Adventures in Software Evolution
- Brian Harvey
Snap! Scheme Disguised as Scratch
- Lennart Kats
Responsive Language Tooling For Cloud-based IDEs
- Ralf Laemmel
The basic skill set of software language engineering
- Crista Lopes
Simulating Cities: The Spacetime Framework
- Heather Miller
Language Support for Distributed Systems
- Mark Miller & Bill Tulloh
The elements of decision alignment: Large programs as complex
organizations
- Boaz Rosenan & David Lorenz
Define Your App, Don’t Implement It: Building a Scalable Social Network
in 45 minutes
- Emmanuel Schanzer
Bootstrap
- Chris Seaton
Truffle and Graal: Fast Programming Languages With Modest Effort
- Emma Söderbergh
From Tricorder to Tricium: Useful Static Analysis and the Importance of
Workflow Integration
- Emma Tosch
Designing and Debugging Surveys with SurveyMan
- Todd Veldhuizen
Fast Datalog
- Markus Völter
How Domain Requirements Shape Languages
- Jos Warmer
Making Mendix Meta Model Driven
- Andy Zaidman
Fact or fiction? What software analytics can do for us (developers and
researchers)
More information here:
http://2016.splashcon.org/track/splash-2016-splash-i#program
** Research tracks
- OOPSLA
http://2016.splashcon.org/track/splash-2016-oopsla#event-overview
- Onward!
http://2016.onward-conference.org/track/onward-2016-papers#event-overview
- Onward! Essays
http://2016.onward-conference.org/track/onward2016-essays#program
- Software Language Engineering (SLE)
http://conf.researchr.org/track/sle-2016/sle-2016-papers#event-overview
- Generative Programming: Concepts & Experiences (GPCE)
http://conf.researchr.org/track/gpce-2016/gpce-2016-papers#event-overview
- Dynamic Languages Symposium (DLS)
http://conf.researchr.org/track/dls-2016/dls-2016-papers#event-overview
- Scala Symposium
http://conf.researchr.org/track/scala-2016/scala-2016#event-overview
** Other Events
- Doctoral Symposium
http://2016.splashcon.org/track/splash-2016-ds#event-overview
- Programming Language Mentoring Workshop (PLMW)
http://2016.splashcon.org/track/splash-2016-plmw
- Student Research Competition (SRC)
http://2016.splashcon.org/track/splash-2016-src
- Posters
http://2016.splashcon.org/track/splash-2016-posters#event-overview
** Workshops
SPLASH'16 is hosting a record number of 15 workshops:
- AGERE! Programming based on Actors, Agents, and Decentralized Control
http://2016.splashcon.org/track/agere2016
- DSLDI: Domain-Specific Language Design and Implementation
http://2016.splashcon.org/track/dsldi2016
- DSM: Domain-Specific Modeling
http://2016.splashcon.org/track/dsm2016
- FOSD: Feature-oriented Software Development
http://www.fosd.net/workshop2016
- ITSLE: Industry Track Software Language Engineering
http://2016.splashcon.org/track/itsle2016
- LWC at SLE: Language Workbench Challenge
http://2016.splashcon.org/track/lwc2016
- META
http://2016.splashcon.org/track/meta2016
- Mobile!
http://2016.splashcon.org/track/mobile2016
- NOOL: New Object-Oriented Languages
http://2016.splashcon.org/track/nool2016
- PLATEAU: Evaluation and Usability of Programming Languages and Tools
http://2016.splashcon.org/track/plateau2016
- Parsing at SLE
http://2016.splashcon.org/track/parsing2016
- REBLS: Reactive and Event-based Languages & Systems
http://2016.splashcon.org/track/rebls2016
- SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster
http://2016.splashcon.org/track/samde2016
- SEPS: Software Engineering for Parallel Systems
http://2016.splashcon.org/track/seps2016
- VMIL: Virtual Machines and Intermediate Languages
http://2016.splashcon.org/track/vmil2016
- WODA: Workshop on Dynamic Analysis
http://2016.splashcon.org/track/woda2016
## SPLASH'16 is kindly supported by the following organizations:
- ACM: http://www.acm.org/
- SIGPLAN: http://www.sigplan.org/
- LogicBlox (Gold): http://www.logicblox.com/
- Universal Robots (PLMW, Gold): http://www.universal-robots.com/
- Oracle (Silver): http://www.oracle.com/index.html
- TU Delft (Silver): http://tudelft.nl/
- Huawei (Bronze): http://www.huawei.com/en/
- Facebook (Bronze): https://research.facebook.com/
- IBM Research (Bronze): http://www.research.ibm.com/
- Google (Bronze): https://www.google.com
- Itemis (Bronze): https://www.itemis.com/en/
- ING (Bronze): https://www.ing.nl
Interested in supporting SPLASH'16? See our options here:
http://2016.splashcon.org/attending/support-program.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160928/f18d50b2/attachment-0001.html>
More information about the Types-announce
mailing list