Frantisek Farka | 28 Feb 17:05 2015
Picon

Haskell Wiki broken links

Hi all,

I have found out that new haskell.org site and migration of Haskell wiki
to wiki.haskell.org did broke some of the old links, e. g.:

http://www.haskell.org/haskellwiki/index.php?title=Functor-Applicative-Monad_Proposal&oldid=58553

is redirecting simply to

https://wiki.haskell.org/Haskell

whereas the proper page still exists:

https://wiki.haskell.org/index.php?title=Functor-Applicative-Monad_Proposal&oldid=58553

Can anyone fix the server configuration?

Best wishes,

Franta
Andreas Abel | 27 Feb 19:57 2015
Picon

PhD position in dependent types/functional programming at Chalmers

We have an opening for a PhD student in dependent type theory and
functional programming at Chalmers. Here is an excerpt from the ad:

   "The PhD student will join the Programming Logic group and contribute
   to its research on dependent type theory and functional programming.
   Topics of interest include the following directions of work:

   - Design of dependently typed functional programming languages.

   - Theory and implementation of type checkers, compilers etc. for
     dependently typed functional programming languages.

   - Investigations into the use of dependently typed functional
     programming languages, both as programming languages and as logical
     systems.

   - Models and applications of (homotopy) type theory."

Note that work on and in Agda matches several of the topics above.

Full text of the advertisement:

   http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=2902

Application deadline:

   March 31, 2015

--

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.
(Continue reading)

Tarmo Uustalu | 27 Feb 18:33 2015
Picon
Picon

TYPES 2015 final call for contributions

[Selection of talks based on abstracts (2 pp easychair.cls) 
due 13 March 2015! 

A post-proceedings volume in LIPIcs, with an open call.]

                      CALL FOR CONTRIBUTIONS

   21st International Conference on Types for Proofs and Programs,
                            TYPES 2015
                 Tallinn, Estonia,  18-21 May 2015

                     http://cs.ioc.ee/types15/

Background

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. The meetings
from 1990 to 2008 were annual workshops of a sequence of five EU
funded networking projects. Since 2009, TYPES has been run as an
independent conference series. Previous TYPES meetings were held in
Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993),
Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998),
Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002),
Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006),
Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw
(2010), Bergen (2011), Toulouse (2013), Paris (2014).

The TYPES areas of interest include, but are not limited to:

(Continue reading)

Alberto Pardo | 25 Feb 23:51 2015
Picon

CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages

CALL FOR PAPERS - SBLP 2015

19th Brazilian Symposium on Programming Languages

21-26 September 2015
Belo Horizonte, Brazil

http://cbsoft.org/sblp2015

+++++++++++++++++++++++++++++++++++++++++++++++++++

IMPORTANT DATES

Abstract submission: 20 April, 2015
Paper submission: 27 April, 2015
Author notification: 18 June, 2015
Camera ready deadline: 2 July 2015


INTRODUCTION

The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems.

SBLP 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015.

Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers.

TOPICS

Topics of interest include, but are not limited to:

* Program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages.

* Programming paradigms and styles, including functional,
object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed
programming.

* Formal semantics and theoretical foundations, including
denotational, operational, algebraic and categorical.

* Program analysis and verification, including type systems, static analysis and abstract interpretation.

* Programming language design and implementation, including new
programming models, programming language environments, compilation and interpretation techniques.

INVITED SPEAKERS

* Doaitse Swierstra, Utrecht University
* TBA

SUBMISSION AND PUBLICATION

All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 5 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses.

Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.

Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2015.

As in previous editions, after the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier.

PROGRAM CHAIRS

Alberto Pardo, Universidad de la República, Uruguay
Doaitse Swierstra, Utrecht University, The Netherlands

PROGRAM COMMITTEE

