YuHui Lin | 27 Mar 12:38 2015

AVoCS 2015: Second Call for Papers

                      SECOND CALL FOR PAPERS

              The 15th International Workshop on 
          Automated Verification of Critical Systems 
                        AVoCS 2015

             1-4 September 2015, Edinburgh, UK

                avocs2015 <at> easychair.org

  Submission of abstract for full papers: 5th June 2015
  Submission of full papers: 12th June 2015
  Notification (full papers): 14th July 2015
  Submission of research idea papers: 7th August 2015
  Notification (research idea): 14th August 2015
  Early registration: 18th August 2015
  Submissions of final versions: 21st August 2015 

  Colin O'Halloran (D-RisQ & the University of Oxford)
  Don Sannella (Contemplate & the University of Edinburgh)

  Formal Methods Europe (FME)
  The Scottish Informatics & Computer Science Alliance (SICSA)

(Continue reading)

Haskell Weekly News: Issue 322

New Releases

    99 Haskell: A web service by Bram Hoskin

    Solve live Haskell coding problems based on H-99 in the browser
    to strengthen your understanding of the language.



    Magic Cookies

    A commercial Android game is released that is written in Haskell
    using SDL2 for multimedia and the Arrowized Functional Reactive
    Programming DSL Yampa. The authors had to "escape their functional
    comfort zones and come up with smarter abstractions that mutable
    reality and performance demand". The game consists of 2K lines of
    code, of which 1K is game specific and 400 are Yampa code. The
    most complex parts were certain Yampa constructs (arrow-based,
    with lots of tupling/untupling).





(Continue reading)

Daniel Bundala | 26 Mar 08:41 2015

VSTTE 15, Second Call for Papers

7th Working Conference on Verified Software: Theories, Tools, and Experiments
July 18 - 19, 2015
San Francisco, California, USA

Co-located with 25th Conference on Computer Aided Verification

Full Paper Submission Deadline: April 27, 2015


The Seventh Working Conference on Verified Software: Theories, Tools,
and Experiments follows a successful inaugural working conference at
Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh
(2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The
goal of this conference is to advance the state of the art in the
science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental

We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been
proved to meet its functional specifications.  We are
especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge.  We welcome papers
describing novel experiments and case studies evaluating verification
techniques and technologies.  Topics of interest include education,
requirements modeling, specification languages,
specification/verification case-studies, formal calculi, software
design methods, automatic code generation, refinement methodologies,
compositional analysis, verification tools (e.g., static analysis, dynamic
analysis, model checking, theorem proving, satisfiability), tool
integration, benchmarks, challenge problems, and integrated
verification environments.


Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
Short submissions also cover Verification Pearls describing an
elegant proof or proof technique.  Submitted research papers and
system descriptions must be original and not submitted for publication

Research paper submissions must be in LNCS format and must
include a cogent and self-contained description of the ideas, methods,
results, and comparison to existing work.  Submissions of theoretical,
practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.

Papers should be submitted through:

Submissions that arrive late, are not in the proper format, or are too
long will not be considered.  The post-conference proceedings of VSTTE
2015 will be published by Springer-Verlag in the LNCS series.  Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag.  The use of LaTeX
and the Springer LNCS class files, obtainable


Accepted  papers will be  published as post-Proceedings, to
appear in Springer's Lectures Notes in Computer Science.


Abstract submission: April 20, 2015
Full paper submission: April 27, 2015
Notification: June 8, 2015

General Chair:          
Martin Schaef (SRI International)

Program Chairs: 
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)

Publicity Chair:        
Daniel Bundala (UC Berkeley)

Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy Deshmukh (Toyota)
Jin Song Dong (National University of Singapore)
Vijay D'Silva (Google)
Vijay Ganesh (University of Waterloo)
Alex Groce (Oregon State)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair)
Bill Harris (Georgia Institute of Technology)
Chris Hawblitzel (Microsoft Research)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Susmit Jha (United Technologies)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Akash Lal (Microsoft Research India)
Ruzica Piskac (Yale)
Zvonimir Rakamaric (University of Utah)
Kristin Yvonne Rozier (University of Cincinnati)
Sanjit A. Seshia (UC Berkeley) (co-chair)
Natarajan Shankar (SRI)
Carsten Sinz (KIT)
Nishant Sinha (IBM Research Labs)
Alexander Summers (ETH Zurich)
Zachary Tatlock (University of Washington)
Sergey Tverdyshev (Sysgo AG)
Arnaud Venet (CMU / NASA Ames Research Center)
Karen Yorav (IBM Haifa Research Lab)

