Felipe Lessa | 23 May 01:06 2015

ANN: nonce package

(Please forgive me if you received multiple copies of this e-mail.)


The nonce package [1] contains functions to easily generate
cryptographic nonces for many situations.  Some places where these
generated nonces can be used include:

  - Password recovery e-mail tokens.

  - XSRF protection tokens.

  - Session IDs sent on cookies.

  - Initialization vectors.

It uses an AES CPRNG periodically reseeded from /dev/urandom (or
equivalent).  It has no frills, no knobs, so it's hard to misuse.  It's
been available for an year but I just realized I've never properly
announced it.

Regrettably, I've seen many uses of the random package (System.Random)
when generating nonces.  It's a bad choice: it is not a
cryptographically secure PRNG, contains low entropy (64-bit state), and
its default usage is seeded predictably (using a constant seed).  Please
avoid using the random package for generating nonces at all costs.  In
its stead, use the nonce package or something similar.


(Continue reading)

David Sabel | 21 May 09:49 2015

Call for Participation: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation

                          CALL FOR PARTICIPATION

                     Second International Workshop on

                       Second International Workshop on
     Rewriting Techniques for Program Transformations and Evaluation
                                (WPTE 2015)

                         affiliated with RDP 2015

                       2 July, 2015, Warsaw, Poland


           !! The early registration deadline ends on May 22 !!

Aims and Scope

The aim of WPTE is to bring together the researchers working on
program transformations, evaluation, and operationally-based
programming language semantics, using rewriting methods, in order to
share the techniques and recent developments and to exchange ideas to
encourage further activation of research in this area. The previous
WPTE was held in Vienna 2014.


(Continue reading)

Craig Anslow | 21 May 01:39 2015

SPLASH 2015 - Call for Contributions: Other Tracks

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

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

       Sponsored by ACM SIGPLAN

   Doctoral Symposium
 OOPSLA Artifacts
 Student Research Competition
 Student Volunteers

Co-Located Conferences: SLE, GPCE, DBPL, PLoP

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.

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

Submissions Due: 30 June, 2015

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

Submissions Due: 30 June, 2015

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

Submissions Due: 9 June, 2015

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

Submissions Due: 30 June, 2015

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

Submissions Due: 30 June, 2015

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

Submissions Due: 30 June, 2015

** Student Volunteers **
The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions.

Submissions Due: 7 August, 2015

** Tutorials ** 
The SPLASH 2015 Tutorials programme will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of Tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. 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.

Submissions Due: 30 June, 2015

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

Submissions Due: 30 June, 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.

Late Phase Submissions Due: 30 June, 2015

** Co-Located Events **

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

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

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

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

SPLASH Early Registration Deadline: 25 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 (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)
PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University) and Zachary Tatlock (University of Washington)
Posters Co-Chairs: 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)
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)
Videos Previews Czar: Thomas LaToza (University of California, Irvine)
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) 

Haskell mailing list
Haskell <at> haskell.org
Hans Svensson | 20 May 13:22 2015

Erlang Workshop 2015: deadline extension

Hi everyone,

The PC has decided to extend the paper submission deadline for the 14th 
ACM SIGPLAN Erlang Workshop.

New final dates are as follows, there will not be any further extensions

Submissions due: Friday, 29 May, 2015 [extended]
Author notification: Friday, 26 June, 2015 [unchanged]
Final copy due: Sunday, 19 July, 2015 [unchanged]
Workshop date: September 4, 2015 [unchanged]

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, 29 May, 2015 [extended]
Author notification: Friday, 26 June, 2015 [unchanged]
Final copy due: Sunday, 19 July, 2015 [unchanged]
Workshop date: September 4, 2015 [unchanged]

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:
Leila Fayez Ismail | 19 May 14:46 2015

CALL FOR PAPERS for IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015)

Dear Colleagues,


Apologies if you receive multiple copies of this CFP.


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



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

Special Theme: Smart Living Cities, Big Data and Sustainable Development

November 01-03, 2015, Dubai, UAE






Two best papers of the conference will be selected by the program committee. One will be awarded the "Best Research Paper Award" and another one will be awarded the “Best Application Paper Award” (for application-oriented submissions).




Papers and Student Posters Submission            30 May 2015

Submission of Tutorials                         30 May 2015

Notification for Papers and Student Posters     15 July 2015

Notification for Tutorials                      15 July 2015