Alberto Pardo, Universidad de la República (co-chair)
Alex Garcia, IME
Alvaro Moreira, Federal University of Rio Grande do Sul
Andre Rauber Du Bois, Federal University of Pelotas
Carlos Camarão, Federal University of Minas Gerais
Christiano Braga, Fluminense Federal University
Doaitse Swierstra, Utrecht University (co-chair)
Fabio Mascarenhas, Federal University of Rio de Janeiro
Fernando Pereira, Federal University of Minas Gerais
Fernando Castor, Federal University of Pernambuco
Francisco Carvalho-Junior, Federal University of Ceara
Hans-Wolfgang Loidl, Heriot-Watt University
João Saraiva, University of Minho
João F. Ferreira, Teesside University
Louis-Noel Pouchet, University of California, Los Angeles
Lucilia Figueiredo, Federal University of Ouro Preto
Luis Barbosa, University of Minho
Manuel A. Martins, University of Aveiro
Marcelo Maia, Federal University of Uberlândia
Marcelo D'Amorim, Federal University of Pernambuco
Mariza Bigonha, Federal University of Minas Gerais
Martin Musicante, Federal University of Rio Grande do Norte
Noemi Rodriguez, PUC-Rio
Peter Mosses, Swansea University
Rafael Lins, Federal University of Pernambuco
Renato Cerqueira, PUC-Rio
Roberto Bigonha, Federal University of Minas Gerais
Roberto Ierusalimschy PUC-Rio
Rodrigo Geraldo, Federal University of Ouro Preto
Sandro Rigo, State University of Campinas
Sérgio Medeiros, Federal University of Rio Grande do Norte
Simon Thompson, University of Kent
Varmo Vene, University of Tartu
Zongyan Qiu Peking University


_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Tarmo Uustalu | 25 Feb 19:47 2015
Picon
Picon

ETAPS 2016 call for satellite events

  19th European Joint Conferences on Theory and Practice of Software
                              ETAPS 2016
             Eindhoven, The Netherlands, April 2-8, 2016
                      http://www.etaps.org/2016/

                      Call for  Satellite Events

-- ABOUT ETAPS --

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. ETAPS is
an annual event which takes place in Europe each spring since 1998.

The nineteenth conference, ETAPS 2016, will take place April 2-8, 2016
in Eindhoven, The Netherlands.

ETAPS main conferences will take place on April 4-7, 2016. They are:

+ ESOP: European Symposium on Programming,
+ FASE: Fundamental Approaches to Software Engineering,
+ FOSSACS: Foundations of Software Science and Computation Structures,
+ POST: Principles of Security and Trust,
+ TACAS: Tools and Algorithms for the Construction and Analysis of 
  Systems.

-- SATELLITE EVENTS --

The ETAPS 2016 organizing committee invites proposals for satellite
events (workshops etc.) that will complement the main
conferences. They should fall within the scope of ETAPS. This
encompasses all aspects of the system development process, including
specification, design, implementation, analysis and improvement, as
well as the languages, methodologies and tools which support these
activities, covering a spectrum from practically-motivated theory to
soundly-based practice. Satellite events provide an opportunity to
discuss and report on emerging research approaches and practical
experience relevant to theory and practice of software.

ETAPS 2016 satellite events will be held immediately before and after
the main conferences, on April 2-3 and April 8, 2016.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2016 satellite are expected to:

+ create and maintain a website for the event,
+ form a PC, produce a call for papers for the event (if appropriate),
+ advertise the event through specialist mailing lists etc. to
   complement the publicity of ETAPS,
+ review the submissions received and make acceptance decisions,
+ prepare an informal (pre)proceedings for the event (if appropriate),
+ prepare the event's program complying with any scheduling constraints 
  defined by the ETAPS 2016 organizing committee,
+ prepare and organize the publication of a formal (post-)proceedings 
  (if desired).

The ETAPS 2016 organizing committee will:

+ promote the event on the website and in the publicity material of 
  ETAPS 2016,
+ integrate the event's program into the overall program of the 
  conference,
+ arrange registration for the event as a component of registration 
  for ETAPS, collect a participation fee from the registrants,
+ produce a compilation USB memory stick of the informal (pre-)
  proceedings of the satellite events of ETAPS 2016 and distribute 
  this to the registrants,
+ provide the event with a meeting room of an appropriate size, 
  A/V equipment, coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or
accommodation costs of invited speakers or organizers of satellite
events.

-- SUBMISSION OF SATELLITE EVENT PROPOSALS --

Researchers and practitioners wishing to organize satellite events are
invited to submit proposals to the workshop co-chairs Julien Schmaltz
and Erik de Vink using this web form.

A proposal should not exceed two pages and should include:

+ the name and acronym of the satellite event,
+ the names and contact information of the organizers,
+ the duration of the event: one or two days,
+ the preferred period: April 2, April 3, April 8 or April 2-3,
+ the expected number of participants,
+ a brief description (120 words approximately) of the event topic for 
  the website and publicity material of ETAPS 2016,
+ a brief explanation of the event topic and its relevance to ETAPS,
+ an explanation of the selection procedure of contributions to the 
  event, the PC chair and members, if known already, information about 
  past editions of the event, if applicable,
+ any other relevant information, like a special event format, invited 
  speakers, demo sessions, special space requirements, etc.,
+ a tentative schedule for paper submission, notification of acceptance 
  and final versions for the (informal pre-)proceedings (the ETAPS 2016 
  organizing committee will need the final files by March 12, 2016),
+ the plans for formal publication (no formal publication, 
  formal proceedings ready by the event, formal post-proceedings, 
  publication venue - EPTCS or elsewhere).

The proposals will be evaluated by the ETAPS 2016 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2016. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops
ETAPS 2013: http://www.etaps.org/2013/workshops
ETAPS 2012: http://www.etaps.org/2012/workshops

-- IMPORTANT DATES --

Satellite event proposals deadline: March 29, 2015.

Notification of acceptance: April 2, 2015.

-- VENUE --

ETAPS 2016 will take place at the Campus of the Eindhoven University
of Technology. Eindhoven, located in the south of the Netherlands,
has a small international airport, Eindhoven Airport, with direct
connections to various destinations in Europe. The main airport of the
Netherlands is the Amsterdam Airport, Schiphol. Schiphol has a direct
train connection to Eindhoven.

-- FURTHER INFORMATION AND ENQUIRIES --

Please contact the workshop co-chairs, Julien Schmaltz,
j.schmaltz <at> tue.nl, and Erik de Vink, e.p.d.vink <at> tue.nl.
Graham Hutton | 24 Feb 10:06 2015
Picon
Picon

7 PhD studentships in Nottingham

Dear all,

The School of Computer Science in Nottingham is advertising 7
fully-funded PhD studentships for "home" students (or EU students
who have been ordinarily resident in the UK for 3 years prior to
the start of the programme).  Applicants in the area of the
Functional Programming lab (fp.cs.nott.ac.uk) are encouraged!
If you are interested in applying, please contact a potential
supervisor in the FP lab prior to submitting your application:

 Venanzio Capretta - type theory, mathematical logic, corecursive
 structures, proof assistants, dependently-typed programming.

 Henrik Nilsson - functional reactive programming, modelling and
 simulation, domain-specific languages, probabilistic languages.

 Thorsten Altenkirch and Graham Hutton - not planning to take
 on any further new PhD students this year.

Best wishes,

Graham

+-----------------------------------------------------------+

             7 Fully-Funded PhD Studentships

                School of Computer Science
               University of Nottingham, UK

http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1433

Applications are invited for up to 7 fully-funded PhD
studentships for "home" students (or EU students who have
been ordinarily resident in the UK for 3 years prior to the
start of the programme) in the School of Computer Science at
the University of Nottingham, starting on 1st October 2015. 

The topics for the studentships are open, but should relate
to the interests of one of the School's research groups: Agents
Lab; Automated Scheduling, Optimisation and Planning; Computer
Vision Lab; Functional Programming Lab; Intelligent Modelling
and Analysis; Mixed Reality Lab; Networked Systems.

The studentships are for three years, include a stipend of
£13,863 per year and tuition fees, and are available to
students who qualify as "home" applicants in terms of their
fee status.  Applicants are normally expected to have a
first-class Masters or Bachelors degree in Computer Science
or a related discipline, and must obtain the support of a
potential supervisor in the School prior to submitting their
application.  Initial contact with supervisors should be made
at least two weeks prior to the closing date for applications.

Applications should be submitted via the postgraduate applications
website: http://www.nottingham.ac.uk/pgstudy/apply/apply-online.aspx.
As part of your personal statement, please include an outline
research proposal (max 1 page).  Informal enquiries may be
addressed to Christine.Fletcher <at> nottingham.ac.uk.

Closing date for applications: Tuesday 31st March 2015

+-----------------------------------------------------------+

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.
Moreno Falaschi | 22 Feb 13:16 2015
Picon

PPDP 2015: 2nd call for papers

======================================================================

   Call for papers
   17th International Symposium on
  Principles and Practice of Declarative Programming
      PPDP 2015

         Special Issue of Science of Computer Programming (SCP)

    Siena, Italy, July 14-16, 2015
    (co-located with LOPSTR 2015)

   
======================================================================

  SUBMISSION DEADLINE: 20 MARCH, 2015



PPDP  2015  is a  forum  that  brings  together researchers  from  the
declarative  programming communities, including  those working  in the
logic,  constraint  and  functional  programming paradigms,  but  also
embracing languages, database  languages, and knowledge representation
languages. The  goal is  to stimulate research  in the use  of logical
formalisms  and  methods  for  specifying, performing,  and  analyzing
computations,   including   mechanisms   for   mobility,   modularity,
concurrency,  object-orientation,  security,  verification and  static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to

* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application

This   year  the  conference   will  be   co-located  with   the  25th
International   Symposium  on   Logic-Based   Program  Synthesis   and
Transformation (LOPSTR 2015).

The  conference will  be held in Siena, Italy.  Previous symposia were
held  at Canterbury  (UK),  Madrid (Spain),  Leuven (Belgium),  Odense
(Denmark), Hagenberg (Austria),  Coimbra (Portugal), Valencia (Spain),
Wroclaw (Poland),  Venice (Italy), Lisboa  (Portugal), Verona (Italy),
Uppsala  (Sweden),   Pittsburgh  (USA),  Florence   (Italy),  Montreal
(Canada), and Paris (France). You might have a look at the contents of
past PPDP symposia.

Papers  must  describe original  work,  be  written  and presented  in
English, and must not substantially overlap with papers that have been
published  or   that  are  simultaneously  submitted   to  a  journal,
conference, or  workshop with refereed proceedings.  Work that already
appeared in  unpublished or informally  published workshop proceedings
may be submitted (please contact the PC chair in case of questions).

After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium.   The papers  are expected  to include  at least  30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised  papers will be published in  a special issue
of SCP with a target publication date by Elsevier of 2016.

Important Dates

   Abstract Submission:        14 March, 2015
   Paper submission:        20 March, 2015
   Notification:        14 May,   2015
   Camera-ready:        To be announced
   
   Symposium:       14-16 July, 2015
   
Authors  should  submit  an  electronic  copy of  the  full  paper  in
PDF. Papers  should be  submitted to the  submission website  for PPDP
2015. Each submission must include  on its first page the paper title;
authors  and   their  affiliations;   abstract;  and  three   to  four
keywords. The keywords will be used to assist the program committee in
selecting appropriate  reviewers for the paper.  Papers should consist
of   the   equivalent  of   12   pages   under   the  ACM   formatting
guidelines.  These   guidelines  are  available   online,  along  with
formatting templates  or style files. Submitted papers  will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should  include a clear identification of  what has been
accomplished and  why it is  significant. Authors who wish  to provide
additional material to  the reviewers beyond the 12-page  limit can do
so in  clearly marked appendices:  reviewers are not required  to read
such appendices.

--------------------------------------------------------------------------------------------------------------------------
INVITED SPEAKERS

Patrick Cousot, New York University, USA (Jointly with LOPSTR)
Martin Hofmann, LMU Munich, Germany
————————————————————————————————————————
Program Committee

    Michael Adams, University of Utah, USA
    Puri Arenas, Complutense University of Madrid, Spain
    Amir Ben-Amram, Tel-Aviv Academic College, Israel
    Ines Castro, Universidade do Porto, Portugal
    Patrick Cousot, New York University, USA
    Gregory Duck, National University of Singapore, Singapore
    Fabio Fioravanti, University of Chieti-Pescara, Italy
    Thom Frühwirth, University of Ulm, Germany
    Roberto Giacobazzi, University of Verona, Italy
    Michael Hanus, CAU Kiel, Germany
    Andy King, University of Kent, UK
    F. López-Fraguas, Complutense University of Madrid, Spain
    Ian Mackie, University of Sussex, UK
    Dale Miller, INRIA and LIX/Ecole Polytechnique, France
    Torsten Schaub, University of Potsdam, Germany
    Tom Schrijvers KU Leuven, Belgium
    Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France
    German Vidal, Universitat Politecnica de Valencia, Spain
    Marina Vos, University of Bath, UK
    Nobuko Yoshida, Imperial College London, UK 

Program Chair

    Elvira Albert
    Complutense University of Madrid
    C/ Profesor Garcia Santesmases
    E-28040 Madrid, Spain
    Email: elvira <at> sip.ucm.es

Symposium Chair

    Moreno Falaschi
    Department of information engineering and mathematics
    University of Siena, Italy
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Moreno Falaschi | 22 Feb 13:13 2015
Picon

LOPSTR 2015: 2nd Call for Papers

============================================================

               25th International Symposium on
      Logic-Based Program Synthesis and Transformation
                        LOPSTR 2015

        Special Issue of Formal Aspects of Computing

           http://alpha.diism.unisi.it/lopstr15/

       University of Siena, Siena, IT, July 13-15, 2015
               (co-located with PPDP 2015)


DEADLINES
Abstract submission: April 6,  2015
Paper/Extended abstract submission: April 13, 2015

============================================================


The aim of the LOPSTR  series is  to stimulate and  promote  international
research and collaboration on logic-based program development.  LOPSTR
is   open to   contributions in  logic-based   program  development in  any
language  paradigm.   LOPSTR  has a  reputation for  being  a  lively,
friendly forum for presenting and discussing work in progress.  Formal
proceedings are produced only after the symposium so that authors  can
incorporate this feedback in the published papers.

The 25th International Symposium on Logic-based Program Synthesis  and
Transformation (LOPSTR 2015) will be held at the University of  Siena, 
Siena,  Italy;   previous symposia were held in  Canterbury,   Madrid, 
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice,  London, 
Verona, Uppsala, Madrid, Paphos, London, Venice,  Manchester,  Leuven, 
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. 
LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium 
on Principles and Practice of Declarative Programming).

Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:

   * synthesis
   * transformation
   * specialization
   * composition
   * optimization
   * inversion
   * specification
   * analysis and verification
   * testing and certification
   * program and model manipulation
   * transformational techniques in SE
   * applications and tools

Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).


Important Dates

Abstract submission:                            April 6, 2015
Paper/Extended abstract submission:   April 13, 2015
Notification:                                          May 25, 2015
Camera-ready (for electronic pre-proceedings):  June 15, 2015
Symposium:                                         July 13-15, 2015


Submission Guidelines

Authors should submit an electronic copy of the paper (written in 
English) in PDF, formatted in the Lecture Notes in Computer Science 
style. Each submission must include on its first page  the paper 
title; authors and their  affiliations;  contact author's  email; 
abstract; and three to four keywords which will be used to assist 
the PC in selecting appropriate reviewers for the paper. Page numbers 
should appear on the manuscript to help the reviewers in writing 
their report. Submissions cannot exceed 15 pages including references 
but excluding well-marked appendices not intended for publication. 
Reviewers are not required to read the appendices, and thus papers 
should be intelligible without them. 
Papers should be submitted via the Easychair submission website for 
LOPSTR 2015, which can be accessed through the website of LOPSTR 2015. 


Proceedings

The formal post-conference proceedings will be published by Springer 
in the Lecture Notes in Computer Science series. 
Full papers can be directly accepted for publication in the formal 
proceedings, or accepted only for presentation at the symposium and 
inclusion in informal proceedings. After the symposium, all authors 
of extended abstracts and full papers accepted only for presentation 
will be invited to revise and/or extend their submissions in the light 
of the feedback solicited at the symposium. Then, after another round 
of reviewing, these revised papers may also be published in the formal 
proceedings. 


Special journal issue

After the symposium, a selection of the best papers will be invited to
a  special  issue of  the  'Formal Aspects of Computing'  journal. The 
submissions to the special issue must be substantial extensions of the 
proceedings versions and will  undergo the usual journal reviewing 
process.


Invited speakers

Patrick Cousot, New York University, USA (Jointly with PPDP)
Gilles Barthe, IMDEA Software Institute, Spain
Dale Miller, INRIA and LIX/Ecole Polytechnique, France


Program Committee

 Slim Abdennadher,  German University of Cairo, Egypt
 Maria Alpuente,  Universitat Politecnica de Valencia, Spain
 Demis Ballis,  University of Udine, Italy
 Olaf Chitil,  University of Kent, UK
 Michael Codish,  Ben-Gurion University, Israel
 Moreno Falaschi,  University of Siena, Italy (Program Chair)
 Jerome Feret,  INRIA and ENS, France
 Maurizio Gabbrielli,  University of Bologna, Italy
 Jurgen Giesl,  RWTH Aachen University, Germany
 Miguel Gomez-Zamalloa,  Complutense University of Madrid, Spain
 Arnaud Gotlieb,  SIMULA Research Laboratory, Norway
 Gopal Gupta,  University of Texas at Dallas, USA
 Manuel Hermenegildo,  IMDEA, Spain
 Viktor Kuncak,  EPFL Lausanne, Switzerland
 Luigi Liquori,  INRIA Sophia-Antipolis Mediterranee, France
 Alexei Lisitsa,  University of Liverpool, UK
 Narciso Marti-Oliet,  Universidad Complutense de Madrid, Spain
 Jorge Navas,  NASA, USA
 Kazuhiro Ogata,  JAIST, Japan
 Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil
 Catuscia Palamidessi,  INRIA and Ecole Polytechnique, France 
 Maurizio Proietti,  IASI-CNR, Italy 
 Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain
 Wim Vanhoof,  University of Namur, Belgium 


Program and Symposium Chair:

Moreno Falaschi, Dept. of Information Engineering and Mathematics, 
Univ. of Siena, Italy 
(moreno.falaschi <at> unisi.it)


Organizing Committee

Monica Bianchini, DIISM, Univ. of Siena, Italy
Sara Brunetti, DIISM, Univ. of Siena, Italy
Andrea Machetti, DIISM, Univ. of Siena, Italy
Simonetta Palmas, DIISM, Univ. of Siena, Italy
Maurizio Proietti,  IASI-CNR, Italy 
Simone Rinaldi, DIISM, Univ. of Siena, Italy
Elisa Tiezzi, DIISM, Univ. of Siena, Italy
Sara Ugolini, Dip. Informatica, Univ. of Pisa
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Klaus Havelund | 19 Feb 17:31 2015
Picon

NFM 2015 - CALL FOR PARTICIPATION



NFM 2015

CALL FOR PARTICIPATION

The 7th NASA Formal Methods Symposium

http://www.NASAFormalMethods.org/nfm2015

27 – 29 April 2015
Pasadena, California, USA

THEME

The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. 

TOPICS

Topics of interest include, but are not limited to:

  • Model checking
  • Theorem proving
  • SAT and SMT solving
  • Symbolic execution
  • Static analysis
  • Runtime verification
  • Systematic testing
  • Program refinement
  • Compositional verification
  • Modeling and specification formalisms
  • Model-based development
  • Model-based testing
  • Requirement engineering
  • Formal approaches to fault tolerance
  • Security and intrusion detection
  • Applications of formal methods

INVITED SPEAKERS

Dino Distefano
Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK.

Viktor Kuncak
Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland.

Rob Manning
Chief Engineer at NASA/JPL.

LOCATION, COST, REGISTRATION AND HOTEL ROOM BOOKING

The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015.

There will be no registration fee for participants. 

All interested individuals, including non-US citizens, are welcome to attend; however, all attendees must register (but please only register if you intend to attend). Registration form and hotel booking websites are reachable from the main website. A block of rooms at a low price are reserved with booking deadline of March 26.

PC CHAIRS

Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Rajeev Joshi, NASA Jet Propulsion Laboratory, USA

PUBLICITY SUPPORT

Ylies Falcone, Université Joseph Fourier, France

PROGRAMME COMMITTEE

Erika Abraham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel Baier, Technische Universität Dresden, Germany
Saddek Bensalem, VERIMAG/UJF, France
Dirk Beyer, University of Passau, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Leonardo de Moura, Microsoft Research, USA
Ewen Denney, NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler, Stanford University, USA
Jean-Christophe Filliatre, Université Paris-Sud, France
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Susanne Graf, VERIMAG, France
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna University of Technology, Austria
John Harrison, Intel Corporation, USA
Mike Hinchey, University of Limerick/Lero, Ireland
Bart Jacobs, University of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford University, UK
Orna Kupferman, Hebrew University Jerusalem, Israel
Kim Larsen, Aalborg University, Denmark
Rustan Leino, Microsoft Research, USA
Martin Leucker, University of Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
Pete Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switzerland
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Doron Peled, Bar Ilan University, Israel
Suzette Person, NASA Langley Research Center, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Rosu, University of Illinois, USA
Kristin Yvonne Rozier, NASA Ames Research Center, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Brook University, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh Viswanathan, University of Illinois, USA
Mike Whalen, University of Minnesota, USA
Jim Woodcock, University of York, UK