Please contact vstte2015 <at> easychair.org  for further information
Haskell mailing list
Haskell <at> haskell.org
Hans Svensson | 24 Mar 22:26 2015

CFP: Erlang Workshop 2015

Hello all,

Please find below the Call for Papers for the Fourteenth ACM SIGPLAN Erlang Workshop.

Apologies for any duplicates you may receive.


Fourteenth ACM SIGPLAN Erlang Workshop

Vancouver, Canada, September 4, 2015
Satellite event of the 20th ACM SIGPLAN International Conference on
Functional Programming (ICFP 2015)
August 30 - September 5, 2015


Erlang is a concurrent, distributed functional programming language
aimed at systems with requirements of massive concurrency, soft real
time response, fault tolerance, and high availability. It has been
available as open source for 16 years, creating a community that
actively contributes to its already existing rich set of libraries and
applications. Originally created for telecom applications, its usage
has spread to other domains including e-commerce, banking, databases,
and computer telephony and messaging.

Erlang programs are today among the largest applications written in
any functional programming language. These applications offer new
opportunities to evaluate functional programming and functional
programming methods on a very large scale and suggest new problems for
the research community to solve.

This workshop will bring together the open source, academic, and
industrial programming communities of Erlang. It will enable
participants to familiarize themselves with recent developments on new
techniques and tools tailored to Erlang, novel applications, draw
lessons from users' experiences and identify research problems and
common areas relevant to the practice of Erlang and functional

We invite three types of submissions.

1. Technical papers describing language extensions, critical
discussions of the status quo, formal semantics of language
constructs, program analysis and transformation, virtual machine
extensions and compilation techniques, implementations and interfaces
of Erlang in/with other languages, and new tools (profilers, tracers,
debuggers, testing frameworks, etc.). The maximum length for technical
papers is restricted to 12 pages.

2. Practice and application papers describing uses of Erlang in the
"real-world", Erlang libraries for specific tasks, experiences from
using Erlang in specific application domains, reusable programming
idioms and elegant new ways of using Erlang to approach or solve a
particular problem. The maximum length for the practice and
application papers is restricted to 12 pages. Note that this is a
maximum length; we welcome shorter papers also, and the program
committee will evaluate all papers on an equal basis independent of
their lengths.

3. Poster presentations describing topics related to the workshop
goals. Each includes a maximum of 2 pages of the abstract and summary.
Presentations in this category will be given an hour of shared
simultaneous demonstration time.

Workshop Co-Chairs
Hans Svensson, QuviQ AB, Sweden
Melinda Tóth, Eötvös Loránd University, Hungary

Program Committee
(Note: the Workshop Co-Chairs are also committee members)

Jesper L. Andersen, Independent
Clara Benac Earle, Technical University of Madrid, Spain
Laura M. Castro, University of  A Coruña, Spain
Christopher Meiklejohn, Basho Technologies, Inc., US
Samuel Rivas, Klarna AB, Sweden
Tee Teoh, Erlang Solutions Ltd, UK
Simon Thompson, University of Kent, UK

Important Dates
Submissions due: Friday, 22 May, 2015
Author notification: Friday, 26 June, 2015
Final copy due: Sunday, 19 July, 2015
Workshop date: September 4, 2015

Instructions to authors
Papers must be submitted online via EasyChair (via the "Erlang2015"
event). The submission page is

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines.

Each submission must adhere to SIGPLAN's republication policy.
Violation risks summary rejection of the offending submission.
Accepted papers will be published by the ACM and will appear in the
ACM Digital Library.

The proceedings will be freely available for download from the ACM Digital
Library from one week before the start of the conference until two weeks
after the conference.

Paper submissions will be considered for poster submission in the case
they are not accepted as full papers.

Venue & Registration Details
For registration, please see the ICFP 2015 web site at:

Related Links
ICFP 2015 web site: http://www.icfpconference.org/icfp2015/
Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/
Open Source Erlang: http://www.erlang.org/
EasyChair submission site:
Author Information for SIGPLAN Conferences:
Atendee Information for SIGPLAN Events:
Haskell mailing list
Haskell <at> haskell.org
Jeremy Gibbons | 20 Mar 16:08 2015

Doctoral Teaching Assistantships in CS at Oxford


The University of Oxford's Computer Science department is offering two DPhil (PhD) scholarships. The scholarships are for up to five years; they include teaching responsibilities on the department's Software Engineering Programme (SEP), which has been running for over twenty years, offering part-time professional Master's degrees in Software Engineering and in Software & Systems Security. Each scholarship provides a stipend (£14057 pa from October 2015, with small annual increases subsequently) plus full fees.

The Department of Computer Science was established in 1957, making it one of the longest established in the country. It is one of the UK's leading computer science departments, ranked first in a number of international rankings. The latest Research Excellence Framework (REF 2014) resulted in the 74 members of the Department having 87% of their research activity ranked 4* ("world-leading") or 3* (internationally excellent"). Successful applicants will perform their research within the department, with the aim of obtaining a DPhil in Computer Science. Applications are particularly sought from students with research interests in core areas taught in SEP:

* software engineering
* programming languages
* systems security
* embedded and mobile systems
* formal modelling techniques
* semantic technologies
* automated verification

More information about the department's research in these areas may be found at http://www.cs.ox.ac.uk/research/.

The scholarships have a teaching component, in line with the five-year duration. This will involve acting as a Teaching Assistant (TA) and second marker for six one-week SEP modules per year. First-hand professional experience of software engineering or systems security is therefore desirable, albeit not essential. Class sizes are small, with at most students 20 per module. More information about the modules may be found at http://www.cs.ox.ac.uk/softeng/courses/subjects.html

Applications should include a full CV, a description of past teaching experience in relation to core SEP modules, the names of two referees, and a one- to two-page presentation of the candidate's research interests and proposed DPhil topic. They should be sent by email, to tadphil <at> softeng.ox.ac.uk, to arrive no later than noon on Friday 17th April. Applicants should also arrange for their referees to send references to the same address by the same date. Selection will be on the basis of both fit to the teaching programme and suitability of the proposed research topic. We plan to hold interviews (possibly by Skype) during the week of 20th to 24th April.

If you have any queries, please feel free to contact us on tadphil <at> softeng.ox.ac.uk.

Jeremy.Gibbons <at> cs.ox.ac.uk
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521

Haskell mailing list
Haskell <at> haskell.org
Peter Achten | 18 Mar 10:58 2015