Final Camera-Ready                          01 September 2015




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. Extended papers will be published in a Springer Book, indexed in Springer global indices, one of the largest databases in the world and Scopus including citations.


Selected papers from IIT'15 will be invited for possible publications in special issues of journals.




The International Conference on Innovations in Information Technology 2015 (IIT’15) is a forum that addresses the latest ideas in information technology (IT). The theme of IIT’15 is Smart Cities and all of the software and hardware 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, 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




Chair Professor Christian Wagner

Associate Provost for Quality Assurance

City University, Hong kong


Dr. Babu Narayanan

Senior Principal Scientist GE Global Research


Dr. Michael P. Perrone

Program Director, DCS Client Partnerships IBM T. J. Watson Research Center, NY USA


Professor & Canberra Fellow & IEEE Fellow Elizabeth Chang

IFIP Web Semantics Group chair, University of New South Wales UNSW <at> Australian Defense Force Academy, Australia


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
Achim D. Brucker | 18 May 07:36 2015

OCL 2015: First Call for Papers

(Apologies for duplicates)

                    CALL FOR PAPERS
    15th International Workshop on OCL and Textual Modeling
          Tools and Textual Model Transformations

   Co-located with ACM/IEEE 18th International Conference on
 Model Driven Engineering Languages and Systems (MODELS 2015)
       September 28th, 2015, Ottawa, Canada

Modeling started out with UML and its precursors as a graphical
notation. Such visual representations enable direct intuitive
capturing of reality, but some of their features are difficult to
formalize and lack the level of precision required to create complete
and unambiguous specifications. Limitations of the graphical notations
encouraged the development of text-based modeling languages that
either integrate with or replace graphical notations for
modeling. Typical examples of such languages are OCL, textual MOF,
Epsilon, and Alloy. Textual modeling languages have their roots in
formal language paradigms like logic, programming and databases.

The goal of this workshop is to create a forum where researchers and
practitioners interested in building models using OCL or other kinds
of textual languages can directly interact, report advances, share
results, identify tools for language development, and discuss
appropriate standards. In particular, the workshop will encourage
discussions for achieving synergy from different modeling language
concepts and modeling language use. The close interaction will enable
researchers and practitioners to identify common interests and options
for potential cooperation.

Topics of interest include (but are not limited to)
- Mappings between textual modeling languages and other languages/formalisms
- Algorithms, evaluation strategies and optimizations in the context
  of textual modeling languages for
  -- validation, verification, and testing,
  -- model transformation and code generation,
  -- meta-modeling and DSLs, and
  -- query and constraint specifications
- Alternative graphical/textual notations for textual modeling languages
- Evolution, transformation and simplification of textual modeling
- Libraries, templates and patterns for textual modeling languages
- Tools that support textual modeling languages (e.g., verification of
  OCL formulae, runtime monitoring of invariants)
- Complexity results for textual modeling languages
- Quality models and benchmarks for comparing and evaluating
  textual modeling tools and algorithms
- Successful applications of textual modeling languages
- Case studies on industrial applications of textual modeling languages
- Experience reports
  -- usage of textual modeling languages and tools in complex domains,
  -- usability of textual modeling languages and tools for end-users
- Empirical studies about the benefits and drawbacks of textual modeling
- Innovative textual modeling tools
- Comparison, evaluation and integration of modeling languages
- Correlation between modeling languages and modeling tasks

This year, we particularly encourage submissions describing tools that
support - in a very broad sense - textual modeling languages (if you
have implemented OCL.js to run OCL in a web browser, this is the right
workshop to present your work) as well as textual model

