Hi, 
Guest
Pic
Sign In

esug-list@lists.esug.org

View all threads

SPLASH'16 Amsterdam: Call For Participation

TV
Tijs van der Storm
Mon, Sep 12, 2016 9:17 PM

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

  • 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

  • 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/splash2016-splash-i

** Research tracks

** Other Events

** Workshops

SPLASH'16 is hosting a record number of 15 workshops:

SPLASH'16 is kindly supported by the following organizations:

Interested in supporting SPLASH'16? See our options here:
http://2016.splashcon.org/attending/support-program.

################################################# 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 - 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 - 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/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.
Empathy v1.0   2025 ©Harmonylists.com