[TFP'15] final call for papers - deadline extended march 31 -

                     L A S T   C A L L   F O R   P A P E R S

                         ======== TFP 2015 ===========

               16th Symposium on Trends in Functional Programming
                                June 3-5, 2015
                        Inria Sophia Antipolis, France

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
   * Edinburgh (Scotland) in 2003;
   * Munich (Germany) in 2004;
   * Tallinn (Estonia) in 2005;
   * Nottingham (UK) in 2006;
   * New York (USA) in 2007;
   * Nijmegen (The Netherlands) in 2008;
   * Komarno (Slovakia) in 2009;
   * Oklahoma (USA) in 2010;
   * Madrid (Spain) in 2011;
   * St. Andrews (UK) in 2012;
   * Provo (Utah, USA) in 2013;
   * and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.


TFP is pleased to announce talks by the following two invited speakers:

   * Laurence Rideau is a researcher at INRIA and is interested in the
     semantics of programming languages , the formal methods, and the
     verification tools for programs and mathematical proofs.  She
     participated in the beginnings of the Compcert project (certified
     compiler), and is part of the Component Mathematical team in the
     MSR-INRIA joint laboratory, who performed the formalization of the
     Feit-Thompson theorem successfully.

     Thirty years ago, computers barged in mathematics with the famous
     proof of the Four Color Theorem.  Initially limited to simple
     calculation, their role is now expanding to the reasoning whose
     complexity is beyond the capabilities of most humans, as the proof of
     the classification of finite simple groups.  We present our large
     collaborative adventure around the formalization of the Feit-Thompson
     theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
     that is a first step to the classification of finite groups
     and that uses a palette of methods and techniques that range from
     formal logic to software (and mathematics) engineering.

   * Anil Madhavapeddy

== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

     Research Articles: leading-edge, previously unpublished research work
     Position Articles: on what new trends should or should not be
     Project Articles: descriptions of recently started new projects
     Evaluation Articles: what lessons can be drawn from a finished project
     Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the

Topics suitable for the symposium include:

     Functional programming and multicore/manycore computing
     Functional programming in the cloud
     High performance functional computing
     Extra-functional (behavioural) properties of functional programs
     Dependently typed functional programming
     Validation and verification of functional programs
     Debugging and profiling for functional languages
     Functional programming in different application areas:
       security, mobility, telecommunications applications, embedded 
       global computing, grids, etc.
     Interoperability with imperative programming languages
     Novel memory management techniques
     Program analysis and transformation techniques
     Empirical performance studies
     Abstract/virtual machines and compilers for functional languages
     (Embedded) domain specific languages
     New implementation strategies
     Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2015 program chair, Manuel Serrano.


To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize.  In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


TFP is financially supported by Erlang Solutions.


Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:


Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:



Submission of draft papers:     March 31, 2015
Notification:                   April 7, 2015
Registration:                   May 4, 2015
TFP Symposium:                  June 3-5, 2015
Student papers feedback:        June 9, 2015
Submission for formal review:   July 1, 2015
Notification of acceptance:     September 8, 2015
Camera ready paper:             October 8, 2015


Janis Voigtländer               University of Bonn, DE
Scott Owens                     University of Kent, UK
Neil Sculthorpe                 Swansea University, UK
Colin Runciman                  University of York, UK
Manuel Serrano                  Inria (PC chair), FR
Rinus Plasmeijer                University of Nijmegen, NL
Tomas Petricek                  University of Cambridge, UK
Marco T. Morazan                Seton Hall University, USA
Wolfgang De Meuter              Vrije Universiteit Brussel, BE
Michel Mauny                    Ensta ParisTech, FR
Sam Lindley                     The University of Edinburgh, UK
Daan Leijen                     Microsoft, USA
Jurriaan Hage                   Utrecht University, NL
Andy Gill                       University of Kansas, USA
Thomas Gazagnaire               University of Cambrige, UK
Lars-Ake Fredlund               Universidad Politécnica de Madrid, ES
Jean-Christophe Filliatre       Université Paris Sud Orsay, FR
Marc Feeley                     Université de Montréal, CA
Olaf Chitil                     University of Kent, UK
Edwin Brady                     University of St Andrews, UK

Haskell mailing list
Haskell <at> haskell.org
Tomofumi Yuki | 10 Mar 10:40 2015

CFP: GPCE 2015, 14th International Conference on Generative Programming: Concepts & Experiences, Pittsburgh, Oct. 26/27, 2015


                    ACM SIGPLAN GPCE 2015
              14th International Conference on
        Generative Programming: Concepts & Experiences

             Oct 26-27, 2015, Pittsburgh, PA, USA

Co-located with:
ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH 2015)
ACM SIGPLAN 8th International Conference on Software Language
Engineering (SLE) 2015


  Abstract submission   : June 8, 2015
  Full paper submission : June 15, 2015
  Authors notification  : July 24, 2015
  Camera-ready          : Aug 7, 2015
  Conference            : Oct 26-27, 2015

  Workshops: Handled by SPLASH

All dates are Anywhere on Earth


GPCE is a venue for researchers and practitioners interested in techniques
that use program generation, domain-specific languages, and component
deployment to increase programmer productivity, improve software quality,
and shorten the time-to-market of software products. In addition to
exploring cutting-edge techniques of generative software, our goal is to
foster further cross-fertilization between the software engineering and the
programming languages research communities.


GPCE seeks contributions on all topics related to generative software and
its properties. Topics of interest include, but are not limited to:

Generative software
* Domain-specific languages (language extension, language embedding,
  language design, language theory, language workbenches, interpreters,
* Product lines (domain engineering, feature-oriented and
  aspect-oriented programming, pre-processors, feature interactions)
* Metaprogramming (reflection, staging, partial evaluation), Type
  systems, Program synthesis
* Implementation techniques and tool support (components, plug-ins,
  libraries, metaprogramming, macros, templates, generic programming,
  run-time code generation, model-driven development, composition tools,
  code-completion and code-recommendation systems)

Practical Applications and Empirical evaluations
* Empirical evaluations of all topics above (user studies, substantial case
  studies, controlled experiments, surveys, rigorous measurements)  
* Application areas and engineering practice (Cloud Computing, Internet of
  Things, Cyber Physical Systems, Mobile Computing, Software Defined
  Networking, High Performance Computing, Patterns and Middleware,
  Development methods)

Properties of generative software
* Correctness of generators and generated code (analysis, testing, formal
  methods, domain-specific error messages, safety, security)   
* Reuse and evolution
* Modularity, separation of concerns, understandability, and
* Performance engineering, nonfunctional properties (program optimization
  and parallelization, GPGPUs, multicore, footprint, metrics)

We particularly welcome papers that address some of the key challenges in
the field, such as, 
* synthesizing code from declarative specifications
* supporting extensible languages and language embedding
* ensuring correctness and other nonfunctional properties of generated code
* proving generators correct
* improving error reporting with domain-specific error messages
* reasoning about generators
* handling variability-induced complexity in product lines
* providing efficient interpreters and execution languages
* human factors in developing and maintaining generators 

GPCE encourages submissions about empirical evaluations and applications of
generative software, and such papers will be given special consideration
during reviewing.


Research papers: 10 pages maximum (ACM SIGPLAN style)

Research papers should report on original and unpublished results of
theoretical, empirical, conceptual, or experimental research that
contribute to scientific knowledge in the areas listed above (the PC chair
can advise on appropriateness) 

Tool demos and short papers: 4 pages maximum (ACM SIGPLAN style).

The goal of short papers is to promote current work on research and
practice. Short papers represent an early communication of research and do
not always require complete results as in the case of a full paper. In this
way, authors can introduce new ideas to the community, discuss ideas and
get early feedback. Please note that short papers are not intended to be
position statements. Short papers are included in the proceedings and will
be presented with a shorter time slot at the conference.

Tool demonstrations should present tools that implement generative
techniques, and are available for use. Any of the GPCE topics of interest
are appropriate areas for tool demonstrations, although purely commercial
tool demonstrations will not be accepted. Submissions must provide a tool
description of 4 pages in SIGPLAN proceedings style (see above) and a
demonstration outline including screenshots of up to 4 pages. Tool
demonstrations must have the words "Tool Demo" or "Tool Demonstration" in
the title, possibly appended in parenthesis. The 4-page tool description
will, if the demonstration is accepted, be published in the proceedings.



  Christian Kastner, Carnegie Mellon University, Pittsburgh, PA, USA


  Aniruddha Gokhale, Vanderbilt University, Nashville, TN, USA


  Faruk Caglar, Vanderbilt University, Nashville, TN, USA
  Tomofumi Yuki, INRIA Rhone-Alpes, France


  Kenichi Asai, Ochanomizu Univ, Japan
  Emilie Balland, INRIA Bordeaux, France
  Don Batory, Univ of Texas, USA
  Walter Binder, Univ of Lugano, Switzerland
  Jan Bosch, Chalmers Univ, Sweden
  Akshay Dabholkar, Oracle, USA
  Ewen Denney, NASA Ames, USA
  Katrina Falkner, Univ of Adelaide, Australia
  Bernd Fischer, Stellenbosch Univ, South Africa
  Matthew Flatt, Univ of Utah, USA
  Jeff Gray, Univ of Alabama, USA
  Michael Haupt, Oracle Labs, Germany
  James Hill, Indiana Univ Purdue Univ at Indianapolis, USA
  Young-Woo Kwon, Utah State Univ, USA
  Raffaela Mirandola, Politechnico di Milano, Italy
  Hridesh Rajan, Iowa State Univ, USA
  Laurent Reveillere, LaBRI, Univ of Bordeaux, France
  Marcio Ribeiro, Federal Univ of Alagoas, Brazil
  Tiark Rompf, Purdue Univ, USA
  Klaus Schmid, Stiftung Universitat Hildesheim, Germany
  Norbert Siegmund, Univ of Passau, Germany
  Yannis Smaragdakis, Univ of Athens, Greece
  Sumant Tambe, RTI Inc, USA
  Petr Tuma, Charles Univ, Czech Republic
  Nalini Venkatasubramanian, Univ of California, Irvine, USA
  Jules White, Vanderbilt Univ, USA
  Eric Wohlstadter, Univ of British Columbia, Canada
Craig Anslow | 9 Mar 23:57 2015

SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium

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

       Pittsburgh, Pennsylvania, USA
       25th-30th October, 2015


       Sponsored by ACM SIGPLAN

Dynamic Languages Symposium (DLS)                  

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 accepting submissions. We invite high quality submissions describing original and unpublished work.

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

Submissions Due: 25 March, 2015

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

Submissions Due: 2 April, 2015

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

Submissions Due: 2 April, 2015

** Workshops **
The SPLASH Workshops track will host a variety of high-quality workshops, 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.

Early Phase Submissions Due: 25 March, 2015
Late Phase Submissions Due: 30 June, 2015

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

Submissions Due: 7 June, 2015

** Co-Located Events **

8th International ACM SIGPLAN Conference on Software Language Engineering (SLE)
Submissions Due: 15 June, 2015

14th International Conference on Generative Programming: Concepts & Experiences (GPCE)
Submissions Due: 15 June, 2015

22nd International Conference on Pattern Languages of Programming (PLoP)
Submissions Due: 4 May, 2015

15th Symposium on Database Programming Languages (DBPL)
Submissions Due: 10 June, 2015

SPLASH Early Registration Deadline: 25 September, 2015
Contact: info <at> splashcon.org
Website: http://2015.splashcon.org

Sheraton Station Square Hotel
Pittsburgh, Pennsylvania, United States

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 (Oracle Labs)
DLS Papers Chair: Manuel Serrano (INRIA)

Artifact Evaluation Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research)
Demos Co-Chairs: Igor Peshansky (Google) and Pietro Ferrara (IBM Research)
Inspirations Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zach Tatlock (University of Washington), and Crista Lopes (UC Irvine)
Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University)
Posters Chair: Nick Sumner (Simon Fraser University)
Publications Chair: Alex Potanin (Victoria University of Wellington)
Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) 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)
Sponsorship Chair: Tony Hosking (Purdue 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)
Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) 
Web Technology Chair: Eelco Visser (TU Delft)
Workshops 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 Chairs: James Cheney (University of Edinburgh) and Thomas Neumann (TU Munich)
Haskell mailing list
Haskell <at> haskell.org
Mary Sheeran | 9 Mar 22:14 2015

