Lambda the Ultimate

Philip Wadler posts his exchange with William Howard on history of the Curry-Howard correspondence. Howard on Curry-Howard.

/*************************************************************/
ACM Conference on
Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'14)

Portland, Oregon, USA
20-24 October, 2014

http://www.splashcon.org
http://twitter.com/splashcon
http://www.facebook.com/SPLASHCon

Sponsored by ACM SIGPLAN

/**************************************************************
CALL FOR PARTICIPATION
**************************************************************/

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 is now inviting calls for participation.

** REGISTRATION **
19 September 2014 (Early Deadline)
Contact: info@splashcon.org
http://2014.splashcon.org/attending/registration

** CONFERENCE PROGRAM **
http://2014.splashcon.org/program/program-splash2014

** KEYNOTE Speakers **
Gary McGraw (Cigital): Software Security — A Study in Technology Transfer
Peter Norvig (Google): Machine Learning for Programming
Bret Victor (WorryDream): Humane Representation of Thought: A Trail Map for the 21st Century

http://2014.splashcon.org/track/splash2014-keynotes

** OOPSLA Research Papers**
Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys).

http://2014.splashcon.org/track/oopsla2014

** Onward! Research Papers **
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 proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research.

http://2014.splashcon.org/track/onward2014-papers

** Onward! Essays **
Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or 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 that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings.

http://2014.splashcon.org/track/onward2014-essays

** Dynamic Languages Symposium (DLS) **
DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages — from Lisp to Smalltalk to Python to Javascript — on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications.

http://2014.splashcon.org/track/dls14-papers

** Wavefront **
The SPLASH Wavefront track is looking for presentations and technology talks of interest to the software community, particularly to software professionals working in companies large and small. Wavefront is a forum for presenting experience reports and tutorials about innovative tools, technologies, and software practices.

http://2014.splashcon.org/track/splash2014-wavefront

** Panels **
The Panels track offers exciting discussion about topics related to SPLASH.

http://2014.splashcon.org/track/splash2014-panels

** SPLASH-E **
The SPLASH-E track brings together researchers and educators to share educational results, ideas, and challenges centered in Software and Programming Languages. Submission formats vary, including papers, tool demos, lightning talks, challenge-topics for discussion, and suggested themes for "unconference" sessions. Help us create an engaging forum for educational issues related to SPLASH!

http://2014.splashcon.org/track/splash2014-splash-e

** Artifacts **
The Artifact Evaluation process is a service provided by the community to help authors of accepted papers provide more substantial supplements to their papers so future researchers can more effectively build on and compare with previous work. The Artifact Evaluation Committee has been formed to assess how well paper authors prepare artifacts in support of such future researchers. Roughly, authors of papers who wish to participate are invited to submit an artifact that supports the conclusions of the paper.

http://2014.splashcon.org/track/splash2014-artifacts

** Workshops **
The SPLASH Workshops track will host a variety of high-quality workshops (14 in total), allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings.

http://2014.splashcon.org/track/splash2014-workshops

** Tutorials **
The SPLASH Tutorials track will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of the tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. The tutorials in particular focus on the nexus between research and practice, including work that takes inspiration from or builds connections to areas not commonly considered at SPLASH. Tutorials should introduce researchers to current research in an area, or show important new tools that can be used in research.

http://2014.splashcon.org/track/splash2014-tutorials

** Demos **
The SPLASH Demonstrations track is an excellent vehicle for sharing your latest work with an experienced and technically savvy audience. Live demonstrations show the impact of software innovation. Demonstrations are not product sales pitches, but rather an opportunity to highlight, explain, and present interesting technical aspects of running applications in a dynamic and highly interactive setting. Presenters are encouraged to actively solicit feedback from the audience, which should lead to very interesting and entertaining demonstration sessions.

http://2014.splashcon.org/track/splash2014-demos

** 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. Posters can be independent presentations or associated with one of the other parts of SPLASH.

http://2014.splashcon.org/track/splash2014-posters

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

http://2014.splashcon.org/track/splash2014-ds

** Student Research Competition **
The ACM SIGPLAN Student Research Competition (ACM SRC) is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world, 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.

http://2014.splashcon.org/track/splash2014-src

** Co-located Events **

ACM SIGAda’s Annual International Conference High Integrity Language Technology (HILT)
http://sigada.org/conf/hilt2014/

Multicore Parallel Programming Course:
- Offers experienced programmers an opportunity to learn about multicore programming and gain mastery of cutting-edge parallel programming tools.
- Contact: Danny Dig: http://dig.cs.illinois.edu/

** Location **

Portland Marriott
Downtown Waterfront Hotel
Portland, Oregon, USA

** Organization **

SPLASH General Chair: Andrew Black (Portland State University)
OOPSLA Papers Chair: Todd Millstein (University of California, Los Angeles)
Onward! Papers Chair: Shriram Krishnamurthi (Brown University)
Onward! Essays Chair: Bernd Bruegge (TU Munich)
DLS Papers Chair: Laurence Tratt (King’s College, London)
SPLASH-E Chair: Kathi Fisler (Worcester Polytechnic Institute)
Wavefront Co-Chairs: David Archer (Galois) and Dennis Mancl (Alcatel-Lucent)
Artifacts Co-Chairs: Matthias Hauswirth (university of Lugano) and Robby Findler (Northwestern University)
Workshop Co-Chairs: Stephanie Balzer (Carnegie Mellon University) and Du Li (Carnegie Mellon University)
Tutorials Chair: James Noble (Victoria University of Wellington)
Demos Chair: Floreal Morandat (Enseirb-Matmeca)
Posters Co-Chairs: K R Jayaram (IBM Research) and Nick Sumner (Simon Fraser University)
Doctoral Symposium Chair: Lukasz Ziarek (State University of New York, Buffalo)
Student Research Competition Co-Chairs: Isil Dillig (University of Texas, Austin) and Sam Guyer (Tufts University)
Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Darya Kurilova (Carnegie Mellon University)
Publicity and Web Chair: Craig Anslow (University of Calgary)
Web Technology Chair: Eelco Visser (Delft University of Technology)
Publications Chair: Joseph Ruskiewicz (Portland State University)
Student Mentoring Chair: Carlos Jensen (Oregon State University)
Mobile App Chair: Reid Holmes (University of Waterloo)
/*************************************************************/