The workshop will be organized as a part of MODELS 2015 Conference in
Ottawa, Canada. It continues the series of OCL workshops held at
UML/MODELS conferences: York (2000), Toronto (2001), San Francisco
(2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville
(2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at
the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in
Valencia, Spain. Similar to its predecessors, the workshop addresses
both people from academia and industry. The aim is to provide a forum
for addressing integration of OCL and other textual modeling
languages, as well as tools for textual modeling, and for
disseminating good practice and discussing the new requirements for
textual modeling.

Workshop Format
The workshop will include short (about 15 min) presentations, parallel
sessions of working groups, and sum-up discussions.

Three types of papers will be considered:
* short papers (between 6 and 8 pages) describing ideas,
* tool papers (between 6 and 8 pages), and
* full papers (between 12 and 16 pages)
in LNCS format. Submissions should be uploaded to EasyChair
(https://easychair.org/conferences/?conf=ocl20150).  The
program committee will review the submissions (minimum 2 reviews per
paper, usually 3 reviews) and select papers according to their
relevance and interest for discussions that will take place at the
workshop. Accepted papers will be published online in a
pre-conference edition of CEUR (http://www.ceur-ws.org).

Important Dates
Submission of papers:      July 17, 2015
Notification:            August 21, 2015
Workshop date:        September 28, 2015

Achim D. Brucker, SAP SE, Germany
Marina Egea, Indra Sistemas S.A., Spain
Martin Gogolla, University of Bremen, Germany
Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France

Programme Committee
Mira Balaban, Ben-Gurion University of the Negev, Israel
Tricia Balfe, Nomos Software, Ireland
Achim D. Brucker, SAP SE, Germany
Fabian Buettner, Inria - Ecole des Mines de Nantes, France
Jordi Cabot, Inria - Ecole des Mines de Nantes, France
Dan Chiorean, Babes-Bolyai University, Romania
Robert Clariso, Universitat Oberta de Catalunya, Spain
Tony Clark, Middlesex University, UK
Manuel Clavel, IMDEA Software Institute, Spain
Carolina Dania, IMDEA Software Institute, Spain
Birgit Demuth, Technische Universitat Dresden, Germany
Marina Egea, Indra Sistemas S.A., Spain
Geri Georg, Colorado State University, USA
Martin Gogolla, University of Bremen, Germany
Shahar Maoz, Tel Aviv University, Israel
Istvan Rath, Budapest University of Technology and Economics, Hungary
Bernhard Rumpe, RWTH Aachen, Germany
Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France
Claas Wilke, Technische Universitat Dresden, Germany
Edward Willink, Willink Transformations Ltd., UK
Burkhart Wolff, Univ. Paris-Sud - LRI, France
Steffen Zschaler, King's College, UK


Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe
           Phone: +49 6227 7-52595, http://www.brucker.ch/
Ben Lippmeier | 18 May 05:20 2015

CFP: Haskell Symposium Regular Track Final Call

 ACM SIGPLAN                                  CALL FOR SUBMISSIONS
                    Haskell Symposium 2015

    Vancouver, Canada, 3-4 September 2015, directly after ICFP

Reminder that the Haskell Symposium Regular Track
abstract deadline is this: Tuesday 19th of May,
with full papers due this: Friday  22nd of May.

Authors that have *already submitted to the early track*, 
have until 5th of June to resubmit an improved version of
those papers.

Deadlines stated are valid anywhere on earth.
(the HotCRP submission site states them in US EDT, but don't fret)

See the website for further details

Marco Gaboardi (Staff | 18 May 00:55 2015

CFP - Information and Computation special issue on Implicit Computational Complexity


Call for Papers

Special Issue on Implicit Computational Complexity
(open post-conference publication of the
workshops DICE 2014 and DICE 2015)

Deadline: July 1st 2015
Guest Editors:
Marco Gaboardi <m.gaboardi <at> dundee.ac.uk>
Ulrich Schöpp <schoepp <at> tcs.ifi.lmu.de>


The area of Implicit Computational Complexity has grown from several
proposals for using logic and formal methods to provide languages for
complexity-bounded computation (such as polynomial time, polynomial
space or logarithmic space computation). Its aim is to study
computational complexity without reference to external measuring
conditions or particular machine models, but only in terms of language
restrictions or logical/computational principles implying complexity

We welcome contributions on various aspects of Implicit Computational
Complexity, including (but not exclusively) the following topics:
- types for controlling complexity
- logical systems for implicit computational complexity
- linear logic
- semantics of complexity-bounded computation
- complexity analysis
- rewriting and termination orderings
- interpretation-based methods for implicit complexity
- programming languages for complexity bounded computation
- application of implicit complexity to other programming paradigms
(e.g. imperative or object-oriented languages)
- application of implicit complexity to security

This special issue of Information & Computation follows the informal
workshops on Developments in Implicit Computational Complexity (DICE),
DICE 2014 in Grenoble (http://dice14.tcs.ifi.lmu.de) and DICE 2015 in
London (http://dice15.computing.dundee.ac.uk).

Submission to this special issue is open to everyone, including those
who did not participate in DICE 2014 or DICE 2015.

DICE workshops have been held annually as satellite events of ETAPS:
DICE 2010 in Paphos, DICE 2011 in Saarbrücken, DICE 2012 in Tallinn,
DICE 2013 in Rome, DICE 2014 in Grenoble and DICE 2015 in London.
Previous post-conference publications have appeared in
- Information & Computation for DICE 2011,
- Theoretical Computer Science for DICE 2012 (in press), and
- Information & Computation for DICE 2013 (to appear).
More information on the DICE workshop series is available at:

Information & Computation solicits high quality papers reporting
research results related to the topics mentioned above. All papers must
be original, unpublished, and not submitted for publication elsewhere.
- Contributions should be submitted electronically to both addresses
<m.gaboardi <at> dundee.ac.uk> and <schoepp <at> tcs.ifi.lmu.de>.
- Papers must be in PDF format and be formatted using Elsevier's
elsarticle.cls LaTeX macro package. Formatting instructions
can be found at

- Submissions must be sent to us no later than JULY 1st 2015.
Papers will be processed as soon as they are submitted.
We are aiming for a turnaround of no more than six months.

We encourage authors to look at the author guide at

The University of Dundee is a registered Scottish Charity, No: SC015096
Haskell mailing list
Haskell <at> haskell.org
Johannes Waldmann | 17 May 20:52 2015

Call for participation: 8th International School on Rewriting - ISR 2015

Call for participation

8th International School on Rewriting - ISR 2015
August 10-14, Leipzig, Germany

* early registration deadline: July 1
* student research posters welcome


The 8th International School on Rewriting (ISR 2015)
is aimed at master and PhD students, researchers, and practitioners
interested in the study of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting,
and is organized in two parallel tracks:

Basic: aimed at students that enter the field.

    Aart Middeldorp and Sarah Winkler: Introductory Course

Advanced: several shorter courses, showing different areas
  of rewriting research, with applications.

    David Sabel and Manfred Schmidt-Schauß:
      Rewriting Techniques for Correctness of Program Transformations
    Makoto Hamana: Algebraic Semantics of Higher-Order Abstract Syntax
      and Second-Order Rewriting
    Santiago Escobar: Term Rewriting applied to
      Cryptographic Protocol Analysis
    Hans Zantema: SAT/SMT encodings for rewrite problems
    Femke van Raamsdonk: Higher-Order Rewriting
    Alfons Geser: Proving Abstract Rewriting Properties with PVS
    Georg Moser: Termination and Complexity
    Detlef Plump: Rule-based Graph Programming

Also, we encourage participants to submit a presentation of
their research, in the form of a poster. These posters will be reviewed
by experts in rewriting, and will be displayed and discussed during
the school.


Rewriting is a branch of computer science whose origins go back
to the origins of computer science itself (with Thue, Church, Post,
and many other prominent researchers). It has strong links with
mathematics, algebra, and logic, and it is the basis of well-known
programming paradigms like functional and equational programming.
In these programming paradigms and corresponding languages, the notions
of reduction, pattern matching, confluence, termination, strategy,
etc., are essential. Rewriting provides a solid framework for
understanding, using, and teaching all these notions. Rewriting
techniques are also used in many other areas of software engineering
(scripting, prototyping, automated transformation of legacy systems,
refactoring, web services, etc.) Rewriting techniques play a relevant
role in computing research, education, and industry.

International Schools on Rewriting are promoted
by the IFIP Working Group 1.6 Term Rewriting.

ISR 2015 organizing committee:
Alfons Geser, Christine Klöden, and Johannes Waldmann.


Note: ISR 2015 is right after CADE
( http://www.inf.fu-berlin.de/cade25/ )
You can go from Berlin to Leipzig in 1 hour by train.

Haskell mailing list
Haskell <at> haskell.org
Kim-Ee Yeoh | 15 May 14:07 2015

Haskell Weekly News

Top Picks:
  • Is Servant the most type-safe HTTP server library ever? Are the type signatures hard to read? In addition to its utmost relevance as a web library, Servant is also an awesome case study in the type safety vs type readability trade-off spectrum, brought to you by Alp Mestanogullari and Julian Arni. HN and /r/haskell

  • Ozan Sener compiles Pandoc into JS via GHCJS and creates a web interface to it using the Reflex FRP library. Markup.Rocks is much loved on /r/haskell. See also HN.

  • Is Haskell a "Startup Secret Weapon"? Alexandr Kurilin reveals adoption challenges at Front Row Education. Among them, slow build times. Also, "senior developers [that] get very frustrated when something wouldn't compile for hours and they couldn't find any help to move forward." Comments on HN and /r/haskell.

  • At Facebook, Bryan O'Sullivan debugs aeson's gigabyte space leak on decoding a JSON megabyte of non-stop backslashes. Culprit? The streaming interface didn't match the use case. In place of streaming, Bryan now blasts bytes into a single big buffer, gaining 27x speed and 42x memory reduction. Comments on HN, Proggit, /r/haskell.

  • Paul Chiusano's Unison programming platform hits the HN and /r/haskell headlines. Features include a browser-based UI that constrains edits to those that are well-typed. Also, DRY-ness up the wazoo: every type and term is uniquely identified by a hash a la Git.

  • Joey Hess reports that Debian unstable now has a working GHCi for ARM. The Template Haskell challenges have been surmounted.

  • Garrison Jensen blows the whistle on the impostor sieve on the front page of Haskell.org. In jest. A festive one-upmanship of fondly treasured code ensues on /r/haskell. And since bad publicity is better than no publicity, we owe kudos to Garrison. HN-worthy.

  • Michael Snoyman decries use of ExceptT IO for exception handling because the user exception data type creates misleading expectations of comprehensiveness. The gotcha is that it doesn't cover IO exceptions! Furthermore, distinct exception types mean that the corresponding code can't compose. Instead? Use MonadThrow. /r/haskell

  • JP Moresmau steps down as chief of EclipseFP and the companion Haskell packages BuildWrapper, ghc-pkg-lib, and scion-browser. Without anyone to take his place, the sun sets on EclipseFP. But the sun continues to shine on ide-backend (previously reported), a GHC API wrapper akin to BuildWrapper. JP spitballs on how he might move on to the Atom editor, jiggering it to use ide-backend-client. /r/haskell

  • Tatsuya Hirose translates Go By Example into Haskell. GBE comprises code samples annotated for an experienced programmer new to Go. For this first cut, Tatsuya stays close to the original and creates Go-ish, imperative Haskell. Already good for Go-to-Haskell crossovers. Potentially excellent when done in idiomatic Haskell. /r/haskell

  • Tomas Petricek observes the diversity of  type theories and type systems and posits harm in any attempt at a single all-encompassing capture of the meaning of 'types'. What about unsound types? He doesn't offer a way out for those stuck with the appellation. Comments on HN and /r/haskell.

  • John De Goes launches a crowdfund to solicit $15,000 for video-recording 70 talks at LambdaConf 2015, which features many known Haskell programmers. /r/haskell

  • A redditor asks ex-Lispers what it's like moving to Haskell. "I miss Lisp parens" is a frequent answer. Also, Lisp has a better REPL experience. A biggie upside? The refactoring afforded by Haskell's type system.

Tip of the Week:
  • When programming fractals, use the LLVM backend because it's "usually good at optimizing this kind of non-allocating code" as Reid Barton advises.

-- Kim-Ee
Haskell mailing list
Haskell <at> haskell.org
David Janin | 14 May 12:12 2015

CFP : Extended deadline : Functional Art, Music, Modelling and Design (FARM 2015)



          Call for Papers and Demos : FARM 2015

         The 3rd ACM SIGPLAN International Workshop on
         Functional Art, Music, Modelling and Design

          Vancouver, Canada, 5 September, 2015
              affiliated with ICFP 2015


EXTENTED Submission Deadline : 27 May, 2015
(optional abstract submission : 17 May, 2015)


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 2015 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

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:

 farm-2015 <at> easychair.org


 (Optional) abstract submission deadline : 17 May
 Full Paper and Demo Abstract submission Deadline:	27 May
 Author Notification:				26 June
 Camera Ready:					19 July
 Workshop:						5 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. See:


The submission itself will be via EasyChair:



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 http://authors.acm.org/main.cfm 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: Henrik Nilsson, University of Nottingham

Program Chair: David Janin, University of Bordeaux

Publicity Chair: Samuel Aaron, University of Cambridge

Program Committee:

Samuel Aaron, University of Cambridge
Jean Bresson, IRCAM Paris
David Broman, KTH and UC Berkeley
David Janin (chair), University of Bordeaux
Anton Kholomiov, Orffeus instrumental ensemble Moscow
Alex Mclean, University of Leeds
Carin Meier, Outpace Systems
Henrik Nilsson, University of Nottingham
Yann Orlarey, GRAME Lyon
Donya Quick, Yale University
Shigeki Sagayama, Meiji University
Chung-chieh Shan, Indiana University
Michael Sperber, Active Group GmbH
Bodil Stokke, FutureAdLabs

For further details, see the FARM website: