[TYPES/announce] Onward! 2023 @ SPLASH: Call for Papers & Essays

2023-04-07 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

## Onward! @ SPLASH 2023 – Call for Papers & Essays

https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2022-Onward-papers__;!!IBzWLUs!Q6xu7rjcPHDhz70NgfM8hwsmbnVxcIv5MA9Zxoo1qd-K-ZzZl5gXrSgVT0zXqEOH2njI-h1URwm63W2tsa5u748fatI$
 
https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-Onward-Essays__;!!IBzWLUs!Q6xu7rjcPHDhz70NgfM8hwsmbnVxcIv5MA9Zxoo1qd-K-ZzZl5gXrSgVT0zXqEOH2njI-h1URwm63W2tsa5uVU0_x88$
 

### Important dates

- *Fri 28 Apr 2023*: submission deadline
- Wed 21 Jun 2023: first round notifications
- Fri 21 Jul 2023: revision due
- Fri 11 Aug 2023: final notification
- Sun 10 Sep 2023: camera ready deadline

Submission site Onward! Papers: 
https://urldefense.com/v3/__https://onward23papers.hotcrp.com/__;!!IBzWLUs!Q6xu7rjcPHDhz70NgfM8hwsmbnVxcIv5MA9Zxoo1qd-K-ZzZl5gXrSgVT0zXqEOH2njI-h1URwm63W2tsa5uY475jeQ$
 
Submission site Onward! Essays 
https://urldefense.com/v3/__https://onward23essays.hotcrp.com/__;!!IBzWLUs!Q6xu7rjcPHDhz70NgfM8hwsmbnVxcIv5MA9Zxoo1qd-K-ZzZl5gXrSgVT0zXqEOH2njI-h1URwm63W2tsa5ua7-cGW0$
  

For additional information, clarification, or answers to questions please 
contact the PC chairs at onw...@splashcon.org.

Onward! is a premier multidisciplinary conference focused on everything to do 
with programming and software:  including processes, methods, languages, 
communities and applications. Onward! is more radical, more visionary and more 
open than other conferences to ideas that are well-argued but not yet fully 
proven. We welcome different ways of thinking about, approaching and reporting 
on programming language and software engineering research.

### Onward! Papers

Onward! Papers is looking for grand visions and new paradigms that could make a 
big difference in how we will one day build software. But it is not looking for 
research-as-usual papers; conferences like OOPSLA are the place for that. Those 
conferences require rigorous validation such as theorems or empirical 
experiments, which are necessary for scientific progress, but which typically 
preclude discussion of early-stage ideas. Onward! papers must also supply some 
degree of validation because mere speculation is not a good basis for progress. 
However, Onward! accepts less rigorous methods of validation such as compelling 
arguments, exploratory implementations, and substantial examples. The use of 
worked-out examples to support new ideas is strongly encouraged.

### Onward! Essays

Onward! Essays is looking for clear and compelling pieces of writing about 
topics important to the software community. An essay can be long or short. An 
essay can be an exploration of the topic and its impact, or a story about the 
circumstances of its creation; it can present a personal view of what is, 
explore a terrain, or lead the reader in an act of discovery; it can be a 
philosophical digression or a deep analysis. It can describe a personal 
journey, perhaps the one the author took to reach an understanding of the 
topic. The subject area—software, programming, and programming languages—should 
be interpreted broadly and can include the relationship of software to human 
endeavors, or its philosophical, sociological, psychological, historical, or 
anthropological underpinnings.






Senior Researcher at Centrum Wiskunde & Informatica (CWI)
Professor in Software Engineering at University of Groningen (RUG)
https://urldefense.com/v3/__http://www.cwi.nl/*storm__;fg!!IBzWLUs!Q6xu7rjcPHDhz70NgfM8hwsmbnVxcIv5MA9Zxoo1qd-K-ZzZl5gXrSgVT0zXqEOH2njI-h1URwm63W2tsa5ukxb2qKc$
 



[TYPES/announce] SPLASH'16 Amsterdam CFP: early registration ends Sept 30

2016-09-29 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

#
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: i...@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 

[TYPES/announce] SPLASH'16 Amsterdam: Call For Participation

2016-09-14 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

#
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: i...@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

- 

[TYPES/announce] SPLASH'16 Final CFP: Workshops, SPLASH-E, SRC, PLMW

2016-08-02 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Keynotes: Benjamin Pierce and Andy Ko

Sponsored by ACM SIGPLAN

Combined Call for Contributions to Collocated Events:
- SPLASH-E, Student Research Competition, Programming Languages Mentoring
Workshop
- Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC@SLE, META, MOBILE!, NOOL,
PLATEAU, Parsing@SLE, REBLS, SA-MDE, SEPS, VMIL, WODA


The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction, to make it the premier conference at the
intersection of programming, languages, systems, and software engineering.
SPLASH'16 hosts a record number collocated tracks and events, from
associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16
workshops! Please see below about important dates. We look forward to your
submissions!

SPLASH'16 Tracks
===

## SPLASH-E: Foundational Concepts of Computation

SPLASH-E will be a one-day working meeting, with the following goals:

- Building on prior work, identify and enumerate the foundational concepts
of computation.
- More ambitiously, for each concept, create a detailed plan for a lesson
(or short sequence of lessons) for 8 year olds, to teach the concept.

We do not solicit publications, but we ask prospective participants to
submit a one-paragraph position statement.

Website: http://2016.splashcon.org/track/splash-2016-splash-e

## Student Research Competition

Continuing the successes of previous years, SPLASH is again hosting an ACM
SIGPLAN Student Research Competition (ACM SRC). The competition is an
internationally-recognized venue that enables undergraduate and graduate
students to experience the research world and to share their research
results with other students and SPLASH attendees. The competition has
separate categories for undergraduate and graduate students and awards
prizes to the top three students in each category. The ACM SIGPLAN Student
Research Competition shares the Poster session’s goal to facilitate
interaction with researchers and industry practitioners, providing both
sides with the opportunity to learn of ongoing, current research.
Additionally, the Student Research Competition gives students experience
with both formal presentations and evaluations.

Submission deadline: Mon 15 Aug 2016
Website: http://2016.splashcon.org/track/splash-2016-src

## PLMW: Programming Language Mentoring Workshop

The purpose of Programming Languages Mentoring Workshop (PLMW) is to give
promising students who consider pursuing a graduate degree in this field an
overview of what research in this field looks like and how to get into and
succeed in graduate school. In other words, a combination whirlwind tour of
this research area, networking opportunity, and how-to-succeed guide. The
program of PLMW will include talks by prominent researchers of the field of
programming languages and software engineering providing an insight in
their research. To learn more about PLMW, please see the SIGPLAN PLMW web
page (http://www.sigplan.org/Conferences/PLMW/).

Application deadline: Sun 14 Aug 2016
Website: http://2016.splashcon.org/track/splash-2016-plmw


Workshops
=

SPLASH'16 will host a record number of 16 workshops:

## AGERE! Programming based on Actors, Agents, and Decentralized Control

The AGERE! workshop is aimed at focusing on programming systems, languages
and applications based on actors, active/concurrent objects, agents and –
more generally – high-level programming paradigms promoting a mindset of
decentralized control in solving problems and developing software. The
workshop is designed to cover both the theory and the practice of design
and programming, bringing together researchers working on models, languages
and technologies, and practitioners developing real-world systems and
applications.

Abstract submission deadline: Mon 8 Aug 2016 (EXTENDED)
Paper submission deadline: Mon 15 Aug 2016 (EXTENDED)
Website: http://2016.splashcon.org/track/agere2016


## DSLDI: Domain-specific Language Design and Implementation

Domain-Specific Language Design and Implementation (DSLDI) is a workshop
intended to bring together researchers and practitioners interested in
discussing how DSLs should be designed, implemented, supported by tools,
and applied in realistic contexts. The focus of the workshop is on all
aspects of this process, from soliciting domain knowledge from experts,
through the design and implementation of the language, to evaluating
whether and how a DSL is 

[TYPES/announce] *EXTENDED DEADLINE* Language Workbench Challenge 2016

2016-08-01 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

#
Language Workbench Challenge 2016 @ SLE: Call for Solutions
Collocated with SPLASH'16 in Amsterdam, The Netherlands

Deadline: Mon 15 Aug 2016 (EXTENDED)
Notification: Mon 5 Sep 2016
Workshop: Tue 1 Nov 2016

http://2016.splashcon.org/track/lwc2016
#


Language workbenches are tools that lower the development costs of
implementing new languages and their associated tools (IDEs, debuggers
etc.). As well as easing the development of traditional stand-alone
languages, language workbenches also make multi-paradigm and
language-oriented programming environments practical. The Language
Workbench Challenge (LWC) aims to bring together language workbench users
and implementers, to discuss the state-of-the-art in language workbenches
and explore future directions.


LWC’16 solicits solutions to 3 benchmark problems proposed in Section 6.5
of the following paper:

Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, et
al.
**Evaluating and comparing language workbenches: Existing results and
benchmarks for the future**,
Computer Languages, Systems & Structures, Volume 44, Part A, December
2015, Pages 24–47.

DOI: http://dx.doi.org/10.1016/j.cl.2015.08.007
Preprint: http://homepages.cwi.nl/~storm/publications/lwc13-comlan.pdf

The benchmark problems are categorized in the following categories:

- Notation: challenges dealing with the appearance of source code,
including support for tabular notation, mathematical symbols, code in prose
etc.
- Evolution and reuse: challenges related to modularity, composition,
language versions and migration.
- Editing: challenges exercising how the language user interacts with code.

The goal of the workshop is to demonstrate, discuss and foster improvements
in tools, as well as encourage the collaboration between and learning among
different teams developing different (kinds of) editors. To this end, we
emphasize the implementation of the challenges, not writing about them.
Submissions should be short documents (in PDF format) describing each
solution using the following structure:

- Assumptions: Are there any assumptions or prerequisites relevant to the
implementation of the solution?
- Implementation: What are the important building blocks for defining the
solution? What does it take to implement the solution to the problem?
- Variants: Are there any interesting and insightful variants of the
implementation? What small change(s) to the challenge would make a big
difference in the implementation strategy or effort?
- Usability: What is the resulting user experience? Is it convenient to
use? Is it similar to other kinds of notations? Does it feel ’foreign’ to
experienced users of the particular editor?
- Impact: Which artifacts have to be changed to make the solution work? Are
changes required to (conceptually) unrelated artifacts? How modular is the
solution?
- Composability: To what degree does the solution support composition with
solutions to other benchmark problems other instances of the same problem
(e.g., same challenge problem, different language feature)?
- Limitations: What are the limitations of this implementation?
- Uses and Examples: Are there examples of this problem in real-world
systems? Where can the reader learn more?
- Effort (best-effort): How much effort has been spent to build the
solution, assuming an experienced user of the technology?
- Other Comments: Anything that does not fit within the other categories.
- Artifact: a publicly accessible URL to the source code of the submission.

The paper cited above includes two example descriptions for inspiration,
Submissions should furthermore use the ACM SIGPLAN Conference Format, 10
point font, using the font family Times New Roman and numeric citation
style.

The PC will review the submissions for inclusion in the workshop program,
based on criteria of providing interest for discussion, conformance to the
challenges, and whether the submission is on-topic (e.g., is using a
language workbench). The PDFs of accepted submissions will be published on
this website before the workshop.

Organization
- Meinte Boersma (Mendix)
- Eugen Schindler (Oce)
- Tijs van der Storm (CWI)
- Markus Voelter (itemis AG)

Program Committee
- Lorenzo Bettini (DISIA)
- Sebastian Erdweg (TU Delft)
- Pablo Inostroza (CWI)
- Tamás Szabó (itemis AG / TU Darmstadt)


[TYPES/announce] SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16

2016-07-04 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16
Amsterdam, The Netherlands (part of SPLASH 2016)
Tuesday, November 1st, 2016

http://2016.splashcon.org/track/splash-2016-plmw

We are pleased to invite students interested in programming languages to
the Programming Languages Mentoring Workshop (PLMW) at SPLASH. The goal of
this workshop is to introduce senior undergraduate and early graduate
students to research topics in programming languages as well as provide
career mentoring advice. We have recruited leaders from the programming
languages community to provide overviews of current research topics and
give students valuable advice about how to thrive in graduate school,
search for a job, and cultivate habits and skills that will help them in
research careers.

This workshop is part of the activities surrounding SPLASH, and takes place
the day before the main conference.  A key goal of the workshop is to make
SPLASH more accessible to newcomers.

Through the generous donation of our sponsors, we are able to provide
travel scholarships to fund student participation. These travel
scholarships will cover reasonable travel expenses (airfare and hotel) for
attendance at both the workshop and the following main three days of SPLASH.

The workshop is open to all. Students with alternative sources of funding
for their travel and registration fees are welcome. In particular, many
student attendance programs provide full or partial travel funding for
students to attend SPLASH 2016.  More information about student attendance
programs at SPLASH is available here:

http://2016.splashcon.org/attending/students

Application for Travel Support:

The travel funding application is available from the PLMW webpage. The
deadline for full consideration of funding is August 15th, 2016. Selected
participants will be notified by September 1st.

Organizers:

Sandrine Blazy, University of Rennes 1
Ulrik Pagh Schultz, University of Southern Denmark


[TYPES/announce] SPLASH'16: 2nd Combined Call for Contributions to Collocated Events

2016-06-15 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Sponsored by ACM SIGPLAN

Combined Call for Contributions to SPLASH tracks, collocated conferences,
symposia and workshops:
- SPLASH-I, SPLASH-E, Doctoral Symposium, Student Research Competition,
Programming Languages Mentoring Workshop, Posters
- Generative Programming: Concepts & Experiences (GPCE)
- Software Language Engineering (SLE)
- Scala Symposium
- Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC@SLE, META, MOBILE!, NOOL,
PLATEAU, Parsing@SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA


The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction, to make it the premier conference at the
intersection of programming, languages, systems, and software engineering.
SPLASH'16 hosts a record number collocated tracks and events, from
associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16
workshops! Please see below about important dates. We look forward to your
submissions!

SPLASH'16 Additional Tracks
===

## SPLASH-I: Innovation, Interaction, Insight, Industry, Invited

SPLASH-I is the track of SPLASH dedicated to great talks on exciting
topics! SPLASH-I will run in parallel with all of SPLASH (during the week
days), and is open to all attendees. SPLASH-I will host both invited talks
and selected talks submitted via this call for proposals. SPLASH-I solicits
inspiring talks, tutorials and demonstrations on exciting topics related to
programming and programming systems, delivered by excellent speakers from
academia or industry.

Deadline: 1st of August
Website: http://2016.splashcon.org/track/splash-2016-splash-i

## SPLASH-E: Foundational Concepts of Computation

SPLASH-E will be a one-day working meeting, with the following goals:

- Building on prior work, identify and enumerate the foundational concepts
of computation.
- More ambitiously, for each concept, create a detailed plan for a lesson
(or short sequence of lessons) for 8 year olds, to teach the concept.

We do not solicit publications, but we ask prospective participants to
submit a one-paragraph position statement.

Website: http://2016.splashcon.org/track/splash-2016-splash-e

## Doctoral Symposium

The SPLASH Doctoral Symposium provides students with useful guidance for
completing their dissertation research and beginning their research
careers. The Symposium will provide an interactive forum for doctoral
students who have progressed far enough in their research to have a
structured proposal, but will not be defending their dissertation in the
next 12 months.

Submission deadline: Thu 30 Jun 2016
Website: http://2016.splashcon.org/track/splash-2016-ds

## Student Research Competition

Continuing the successes of previous years, SPLASH is again hosting an ACM
SIGPLAN Student Research Competition (ACM SRC). The competition is an
internationally-recognized venue that enables undergraduate and graduate
students to experience the research world and to share their research
results with other students and SPLASH attendees. The competition has
separate categories for undergraduate and graduate students and awards
prizes to the top three students in each category. The ACM SIGPLAN Student
Research Competition shares the Poster session’s goal to facilitate
interaction with researchers and industry practitioners, providing both
sides with the opportunity to learn of ongoing, current research.
Additionally, the Student Research Competition gives students experience
with both formal presentations and evaluations.

Submission deadline: Mon 15 Aug 2016
Website: http://2016.splashcon.org/track/splash-2016-src

## PLMW: Programming Language Mentoring Workshop

The purpose of Programming Languages Mentoring Workshop (PLMW) is to give
promising students who consider pursuing a graduate degree in this field an
overview of what research in this field looks like and how to get into and
succeed in graduate school. In other words, a combination whirlwind tour of
this research area, networking opportunity, and how-to-succeed guide. The
program of PLMW will include talks by prominent researchers of the field of
programming languages and software engineering providing an insight in
their research. To learn more about PLMW, please see the SIGPLAN PLMW web
page (http://www.sigplan.org/Conferences/PLMW/).

Application deadline: Sun 14 Aug 2016
Website: http://2016.splashcon.org/track/splash-2016-plmw

## Posters

The SPLASH Poster track provides an excellent forum for authors 

[TYPES/announce] Lanuage Workbench Challenge 2016: Call for Solutions

2016-06-02 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

#
Language Workbench Challenge 2016 @ SLE: Call for Solutions
Collocated with SPLASH'16 in Amsterdam, The Netherlands

Deadline: Mon 1 Aug 2016
Notification: Mon 5 Sep 2016
Workshop: Tue 1 Nov 2016

http://2016.splashcon.org/track/lwc2016
#


Language workbenches are tools that lower the development costs of
implementing new languages and their associated tools (IDEs, debuggers
etc.). As well as easing the development of traditional stand-alone
languages, language workbenches also make multi-paradigm and
language-oriented programming environments practical. The Language
Workbench Challenge (LWC) aims to bring together language workbench users
and implementers, to discuss the state-of-the-art in language workbenches
and explore future directions.


LWC’16 solicits solutions to 3 benchmark problems proposed in Section 6.5
of the following paper:

Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, et
al.
**Evaluating and comparing language workbenches: Existing results and
benchmarks for the future**,
Computer Languages, Systems & Structures, Volume 44, Part A, December
2015, Pages 24–47.

DOI: http://dx.doi.org/10.1016/j.cl.2015.08.007
Preprint: http://homepages.cwi.nl/~storm/publications/lwc13-comlan.pdf

The benchmark problems are categorized in the following categories:

- Notation: challenges dealing with the appearance of source code,
including support for tabular notation, mathematical symbols, code in prose
etc.
- Evolution and reuse: challenges related to modularity, composition,
language versions and migration.
- Editing: challenges exercising how the language user interacts with code.

The goal of the workshop is to demonstrate, discuss and foster improvements
in tools, as well as encourage the collaboration between and learning among
different teams developing different (kinds of) editors. To this end, we
emphasize the implementation of the challenges, not writing about them.
Submissions should be short documents (in PDF format) describing each
solution using the following structure:

- Assumptions: Are there any assumptions or prerequisites relevant to the
implementation of the solution?
- Implementation: What are the important building blocks for defining the
solution? What does it take to implement the solution to the problem?
- Variants: Are there any interesting and insightful variants of the
implementation? What small change(s) to the challenge would make a big
difference in the implementation strategy or effort?
- Usability: What is the resulting user experience? Is it convenient to
use? Is it similar to other kinds of notations? Does it feel ’foreign’ to
experienced users of the particular editor?
- Impact: Which artifacts have to be changed to make the solution work? Are
changes required to (conceptually) unrelated artifacts? How modular is the
solution?
- Composability: To what degree does the solution support composition with
solutions to other benchmark problems other instances of the same problem
(e.g., same challenge problem, different language feature)?
- Limitations: What are the limitations of this implementation?
- Uses and Examples: Are there examples of this problem in real-world
systems? Where can the reader learn more?
- Effort (best-effort): How much effort has been spent to build the
solution, assuming an experienced user of the technology?
- Other Comments: Anything that does not fit within the other categories.
- Artifact: a publicly accessible URL to the source code of the submission.

The paper cited above includes two example descriptions for inspiration,
Submissions should furthermore use the ACM SIGPLAN Conference Format, 10
point font, using the font family Times New Roman and numeric citation
style.

The PC will review the submissions for inclusion in the workshop program,
based on criteria of providing interest for discussion, conformance to the
challenges, and whether the submission is on-topic (e.g., is using a
language workbench). The PDFs of accepted submissions will be published on
this website before the workshop.

Organization
- Meinte Boersma (Mendix)
- Eugen Schindler (Oce)
- Tijs van der Storm (CWI)
- Markus Voelter (itemis AG)

Program Committee
- Lorenzo Bettini (DISIA)
- Sebastian Erdweg (TU Delft)
- Pablo Inostroza (CWI)
- Tamás Szabó (itemis AG / TU Darmstadt)


[TYPES/announce] SPLASH'16: 1st Call for Contributions to Collocated Events

2016-05-19 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Sponsored by ACM SIGPLAN

Combined Call for Contributions to SPLASH tracks, collocated conferences,
symposia and workshops:
- SPLASH-I, Doctoral Symposium, Student Research Competition, Programming
Languages Mentoring Workshop, Posters
- Dynamic Languages Symposium (DLS)
- Generative Programming: Concepts & Experiences (GPCE)
- Software Language Engineering (SLE)
- Scala Symposium
- Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC@SLE, META, MOBILE!, NOOL,
PLATEAU, Parsing@SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA


The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction, to make it the premier conference at the
intersection of programming, languages, systems, and software engineering.
SPLASH'16 hosts a record number collocated tracks and events, from
associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16
workshops! Please see below about important dates. We look forward to your
submissions!

SPLASH'16 Additional Tracks
===

## SPLASH-I: Innovation, Interaction, Insight, Industry, Invited

SPLASH-I is the track of SPLASH dedicated to great talks on exciting
topics! SPLASH-I will run in parallel with all of SPLASH (during the week
days), and is open to all attendees. SPLASH-I will host both invited talks
and selected talks submitted via this call for proposals. SPLASH-I solicits
inspiring talks, tutorials and demonstrations on exciting topics related to
programming and programming systems, delivered by excellent speakers from
academia or industry.

Deadlines: 1st of June, 1st of August (if there are still available slots).
Website: http://2016.splashcon.org/track/splash-2016-splash-i

## Doctoral Symposium

The SPLASH Doctoral Symposium provides students with useful guidance for
completing their dissertation research and beginning their research
careers. The Symposium will provide an interactive forum for doctoral
students who have progressed far enough in their research to have a
structured proposal, but will not be defending their dissertation in the
next 12 months.

Submission deadline: Thu 30 Jun 2016
Website: http://2016.splashcon.org/track/splash-2016-ds

## Student Research Competition

Continuing the successes of previous years, SPLASH is again hosting an ACM
SIGPLAN Student Research Competition (ACM SRC). The competition is an
internationally-recognized venue that enables undergraduate and graduate
students to experience the research world and to share their research
results with other students and SPLASH attendees. The competition has
separate categories for undergraduate and graduate students and awards
prizes to the top three students in each category. The ACM SIGPLAN Student
Research Competition shares the Poster session’s goal to facilitate
interaction with researchers and industry practitioners, providing both
sides with the opportunity to learn of ongoing, current research.
Additionally, the Student Research Competition gives students experience
with both formal presentations and evaluations.

Submission deadline: Mon 15 Aug 2016
Website: http://2016.splashcon.org/track/splash-2016-src

## PLMW: Programming Language Mentoring Workshop

The purpose of Programming Languages Mentoring Workshop (PLMW) is to give
promising students who consider pursuing a graduate degree in this field an
overview of what research in this field looks like and how to get into and
succeed in graduate school. In other words, a combination whirlwind tour of
this research area, networking opportunity, and how-to-succeed guide. The
program of PLMW will include talks by prominent researchers of the field of
programming languages and software engineering providing an insight in
their research. To learn more about PLMW, please see the SIGPLAN PLMW web
page (http://www.sigplan.org/Conferences/PLMW/).

Application deadline: Sun 14 Aug 2016
Website: http://2016.splashcon.org/track/splash-2016-plmw

## Posters

The SPLASH Poster track provides an excellent forum for authors to present
their recent or ongoing projects in an interactive setting, and receive
feedback from the community. We invite submissions covering any aspect of
programming, systems, languages and applications. The goal of the poster
session is to encourage and facilitate small groups of individuals
interested in a technical area to gather and interact. It is held early in
the conference, to promote continued discussion among interested parties.

Submission 

[TYPES/announce] SPLASH-I 2016: Call for Talk Proposals!

2016-05-12 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

SPLASH-I: Innovation, Interaction, Insight, Industry, Invited

The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction and delivery to make it the premier conference at the
intersection of programming, languages, and software engineering. SPLASH
2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in
Amsterdam, The Netherlands.

SPLASH-I is the track of SPLASH dedicated to great talks on exciting
topics! SPLASH-I will run in parallel with all of SPLASH (during the week
days), and is open to all attendees. SPLASH-I will host both invited talks
and selected talks submitted via this call for proposals. SPLASH-I solicits
inspiring talks, tutorials and demonstrations on exciting topics related to
programming and programming systems, delivered by excellent speakers from
academia or industry.

SPLASH-I caters for three categories of presentations:

- Regular talks on programming languages, systems or concepts;
- Tutorials aimed at introducing particular tools, systems, or languages
- Demonstrations showing off cool programming technology.

All slots in SPLASH-I are 45 minutes.

Please submit proposals here: http://goo.gl/forms/FZqQwpd73G
Have a suggestion for a great speaker and topic? Suggest it here:
http://goo.gl/forms/MWzgStWkww

SPLASH-I maintains two deadlines: 1st of June, and, if there are still
slots available, 1st of August.

Websites: http://2016.splashcon.org/track/splash-2016-splash-i

Organization: Eelco Visser (TU Delft), Tijs van der Storm (CWI)

Committee:
 - Matthias Hauswirth (University of Lugano)
 - Igor Peshansky (Google)
 - Tiark Rompf (Purdue & Oracle Labs)
 - Jurgen Vinju (CWI)


[TYPES/announce] SPLASH 2016: Call for Sponsorships

2016-05-12 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction and delivery to make it the premier conference at the
intersection of programming, languages, and software engineering. SPLASH
2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in
Amsterdam, The Netherlands.

Web version of this call for sponsorships:
http://2016.splashcon.org/attending/support-program

SPLASH is where the best of the best in software innovation, programming
and programming languages convene, learn from and inspire each other, and
share their passion for software. Supporting SPLASH is an opportunity to
put your corporate name in front of this community — a superb investment
for your organization.

# Sponsorship Packages

## Diamond: $US 15 000

Benefits:
- Recognition as a supporter in print and on the web. Recognized as a
Diamond supporter on registration brochures and conference program
- Two company-provided items placed in the conference tote bag
- Official exclusive support for your choice of (subject to availability):
Doctoral Symposium, Poster Session, Keynotes, or support for 8 Student
Volunteers named for your organization
- Attendance (for two) at an invitation-only reception by the SPLASH
General Chair
- Choice of: two Full conference registrations; or two complimentary main
conference registrations plus two complimentary one-day pass registrations

## Gold: $US 10 000

Benefits:
- Recognition as a supporter in print and on the web. Recognized as a Gold
supporter on registration brochures and conference program
- Two company-provided items placed in the conference tote bag
- Official support for your choice of (subject to availability): Doctoral
Symposium, Poster Session, Keynotes, or support for 6 Student Volunteers
named for your organization
- Attendance (for two) at an invitation-only reception by the SPLASH
General Chair
- Choice of: one Full conference registration plus one complimentary main
conference registration; or two complimentary main conference registrations
plus one complimentary one-day pass registration

## Silver: $US 5000

Benefits:
- Recognition as a supporter in print and on the web. Recognized as a
Silver supporter on registration brochures and conference program
- One company-provided item placed in the conference tote bag
- Official support for your choice of: four Student Volunteers named for
your organization; or the Keynotes (non-exclusive support)
- Attendance (for two) at an invitation-only reception by the SPLASH
General Chair
- Your choice of: one Full conference registration; or one complimentary
main conference registration plus one complimentary one-day pass
registration; or three complimentary one-day pass registrations

## Bronze $US 3000

- Recognition as a supporter in print and on the web. Recognized as a
Bronze supporter on registration brochures and conference program
- One company-provided one-page insert placed in conference tote bag
- Official support for two Student Volunteers named for your organization
- Attendance (for one) at an invitation-only reception by the SPLASH
General Chair
- Your choice of: one complimentary main conference registration; or two
complimentary one-day pass registrations

# Why sponsor SPLASH?

SPLASH values innovation, collaboration, and diversity. For many software
researchers, academics, students, educators, and practitioners, SPLASH is
the most important conference of the year. It is a place to:

- improve skills and productivity, independent of any particular product or
vendor;
- gain a global perspective connecting with world experts; and
- discover and explore new trends and innovations in leading edge research
and practice.

Becoming a SPLASH corporate supporter demonstrates your leadership and
commitment to the community. It is an opportunity to:

- carry your message to community leaders;
- associate your brand with world-class research and development;
- position your company as a leader in the field; and
- prepare for the future.

Your corporate name and logo will be in front of the entire community
throughout the conference. For the same contribution you also receive
either complimentary or discounted SPLASH registrations for use by your
organization. You will also have the opportunity to participate in
invitation-only events that will provide you with direct, one-on-one
interactions with some key members of the SPLASH community.

Thank you for your time! Please do not hesitate to contact us at
supp...@splashcon.org. We look forward to helping you make the most of your
investment in SPLASH.

Jurgen Vinju
SPLASH 2016 Sponsorship Chair

Eelco Visser
SPLASH 2016 General Chair


[TYPES/announce] SPLASH'16: 1st Call for Workshop Proposals

2016-01-03 Thread Tijs van der Storm
 (primary organizer and contact
person do not need to be the same). For each organizer, the proposal should
describe his/her background (expertise in the area and previous experience
in running workshops) and also identify his/her responsibilities for the
workshop.

Anticipated attendance: the ideal, minimum, and maximum expected number of
participants. Please note that there will be an additional charge for
workshop registration at SPLASH 2015. The SPLASH organizing committee
reserves the right to cancel any workshops that do not meet attendance
goals.

Advertisement: the planned advertisement for the workshop to ensure
sufficient participation.

Participant preparation: what preparation is expected from workshop
participants, including how attendees gain access to the workshop (e.g.,
submission of a full paper, an extended abstract, a position paper).

Activities and format: the format of the workshop and a timetable. All
SPLASH 2015 workshops must be planned for one or two full days of
activities. For example, the proposal should describe whether there will be
introductory material, paper presentations, panel discussions, debates,
hands-on sessions, or focus groups, and how such groups will report back to
the other participants.

Post-workshop activities: what results are expected, and how these will be
disseminated to the wider public after the workshop. Workshops that result
in peer-reviewed papers and implement an ACM SIGPLAN-approved selection
process can submit formal proceedings to the ACM Digital Library. To get
the approval, the workshop has to meet the usual requirements defined for
ACM SIGPLAN events (i.e., approval of workshop proposal and workshop
program committee by ACM SIGPLAN). The approval process is coordinated by
the SPLASH organizers.

Special requirements: any special requirements you might have, in terms of
room configuration, audio and video equipment, etc.

### Format

Submissions should use the SIGPLAN Proceedings Format, 10 point font. Note
that by default the SIGPLAN Proceedings Format produces papers in 9 point
font. If you are formatting your paper using LaTeX, you will need to set
the 10pt option in the \documentclass command. If you are formatting your
paper using Word, you may wish to use the provided Word template that
supports this font size. Please include page numbers in your submission.

### Publication

If your workshop chooses to have published proceedings, be aware that
accepted papers will be available in the ACM Digital Library as early as
September 23, 2016. The official publication date is the date the
proceedings are made available in the ACM Digital Library. The official
publication date affects the deadline for any patent filings related to
published work. It is therefore vital that this information will be
communicated to participants in your workshop.

### Evaluation criteria

Workshop proposals will be selected based on the quality of the proposal
and according to the space available at SPLASH. The following questions may
be helpful in devising a high-quality proposal:

Are there at least two organizers and do they represent a reasonably varied
cross-section of the community close to the topic?

Does the abstract present a compelling case for the importance of the topic
area?

Are the goals of the workshop expressed clearly?

Is the topic likely to be attractive to SPLASH attendees?

Does the chosen format encourage a high level of interaction between the
participants?

Is a workshop the right forum to address the theme and goals or does the
proposal fit better into another type of SPLASH event?

Workshop chairs

For additional information, clarification, or answers to questions please
contact worksh...@splashcon.org


-- 
Researcher Centrum Wiskunde & Informatica (CWI)
Master of Software Engineering Universiteit van Amsterdam (UvA)

Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI)
Office: L225| Phone: +31 (0)20 5924164 | Address: Science Park 123
P.O. Box 94079  | Postal code: 1090 GB | Amsterdam, The Netherlands


[TYPES/announce] SPLASH 2015 - Call For Participation

2015-08-25 Thread Tijs van der Storm
 communities.

Keynote Speaker: Priya Narasimhan (Carnegie Mellon University)

http://2015.splashcon.org/track/gpce2015


** DBPL - 15th Symposium on Database Programming Languages **

For over 25 years, DBPL has established itself as the principal venue for
publishing and discussing new ideas at the intersection of databases and
programming languages. Many key contributions in query languages for
object-oriented data, persistent databases, nested relational data, and
semistructured data, as well as fundamental ideas in types for query
languages, were first announced at DBPL. This creative research area is
broadening into a subfield of data-centric computation, currently scattered
among a range of venues. DBPL is an established destination for such new
ideas and solicits submissions from researchers in databases, programming
languages or any other community interested in the design, implementation
or foundations of data-centric computation.

Keynote: Gremlin: A Stream-Based Functional Language for OLTP and OLAP
Graph Computing
Speaker: Marko A. Rodriguez (DataStax)

http://2015.splashcon.org/track/dbpl2015


** PLoP - 22nd International Conference on Pattern Languages of Programming
**

The Pattern Languages of Programs (PLoP) conference is a premier event for
pattern authors and pattern enthusiasts to gather, discuss and learn more
about patterns and software development. The conference promotes
development of pattern languages on all aspects of software, including
design and programming, software architecture, user interface design,
domain modeling, software processes, project management, and more. The
program offers pattern authors an unique opportunity to have their pattern
languages reviewed by fellow authors, which occurs mainly in the form of
Writers’ Workshops.

http://2015.splashcon.org/track/plop2015


/**
Information and Organization
**/

Information:
SPLASH Early Registration Deadline: 28 September, 2015
Contact: i...@splashcon.org
Website: http://2015.splashcon.org

Location:
Sheraton Station Square Hotel
Pittsburgh, Pennsylvania, United States

Organization:
SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University)
OOPSLA Papers Chair: Patrick Eugster (Purdue University)
Onward! Papers Chair: Gail Murphy (University of British Columbia)
Onward! Essays Chair: Guy Steele Jr. (Oracle Labs)
DLS Papers Chair: Manuel Serrano (INRIA)

Artifacts Co-Chairs: Robby Findler (Northwestern University) and Michael
Hind (IBM Research)
Demos Co-Chair: Igor Peshansky (Google) and Pietro Ferrara (IBM Research)
Doctoral Symposium Chair: Yu David Liu, State University of New York (SUNY)
Binghamton
Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University)
Panels Chair: Steven D. Fraser (Independent Consultatnt)
PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University),
Zachary Tatlock (University of Washington), and Crista Lopes (UC Irvine)
Posters Co-Chairs: Nick Sumner (Simon Fraser University) and Jeff Huang
(Texas AM University)
Publications Chair: Alex Potanin (Victoria University of Wellington)
Publicity and Web Co-Chairs: Craig Anslow (Middlesex University) and Tijs
van der Storm (CWI)
SPLASH-E Chair: Eli Tilevich (Virginia Tech)
SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern
University)
Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and
Patrick Lam (University of Waterloo)
Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco
Harkes (TU Delft)
Sponsorship Chair: Tony Hosking (Purdue University)
Tutorials Co-Chair: Romain Robbes (University of Chile) and Ronald Garcia
(University of British Columbia)
Video Chair: Michael Hilton (Oregon State University)
Video Previews Czar: Thomas LaToza (George Mason University)
Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) and Joe Kiniry (Galois)
Web Technology Chair: Eelco Visser (TU Delft)
Workshop Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer
(IBM Research)

SLE General Chair: Richard Paige (University of York)
GPCE General Chair: Christian Kästner (Carnegie Mellon University)
PLoP General Chair: Filipe Correia (University of Porto)
DBPL General Chair: James Cheney (University of Edinburgh) and Thomas
Neumann (TU Munich)


-- 
Researcher Centrum Wiskunde  Informatica (CWI)
Master of Software Engineering Universiteit van Amsterdam (UvA)

Dr. Tijs van der Storm @ Centrum Wiskunde  Informatica (CWI)
Office: L225| Phone: +31 (0)20 5924164 | Address: Science Park 123
P.O. Box 94079  | Postal code: 1090 GB | Amsterdam, The Netherlands


[TYPES/announce] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE)

2015-04-01 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*
SECOND CALL FOR TALK PROPOSALS

DSLDI 2015

Third Workshop on
Domain-Specific Language Design and Implementation

July 7, 2015
Prague, Czech Republic
Co-located with ECOOP

http://2015.ecoop.org/track/dsldi-2015-papers
*

EXTENDED Deadline for talk proposals: 9th of April, 2015

If designed and implemented well, domain-specific languages (DSLs) combine the 
best features of general-purpose programming languages (e.g., performance) with 
high productivity (e.g., ease of programming).

*** Workshop Goal ***