STEERING COMMITTEE

Julia Badger, NASA Johnson Space Center
Ewen Denney, NASA Ames Research Center
Ben Di Vito, NASA Langley Research Center
Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Cesar Munoz, NASA Langley Research Center
Corina Pasareanu, NASA Ames Research Center
Suzette Person, NASA Langley Research Center
Kristin Yvonne Rozier, NASA Ames Research Center

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Henrik Nilsson | 18 Feb 16:14 2015
Picon
Picon

Fwd: FARM 2015 Workshop - 1st call for papers and demos

Dear Haskell interested,

Please find enclosed the call for paper for FARM that may
be of interest to many of you.

Best,

/Henrik

-------- Original Message --------
Subject: FARM 2015 Workshop - 1st call for papers and demos
Date: Thu, 12 Feb 2015 08:30:04 +0000
From: FARM 2015 <farm-2015 <at> easychair.org>
To: Henrik Nilsson <nhn <at> Cs.Nott.AC.UK>

FARM 2015

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

		    Vancouver, Canada, 5 September, 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
     methods.

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

     farm-2015 <at> easychair.org

KEY DATES:

     Full Paper and Demo Abstract submission Deadline:	17 May
     Author Notification:				26 June
     Camera Ready:					19 July
     Workshop:						5 September

SUBMISSION

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:

	https://easychair.org/conferences/?conf=farm2015

PUBLICATION

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 ORGANISATION

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
Paul Hudak, Yale University
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:
         http://functional-art.org

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.

Attachment (farm-cfp-2015.pdf): application/pdf, 88 KiB
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Tarmo Uustalu | 13 Feb 21:13 2015
Picon
Picon

ETAPS 2015 call for participation


******************************************************************

                     CALL FOR PARTICIPATION

                           ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

                London, UK, 11-18 April 2015

                    http://www.etaps.org/

******************************************************************

-- ABOUT ETAPS --

The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is already
the eighteenth event in the series.

-- MAIN CONFERENCES (13-17 April) --

* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
       Systems

-- INVITED TALKS --

Unifying speakers:

    Daniel Licata (Wesleyan University, USA)
    Catuscia Palamidessi (INRIA Saclay and LIX, France)

CC invited speaker:

    Keshav Pingali (University of Texas, USA)

FoSSaCS invited speaker:

    Frank Pfenning (Carnegie Mellon University, USA)

TACAS invited speaker:

    Wang Yi (Uppsala University, Sweden)

-- CONTRIBUTED PAPERS

See the accepted paper lists and the programme of the main conferences
at the conference website.

-- SATELLITE EVENTS (11-12 and 18 April) --

17 satellite workshops will take place before or after ETAPS 2015.

GALOP, GaM, QAPL (11-12 April)

FMSPLE, FOPARA, SynCop, VPT (11 April)
DICE, FESCA, VerifyThis, WoC, WPLI (12 April)

HotSpot, MBT, PLACES, TTATT, TPDP (18 April)

-- REGISTRATION

Early registration is until Saturday, 14 February 2015.

Normal-rate registration is until Tuesday, 10 March 2015.

-- ACCOMMODATION

We request that participants arrange their accommodation on their own.
See our recommendations on the website.

-- HOST CITY --

London is one of the most visited and cosmopolitan cities on earth. It
is a leading global city, with strengths in the arts, commerce,
education, entertainment, fashion, finance, healthcare, media,
professional services, research and development, tourism and transport
all contributing to its prominence. It can be reached by more people,
from more destinations, in less time, than any other destination in
the world.

-- ORGANIZERS

General chairs: Pasquale Malacaria, Nikos Tzevelekos

Workshop chair: Paulo Oliva

Publicity chairs: Michael Tautschnig and Greta Yorsh

Further organizers: 
  Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh

--- HOST INSTITUTION

Queen Mary University of London

-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
etaps2015 <at> qmul.ac.uk

Gmane