ARRAY'15 Call for Papers


ACM SIGPLAN 2nd International Workshop 
on Libraries, Languages and Compilers for 
Array Programming

Saturday June 13th (whole day) 
Sunday June 14th (morning) 

Co-located with PLDI 2015, Portland, Oregon, USA

This is the second instance of a new international workshop on Libraries, Languages and Compilers for Array Programming. The workshop aims to bring together the various groups (including functional programmers) that work on array programming. Papers from readers of this mailing list would be very welcome. The deadline for submission of four to six-page research or tool papers is March 23rd 2015, with notification on April 20th.

Note the SIGPLAN sponsorship and the fact that students can apply for SIGPLAN PAC funding.

It will be a fun workshop!  For more information see

and think about submitting!

Mary Sheeran (with Laurie Hendren (Chair), Hidehiko Masuhara and Jan Vitek)
Haskell mailing list
Haskell <at> haskell.org
Leila Fayez Ismail | 9 Mar 14:06 2015

IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015), Call for Papers, Tutorials & Workshops Proposals, Students Posters

Dear Colleagues,


Apologies if you receive multiple copies of this CFP.

Call for Papers, Submission deadline: 30 May 2015


Submission of Organizing Workshops Proposals: Extended to 15 March 2015


2015 11th International Conference on Innovations in Information Technology (IIT'15)


November 01-03, 2015, Dubai, UAE.


Conference website: http://www.it-innovations.ae/


Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks.


IIT'15 is technically sponsored by IEEE Computer Society. Proceedings will be published by IEEE Computer Society Conference Publication Services, and will be submitted for publication in Computer Society Digital Library indexed in IEEE Xplore digital library, and all other global indices.


Selected papers from IIT'15 will be invited for possible publications in special issues of journals. Extended papers will be published in a Springer Book.


IIT’15 brings together leading innovators in Research & Development and Entrepreneurs in IT from around the world. The latest advances in fields from traditional computer science to evolving smart applications and technologies are explored in IIT’15 conference tracks. IIT’15 is an excellent opportunity to present theoretical, experimental as well as visionary research on various IT topics. The themes of IIT’15 are "Smart Living Cities, Big Data and Sustainable Development" and all the technologies that are required to provide better living conditions in the cities of tomorrow. This theme will be reflected by a number of tracks which focus on different aspects of related technologies such as big data and cloud computing, collaborative platforms, communication infrastructures, smart health, smart learning, social participation, sustainable development and energy management.  All of those themes will be brought together by unifying invited high quality keynotes and panels. 




Topics of interest include but not limited to the following major tracks/themes. Research papers are invited but not limited to the following areas:


Track A: Innovations in Information and Communication Infrastructures

- Advanced Network Technologies, Heterogeneous networks, and Real Time Networks

- Quality of Services

- Next Generation of Mobile Networks

- Ad-Hoc and Sensor Networks, Wireless Networks

- Distributed Systems, Grid Computing

- Smart Grid

- Mobility Management and Mobile computing

- Information and Cyber Security for Smart Living Spaces

Track B: Internet of Things (IoT)

ICT Architecture for IoT

- System design, Modeling and Simulation

- Grid Computing , and Cloud Computing

- Real-Time Systems for IoT, Autonomic Systems

- Security, Privacy, Trust and Reliability

- Software Design and Development of IoT-Based Applications

- Intelligent Data Processing

- Smart Appliances & Wearable Computing Devices

Track C: Smart Collaborative Platforms and Logistics

Agile Information Systems

- Design, Modeling and Simulation of Collaborative Applications

- Practice and Experiences of Collaborative Applications

- Risk Management, Smart Business

- Middleware Support for Collaboration

- Real-Time Information Sharing and Interaction

- AI and Decision-Support Systems

Track D: Big Data and Smart Applications

- Big Data Analytics and Algorithms

- High Performance Computing and Real-Time of Big Data Processing

- Big Data Storage and Distribution

- Data Mining

- Grid Computing and Cloud Computing

- Middleware for Smart Applications

- e-Health, Smart Learning, Intelligent Processing and Intelligent Applications

Track E: Cyber-Physical Energy Systems

- Theory, Tools and Applications

- System Design, Modeling and Simulation

- Testbeds and Experiences

- Algorithms for Energy Efficiency

- Middleware

- Design and Development of Protocols for Sustainable energy

- Design and Development of Secure and Resilient Systems




IIT'15 seeks original manuscripts (of up to 6 pages maximum in IEEE two-column format) describing research in all aspects of IT that contribute to the conference themes. Papers submitted to the conference should present original work that has not been previously published or is currently under review by other conferences or journals.  All papers will be peer reviewed, and authors of accepted papers are expected to present their work at the conference. Submissions of tutorial, special session, and workshop proposals are also welcome. The submission guidelines are available at


Paper submission should be done through http://www.edas.info




Papers and Posters Submission                   30 May 2015

Submission of Tutorials                         30 May 2015

Notification of Papers and Posters              15 July 2015

Notification for Tutorials                      15 July 2015

Submission of Organizing Workshops Proposals    01 March 2015                                   (Extended to 15 March 2015)

Notification for Organizing Workshops Proposals 15 March 2015                                   (Extended to 22 March 2015)

Final Camera-Ready Paper                       01 September 2015



Call for Tutorials



Tutorial Submission


IIT’15 seeks 2-3 hour long tutorials which can address an audience of senior undergraduate students, graduate students and researchers.  The tutorials will be open to all registered attendees free of charge. We seek proposals across a wide range of interesting topics related to the theme of the main conference including (but not limited to): 


·    Next Generation Mobile and Wireless Networks

·    Smart Grid and Cyber Physical Systems

·    Green Technologies, Communications and Software

·    Information and Cyber Security for Smart Living Spaces

·    Internet of Things

·    Smart Appliances & Wearable Computing Devices

·    Design, Modeling and Simulation of Collaborative Applications

·    Real-Time Information Sharing and Interaction

·    Big Data Analytics and Algorithms

·    Cloud Computing

·    High Performance Computing

·    Middleware for Smart Applications and Platforms

·    e-Health and Bioinformatics

·    Smart Transportation Systems


Tutorial proposals can be submitted via the conference management system (https://edas.info/), should be 2-3 pages and must include:


·    A 500 word summary.

·    Targeted audience.

·    Justification/motivation behind the proposed topic.

·    A short biography of the presenter (one only), and previous lecture and tutorial experience.

·    If the tutorial was given before, indicate when and where it was given and how it will be modified for IIT’15.




Call for Workshop Proposals




Workshops Submission


The IIT’15 organizing committee invites proposals for workshops within the main theme of the conference and its related areas. Workshops are intended to mainly cover research being done within the academic and professional community on new ideas with the focus on new experiences and case studies. All accepted workshop papers will be included as part of the proceedings based on the main conference paper submission regulations and will be subject to the same review policy. However, submission and reviewing of the papers will be managed by the workshops organizers utilizing the conference management system.


Workshop proposals should include:

·  Title of the workshop.

·  A 500 word summary of the workshop

·  Full contact details of workshop organizers (maximum three), expected number of paper submissions.

·  Objectives of the workshop; why it is important and how it is relevant to IIT’15.

·  A draft Call for paper of the workshop with deadlines and list of TPC members.

·  If the workshop was conducted before, when and where it was conducted and statistics on the number of attendees and the acceptance ratio.

·  A short bio of the workshop organizers and past experiences in organizing workshops, seminars, or research meetings.


Up to two of each workshop organizers will be granted free IIT’15 registration for one paper each provided that their organized workshop has more than 10 registered papers.


Workshop proposals must be no more than 5 pages in length and submission should be made to EDAS: https://edas.info/



Call for Students Posters


URL: http://www.it-innovations.ae/iit2015/posters.html




We look forward to welcoming you in Dubai at IIT'15 in November 2015.


On behalf of the IIT'15 Organizing Committee




Dr. Leila Ismail, IIT'15 Chair

Founder & Director to High Performance & Grid/Cloud Computing Research Lab

College of IT, UAE University

17551, Al-Maqam, Al-Ain, UAE

Email: leila <at> uaeu.ac.ae    Tel.: +971-3-7135530

Mobile: +971-50-8311059    Fax : +971-3-7672018

http://fit.uaeu.ac.ae/en/academic_tracks_programs/int/profile.shtml?email=leila <at> uaeu.ac.ae






Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable."

تنبيه: "إن محتوى هذا البريد الإلكتروني مع أي مرفقات والبيانات والآراء الواردة في هذه الوثيقة يحتوي على معلومات تعتبر سرية بطبيعتها وتستهدف المرسل اسمه (ق) فقط إذا لم تكن المرسل إليه من هذه الرسالة أو كنت قد تلقيت هذا. في رسالة الخطأ، الرجاء إبلاغ المرسل وحذف الرسالة وأية ملفات مرتبطة من النظام الخاص بك، ليس لديك الحق في نسخ أو طباعتها أو توزيعها أو استخدام هذا البريد الالكتروني أو أي من ملحقاته، أو السماح أو الكشف عن محتوياته إلى أي طرف آخر في بأي حال من الأحوال، إلا بموافقة مسبقة من المرسل، وفي حالة خرق ما سبق بيانه أعلاه، سوف تعقد لك مساءلة قانونيا" .

Haskell mailing list
Haskell <at> haskell.org
Nabeel Al-Qirim | 9 Mar 12:23 2015

CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015

CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015

 IIT’15: The 11th International Conference on Innovations in Information Technology 2015

 URL: http://www.it-innovations.ae/iit2015/posters.html

 The IIT’15 Student Poster and Demos Committee invites all undergraduate and graduate students to
submit an extended (2 pages max.) abstract and to display it as a poster during the IIT’15. The poster
topic should fall within the conference’s theme and tracks.


 Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim <at> uaeu.ac.ae. All students are
encouraged to review their abstracts with their faculty advisers prior to submission. All accepted
abstracts will be published by the IIT’15 proceedings.


 -Student Poster (Extended Paper) Submission May 30, 2015
 -Notification of Student Poster acceptance July 15, 2015
 -Camera ready Extended Paper and Poster material September 01, 2015
 -Conference November 01-03, 2015


 There will be a competition for best student poster award at the IIT’15. This award will be given to
recognize student excellence in research and presentation.

 Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim <at> uaeu.ac.ae


 Dr. Nabeel Al-Qirim
 IIT’15 Student Poster and Demos Chair

 College of Information Technology
 United Arab Emirates University
 P.O Box 15551 - Al Ain
 United Arab Emirates

 Tel: +971-3-7135531        Mobile: +971-507308705
 Fax: +971-3-7672018       Email: nalqirim <at> uaeu.ac.ae
 Website: http://nalqirim.wix.com/nabeel-al-qirim

Disclaimer:"The content of this email together with any attachments, statements and opinions expressed
herein contains information that is confidential in nature and intended for the named addressee(s)
only. If you are not the addressee of this email or you have received this message in error please notify the
sender and delete the message and any associated files from your system, you have no right to copy, print,
distribute or use this email or any of its attachments, or permit or disclose its contents to any other
party in any way, except with the prior approval of the sender. In case of breach of what has been explained
above, you will be held legally accountable."

تنبيه: "إن محتوى هذا البريد الإلكتروني مع أي مرفقات
والبيانات والآراء الواردة في هذه الوثيقة يحتوي على
معلومات تعتبر سرية بطبيعتها وتستهدف المرسل اسمه (ق)
فقط إذا لم تكن المرسل إليه من هذه الرسالة أو كنت قد
تلقيت هذا. في رسالة الخطأ، الرجاء إبلاغ المرسل وحذف
الرسالة وأية ملفات مرتبطة من النظام الخاص بك، ليس
لديك الحق في نسخ أو طباعتها أو توزيعها أو استخدام هذا
البريد الالكتروني أو أي من ملحقاته، أو السماح أو
الكشف عن محتوياته إلى أي طرف آخر في بأي حال من الأحوال،
إلا بموافقة مسبقة من المرسل، وفي حالة خرق ما سبق بيانه
أعلاه، سوف تعقد لك مساءلة قانونيا" .

Haskell mailing list
Haskell <at> haskell.org