The goal of the DSLDI workshop is to bring together researchers and 
practitioners interested in sharing ideas on how DSLs should be designed, 
implemented, supported by tools, and applied in realistic application contexts. 
We are both interested in discovering how already known domains such as graph 
processing or machine learning can be best supported by DSLs, but also in 
exploring new domains that could be targeted by DSLs. More generally, we are 
interested in building a community that can drive forward the development of 
modern DSLs.

*** Workshop Format ***

DSLDI is a single-day workshop and will consist of a series of short talks 
whose main goal is to trigger exchange of opinion and discussions. The talks 
should be on the topics within DSLDI's area of interest, which include but are 
not limited to the following ones:

* DSL implementation techniques, including compiler-level and runtime-level 
solutions
* utilization of domain knowledge for driving optimizations of DSL 
implementations
* utilizing DSLs for managing parallelism and hardware heterogeneity
* DSL performance and scalability studies
* DSL tools, such as DSL editors and editor plugins, debuggers, refactoring 
tools, etc.
* applications of DSLs to existing as well as emerging domains, for
  example graph processing, image processing, machine learning, analytics, 
robotics, etc.
* practitioners reports, for example descriptions of DSL deployment i  a 
real-life production setting

*** Call for Submissions ***

We solicit talk proposals in the form of short abstracts (max. 2 pages). A good 
talk proposal describes an interesting position, demonstration, or early 
achievement. The submissions will be reviewed on relevance and clarity, and 
used to plan the mostly interactive sessions of the workshop day. Publication 
of accepted abstracts and slides on the website is voluntary.

* _EXTENDED_ Deadline for talk proposals: April 9th, 2015
* Notification: May 8th, 2015
* Workshop: July 7th, 2015
* Submission website: https://easychair.org/conferences/?conf=dsldi2015

*** Workshop Organization ***

Organizers

* Tijs van der Storm (st...@cwi.nl), CWI, The Netherlands
* Sebastian Erdweg (erd...@informatik.tu-darmstadt.de), TU Darmstadt, Germany

Follow us on Twitter at https://twitter.com/wsdsldi

Program committee

* Emilie Balland
* Martin Bravenboer (LogicBlox)
* Hassan Chafi (Oracle Labs)
* William Cook (UT Austin)
* Shriram Krishnamurthi (Brown University)
* Heather Miller (EPFL)
* Bruno Oliveira (University of Hong Kong)
* Cyrus Omar (CMU)
* Richard Paige (University of York)
* Tony Sloane (Macquarie University)
* Emma Söderberg (Google)
* Emma Tosch (University of Massachusetts, Amherst)
* Jurgen Vinju (CWI)


--
Researcher Centrum Wiskunde  Informatica (CWI)
Master of Software Engineering Universiteit van Amsterdam (UvA)
Dr. Tijs van der Storm @ Centrum Wiskunde  Informatica (CWI)
Office: L225| Phone: +31 (0)20 5924164 | Address: Science Park 123
P.O. Box 94079  | Postal code: 1090 GB | Amsterdam, The Netherlands



