Path: csiph.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: tvdstorm@gmail.com
Newsgroups: comp.compilers
Subject: SPLASH'16 Amsterdam: Call For Participation
Date: Mon, 12 Sep 2016 14:21:39 -0700 (PDT)
Organization: Compilers Central
Lines: 249
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <16-09-027@comp.compilers>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: miucha.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="39456"; mail-complaints-to="abuse@iecc.com"
Keywords: conference
Posted-Date: 13 Sep 2016 10:48:44 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:1766

#################################################
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@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)


## Workshop Keynotes

- Andrew Black (NOOL)
- Alan Blackwell (PLATEAU)
- Alastair Donald (WODA)
- Sam Guyer (WODA)
- Felienne Hermans (DSLDI)
- Ben Liblit (WODA)
- Benjamin Livshits (WODA)
- Ivano Malavolta (Mobile!)
- Yannis Smaragdakis (WODA)
- Frank Tip (WODA)
- Markus Voelter (ITSLE)


** Conference Program **

http://2016.splashcon.org/program/program-splash2015

** 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

- JC<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

- 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, Donbt 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 SC6derbergh
  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 VC6lter
  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/splash2016-splash-i

** 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@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@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/
- 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.