Ezio Bartocci | 31 Aug 19:41 2015

Open Postdoc Position in formal methods applied to timed systems

The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) University of Technology is seeking a candidate for a postdoctoral research position (one year with the posibility to renew for up to other two years), starting as soon as possible. The successful applicant will carry out his/her postdoc in the research area of formal methods applied to the verification and synthesis of timed systems with faults and delays, including distributed systems. This task is part of the recently granted Austrian FWF National Research Network “RiSE” (2nd funding period, http://arise.or.at/nfn/shine-organization-and-subprojects/), to be led by Ass.-Prof. Ezio Bartocci in collaboration with Prof. Ulrich Schmid and Prof. Radu Grosu and with the other PIs of RiSE: http://arise.or.at/principal-investigators/.

Task Description (Task leader Ezio Bartocci): 

Modeling and Analysis of Parametric, Probabilistic and Parameterized Timed Systems  (Applications). To master the overwhelming complexity of manual correctness proofs of continuous-time distributed systems, computer-aided methods that can deal with symbolic timing parameters (“parametric”) and symbolic system sizes (“parameterized”) are required. Besides the question of how to deal with the overwhelming complexity, answering the question of how to incorporate (probabilistic) faults will be addressed in collaboration with PP12 (Grosu), PP07 (Chatterjee) and PP11 (Kirsch). In order to extend our framework to also cover message-passing distributed systems with parameterized system size, novel abstraction techniques and/or cutoff results will be developed in a collaboration with PP03 (Veith).

The specific requirements for this postdoc position are the following: 

A completed PhD in Computer Science 
Experience in developing tools
Solid experience in timed automata and/or probabilistic timed automata (possibly parametric and/or parametrized)
Very good English skills (writing, speaking)
A promising publication record


The Technische Universität Wien (TU Wien) has about 20,000 students and a heavy emphasis on research in the sciences and engineering. TU Wien comprises eight faculties - mathematics and geo-information, physics, technical chemistry, informatics, civil engineering, architecture and regional planning, mechanical engineering and business science, electrical engineering and information technology. The Faculty of Informatics of the TU Wien comprises about 3,000 students.

The Institute of Computer Engineering (ICE) is one of its seven computer science institutes. The ICE’s research and teaching activities focus on the area of cyber-physical systems and dependable embedded systems. Our activities are at the heart of the primary research area Technische Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer science, discrete and continuous systems theory, and microelectronics in a holistic approach. Major research areas are hybrid systems, real-time systems, fault-tolerant distributed algorithms, and dependable digital circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design.


The salary of the postdoctoral researcher will be of around 49000 Euro gross per year.

Applications, including any attachments, should be submitted by the 15th of September to the following emails: ezio.bartocci <at> tuwien.ac.at, s <at> ecs.tuwien.ac.at, radu.grosu <at> tuwien.ac.at.

The following documents must be attached to the application:

- Cover letter stating the candidate's motivation to apply, and the reason(s) why they should be selected for the position
- A CV
- Three publications that are deemed relevant to the postdoctoral project
- Two reference letters


Contact details

For further information and enquiries about this post please contact Ezio Bartocci, e-mail: ezio.bartocci <at> tuwien.ac.at.
Haskell mailing list
Haskell <at> haskell.org
Ezio Bartocci | 31 Aug 18:09 2015


Cyber-Physical Systems Week (CPS Week) 
April 11-14, 2016, Vienna, Austria 

CPS Week is the premier event on Cyber-Physical Systems. It brings 
together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 
10-15 workshops, a localization competition, tutorials and various 
exhibitions from both industry and academia. Altogether the CPS Week 
program covers a multitude of complementary aspects of CPS, and 
reunites the leading researchers in this dynamic field.

CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room 
availability) and 2-3 tutorials on Monday April 11 and is soliciting proposals for 
new and recurring workshops as well as for tutorials. 

CPS Week workshops are excellent opportunities to bring together researchers 
and practitioners from different  communities to share their experiences in an 
interactive atmosphere and to foster collaboration for new and innovative 
projects. We invite you to  submit workshop proposals on any topic related 
to the broad set of research, education, and application areas in 
cyber-physical systems.

Guidelines for workshop proposals: 

Proposals should be submitted at the latest by *** October 1, 2015 ***

A workshop proposal consists of a 2-page maximum PDF file, 
including the following information: 
      - A concise title of the workshop 
      - Description of the topics and specific issues that the workshop will 
         address, how the workshop complements CPSWeek conferences 
         and why the workshop theme is relevant 
      - Expected format of the workshop (regular paper presentations, poster 
         presentations, invited talks, panel discussions, demo sessions, or other 
         ideas to promote active exchange of ideas) 
      - Organizers with short bio, affiliation, and their expertise in the 
         proposed topic(s) 
      - In case the workshop has been previously held, provide information to 
         show that the previous edition(s) were successful in terms of paper 
         submissions and/or attendance. Links to past workshop editions 
         would be very helpful too. 
      - Length of the workshop (half-day/one-day) and the expected number of 
      - Follow-up plans (if any) to disseminate the ideas from the workshop, 
         for example through proceedings or journal special issue

Please submit your workshop proposal by email to the workshop and tutorial chairs 
Christoph Kirsch (ck <at> cs.uni-salzburg.at) and Ana Sokolova 
(anas <at> cs.uni-salzburg.at). Please write “[CPSWeek 2016] Workshop Proposal" 
in the e-mail subject line.

Guidelines for tutorial proposals: 

Proposals should be submitted at the latest by *** October 1, 2015 ***

A proposal consists of a 2-page maximum PDF file, including the following 
information on the tutorial program:

      - The title and abstract of the tutorial 
      - An outline of tutorial content and objectives 
      - Prerequisite knowledge 
      - Organizers/Speakers with short bio, affiliation, and their expertise in the 
         proposed topic(s) 
      - In case the tutorial has been previously held, include information on the last 
         tutorial of the same topic held within CPS Week or other conferences such 
         as the year it was held and the number of attendees. A link to past tutorial 
         would be very helpful too. 
      - We envision tutorials to last for 3 hours.

Please submit your tutorial proposal by email to the workshop and tutorial chairs 
Christoph Kirsch (ck <at> cs.uni-salzburg.at) and Ana Sokolova 
(anas <at> cs.uni-salzburg.at). Please write “[CPSWeek 2016] Tutorial Proposal" 
in the e-mail subject line.

Notification of acceptance  *** October 15, 2015 *** 

Haskell mailing list
Haskell <at> haskell.org
Martin Erwig | 30 Aug 20:31 2015

PEPM 2016: Final Call for Papers


St. Petersburg, Florida, January 18 - 19, 2016

The 2016 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continues efforts to expand the scope
of PEPM beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM will include practical applications of
program transformations such as refactoring tools, and practical
implementation techniques such as rule-based transformation systems. In
addition, the scope of PEPM covers manipulation and transformations of program
and system representations such as structural and semantic models that occur
in the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will be

Topics of interest for PEPM’16 include, but are not limited to:

* Program and model manipulation techniques such as: supercompilation, partial
 evaluation, fusion, on-the-fly program adaptation, active libraries, program
 inversion, slicing, symbolic execution, refactoring, decompilation, and

* Program analysis techniques that are used to drive program/model
 manipulation such as: abstract interpretation, termination checking,
 binding-time analysis, constraint solving, type systems, automated testing
 and test case generation.

* Techniques that treat programs/models as data objects including
 metaprogramming, generative programming, embedded domain-specific languages,
 program synthesis by sketching and inductive programming, staged
 computation, and model-driven program generation and transformation.

* Application of the above techniques including case studies of program
 manipulation in real-world (industrial, open-source) projects and software
 development processes, descriptions of robust tools capable of effectively
 handling realistic applications, benchmarking. Examples of application
 domains include legacy program understanding and transformation, DSL
 implementations, visual languages and end-user programming, scientific
 computing, middleware frameworks and infrastructure needed for distributed
 and web-based applications, resource-limited computation, and security. 

To maintain the dynamic and interactive nature of PEPM, we will continue the
category of `short papers’ for tool demonstrations and for presentations of
exciting if not fully polished research, and of interesting academic,
industrial and open-source applications that are new or unfamiliar.

Student participants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. For details on the
PAC program, see its web page.

All accepted papers, short papers included, will appear in formal proceedings
published by ACM Press. Accepted papers will be included in the ACM Digital
Library. Selected papers from PEPM’16 will be published in a special issue of
the journal Science of Computer Programming.

PEPM has also established a Best Paper Award. The winner will be announced at
the workshop.

Submission Categories and Guidelines

Regular Research Papers must not exceed 12 pages in ACM Proceedings style
(including appendix). Tool demonstration papers and short papers must not
exceed 6 pages in ACM Proceedings style (including appendix). At least one
author of each accepted contribution must attend the workshop and present the
work. In the case of tool demonstration papers, a live demonstration of the
described tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be made available
on the PEPM’16 web site.

Papers should be submitted electronically via EasyChair.


Authors using LaTeX to prepare their submissions should use the new improved
SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template.

Important Dates

* Abstract submission:  Tue, September 8, 2015
* Paper submission:     Sun, September 13, 2015 (FIRM)
* Author notification:  Tue, October 20, 2015
* Camera ready copies:  Fri, November 20, 2015
* Workshop: Monday, January 18 - Tuesday, January 19, 2016

Note: The paper submission deadline is firm. The above schedule is tight: We
have absolutely no time to wait for late submissions, and we will have no
deadline extension.

Haskell mailing list
Haskell <at> haskell.org
Oleg | 30 Aug 10:08 2015

Final CFP: FLOPS 2016, International Symposium on Functional and Logic Programming

NEW: revised submission deadlines (Sep 21 for abstracts, Sep 25 for papers)

FLOPS 2016: March 3-6, 2016, Kochi, Japan

Final Call For Papers             http://www.info.kochi-tech.ac.jp/FLOPS2016/

Writing down detailed computational steps is not the only way of
programming. The alternative, being used increasingly in practice, is
to start by writing down the desired properties of the result. The
computational steps are then (semi-)automatically derived from these
higher-level specifications. Examples of this declarative style
include functional and logic programming, program transformation and
re-writing, and extracting programs from proofs of their correctness.

FLOPS aims to bring together practitioners, researchers and
implementors of the declarative programming, to discuss mutually
interesting results and common problems: theoretical advances, their
implementations in language systems and tools, and applications of
these systems in practice. The scope includes all aspects of the
design, semantics, theory, applications, implementations, and teaching
of declarative programming.  FLOPS specifically aims to
promote cross-fertilization between theory and practice and among
different styles of declarative programming.


FLOPS solicits original papers in all areas of the declarative
 * functional, logic, functional-logic programming, re-writing
   systems, formal methods and model checking, program transformations
   and program refinements, developing programs with the help of theorem
   provers or SAT/SMT solvers;
 * foundations, language design, implementation issues (compilation
   techniques, memory management, run-time systems), applications and
   case studies.

FLOPS promotes cross-fertilization among different styles of
declarative programming. Therefore, submissions must be written to be
understandable by the wide audience of declarative programmers and
researchers. Submission of system descriptions and declarative pearls
are especially encouraged.

Submissions should fall into one of the following categories:
 * Regular research papers: they should describe new results and will
   be judged on originality, correctness, and significance.
 * System descriptions: they should contain a link to a working
   system and will be judged on originality, usefulness, and design.
 * Declarative pearls: new and excellent declarative programs or
   theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM SIGPLAN
Republication Policy.

The proceedings will be published by Springer International Publishing
in the Lecture Notes in Computer Science (LNCS) series, as a printed
volume as well as online in the digital library SpringerLink. 

Post-proceedings: The authors of 4-7 best papers will be invited to
submit the extended version of their FLOPS paper to a special issue of
the journal Science of Computer Programming (SCP).

Important dates

Monday, September 21, 2015 (any time zone): Abstract Submission
Friday, September 25, 2015 (any time zone): Submission deadline (FIRM)
Monday, November 16, 2015:                  Author notification
March 3-6, 2016:                            FLOPS Symposium
March 7-9, 2016:                            PPL Workshop

Invited Talks
- Kazunori UEDA (Waseda University)
  The exciting time and hard-won lessons of the Fifth Generation
  Computer Project

- Atze Dijkstra (Utrecht University)
  UHC: Coping with Compiler Complexity


Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. The
formatting has to conform to Springer's guidelines.  Regular research
papers should be supported by proofs and/or experimental results. In
case of lack of space, this supporting information should be made
accessible otherwise (e.g., a link to a Web page, or an appendix).

Papers should be submitted electronically at

Program Committee

Andreas Abel         Gothenburg University, Sweden
Lindsay Errington    USA
Makoto Hamana        Gunma University, Japan
Michael Hanus        CAU Kiel, Germany
Jacob Howe           City University London, UK
Makoto Kanazawa      National Institute of Informatics, Japan
Andy King            University of Kent, UK     (PC Co-Chair)
Oleg Kiselyov        Tohoku University, Japan   (PC Co-Chair)
Hsiang-Shang Ko      National Institute of Informatics, Japan
Julia Lawall         Inria-Whisper, France
Andres Loeh          Well-Typed LLP, UK
Anil Madhavapeddy    Cambridge University, UK
Jeff Polakow         USA
Marc Pouzet          Ecole normale superieure, France
Vitor Santos Costa   Universidade do Porto, Portugal
Tom Schrijvers       KU Leuven, Belgium
Zoltan Somogyi       Australia
Alwen Tiu            Nanyang Technological University, Singapore
Sam Tobin-Hochstadt  Indiana University, USA
Hongwei Xi           Boston University, USA
Neng-Fa Zhou         CUNY Brooklyn College and Graduate Center, USA


Andy King            University of Kent, UK                  (PC Co-Chair)
Oleg Kiselyov        Tohoku University, Japan                (PC Co-Chair)
Yukiyoshi Kameyama   University of Tsukuba, Japan            (General Chair)
Kiminori Matsuzaki   Kochi University of Technology, Japan   (Local Chair)

flops2016 at logic.cs.tsukuba.ac dot jp
Henk-Jan van Tuyl | 28 Aug 10:16 2015

ANN: wxHaskell 0.92


I am happy to announce a new version of wxHaskell (0.92).

What is it?
wxHaskell[1] is a portable and native GUI library for Haskell. The goal of
the project is to provide an industrial strength GUI library for Haskell,
but without the burden of developing (and maintaining) one ourselves.

wxHaskell is therefore built on top of wxWidgets – a comprehensive C++
library that is portable across all major GUI platforms; including GTK,
Windows, X11, and MacOS X. Furthermore, it is a mature library (in
development since 1992) that supports a wide range of widgets with the
native look-and-feel.

What's new?
    - wxc/setup.hs now stops searching for wxWidgets when a
      compatible version is found (this solves bug ticket 96)
    - Support for simple Wizards added
    - Calendar support added
    - GCC > 4.5 can now be used on Windows, which is a big
      improvement, as wxWidgets and wxHaskell must use the
      exact same GCC, to prevent compatibility problems
    - wxAui is added to wxc, wxAuiNotebook events are added
      to wxcore and wx
    - Missing GLAttributes added
    - Packet version limits adapted to the newest Haskell
    - Bitness check on Windows no longer uses an external
    - wxHaskell can now be installed with MSYS2
    - wxc/Setup.hs is modified to also link to the wx OpenGL
      libraries for wxGLCanvas
    - The "warning: Adding duplicate image handler for
      '... file'" messages are removed
    - Created a new class Updating with corresponding event
      "update". Provided instances for TextCtrl and ComboBox:
      update gets called when the text changes.
    - Support for wxSplashScreen in wxc and wxcore is added
    - Many warnings are solved

See the homepage of wxHaskell for more information:

The packages are:
    - wxc       https://hackage.haskell.org/package/wxc
    - wxdirect  https://hackage.haskell.org/package/wxdirect
    - wxcore    https://hackage.haskell.org/package/wxcore
    - wx        https://hackage.haskell.org/package/wx

Henk-Jan van Tuyl

[0] https://www.wxwidgets.org
[1] https://wiki.haskell.org/WxHaskell


Folding <at> home
What if you could share your unused computer power to help find a cure? In
just 5 minutes you can join the world's biggest networked computer and get
us closer sooner. Watch the video.

Haskell programming
Haskell mailing list
Haskell <at> haskell.org
Kei Davis | 27 Aug 22:31 2015

Haskell hacking internships at Los Alamos National Laboratory (Spring 2016, undergraduate)


We have an ongoing project developing an auto-parallelizing pure 
functional language implementation loosely based on Haskell/STG.

If you are a United States citizen or permanent resident alien studying 
computer science or mathematics at the undergraduate level with strong 
interests in Haskell programming, compiler/runtime development, and 
pursuing a spring semester (2016) internship at a national laboratory, 
this could be for you.

We don't expect applicants to necessarily already be highly accomplished 
Haskell programmers--such an internship is expected to be a combination 
of further developing your programming/Haskell skills and putting them 
to good use.  If you're already a strong C hacker we could use that too.

The application process for spring semester internships is open here 
http://science.energy.gov/wdts/suli/.  Note the deadline of Oct. 9.

Email me if interested, and feel free to pass this along.


Kei Davis
Applied Computer Science Group CCS-7, Mail Stop B287
Los Alamos National Laboratory
Los Alamos, NM 87545, U.S.A.
Manuel M T Chakravarty | 25 Aug 11:22 2015

ANNOUNCE: Haskell for Mac, 1.0

It is my great pleasure to announce Haskell for Mac


Haskell for Mac is an interactive Haskell development environment for OS X Yosemite that is trivial to
install, easy to use, and that features Haskell playgrounds. 

Haskell playgrounds are very much like a persistent, constantly re-evaluated GHCi session. All Haskell
commands are evaluated as you edit them, constantly displaying up-to-date results and type
information. Moreover, Haskell playgrounds support rich interactive graphics and animations (based
on the Rasterific, Diagram, and Chart packages as well as Apple’s 2D animation and games framework SpriteKit).

Haskell for Mac is an advanced programming environment for an advanced language.


PS: The focus of the first release is on learning and prototyping with minimal project management support
(essentially equivalent to Cabal files with one executable section).
Haskell mailing list
Haskell <at> haskell.org
Tijs van der Storm | 24 Aug 21:51 2015

SPLASH 2015 - Call For Participation

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

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

      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.

28 September 2015 (Early Deadline)


** KEYNOTE Speakers **

We are delighted to announce the following keynote speakers at SPLASH 2015:

- Nick Feamster (Princeton University): Tomorrow’s Network Operators Will Be Programmers
- Lars Bak (Google): How Dart Learned From Past Object-Oriented Systems
- Rob DeLine (Microsoft Research): Modern software is all about data. Development environments should be, too.

**SPLASH-I Speakers **

SPLASH-I is a series of industrial research 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 OOPSLA main track. Talks are open to all attendees.

- Avik Chaudhuri (Facebook): Flow: a static type checker for JavaScript
- Hassan Chafi (Oracle Labs): Domain Specific Languages <at> Oracle Labs: Current Experiences, Future Hopes
- Chris Granger: Eve
- Shan Shan Huang (LogicBlox): Model, Execute, Deploy: Answering the Hard Questions about End-user Programming
- Lindsey Kuper (Intel Labs): Prospect: Finding and Exploiting Parallelism in a Productivity Language for Scientific Computing
- Simon Marlow (Facebook): Fighting Spam with Haskell
- Mark S. Miller (Google): Security as Extreme Modularity: A Standards Shaping Approach
- Eliot Miranda (Cadence): Spur: Efficient Support for Live Programming in Dynamic Languages
- Markus Voelter (independent): Language-Oriented Business Applications: Helping End Users become Programmers
- Josh Watzman (Facebook): Changing Engines in Flight: Facebook's Conversion to Hack
- Peng Wu (Huawei America Lab): When CT meets IT: Programming Challenges in the age of ICT Convergence

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

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

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

** DLS - Dynamic Languages Symposium **
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.

Keynote: Declare Your Language
Speaker: Eelco Visser (Delft University of Technology)

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

Panel: Software Professionalism – Is it “Good Enough?”
With: Dennis Mancl, Nancy Mead, Mary Shaw, Werner Wild

Panel: The Future of Programming Languages and Programmers
With: Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Crista Lopes, Peng Wu

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

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

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

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

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

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

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

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

** PLMW - Programming Languages Mentoring Workshop **

The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising undergraduate students from around Pittsburgh 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.

** RPG Richard's Pretty Good Talks **

RPG is my micro-conference. RPG is sporadically held, suddenly announced, and leaves little but mental limps and frustration / aka instability—take it as step #1 toward getting you decanalized. I choose the speakers and I don’t care what you think; I choose the topics and I always choose first loves. I want people telling me about things they cherish / not about how they make their living. Here’s what I’ve got going this year for the third edition.

- Crista Lopes & Annette Vee, Programming as Writing (and vice versa?)
- Billy Price & William Pollak, Singing the Blues / What is a Song?


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

DSM - Domain-Specific Modeling

ETX - Eclipse Technology eXchange

FPW - Future Programming Workshop

MobileDeLi - Mobile Development Lifecycle

NOOL - New Object-Oriented Languages

PLATEAU - Evaluation and Usability of Programming Languages and Tools
Keynote: Mary Beth Rosson (Pennsylvania State University)

Parsing - Parsing <at> SLE 2015

PROMOTO - Programming for Mobile and Touch

REBLS - Reactive and Event-based Languages & Systems

SMART - Smart Software Strategies

SEPS - Software Engineering for Parallel Systems

WODA - Workshop on Dynamic Analysis

Co-Located Events                    

** SLE - 8th International ACM SIGPLAN Conference on Software Language Engineering **

Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies).

Keynote Speaker: Stephane Ducasse (Inria)

** GPCE - 14th International Conference on Generative Programming: Concepts & Experiences **

The International Conference on Generative Programming: Concepts & Experiences (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.

Keynote Speaker: Priya Narasimhan (Carnegie Mellon University)

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

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

Information and Organization                    

SPLASH Early Registration Deadline: 28 September, 2015

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 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 A&M 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 <at> 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
Haskell mailing list
Haskell <at> haskell.org
Jonathan Daugherty | 24 Aug 20:07 2015

ANNOUNCE: brick 0.2 released


I'm happy to announce brick version 0.2, a declarative terminal UI 
library.  This version includes many API changes, some bugfixes, and 
some performance improvements.  I would really like to thank Simon 
Michael for considerable tire-kicking that resulted in a lot of 
improvements, and Sebastian Reuße for fixing some nasty space leaks!

You can read the full change log at


and get it from Hackage at




  Jonathan Daugherty
Francesco Calimeri | 24 Aug 19:25 2015

LPNMR 2015: Call for participation - Hotel Special rate DEADLINE Sep. 2nd, 2015

[apologies for possible multiple copies]

                          Call for Participation

                 ***Hotel Special rate DEADLINE Sep. 2nd***

                      13th International Conference on
               Logic Programming and Non-monotonic Reasoning
                                LPNMR 2015


                             Lexington, KY, USA
                           September 27-30, 2015

  (Collocated with the 4th Conference on Algorithmic Decision Theory 2015)


 Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/.
 Hotel Special rate DEADLINE has been postponed to Sep. 2nd, 2015, and is
 available via http://lpnmr2015.mat.unical.it/hotel-reservations.


 LPNMR 2015 is the thirteenth in the series of international meetings on
 logic programming and non-monotonic reasoning. LPNMR is a forum for
 exchanging ideas on declarative logic programming, non-monotonic reasoning,
 and  knowledge representation. The aim of the conference is to facilitate
 interactions between researchers and practitioners interested in the
 design and implementation of logic-based programming languages and
 database systems, and those working in knowledge representation and
 nonmonotonic reasoning. LPNMR strives to encompass theoretical and
 experimental studies that have led or will lead to the construction of
 systems for declarative programming and knowledge representation, as well
 as their use in practical applications.

LPNMR 2015

 The program will include three invited talks:
 - Stable Models for Temporal Theories - By Pedro Cabalar, University of
   Corunna, Spain
 - Algorithmic decision theory meets logic - By Jérôme Lang, Université
   Paris-Dauphine, France (Plenary session with ADT 2015).
 - Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan
   Institute and University of Nova Gorica, Slovenia

 This edition of LPNMR will also feature several workshops, a special session
 dedicated to the 6th ASP Systems Competition, and will be collocated with the
 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral
 Consortium will be a part of the program. Some details follow; full info are
 available via the official conference website http://lpnmr2015.mat.unical.it/.


  WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on
  September 27 prior to the main conference. Currently planned workshops
  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen
    Website: https://sites.google.com/site/gttv2015/
  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee, Gail-Joon Ahn
    Website: https://sites.google.com/site/alpp2015/
  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
    Website: https://sites.google.com/site/nlpar2015/
  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo
    Website: http://lnmr2015.insight-centre.org/

  ASP COMPETITION - A special session dedicated to a discussion of the
  6th ASP System Competition, including the methodology of the competition,
  benchmarks used, lessons learned and, most importantly, the results and
  the announcement of the winners.

  ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place)
  Algorithmic Decision Theory is a vibrant and growing area of research
  concerned with algorithmic aspects of problems arising in social choice
  and economics that involve optimal ways to aggregate preferences. The
  area abounds in hard computational problems and may be an axciting area
  of applications for ASP. The two conferences will seek ways to identify
  and promote synergies between their respective areas of focus.

   - Esra Erdem (LPNMR), Sabanci University, Turkey
   - Nick Mattei (ADT), NICTA, Australia
  More info:

 The organizing committee has limited funds to partially support students
 attending LPNMR, with priority to authors of accepted papers that are not
 funded by the doctoral consortium and have no other funding available.
 The funding will cover registration and partially cover stay in the conference
 hotel or some other hotel located nearby (the exact number of free nights to
 be determined).
 Applicants should submit their requests to lpnmr2015 <at> mat.unical.it. A proof
 of student status is requested. NOTE: Students planning to request financial
 aid should directly contact Miroslaw Truszczynski <mirek <at> cs.uky.edu> before
 they register.


 LPNMR 2015 is pleased to acknowledge its cooperation with the Association
 for the Advancement of Artificial Intelligence (AAAI)
 [http://www.aaai.org], which will be publicizing the conference to its
 membership. Of special interest to conference attendees is an introductory
 membership offer from AAAI, which provides a complimentary 1-year online
 membership to conference participants who are new to AAAI. Please send a
 message to membership15 <at> aaai.org for further details.


 Lexington is a medium size, pleasant and quiet university town. It is
 located in the heart of the so-called Bluegrass Region in Central Kentucky.
 The city is surrounded by beautiful horse farms on green pastures dotted
 with ponds and traditional architecture stables, and small race tracks, and
 bordered by white or black fences. The Horse Museum is as beautifully
 located as it is interesting. Overall, the city has a nice feel that mixes
 well old and new. The conference will be held in the Hilton Lexington
 Downtown hotel.


 Victor Marek, University of Kentucky, KY, USA

 Giovambattista Ianni, University of Calabria, Italy
 Mirek Truszczynski, University of Kentucky, KY, USA

 Yuliya Lierler, University of Nebrska at Omaha, NE, USA

 Francesco Calimeri, University of Calabria, Italy

 Agostino Dovier, Università di Udine, Italy
 Agustín Valverde, Universidad de Màlaga, Spain
 Alessandra Mileo, National University of Ireland, Galway, INSIGHT
Centre for Data Analytics, Ireland
 Andrea Formisano, Dip. di Matematica e Informatica, Università di
Perugia, Italy
 Axel Polleres, Vienna University of Economics and Business, Austria
 Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium
 Chiaki Sakama, Wakayama University, Japan
 Chitta Baral, Arizona State University, USA
 Christoph Redl, Vienna University of Technology, Austria
 Daniela Inclezan, Miami University, USA
 David Pearce, Universidad Politécnica de Madrid, Spain
 Emilia Oikarinen, Aalto University, Finland
 Enrico Pontelli, New Mexico State University, USA
 Esra Erdem, Sabanci University, Istanbul, Turkey
 Eugenia Ternovska, Simon Fraser University, Canada
 Fangkai Yang, Schlumberger Ltd
 Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
 Francesco Calimeri, Università della Calabria, Italy
 Gerhard Brewka, Leipzig University, Germany
 Giovanni Grasso, Oxford University, UK
 Hannes Strass, Leipzig University, Germany
 Hans Tompits, Vienna University of Technology, Austria
 James Delgrande, Simon Fraser University, Canada
 Jia-Huai You, University of Alberta, Canada
 Joohyung Lee, Arizona State University, USA
 Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
 Kewen Wang, Griffith University, Australia
 Marc Denecker, K.U.Leuven, Belgium
 Marcello Balduccini, Drexel University, USA
 Marina De Vos, University of Bath, UK
 Martin Gebser, Aalto University, Finland
 Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal
 Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico
 Michael Fink, Vienna University of Technology, Austria
 Michael Gelfond, Texas Tech University, USA
 Orkunt Sabuncu, University of Potsdam, Germany
 Paul Fodor, Stony Brook University, USA
 Pedro Cabalar, University of Corunna, Spain
 Saadat Anwar, Arizona State University, USA
 Stefan Woltran, Vienna University of Technology
 Stefania Costantini, Dipartimento di Ingegneria e Scienze
 dell'Informazione, e Matematica, Univ. di L'Aquila, Italy
 Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal
 Thomas Eiter, Vienna University of Technology, Austria
 Tomi Janhunen, Aalto University, Finland
 Torsten Schaub, University of Potsdam, Germany
 Tran Cao Son, New Mexico State University, USA
 Vladimir Lifschitz, University of Texas at Austin, USA
 Wolfgang Faber, University of Huddersfield, UK
 Yi Zhou, University of Western Sydney, Australia
 Yisong Wang, Guizhou University, China
 Yuliya Lierler, University of Nebraska at Omaha, USA


 lpnmr2015 <at> mat.unical.it
Haskell mailing list
Haskell <at> haskell.org
Manuel Hermenegildo | 24 Aug 15:49 2015

CFP: 25th International Conference on Compiler Construction (CC)

[ Please forward. Apologies for any duplicates. ] 

                           CALL FOR PAPERS

   25th International Conference on Compiler Construction (CC 2016)

                  March 17-18 2016, Barcelona, Spain
            Co-located with CGO, HPCA, PPoPP, and EuroLLVM

Important dates

  Abstracts due:         13 November 2015 
  Papers due:            20 November 2015 
  Author notification:   27 January  2016
  Camera ready versions: 10 February 2016
  Conference:            17-18 March 2016


The  International   Conference  on  Compiler  Construction   (CC)  is
interested in work  on processing programs in the  most general sense:
analyzing, transforming or executing input that describes how a system
operates,  including traditional  compiler construction  as a  special

Original contributions are solicited on the topics of interest which
include, but are not limited to:

- Compilation   and  interpretation   techniques,  including   program
  representation,  analysis, and  transformation; code  generation and
- Run-time techniques, including  memory management, virtual machines,
  and dynamic and just-in-time compilation;
- Programming   tools,   including  refactoring   editors,   checkers,
  verifiers, compilers, debuggers, and profilers;
- Techniques  for   specific  domains,   such  as   secure,  parallel,
  distributed, embedded or mobile environments;
- Design  and   implementation  of   novel  language   constructs  and
  programming models.

CC 2016 is the 25th edition  of the conference.  It will be co-located
with CGO, HPCA, PPoPP, and EuroLLVM on March 17-18 2016, in Barcelona,


Papers   should  be   submitted   electronically   via  EasyChair   at
https://easychair.org/conferences/?conf=cc2016.    Papers    must   be
written in English and be submitted  in pdf in ACM SIGPLAN proceedings
format  (http://www.sigplan.org/Resources/Author/).   The  proceedings
will  be  published in  the  ACM  Digital  Library  and will  be  made
available freely for the period around the conference.

Both regular  papers (up to  11 pages)  and tool papers  (up to 2  + 3
pages), are invited.   In tool papers the first part  (2 pages) should
describe the tool and the second (3 pages) explain the contents of the
demo that will be presented with examples and screenshots.

Submissions  must  adhere  strictly  to  the  page  limits,  including
bibliography, figures,  or appendices.   Submissions that  are clearly
too long  may be  rejected immediately.  Additional  material intended
for reviewers but not for publication in the final version ( listings,
data, proofs) may be included  in a clearly marked appendix. Submitted
papers  must  be unpublished  and  not  be submitted  for  publication
elsewhere.  A  condition of submission  is that, if the  submission is
accepted,  one of  the  authors  attends the  conference  to give  the


General Chair
  Ayal Zaks
  Intel and Technion, Israel

Program Committee Chair 
  Manuel Hermenegildo
  IMDEA SW Institute and Technical U. of Madrid, Spain

Program Committee
  Raj Barik, Intel Labs, Santa Clara, CA
  Uday Bondhugula, IIS Bangalore
  Maria Garzaran, U. of Illinois UC and Intel
  Laurie Hendren, McGill U.
  Manuel Hermenegildo, IMDEA and T.U. Madrid
  Xavier Leroy, INRIA
  Ondrej Lhotak, U of Waterloo
  Francesco Logozzo, Facebook
  Antoine Miné, Ecole Normale Supérieure, Paris
  Jose Morales, IMDEA SW
  Diego Novillo, Google
  Dorit Nuzman, Intel Haifa
  Jens Palsberg, UCLA
  Xipeng Shen, North Carolina State University
  Walid Taha, Rice U.
  Zheng Wang, Lancaster U.

Steering Committee
  Koen De Bosschere, Ghent U.
  Björn Franke, U. of Edinburgh
  Michael O'Boyle, U. of Edinburgh
  Albert Cohen, INRIA

Web site