[TYPES/announce] 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI'15)

2015-03-02 Thread Tijs van der Storm
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*
FIRST CALL FOR TALK PROPOSALS

DSLDI 2015

Third Workshop on
Domain-Specific Language Design and Implementation

July 7, 2015
Prague, Czech Republic
Co-located with ECOOP

http://2015.ecoop.org/track/dsldi-2015-papers
*

Deadline for talk proposals: 2nd of April, 2015

If designed and implemented well, domain-specific languages (DSLs) combine the 
best features of general-purpose programming languages (e.g., performance) with 
high productivity (e.g., ease of programming).

*** Workshop Goal ***

The goal of the DSLDI workshop is to bring together researchers and 
practitioners interested in sharing ideas on how DSLs should be designed, 
implemented, supported by tools, and applied in realistic application contexts. 
We are both interested in discovering how already known domains such as graph 
processing or machine learning can be best supported by DSLs, but also in 
exploring new domains that could be targeted by DSLs. More generally, we are 
interested in building a community that can drive forward the development of 
modern DSLs.

*** Workshop Format ***

DSLDI is a single-day workshop and will consist of a series of short talks 
whose main goal is to trigger exchange of opinion and discussions. The talks 
should be on the topics within DSLDI's area of interest, which include but are 
not limited to the following ones:

* DSL implementation techniques, including compiler-level and runtime-level 
solutions
* utilization of domain knowledge for driving optimizations of DSL 
implementations
* utilizing DSLs for managing parallelism and hardware heterogeneity
* DSL performance and scalability studies
* DSL tools, such as DSL editors and editor plugins, debuggers, refactoring 
tools, etc.
* applications of DSLs to existing as well as emerging domains, for
  example graph processing, image processing, machine learning, analytics, 
robotics, etc.
* practitioners reports, for example descriptions of DSL deployment i  a 
real-life production setting

*** Call for Submissions ***

We solicit talk proposals in the form of short abstracts (max. 2 pages). A good 
talk proposal describes an interesting position, demonstration, or early 
achievement. The submissions will be reviewed on relevance and clarity, and 
used to plan the mostly interactive sessions of the workshop day. Publication 
of accepted abstracts and slides on the website is voluntary.

* Deadline for talk proposals: April 2nd, 2015
* Notification: May 1st, 2015
* Workshop: July 7th, 2015
* Submission website: https://easychair.org/conferences/?conf=dsldi2015

*** Workshop Organization ***

Organizers

* Tijs van der Storm (st...@cwi.nl), CWI, The Netherlands
* Sebastian Erdweg (erd...@informatik.tu-darmstadt.de), TU Darmstadt, Germany

Follow us on Twitter at https://twitter.com/wsdsldi

Program committee

* Emilie Balland
* Martin Bravenboer (LogicBlox)
* Hassan Chafi (Oracle Labs)
* William Cook (UT Austin)
* Shriram Krishnamurthi (Brown University)
* Heather Miller (EPFL)
* Bruno Oliveira (University of Hong Kong)
* Cyrus Omar (CMU)
* Richard Paige (University of York)
* Tony Sloane (Macquarie University)
* Emma Söderberg (Google)
* Emma Tosch (University of Massachusetts, Amherst)
* Jurgen Vinju (CWI)


--
Researcher Centrum Wiskunde  Informatica (CWI)
Master of Software Engineering Universiteit van Amsterdam (UvA)
Dr. Tijs van der Storm @ Centrum Wiskunde  Informatica (CWI)
Office: L225| Phone: +31 (0)20 5924164 | Address: Science Park 123
P.O. Box 94079  | Postal code: 1090 GB | Amsterdam, The Netherlands