Bas van Dijk | 17 Apr 14:23 2014

ZuriHac 2014 - Updates

Dear (potential) ZuriHac 2014 attendees,

I would like to make a few announcements regarding ZuriHac 2014, a
Haskell hackathon taking place in Zurich from Friday 6 June 2014 to
Sunday 8 June 2014.

Besides hacking on Haskell projects with core members of the community
you will hear talks by Simon Marlow and Edward Kmett.

Note that this event is open to any experience level, from beginners
to gurus. In fact, one of the goals is to bring beginners in contact
with experts so that the former can get a quick start in the Haskell
community and the latter more help with their projects.

For more information see:


I'm happy and sad to inform you that we've almost reached capacity for
ZuriHac 2014. Happy because it looks like this might be the biggest
Haskell Hackathon ever. Sad because I soon have to start adding new
registrations to a waiting list.

So if you want to join us, and haven't registered already, then please
do so soon at:

Also if you've already registered but know you won't be able to make
(Continue reading)

Yuan-Fang Li | 17 Apr 01:37 2014

Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)

*** Apologies for cross-posting ***

*** Please not the URL of the conference Web site: ***

Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)

Nov 18-21, 2014

PRDC 2014 ( is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems.

Topics of interest include (but not limited to):
  • Software and hardware reliability, testing, verification, and validation
  • Dependability measurement, modeling, evaluation, and tools
  • Self-healing, self-protecting, and fault-tolerant systems
  • Software aging and rejuvenation
  • Safety-critical systems and software
  • Architecture and system design for dependability
  • Fault-tolerant algorithms and protocols
  • Reliability in cloud computing, Internet, and web systems and applications
  • Cloud and Internet Information security
  • Dependability issues in computer networks and communications
  • Dependability issues in distributed and parallel systems
  • Dependability issues in real-time systems, database, and transaction processing systems
  • Dependability issues in autonomic computing
  • Dependability issues in aerospace and embedded systems

Paper Submissions

Manuscripts should be submitted in the following categories: Regular Papers and Practical Experience Reports. Regular Papers should describe original research (not submitted or published elsewhere) and be not more than 10 pages using IEEE format guidelines or 20 pages double-spaced. Practical Experience Reports (max 6 pages using IEEE format guidelines or 12 pages double-spaced) should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data. The title page should include a 150-word abstract, five keywords, authors' names and affiliations, and a line specifying whether the submission is a Regular Paper or a Practical Experience Report. The full mailing address, phone, fax, and email address of the corresponding author should be specified.

All submissions must be made electronically (in PDF format) on the submission web site . Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by IEEE Computer Society Press. One outstanding paper will be selected to receive the Best Paper Award.

Important Dates

Submission deadline: May 2, 2014
Notification: June 25, 2014

Best regards

Haskell mailing list
Haskell <at>
Jeremy Gibbons | 16 Apr 13:13 2014

UTP-2014 call for participation


                  --- Call For Participation ---

  5th International Symposium on Unifying Theories of Programming

                    Singapore, 13th May, 2014
                   In association with FM 2014


Invited talk: 

  Ian Hayes, University of Queensland 
  Separating concerns of rely and guarantee in concurrent program derivation

Contributed papers: 


About the Symposium:

Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years.  The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.  Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison.  Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way.

Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities.

Tutorial on UTP, May 12: 

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

Haskell mailing list
Haskell <at>

ANN: GHC-7.8.2-Eden - Parallel Haskell on multicore and cluster systems

We are happy to announce a new release of Eden, a parallel extension of
Haskell. The release comprises:

* The GHC-7.8.2-Eden compiler: GHC-7.8.2 extended with the Eden parallel
runtime system.
* The Eden modules ( a library defining the Eden language
* The Eden skeleton library ( a comprehensive library with
common task and data parallel patterns.
* The Eden trace viewer EdenTV (4.4.0): a visualisation and analysis
tool for eventlogs of parallel program runs.

All resources are available via:, libraries are also available
from Hackage.

New in this release:
* all new features included in ghc-7.8 (release notes at and;
* extended Haskell serialisation support (see;
* script-less program execution and eventlog handling when using shared
memory ways;
* major module structure overhaul in edenskel;
* bugfixes and Trans instances for more common data types in Eden modules.


Eden extends Haskell with a small set of syntactic constructs for
explicit process specification and creation.  While providing enough
control to implement parallel algorithms efficiently, it frees the
programmer from the tedious task of managing low-level details by
introducing automatic process handling, synchronisation and
communication (via head-strict lazy lists).

Eden is tailored for distributed systems but works equally well on
multicore architectures. Processes work within disjoint address spaces
and do not share any data. This simplifies Eden's implementation as
there is no need for global garbage collection.
The implementation for multicores uses communicating OS processes (via
Posix SharedMem or mail slots), cluster implementations use either MPI
or PVM.

A tutorial is available from

The compiler release includes binary packages for Linux, Windows and Mac
OS, and a source distribution, available from
(binary packages only support the multicore implementations).

Eden libraries and tools are available separately from hackage:

- Eden modules: (already
included in the Eden compiler)
- Eden skeleton library:
- EdenTV: (uses gtk2hs)

When built using a standard GHC, the packages will produce a threaded
simulation of Eden.
John David Reaver | 15 Apr 21:29 2014

[ANN] quantities 0.3.0

Hello! I am happy to publicly announce the quantities package:

I feel this package is complete enough as of version
0.3.0 (released today) to announce it to the public.

From the description on Hackage:

   A library for creating and manipulating physical quantities,
   which are a numerical value associated with a unit of
   measurement. Included is an expression parser and a huge list
   of predefined quantities with which to parse strings into a
   Quantity datatype. Once created, a quantity can be converted
   to different units or queried for its dimensionality. A user
   can also operate on quantities arithmetically, and doing so
   uses automatic unit conversion and simplification.

Just to get a taste of how this package works, here are some

>>> fromString "25 m/s"
Right 25.0 meter / second
>>> fromString "fakeunit"
Left (UndefinedUnitError "fakeunit")
>>> fromString "ft + 12in"
Right 2.0 foot

>>> fromString "min => s"
Right 60.0 second
>>> fromString "2 ft + 6 in => ft"
Right 2.5 foot
>>> fromString "5 m => s"
Left (DimensionalityError [length] [time])

>>> convertBase <$> fromString "N * m"
Right 1000.0 gram meter ** 2 / second ** 2

>>> dimensionality <$> fromString "N * m"
Right [length] ** 2 [mass] / [time] ** 2

Finally, this is my first Haskell library. I am open to *any*
suggestions/criticism, especially in regards to code style, the API,
the cabal file structure, etc.

John David Reaver
Haskell mailing list
Haskell <at>
Wouter Swierstra | 15 Apr 16:01 2014

Haskell Symposium: Second call for papers

                ACM SIGPLAN
                HASKELL SYMPOSIUM 2014

    Gothenburg, Sweden, 4-5 September 2014, directly after ICFP
    haskell2014 <at>

The ACM SIGPLAN Haskell Symposium 2014 will be colocated with the 2014
International Conference on Functional Programming (ICFP) in
Gothenburg, Sweden. Like last year, the symposium will last 2 days.
Thanks to broader participation from a growing community, we will be
able to include more regular papers as well as system demonstrations,
while upholding the scientific quality of the symposium.

The Haskell Symposium seeks to present original research on Haskell,
to discuss practical experience and future development of the
language, as well as to promote other forms of denotative programming.
Topics of interest include

* Language Design, with a focus on possible extensions and
  modifications of Haskell as well as critical discussions of the
  status quo;

* Theory, such as formal semantics of the present language or future
  extensions, type systems, effects, metatheory, and foundations for
  program analysis and transformation;

* Implementations, including program analysis and transformation,
  static and dynamic compilation for sequential, parallel, and
  distributed architectures, memory management, as well as foreign
  function and component interfaces;

* Tools, such as profilers, tracers, debuggers, preprocessors, and
  testing tools;

* Applications, to scientific and symbolic computing, databases,
  multimedia, telecommunication, the web, and so forth;

* Functional Pearls, being elegant and instructive programming

* Experience Reports, to document general practice and experience in
  education, industry, or other contexts. Such reports are shorter
  than regular papers; they are limited to six pages.

Papers in the latter two categories need not necessarily report
original research results.  They may report instead, for example,
reusable programming idioms, elegant ways to approach a problem, or
practical experience that will be useful to other users, implementors,
or researchers.  The key criterion for such a paper is that it makes a
contribution from which other Haskellers can benefit.  It is not
enough simply to describe a program!

Regular papers should explain their research contributions in both
general and technical terms, identifying what has been accomplished,
explaining why it is significant, and relating it to previous work
(also for other languages where appropriate).

In addition, we solicit proposals for

* System Demonstrations (no longer than a regular paper talk), based
  on running (perhaps prototype) software rather than necessarily on
  novel research results.

These proposals should summarize the system capabilities that would be
demonstrated. The proposals should explain (and will be judged on)
whether the ensuing session is likely to be important and interesting
to the Haskell community at large, whether on grounds academic or
industrial, theoretical or practical, technical or social.  Please
contact the program chair with any questions about the relevance of a

Travel Support:

Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses.  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 programme, see its web page


ACM Press will publish formal proceedings.  Accepted papers will be
included in the ACM Digital Library.  Authors must grant ACM
publication rights upon acceptance (,
but may retain copyright if they wish.  Authors are encouraged to
publish auxiliary material with their paper (source code, test data,
and so forth).  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.

Accepted proposals for system demonstrations will be posted on the
symposium web page, but not formally published in the proceedings.

Submission Details:

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines
(  The text
should be in a 9-point font in two columns.  The length is restricted
to 12 pages, except for "Experience Report" papers, which are
restricted to 6 pages.  Papers need not fill the page limit.  Each
paper submission must adhere to SIGPLAN's republication policy, as
explained on the web.

Proposals for system demonstrations are limited to 2-page abstracts,
in the same ACM format as papers.

"Functional Pearls", "Experience Reports", and "Demo Proposals" should
be marked as such with those words in the title at time of submission.

The paper submission deadline and length limitations are firm.  There
will be no extensions, and papers violating the length limitations
will be summarily rejected.

Submission is via EasyChair:

* Abstract submission: Fri 09 May 2014
* Paper submission   : Mon 12 May 2014
* Demo submission    : Fri 30 May 2014
                       (prior abstract submission unnecessary)
* Author notification: Wed 11 June 2014
* Final papers due   : Sun 22 June 2014

All deadlines, except the final papers deadline, are in Standard
Samoan Time.

Programme Committee:

  George Giorgidze - Standard Chartered Bank
  Mauro Jaskelioff - Universidad Nacional de Rosario
  Mark Jones - Portland State University
  Lindsey Kuper - Indiana University
  José Pedro Magalhães - University of Oxford
  Geoffrey Mainland - Drexel University
  Simon Marlow - Facebook
  Shin Cheng Mu - Academia Sinica
  Keiko Nakata - Institute of Cybernetics, Tallinn University of Technology
  Bruno Oliveira - University of Hong Kong
  Lee Pike - Galois
  Josef Svenningsson - Chalmers University of Technology
  Wouter Swierstra - University of Utrecht (chair)
  Simon Thompson - University of Kent
Haskell mailing list
Haskell <at>
Amal Ahmed | 15 Apr 10:56 2014

Oregon PL Summer School: register by May 2nd

*** The registration deadline for this year's Oregon PL Summer School has been extended to May 2nd.
This year's Oregon Programming Languages Summer School will take place from June 16th to 28th, 2014. Full information on registration and scholarships an be found here: The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. This year we will again offer a Coq boot camp session, to be held on June 15th -- one day before the summer school officially begins. The boot camp will provide a one-day, intensive, hands-on introduction to the practical mechanics of the Coq proof assistant. The Coq boot camp will be run by Michael Clarkson (George Washington University). More information is available at the above website.
This year's program is titled Types, Logic, Semantics, and Verification.  The speakers and topics include: 

Andrew Appel -- Software Verification
Princeton University

Lars Birkedal -- Category Theory
Aarhus University

Michael Clarkson -- Coq Bootcamp
George Washington University

Derek Dreyer -- Modular Reasoning about Stateful Programs
Max Planck Institute for Software Systems

Robert Harper -- Type Theory Foundations
Carnegie Mellon University

Greg Morrisett -- Certified Programming and State
Harvard University

Ulf Norell -- Programming in Agda
Chalmers University of Technology

Brigitte Pientka -- Proof Theory Foundations
McGill University

Stephanie Weirich -- Designing Dependently-Typed Programming Languages
University of Pennsylvania

Steve Zdancewic -- Software Foundations in Coq
University of Pennsylvania

We hope you can join us for this excellent program!

Amal Ahmed
Zena Ariola
Greg Morrisett
OPLSS 2014 organizers

Haskell mailing list
Haskell <at>
Henrik Nilsson | 14 Apr 18:38 2014

CFP: FARM 2014: Functional Art, Music, Modelling and Design

Dear all,

This is the second FARM 2014 call for papres. Sorry for any duplicate

If you are using Haskell or any mostly functional language in any
kind of musical, artistic, or design endeavour, please consider
contributing to FARM 2014, the 2nd ACM SIGPLAN International Workshop
of Functional Art, Music, Modelling and Design, co-located with ICFP

Call-for-papers enclosed.

Best regards,



			 FARM 2014

	 2nd ACM SIGPLAN International Workshop on
	Functional Art, Music, Modelling and Design

	   Gothenburg, Sweden; 6 September, 2014

The ACM SIGPLAN International Workshop on Functional Art,
Music, Modelling and Design (FARM) gathers together people
who are harnessing functional techniques in the pursuit of
creativity and expression.

Functional Programming has emerged as a mainstream software
development paradigm, and its artistic and creative use is
booming. A growing number of software toolkits, frameworks
and environments for art, music and design now employ
functional programming languages and techniques. FARM is a
forum for exploration and critical evaluation of these
developments, for example to consider potential benefits of
greater consistency, tersity, and closer mapping to a
problem domain.

FARM encourages submissions from across art, craft and
design, including textiles, visual art, music, 3D sculpture,
animation, GUIs, video games, 3D printing and architectural
models, choreography, poetry, and even VLSI layouts, GPU
configurations, or mechanical engineering designs. The
language used need not be purely functional (“mostly
functional” is fine), and may be manifested as a domain
specific language or tool. Theoretical foundations, language
design, implementation issues, and applications in industry
or the arts are all within the scope of the workshop.

Submissions are invited in two categories:

   * Full papers

     5 to 12 pages using the ACM SIGPLAN template. FARM 2014
     is an interdisciplinary conference, so a wide range of
     approaches are encouraged and we recognize that the
     appropriate length of a paper may vary considerably
     depending on the approach. However, all submissions must
     propose an original contribution to the FARM theme, cite
     relevant previous work, and apply appropriate research

   * Demo abstracts

     Demo abstracts should describe the demonstration and its
     context, connecting it with the themes of FARM. A demo
     could be in the form of a short (10-20 minute) tutorial,
     presentation of work-in-progress, an exhibition of some
     work, or even a performance. Abstracts should be no
     longer than 2 pages, using the ACM SIGPLAN template and
     will be subject to a light-touch peer review.

If you have any questions about what type of contributions
that might be suitable, or anything else regarding
submission or the workshop itself, please contact the
organisers at:

     workshop2014 <at>


     Abstract (for Full Papers) submission deadline:	7 May
     Full Paper and Demo Abstract submission Deadline:	11 May
     Author Notification:				30 May
     Camera Ready:					18 June
     Workshop:						6 September


All papers and demo abstracts must be in portable document
format (PDF), using the ACM SIGPLAN style guidelines. The
text should be in a 9-point font in two columns. The
submission itself will be via EasyChair. See the FARM
website for further details:


Accepted papers will be included in the formal proceedings
published by ACM Press and will also be made available
through the the ACM Digital Library; see for information on the
options available to authors. Authors are encouraged to
submit auxiliary material for publication along with their
paper (source code, data, videos, images, etc.); authors
retain all rights to the auxiliary material.


Workshop Chair: Alex McLean, University of Leeds

Program Chair: Henrik Nilsson, University of Nottingham

Publicity Chair: Michael Sperber, Active Group GmbH

Program Committee:
Sam Aaron, Cambridge University
David Duke, University of Leeds
Kathleen Fisher, Tufts University
Julie Greensmith, University of Nottingham
Bas de Haas, Universiteit Utrecht
Paul Hudak, Yale University
David Janin, Université de Bordeaux
Richard Lewis, Goldsmiths, University of London
Louis Mandel, Collège de France
Alex McLean, University of Leeds
Carin Meier, Neo Innovation Inc
Rob Myers, Furtherfield
Henrik Nilsson, University of Nottingham (chair)
Dan Piponi, Google Inc
Andrew Sorensen, Queensland University of Technology
Michael Sperber, Active Group GmbH

For further details, see the FARM website:


Henrik Nilsson
School of Computer Science
The University of Nottingham
nhn <at>
This message and any attachment are intended solely for the addressee and may contain confidential
information. If you have received this message in error, please send it back to me, and immediately delete
it.   Please do not use, copy or disclose the information contained in this message or in any attachment.  Any
views or opinions expressed by the author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system, you are advised to perform
your own checks. Email communications with the University of Nottingham may be monitored as permitted by
UK legislation.
Wouter Swierstra | 14 Apr 10:34 2014

PhD Position in dependent types, testing & hardware design

VACANCY : 1x Phd position in dependent types, testing & hardware design

The research group of Software Technology is part of the Software
Systems division of in the department of Information and Computer
Science at the Utrecht University. We focus our research on functional
programming, compiler construction, program analysis, validation, and

Financed by the Netherlands Organisation for Scientific Research
(NWO), we currently have a job opening for:

* 1x PhD researcher (PhD student) Software Technology

The aim of the project is to develop a domain specific language for
testing and verifying hardware, embedded in a general purpose
dependently typed programming language.

Besides research, the successful candidate will be expected to help
supervise MSc students and assist teaching courses.

We aim to start September 1, 2014 at the latest, but preferably

What we are looking for

The candidate should have an MSc in Computer Science, be highly
motivated, speak and write English well, and be proficient in
producing scientific reports. Knowledge of and experience with at
least one of the following four areas is essential:

 * functional programming, such as Haskell or ML;
 * dependently typed programming, such as Agda, Coq, or Idris;
 * software testing, including familiarity with libraries such as
   QuickCheck and SmallCheck;
 * hardware description languages, such as Lava or VHDL;

What we offer

The candidate is offered a full-time position for four years. A
part-time of at least 0.8 fte may also be possible. The salary is
supplemented with a holiday bonus of 8% and an end-of-year bonus of
8,3% per year. In addition we offer: a pension scheme, a partially
paid parental leave, flexible employment conditions. Conditions are
based on the Collective Labour Agreement Dutch Universities. The
research group will provide the candidate with necessary support on
all aspects of the project. More information is available on the

  Terms and employment:

A part-time of at least 0.8 fte may also be possible. Salary starts
at EURO 2,083 and increases to EURO 2,664 gross per month in the fourth
year of the appointment.

Utrecht is a great place to live, having been ranked as one of the
happiest places in the world, according to BBC travel.

  Living in Utrecht:

In order to apply

To apply please attach a letter of motivation, a curriculum vitae, and
(email) addresses of two referees. Make sure to also include a
transcript of the courses you have followed (at bachelor and master
level), with the grades you obtained, and to include a sample of your
scientific writing, such as your master thesis.

It is possible to apply for this position if you are close to
obtaining your Master's. In that case include a letter of your
supervisor with an estimate of your progress, and do not forget to
include at least a sample of your technical writing skills.

Application closes on the May 30th, 2014. You can apply through
the University's website:


For further information you can direct your inquiries to:

Wouter Swierstra
phone: +31 (0)30 253 9207
e-mail: w.s.swierstra <at>
Ylies Falcone | 14 Apr 08:39 2014

DEADLINE is TODAY: 2nd International Summer School on Cyber-Physical Systems

[~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~]

2nd International Summer School on Cyber-Physical Systems

July 7-10, 2014 Grenoble, France

Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects. The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems.
This year, the objective of the school is to survey fundamental and applied aspects of modelling, monitoring and learning of systems as well as to identify novel opportunities and research directions in these areas through a series of lectures by international experts. Participants will also experience the relevant technologies during hands-on courses and be given a chance to present their own work. The school will provide a great opportunity to know other people working in the field, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future.
The school will concentrate on the fields of system modelling, monitoring and learning. Over the last ten years we have seen a lot of growth in these areas, building on strong theoretical foundations to apply and extend techniques to new application domains. Runtime verification is a growing field with more and more efffective applications in safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. The field of specification mining (learning specifications from system behaviour) has also seen a surge in research effort, with the establishment of a number of competitions to drive forward the development of practical tools. This research community is at an ideal stage to benefit from a school such as this, to inspire, motivate and instruct new researchers into the field.
Students participating at this summer school will learn the current state of the art in modeling, monitoring, and learning. Students will be able to apply new techniques coming from various communities and backgrounds to their own domain. The CPS Summer School will be held at Grenoble University. Courses will be given in English by experts from industry and academia working in various fields of CPS.


  • System modelling.
  • Monitoring.
  • Learning.
  • Medical devices.
  • Sensor networks.

Scientific Organization

Université Joseph Fourier (UJF) is located at the heart of the Alps, in outstanding scientific and natural surroundings. UJF is a leading University of Science, Technology and Health. Featuring in all of the major international rankings (Top 150 World Universities - Shanghai Ranking), the UJF offers initial and further education for jobs of the future in a wide range of fields: Physics and Chemistry, Mathematics and Computer Science, Biology, Medicine and Pharmacy, Engineering and Technology, Earth Science and Astronomy/Astrophysics, Environmental Studies, Geography and Territorial Sciences, as well as the Science of Physical and Sports Activities.
PERSYVAL-Lab focuses on pervasive systems and algorithms at the convergence of physical and digital worlds. PERSYVAL-lab is built over high-level research laboratories present at Grenoble in Mathematics, Computer Science, Automatic Control, Signal Processing, and Hardware Architecture.
Jet Propulsion Laboratory (JPL) is a federally funded research and development center located in Pasadena, California, United States. JPL is managed by the nearby California Institute of Technology (Caltech) for the National Aeronautics and Space Administration (NASA). The laboratory's primary function is the construction and operation of robotic planetary spacecraft.

Confirmed Speakers

  • Eric Bodden (TU Darmstadt and EC SPRIDE, Germany).
  • Olivier Coutelou (Schneider Electric, France).
  • Radu Grosu (Technical Univesity Wien, Austria).
  • Klaus Havelund (NASA JPL, USA).
  • Kim G. Larsen (Aalborg University, Denmark).
  • Jean Goubault-Larrecq (ENS Cachan, France).
  • Martin Leucker (University of Lübeck, Germany).
  • Roberto Passerone (Universita' degli Studi di Trento, Italy).
  • Grigore Rosu (University of Illinois at Urbana Champaign, USA).
  • Mohamad Sawan (Ecole Polytechnique de Montréal, Canada).
  • Bernhard Steffen (Technical University Dortmund, Germany).
  • Andreas Zeller (Saarland University, Germany).

Organization Committee

  • Saddek Bensalem (University of Grenoble, France).
  • Yliès Falcone - (University of Grenoble, France).
  • Klaus Havelund - (NASA JPL, USA).


The registration fee to the CPS Summer-School is:
  • 250 euros for students,
  • 400 euros for academics and people from industry.
The registration comprises lunches, coffee breaks, and a reception party.

Application Procedure and Important Dates

Attendance is limited to 80, so we will be selecting amongst the candidates.
The application procedure is as follows:
  1. Applicants declare their intention to apply by registering at 
    before April 14, 2014.
    The application should comprise a resume and contact information.
  2. The organization committee provides a response to applicants before April 21, 2014.
  3. Applicants proceed with online Registration and Fee payment  before May 10, 2014.

Online Registration

Online Registration will be available only for selected applicants mid April 2014.
Haskell mailing list
Haskell <at>
Jacques Garrigue | 13 Apr 10:22 2014

APLAS 2014: 2nd Call for papers

APLAS 2014
    12th Asian Symposium on Programming Languages and Systems

    17-19 November 2014, Singapore



Zhenjiang Hu	 (NII, Japan)
Dexter Kozen	 (Cornell University, USA)
Julien Verlaguet (Facebook, USA)


APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems.  APLAS is based in Asia, but is
an international forum that serves the worldwide programming language

APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA.  Past APLAS symposiums were successfully held
in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul
('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05),
Taipei ('04) and Beijing ('03) after three informal workshops.
Proceedings of the past symposiums were published in Springer's LNCS.


The symposium is devoted to foundational and practical issues in
programming languages and systems.  Papers are solicited on topics such
* semantics, logics, foundational theory;
* design of languages, type systems and foundational calculi;
* domain-specific languages;
* compilers, interpreters, abstract machines;
* program derivation, synthesis and transformation;
* program analysis, verification, model-checking;
* logic, constraint, probabilistic and quantum programming;
* software security;
* concurrency and parallelism;
* tools and environments for programming and implementation.

Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome.  Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool presentations
category.  Authors concerned about the appropriateness of a topic
are welcome to consult with the program chair prior to submission.


We solicit submissions in two categories:

*Regular research papers* describing original scientific research
results, including tool development and case studies.  Regular
research papers should not exceed 18 pages in the Springer LNCS
format, including bibliography and figures.  They should clearly
identify what has been accomplished and why it is significant.
Submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity.  In case of lack of space,
proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a
link to a web page, but reviewers are not obliged to read them.

*System and Tool presentations* describing systems or tools that support
theory, program construction, reasoning, or program execution in the
scope of APLAS.  System and Tool presentations are expected to be
centered around a demonstration.  The paper and the demonstration
should identify the novelties of the tools and use motivating
examples.  System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures.  Submissions
will be judged based on both the papers and the described systems or
tools.  It is highly desirable that the tools are available on the

Papers should be submitted electronically via the submission web page:

Acceptable formats are PostScript or PDF.  Submitted papers must be
unpublished and not submitted for publication elsewhere.  Papers must
be written in English.  The proceedings will be published as a volume
in Springer's LNCS series.  Accepted papers must be presented at the


Abstracts due:   May 26, 2014 (Monday)
Submission due:  June 2, 2014 (Monday)
Notification:    August 6, 2014 (Wednesday)
Final paper due: September 1, 2014 (Monday)
Conference:	 November 17-19, 2014 (Monday-Wednesday)


General chair:
  Wei-Ngan Chin (National University of Singapore)
Program chair:
  Jacques Garrigue (Nagoya University)
Program committee:
  Xiaojuan Cai (Shanghai Jiao Tong University, China)
  James Chapman (Institute of Cybernetics, Estonia)
  Cristian Gherghina (Singapore University of Technology and Design)
  Eric Goubault (CEA LIST and Ecole Polytechnique, France)
  Fei He (Tsinghua University, China)
  Gerwin Klein (NICTA and UNSW, Australia)
  Raghavan Komondoor (Indian Institute of Science, Bangalore)
  Paddy Krishnan (Oracle, Australia)
  Daan Leijen (Microsoft Research, USA)
  Yasuhiko Minamide (University of Tsukuba, Japan)
  Shin-Cheng Mu (Academia Sinica, Taiwan)
  Sungwoo Park (Pohang University of Science and Technology, Korea)
  Julian Rathke (University of Southampton, UK)
  Sukyoung Ryu (KAIST, Korea)
  Alexandra Silva (Radboud University Nijmegen, Netherlands)
  Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
  Munehiro Takimoto (Tokyo University of Science, Japan)
  Jan Vitek (Purdue University, USA)
  Hongwei Xi (Boston University, USA)


  aplas2014 at