[Haskell] ETAPS Test of Time Award 2022, 2nd call for nominations

[Tarmo Uustalu]

The ETAPS Test of Time Award recognizes outstanding papers published
more than 10 years in the past in one of the constituent conferences
of ETAPS. The Award recognises the impact of excellent research
results that have been published at ETAPS.

See https://etaps.org/about/test-of-time-award .

Nominations

Nominations for the 2022 ETAPS Test of Time Award are solicited from
the ETAPS community. A nomination should include the title and
publication details of the nominated paper, explain the influence it
has had since publication, and why it merits the award. The nomination
should phrase it in terms that are understandable by the members of
the award committee and suitable for use in the award citation and
should be endorsed by at least 2 people other than the person
submitting the nomination. Self-nominations are not allowed.

Nominations should be sent by

Monday 14 February 2022

to the chair of the award committee, Don Sannella .

Award committee

The 2022 award committee consists of Rance Cleaveland, Ugo Dal Lago,
Marieke Huisman, Jan Křetínský, Don Sannella (chair), Gabriele
Taentzer and Peter Thiemann.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS Test of Time Award 2022, call for nominations

[Tarmo Uustalu]

The ETAPS Test of Time Award recognizes outstanding papers published
more than 10 years in the past in one of the constituent conferences
of ETAPS. The Award recognises the impact of excellent research
results that have been published at ETAPS.

See https://etaps.org/about/test-of-time-award .

Nominations

Nominations for the 2022 ETAPS Test of Time Award are solicited from
the ETAPS community. A nomination should include the title and
publication details of the nominated paper, explain the influence it
has had since publication, and why it merits the award. The nomination
should phrase it in terms that are understandable by the members of
the award committee and suitable for use in the award citation and
should be endorsed by at least 2 people other than the person
submitting the nomination. Self-nominations are not allowed.

Nominations should be sent by

Monday 14 February 2022

to the chair of the award committee, Don Sannella .

Award committee

The 2022 award committee consists of Rance Cleaveland, Ugo Dal Lago,
Marieke Huisman, Jan Křetínský, Don Sannella (chair), Gabriele
Taentzer and Peter Thiemann.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2022 final call for papers

[Tarmo Uustalu]

Paper submission deadline: 14 Oct 2021 23:59 AoE


**

  JOINT CALL FOR PAPERS

25th European Joint Conferences on Theory and Practice of Software
   ETAPS 2022

 Munich, Germany, 2-7 April 2022

  https://etaps.org/2022

**

-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth
event in the series.


-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Ilya Sergey, Yale-NUS College and
National University of Singapore, Singapore)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, 
   and Manuel Wimmer, Johannes Kepler Universität Linz, Austria)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Patricia Bouyer, CNRS, LMF, France, 
   and Lutz Schröder, FAU Erlangen-Nürnberg, Germany)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Dana Fisman, Ben-Gurion University of the Negev,
 Israel, and Grigore Rosu, University of Illinois at
 Urbana-Champaign, USA) 
TACAS '22 will host the 11th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Alexandra Silva (University College London, UK / 
 Cornell University, USA)
 Tomáš Vojnar (Brno University of Technology, Czechia)
   * FoSSaCS invited speaker:
 Nathalie Bertrand (Inria Rennes, France)
   * TACAS invited speaker:
 Lenore Zuck (University of Illinois at Chicago, USA)

   * Tutorial speakers:
 Stacey Jeffery (CWI and QuSoft, The Netherlands)
 a further tutorial speaker tba


-- IMPORTANT DATES

   * Paper submission
(also, pre-paper-acceptance artifact registration (TACAS)):
14 October 2021 23:59 AoE
   * Pre-paper-acceptance artifact submission (TACAS):
4 November 2021 23:59 AoE
   * Rebuttal (ESOP, FoSSaCS and, partially, TACAS):
7 December 00:01 AoE - 9 December 2021 23:59 AoE
   * Paper notification: 23 December 2021
   * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS):
5 January 2022 23:59 AoE
   * Paper final versions: 26 January 2022
   * Artifact notification: 16 February 2022


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2022 solicit contributions of the
following types. All page limits are given **excluding the
bibliography**.

  * ESOP: regular research papers of max 25 pp
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp,
new ideas and emerging results (NIER) papers of max 8 pp,
tool demonstration papers of max 6 pp (+ mandatory appendix of max
6 pp),
  * FoSSaCS: regular research papers of max 18 pp 
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp,
tool demonstration papers of max 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation. We plan ETAPS 2022 as a hybrid
conference; remote attendance and presentation will be possible.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is also forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
(use the llncs.cls class) and be submitted electronically in pdf
through the Easychair author interface of the respective
conference. Submissions not adhering to the specified format and
length may be rejected immediately.

ESOP and FASE will use **double-blind reviewing**. Authors are asked
to omit their names and institutions; refer to prior work in the third
person, just as prior work by others; not to include acknowledgements
that might identify them.

ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use
rebuttal for selected submissions (those in the gray zone).


Artifact submission and evaluation

Regular tool paper and tool demonstration paper submissions to TACAS
must be accompanied by an artifact submitted shortly after the
paper. The artifact will be evaluated and the outcome will be taken
into account in the acceptance decision of the 

[Haskell] ETAPS 2022 2nd joint call for papers

[Tarmo Uustalu]

Why choose ETAPS?

- ETAPS is one of the world's leading fora for research on software
  science, with a history of more than 25 years.
- The proceedings of ETAPS appear in gold open access, with no article
  processing charge for the authors specifically.
- ETAPS has low participation fees for all and for students in
  particular.

New in 2022:

- Like FASE for several years already, ESOP will also use double-blind
  review this time.
- FASE has a new paper category of new ideas and emerging results 
  (NIER) papers.
- The pre-paper-acceptance artifact submission deadline for TACAS is
  now a little later than the paper submission deadline.
- ESOP and FASE welcome voluntary submission of artifacts for
  evaluation after paper acceptance; the outcome will not change the
  paper acceptance decision.
- Among the satellite events, there is a PhD student mentoring 
  workshop. 


**

  JOINT CALL FOR PAPERS

25th European Joint Conferences on Theory and Practice of Software
   ETAPS 2022

 Munich, Germany, 2-7 April 2022

  https://etaps.org/2022

**

-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth
event in the series.


-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Ilya Sergey, Yale-NUS College and
National University of Singapore, Singapore)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, 
   and Manuel Wimmer, Johannes Kepler Universität Linz, Austria)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Patricia Bouyer, CNRS, LMF, France, 
   and Lutz Schröder, FAU Erlangen-Nürnberg, Germany)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Dana Fisman, Ben-Gurion University of the Negev,
 Israel, and Grigore Rosu, University of Illinois at
 Urbana-Champaign, USA) 
TACAS '22 will host the 11th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Alexandra Silva (University College London, UK / 
 Cornell University, USA)
 Tomáš Vojnar (Brno University of Technology, Czechia)
   * FoSSaCS invited speaker:
 Nathalie Bertrand (Inria Rennes, France)
   * TACAS invited speaker:
 Lenore Zuck (University of Illinois at Chicago, USA)

   * Tutorial speakers:
 Stacey Jeffery (CWI and QuSoft, The Netherlands)
 a further tutorial speaker tba


-- IMPORTANT DATES

   * Paper submission
(also, pre-paper-acceptance artifact registration (TACAS)):
14 October 2021 23:59 AoE
   * Pre-paper-acceptance artifact submission (TACAS):
4 November 2021 23:59 AoE
   * Rebuttal (ESOP, FoSSaCS and, partially, TACAS):
7 December 00:01 AoE - 9 December 2021 23:59 AoE
   * Paper notification: 23 December 2021
   * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS):
5 January 2022 23:59 AoE
   * Paper final versions: 26 January 2022
   * Artifact notification: 16 February 2022


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2022 solicit contributions of the
following types. All page limits are given **excluding the
bibliography**.

  * ESOP: regular research papers of max 25 pp
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp,
new ideas and emerging results (NIER) papers of max 8 pp,
tool demonstration papers of max 6 pp (+ mandatory appendix of max
6 pp),
  * FoSSaCS: regular research papers of max 18 pp 
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp,
tool demonstration papers of max 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation. We plan ETAPS 2022 as a hybrid
conference; remote attendance and presentation will be possible.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is also forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
(use the llncs.cls class) and be 

[Haskell] ETAPS 2022 1st joint call for papers

[Tarmo Uustalu]

Why choose ETAPS?

- ETAPS is one of the world's leading fora for research on software
  science, with a history of more than 25 years.
- ESOP, FoSSaCS, TACAS are CORE 2021 rank A conferences.
- The proceedings of ETAPS appear in gold open access, with no article
  processing charge for the authors specifically.
- ETAPS has low participation fees for all and for students in
  particular.

New in 2022:

- Like FASE for several years already, ESOP will also use double-blind
  review this time.
- FASE has a new paper category of new ideas and emerging results 
  (NIER) papers.
- The pre-paper-acceptance artifact submission deadline for TACAS is
  now a little later than the paper submission deadline.
- ESOP and FASE welcome voluntary submission of artifacts for
  evaluation after paper acceptance; the outcome will not change the
  paper acceptance decision.
- Among the satellite events, there is a PhD student mentoring 
  workshop. 


**

  JOINT CALL FOR PAPERS

25th European Joint Conferences on Theory and Practice of Software
   ETAPS 2022

 Munich, Germany, 2-7 April 2022

  https://etaps.org/2022

**

-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth
event in the series.


-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Ilya Sergey, Yale-NUS College and
National University of Singapore, Singapore)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, 
   and Manuel Wimmer, Johannes Kepler Universität Linz, Austria)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Patricia Bouyer, CNRS, LMF, France, 
   and Lutz Schröder, FAU Erlangen-Nürnberg, Germany)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Dana Fisman, Ben-Gurion University of the Negev,
 Israel, and Grigore Rosu, University of Illinois at
 Urbana-Champaign, USA) 
TACAS '22 will host the 11th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Alexandra Silva (University College London, UK / 
 Cornell University, USA)
 Tomáš Vojnar (Brno University of Technology, Czechia)
   * FoSSaCS invited speaker:
 Nathalie Bertrand (Inria Rennes, France)
   * TACAS invited speaker:
 TBA

   * Tutorial speakers:
 TBA


-- IMPORTANT DATES

   * Paper submission: 14 October 2021 23:59 AoE
   * Pre-paper-acceptance artifact submission (TACAS):
4 November 2021 23:59 AoE
   * Rebuttal (ESOP, FoSSaCS and, partially, TACAS):
7 December 00:01 AoE - 9 December 2021 23:59 AoE
   * Paper notification: 23 December 2021
   * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS):
5 January 2022 23:59 AoE
   * Paper final versions: 26 January 2022
   * Artifact notification: 16 February 2022


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2022 solicit contributions of the
following types. All page limits are given **excluding the
bibliography**.

  * ESOP: regular research papers of max 25 pp
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp,
new ideas and emerging results (NIER) papers of max 8 pp,
tool demonstration papers of max 6 pp (+ mandatory appendix of max
6 pp),
  * FoSSaCS: regular research papers of max 18 pp 
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp,
tool demonstration papers of max 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation. We plan ETAPS 2022 as a hybrid
conference; remote attendance and presentation will be possible.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is also forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
(use the llncs.cls class) and be submitted electronically in pdf
through the Easychair author interface of the respective
conference. Submissions not adhering to the specified format and

[Haskell] PPDP 2021 Call for Papers

[Tarmo Uustalu]

==
PPDP 2021  Call for Papers 
==

23rd International Symposium on
Principles and Practice of Declarative Programming

6–8 September 2021, Tallinn, Estonia

http://imft.ftn.uns.ac.rs/PPDP2021 

Collocated with LOPSTR 2021

===

Important Dates
-

- 08.05.2021 title and abstract submission   
- 15.05.2021 paper submission 
- 29.06.2021 rebuttal period (48 hours)
- 09.07.2021 notification 
- 23.07.2021 final paper   
- 06.09.2021 conference starts   

About PPDP
--

The PPDP 2021 symposium brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint handling programming
paradigms. The goal is to stimulate research in the use of logical
formalisms and methods for analyzing, performing, specifying, and
reasoning about computations, including mechanisms for concurrency,
security, static analysis, and verification.

Scope
-

Submissions are invited on all topics related to declarative
programming, from principles to practice, from foundations to
applications. Topics of interest include, but are not limited to

- Language Design: domain-specific languages; interoperability;
  concurrency, parallelism and distribution; modules; functional
  languages; reactive languages; languages with objects; languages for
  quantum computing; languages inspired by biological and chemical
  computation; metaprogramming.

- Declarative languages in artificial intelligence: logic programming;
  database languages; knowledge representation languages;
  probabilistic languages; differentiable languages.

- Implementations: abstract machines; interpreters; compilation;
  compile-time and run-time optimization; memory management.

-   Foundations: types; logical frameworks; monads and effects;
  semantics.

-   Analysis and Transformation: partial evaluation; abstract
  interpretation; control flow; data flow; information flow;
  termination analysis; resource analysis; type inference and type
  checking; verification; validation; debugging; testing.

- Tools and Applications: programming and proof environments;
  verification tools; case studies in proof assistants or interactive
  theorem provers; certification; novel applications of declarative
  programming inside and outside of CS; declarative programming
  pearls; practical experience reports and industrial application;
  education.

The PC chair will be happy to advise on the appropriateness of a topic.

Submission web page
-

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



Submission Categories
-

Submissions can be made in three categories:

- Research Papers,
- System Descriptions,
- Experience Reports.

Submissions of Research Papers must present original research which is
unpublished and not submitted elsewhere. They must not exceed 12 pages
ACM style 2-column (including figures, but excluding bibliography).
Work that already appeared in unpublished or informally
published workshop proceedings may be submitted (please contact the PC
chair in case of questions). Research papers will be judged on
originality, significance, correctness, clarity, and readability.

Submission of System Descriptions must describe a working system whose
description has not been published or submitted elsewhere. They must
not exceed 10 pages and should contain a link to a working system.
System Descriptions must be marked as such at the time of submission
and will be judged on originality, significance, usefulness, clarity,
and readability.

Submissions of Experience Reports are meant to help create a body of
published, refereed, citable evidence where declarative programming
such as functional, logic, answer-set, constraint programming, etc., is
used in practice. They must not exceed 5 pages **including
references**.  Experience Reports must be marked as such at the time of
submission and need not report original research results. They will be
judged on significance, usefulness, clarity, and readability.

Supplementary material may be provided via a link to an extended
version of the submission (recommended), or in a clearly marked appendix
beyond the above-mentioned page limits. Reviewers are not required to
study extended versions or any material beyond the respective page
limit.

Formating Guidelines


We plan to use the same publication arrangements as PPDP has had in
previous years.

For each paper category, you must use the most recent version of the
"Current ACM Master Template" which is available at
>. The most
recent version at the time of writing is 1.75. You must 

[Haskell] ETAPS 2021 call for participation

[Tarmo Uustalu]

Registration is open.

Early registration is until 15 March 2021. From 16 March, late
registration rates apply.

Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March 2021.


**

 CALL FOR PARTICIPATION

24th European Joint Conferences on Theory And Practice of Software
   ETAPS 2021
   
   online from Luxembourg, Luxembourg,  27 March - 1 April 2021

http://www.etaps.org/2021

**

-- ABOUT ETAPS --

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 four main annual
conferences, accompanied by satellite workshops. ETAPS 2021 is the
twenty-fourth event in the series.


-- MAIN CONFERENCES (29 March - 1 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Nobuko Yoshida, Imperial College London, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain,
   and Mariëlle Stoelinga, Univ. Twente, The Netherlands)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and
   Christine Tasson, IRIF, Univ. Paris Diderot, France)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven,
   The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark)

TACAS '21 hosts the 10th Competition on Software Verification
(SV-COMP).
https://sv-comp.sosy-lab.org/2021/



-- INVITED TALKS AND TUTORIALS --

   * Unifying speakers:
 Scott Smolka, Stony Brook University, USA
 Jane Hillston (University of Edinburgh, UK)
   * ESOP invited speaker:
 Isil Dillig (University of Texas at Austin, USA)
   * FASE invited speaker:
 Willem Visser (Stellenbosch University, South Africa)

   * Tutorial speakers:
 Erika Ábrahám (RWTH Aachen University, Germany)
 Madhusudan Parthasararathy
(University of Illinois at Urbana-Champaign, USA) 


-- CONTRIBUTED PAPERS --

See the accepted paper lists at webpages of the individual
conferences.

For the 4th year, the proceedings of the ETAPS main conferences in
LNCS/ARCoSS will appear in Gold Open Access.

In addition to the accepted papers of this year, papers accepted for
ETAPS 2020 will also be presented.


-- PROGRAM --

To appear soonest on the conference website. 


-- SATELLITE EVENTS (27-28 March) --

8 satellite workshops and other events will take place before
ETAPS 2021.

FMSRL '21: 1st Workshop on Formal Methods for Safe Reinforcement
Learning Organizers: Nathan Fulton, Alessandro Abate, Roderick Bloem
http://workshop.safelearning.ai  (TBC) 

HCVS '21: 8th Workshop on Horn Clauses for Verification and Synthesis
Organiser: Fabio Fioravanti
https://www.sci.unich.it/hcvs21/

LiVe '21: 5th Workshop on Learning in Verification
Organiser: Jan Kretinsky
https://www7.in.tum.de/~kretinsk/LiVe2021.html

QAVS '21: 2nd Workshop on Quantitative Aspects of Variant-rich Systems
Organizers: Clemens Dubslaff and Maurice H. ter Beek
https://qavs.edgecloud.de

RW '21: Rust Verify
Organizers: Rajeev Joshi, Nicholas Matsakis, Peter Müller
https://sites.google.com/view/rustverify2021

TADM '21: 1st International Workshop on Trusted Automated Decision
Making Organizers: Ramesh Bharadwaj and Ilya Parker
https://3drationality.com/TADM2021/

VerifyThis '21: VerifyThis Verification Competition 2020
Organizers: Siddharth Krishna, Wytse Oortwijn, Marieke Huisman, 
Rosemary Monahan, Peter Müller, Mattias Ulbrich
http://verifythis.ethz.ch/

VPT '21: 9th International Workshop on Verification and Program
Transformation Organizers: Alexei Lisitsa and Andrei Nemytykh
http://refal.botik.ru/vpt/vpt2021/


-- REGISTRATION --

Registration is open.

Early registration is until 15 March 2021. From 16 March, late
registration rates apply.

Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March
2021.

https://etaps.org/2021/registration


-- HOST INSTITUTION --

ETAPS 2021 is organised by the Interdisciplinary Centre for Security,
Reliability and Trust (SnT), Université du Luxembourg.


-- ORGANIZERS

General chair: Peter Y. A. Ryan (SnT & Université du Luxembourg)

Workshops chair: Joaquin Garcia-Alfaro (Telecom SudParis, France)

Organization chair: Peter Roenne (SnT Luxembourg)

Event manager: Magali Martin (SnT Luxembourg)


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
etaps2021 at uni.lu .

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS Test of Time Award 2021, call for nominations

[Tarmo Uustalu]

ETAPS Test of Time Award

The ETAPS Test of Time Award recognizes outstanding papers published
more than 10 years in the past in one of the constituent conferences
of ETAPS. The Award recognises the impact of excellent research
results that have been published at ETAPS.

See https://www.etaps.org/about/test-of-time-award

Nominations

Nominations for the 2021 ETAPS Test of Time Award are solicited from
the ETAPS community. A nomination should include the title and
publication details of the nominated paper, explain the influence it
has had since publication, and why it merits the award. It should be
phrased in terms that are understandable by the members of the award
committee and suitable for use in the award citation, and should be
endorsed by at least 2 people other than the person submitting the
nomination. Self-nominations are not allowed.

Nominations should be sent by

Monday 15 February

to the chair of the award committee, Don Sannella .

Award committee

The 2021 award committee consists of Rance Cleaveland, Ugo Dal Lago,
Marieke Huisman, Peter Ryan, Don Sannella (chair), Gabriele Taentzer
and Peter Thiemann.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2021 final joint call for papers

[Tarmo Uustalu]

**

  JOINT CALL FOR PAPERS

24th European Joint Conferences on Theory and Practice of Software
   ETAPS 2021

 Luxembourg, Luxembourg, 27 March-1 April 2021

http://www.etaps.org/2021

**

We are closely monitoring the development of the COVID-19 pandemic. If
it is not viable to hold ETAPS 2021 as a physical conference, we will
run it virtually on the same dates. We will decide in January 2021 at
the latest. If ETAPS 2021 can go ahead as a physical conference,
accepted authors may still present remotely. 


-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2021 is the twenty-fourth
event in the series.


-- MAIN CONFERENCES (29 March-1 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Nobuko Yoshida, Imperial College London, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain,
   and Mariëlle Stoelinga, Univ. Twente, The Netherlands)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and
   Christine Tasson, IRIF, Univ. Paris Diderot, France)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven,
   The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark)
   
TACAS '21 will host the 10th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

The invited speakers and tutorialists planned for ETAPS 2020
have been reinvited:

   * Unifying speakers:
 Lars Birkedal (Aarhus Universitet, Denmark)
 Jane Hillston (University of Edinburgh, UK)
   * ESOP invited speaker:
 Isil Dillig (University of Texas at Austin, USA)
   * FASE invited speaker:
 Willem Visser (Stellenbosch University, South Africa)

   * Tutorial speakers:
 Erika Ábrahám (RWTH Aachen University, Germany)
 Madhusudan Parthasararathy
(University of Illinois at Urbana-Champaign, USA) 


-- IMPORTANT DATES

   * Papers due: 15 October 2020 23:59 AoE (=GMT-12)
   * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS):
7 December 00:01 AoE - 9 December  23:59 AoE
   * Notification: 23 December 2020
   * Camera-ready versions due: 22 January 2021


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2021 solicit contributions of the
following types. All page limits are given **excluding bibliography**. 

  * ESOP: regular research papers of max 25 pp
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp,
tool demonstration papers of max 6 pp + mandatory appendix of max 6
pp,
  * FoSSaCS: regular research papers of max 18 pp 
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp,
tool demonstration papers of max 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the conference proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation. **Remote attendance and
presentation will be possible if ETAPS 2021 goes ahead as a physical
conference.**

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
and be submitted electronically in pdf through the Easychair author
interface of the respective conference. Submissions not adhering to
the specified format and length may be rejected immediately.

FASE will use double-blind reviewing. Authors are asked to omit their
names and institutions; refer to own prior work in the third person;
not to include acknowledgements that might identify them.

Regular tool paper and tool demonstration paper submissions to TACAS
must be accompanied by an artifact. The artifact will be evaluated and
the outcome will be taken into account in the acceptance decision of
the paper. 

ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have
rebuttal for selected papers. 


-- PUBLICATION

The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's LNCS
series. The proceedings volumes will appear in 

[Haskell] ETAPS 2021 2nd joint call for papers

[Tarmo Uustalu]

**

  JOINT CALL FOR PAPERS

24th European Joint Conferences on Theory and Practice of Software
   ETAPS 2021

 Luxembourg, Luxembourg, 27 March-1 April 2021

http://www.etaps.org/2021

**

We are closely monitoring the development of the COVID-19 pandemic. If
it is not viable to hold ETAPS 2021 as a physical conference, we will
run it virtually on the same dates. We will decide in January 2021 at
the latest. If ETAPS 2021 can go ahead as a physical conference,
accepted authors may still present remotely. 


-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2021 is the twenty-fourth
event in the series.


-- MAIN CONFERENCES (29 March-1 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Nobuko Yoshida, Imperial College London, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain,
   and Mariëlle Stoelinga, Univ. Twente, The Netherlands)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and
   Christine Tasson, IRIF, Univ. Paris Diderot, France)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven,
   The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark)
   
TACAS '21 will host the 10th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

The invited speakers and tutorialists planned for ETAPS 2020
have been reinvited:

   * Unifying speakers:
 Lars Birkedal (Aarhus Universitet, Denmark)
 a further speaker to be reconfirmed
   * ESOP invited speaker:
 Isil Dillig (University of Texas at Austin, USA)
   * FASE invited speaker:
 Willem Visser (Stellenbosch University, South Africa)

   * Tutorial speakers:
 Erika Ábrahám (RWTH Aachen University, Germany)
 Madhusudan Parthasararathy
(University of Illinois at Urbana-Champaign, USA) 


-- IMPORTANT DATES

   * Papers due: 15 October 2020 23:59 AoE (=GMT-12)
   * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS):
7 December 00:01 AoE - 9 December  23:59 AoE
   * Notification: 23 December 2020
   * Camera-ready versions due: 22 January 2021


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2021 solicit contributions of the
following types. All page limits are given **excluding bibliography**. 

  * ESOP: regular research papers of max 25 pp
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp,
tool demonstration papers of max 6 pp + mandatory appendix of max 6
pp,
  * FoSSaCS: regular research papers of max 18 pp 
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp,
tool demonstration papers of max 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the conference proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation. **Remote attendance and
presentation will be possible if ETAPS 2021 goes ahead as a physical
conference.**

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
and be submitted electronically in pdf through the Easychair author
interface of the respective conference. Submissions not adhering to
the specified format and length may be rejected immediately.

FASE will use double-blind reviewing. Authors are asked to omit their
names and institutions; refer to own prior work in the third person;
not to include acknowledgements that might identify them.

Regular tool paper and tool demonstration paper submissions to TACAS
must be accompanied by an artifact. The artifact will be evaluated and
the outcome will be taken into account in the acceptance decision of
the paper. 

ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have
rebuttal for selected papers. 


-- PUBLICATION

The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's LNCS
series. The proceedings volumes will appear in gold open 

[Haskell] ETAPS 2021 1st joint call for papers

[Tarmo Uustalu]

**

  JOINT CALL FOR PAPERS

24th European Joint Conferences on Theory and Practice of Software
   ETAPS 2021

 Luxembourg, Luxembourg, 27 March-1 April 2021

http://www.etaps.org/2021

**

-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2021 is the twenty-fourth
event in the series.


-- MAIN CONFERENCES (29 March-1 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Nobuko Yoshida, Imperial College London, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain,
   and Mariëlle Stoelinga, Univ. Twente, The Netherlands)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and
   Christine Tasson, IRIF, Univ. Paris Diderot, France)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven,
   The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark)
   
TACAS '21 will host the 10th Competition on Software Verification
(SV-COMP).


-- IMPORTANT DATES

   * Papers due: 15 October 2020 23:59 AoE (=GMT-12)
   * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS):
7 December 00:01 AoE - 9 December  23:59 AoE
   * Notification: 23 December 2020
   * Camera-ready versions due: 22 January 2021


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2021 solicit contributions of the
following types. All page limits are given **excluding bibliography**. 

  * ESOP: regular research papers of max 25 pp
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp,
tool demonstration papers of max 6 pp + mandatory appendix of max 6
pp,
  * FoSSaCS: regular research papers of max 18 pp 
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp,
tool demonstration papers of max 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the conference proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
and be submitted electronically in pdf through the Easychair author
interface of the respective conference. Submissions not adhering to
the specified format and length may be rejected immediately.

FASE will use double-blind reviewing. Authors are asked to omit their
names and institutions; refer to own prior work in the third person;
not to include acknowledgements that might identify them.

Regular tool paper and tool demonstration paper submissions to TACAS
must be accompanied by an artifact. The artifact will be evaluated and
the outcome will be taken into account in the acceptance decision of
the paper. 

ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have
rebuttal for selected papers. 


-- PUBLICATION

The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's LNCS
series. The proceedings volumes will appear in gold open access, so
the published versions of all papers will be available for everyone to
download from the publisher's website freely, from the date of online
publication, perpetually. The copyright of the papers will remain with
the authors.


-- SATELLITE EVENTS (27-28 March) --

A number of satellite workshops will take place before the main
conferences.


-- CITY AND HOST INSTITUTION --

Luxembourg is the capital of the small European nation of the same
name. Built amid deep gorges cut by the Alzette and Pétrusse rivers,
it is famed for its ruins of medieval fortifications. The vast Bock
Casemates tunnel network encompasses a dungeon, prison and the
Archaeological Crypt, considered the city's birthplace. Along ramparts
above, the Chemin de la Corniche promenade offers dramatic viewpoints.

ETAPS 2021 is organised by the Interdisciplinary Centre for Security,
Reliability and Trust (SnT), Université du Luxembourg.


-- ORGANIZERS --

General chair: Peter Y. A. Ryan (SnT & 

[Haskell] ETAPS 2020 afternoon, online, 2 July 2020, call for participation

[Tarmo Uustalu]

[There will be no physical ETAPS in Dublin this autumn. Instead, on 
2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors 
of papers accepted to the main conferences of ETAPS 2020 will get an
opportunity to present their work at ETAPS 2021 in Luxembourg.]


The ETAPS EC and ETAPS 2020 LOC regret to announce that the plan of a
postponed physical ETAPS in Dublin in autumn 2020 has become
unrealistic. We will follow the following substitute plan.

- We will hold a 3-hour virtual online ETAPS 2020 event in the
  afternoon of Thu 2 July 2020, see the call below.

  Everyone is most welcome to attend. There will be no registration,
  no fee.

- The authors of papers accepted to the main conferences of ETAPS 2020
  will get an opportunity to present their work at ETAPS 2021 in
  Luxembourg, Sat-Thu 27 March-1 April 2021. The exact arrangements
  for this move will be announced.

- The workshop organizers will individually decide and announce
  whether, when and in what format their workshops will take place.

- The local organizers of ETAPS 2020 will reimburse the fees collected
  (minus some administrative charge) according to a policy and a
  procedure to be announced.

Thank you for your understanding!



   CALL FOR PARTICIPATION

   ETAPS 2020  afternoon
online, 2 July 2020 

  https://etaps.org/2020/afternoon


ETAPS 2020 AFTERNOON

To compensate for the cancelled physical ETAPS 2020 conference in
Dublin, we will hold a 3-hour virtual event to hand out the awards of
the conference and listen to talks by the best paper award
winners. This will take place Thu 2 July 2020.

The presentations will be streamed live. Questions to presenters can
be asked in a chat. The event will be recorded and can be watched
later.


HOW TO JOIN

There will be no registration, no fee.

The link to join the programme online will be published on the webpage
https://etaps.org/2020/afternoon on the day of the event.


PROGRAMME

All times below are CEST.
Start: 15:00 CEST (= GMT+2, Amsterdam).

-

15:00 Welcome by Marieke Huisman

Announcement on ETAPS 2021 in Luxembourg and on the plan for ETAPS
2020 papers by Peter Ryan

15:15 Talk by EASST best paper award winner
Florian Frohn. A calculus for modular loop acceleration (TACAS)

Award handed out by Reiko Heckel

15:45 Announcement of ETAPS test of time award winner

Award handed out by Don Sannella

16:00 Break

16:30 Talk by EAPLS best paper award winner
Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Baishakhi Ray.
An empirical study on the use and misuse of Java 8 streams (FASE) 

Award handed out by Anton Wijs

17:00 Talk by ETAPS PhD award winner
Oded Padon. Deductive verification of distributed protocols
in first-order logic (Tel Aviv University, 2018) 

Award handed out by Caterina Urban

17:30 Talk by EATCS best paper award winner
Thomas Neele, Antti Valmari and Tim A.C. Willemse.
The inconsistent labelling problem of stutter-preserving partial-order
reduction (FoSSaCS)

Award handed out by Don Sannella

18:00 Closing

-
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] First ETAPS Doctoral Dissertation Award, final call for nominations

[Tarmo Uustalu]

First ETAPS Doctoral Dissertation Award
=

The European Joint Conferences on Theory and Practice of Software
Association has established a Doctoral Dissertation Award to promote
and recognize outstanding dissertations in the research areas covered
by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS).

Doctoral dissertations are evaluated with respect to originality,
relevance, and impact to the field, as well as the quality of writing.
The award winner will receive a monetary prize and will be recognized
at the ETAPS Banquet.

Eligibility
---

Eligible for the award is any PhD student whose doctoral dissertation
is in the scope of the ETAPS conferences and who completed their
doctoral degree at a European academic institution in the period from
January 1st, 2019 to December 31st, 2019. 

Nominations
---

Award candidates should be nominated by their supervisor. Members of
the Award Committee are not allowed to nominate their own PhD students
for the award.

Nominations consist of a single PDF file (extension .pdf) containing:
* name and email address of the candidate
* a short curriculum vitae of the candidate
* name and email address of the supervisor
* an endorsement letter from the supervisor
* the final version of the doctoral dissertation
* institution and department that has awarded the doctorate
* a document certifying that the doctoral degree was successfully
completed within the eligibility period 
* a report from at least one examiner of the dissertation who is not
affiliated with the candidate's institution

All documents must be written in English. Nominations are welcome
regardless of whether results that are part of the dissertation have
been published at ETAPS.

Nominations should be submitted via EasyChair:

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

The deadline for nominations is January 19th, 2020.

Award Committee
---

Caterina Urban (chair)
Amal Ahmed (representing ESOP)
Dirk Beyer (representing TACAS)
Andrew Pitts (representing FoSSaCS)
Perdita Stevens (representing FASE)
Marieke Huisman
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS Test of Time Award 2020, call for nominations

[Tarmo Uustalu]

The ETAPS Test of Time Award recognizes outstanding papers published
more than 10 years in the past in one of the constituent conferences
of ETAPS. The Award recognises the impact of excellent research
results that have been published at ETAPS.


Nominations 2020

Nominations for the 2020 ETAPS Test of Time Award are solicited from
the ETAPS community. A nomination should include the title and
publication details of the nominated paper, explain the influence it
has had since publication, and why it merits the award. It should be
phrased in terms that are understandable by the members of the award
committee and suitable for use in the award citation, and should be
endorsed by at least 2 people other than the person submitting the
nomination. Self-nominations are not allowed.

Nominations should be sent by

Monday 2 March 2020

to the chair of the award committee, Don Sannella .


Award committee

The 2020 award committee consists of Rance Cleaveland, Ugo Dal Lago,
Marieke Huisman, Tiziana Margaria, Don Sannella (chair), Gabriele
Taentzer and Peter Thiemann.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] First ETAPS Doctoral Dissertation Award

[Tarmo Uustalu]

First ETAPS Doctoral Dissertation Award
=

The European Joint Conferences on Theory and Practice of Software
Association has established a Doctoral Dissertation Award to promote
and recognize outstanding dissertations in the research areas covered
by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS).

Doctoral dissertations are evaluated with respect to originality,
relevance, and impact to the field, as well as the quality of writing.
The award winner will receive a monetary prize and will be recognized
at the ETAPS Banquet.

Eligibility
---

Eligible for the award is any PhD student whose doctoral dissertation
is in the scope of the ETAPS conferences and who completed their
doctoral degree at a European academic institution in the period from
January 1st, 2019 to December 31st, 2019. 

Nominations
---

Award candidates should be nominated by their supervisor. Members of
the Award Committee are not allowed to nominate their own PhD students
for the award.

Nominations consist of a single PDF file (extension .pdf) containing:
* name and email address of the candidate
* a short curriculum vitae of the candidate
* name and email address of the supervisor
* an endorsement letter from the supervisor
* the final version of the doctoral dissertation
* institution and department that has awarded the doctorate
* a document certifying that the doctoral degree was successfully
completed within the eligibility period 
* a report from at least one examiner of the dissertation who is not
affiliated with the candidate's institution

All documents must be written in English. Nominations are welcome
regardless of whether results that are part of the dissertation have
been published at ETAPS.

Nominations should be submitted via EasyChair:

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

The deadline for nominations is January 19th, 2020.

Award Committee
---

Caterina Urban (chair)
Amal Ahmed (representing ESOP)
Dirk Beyer (representing TACAS)
Andrew Pitts (representing FoSSaCS)
Perdita Stevens (representing FASE)
Marieke Huisman
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] NWPT 2019 submission deadline extended

[Tarmo Uustalu]

Extended submission deadline: 26 September 2019


   CALL FOR CONTRIBUTIONS

31st Nordic Workshop on Programming Theory, NWPT 2019

Tallinn, Estonia, 13-15 November 2019

  http://cs.ttu.ee/events/nwpt2019

Important Dates

Submission of abstracts 26 September 2019
Notification7 October 2019
Final versions  15 October 2019
Registration15 October 2019


Background

The NWPT series of annual workshops is a forum bringing together
programming theorists from the Nordic and Baltic countries, but also
from elsewhere.

List of Topics

Semantics of programming languages
Programming language design and programming methodology
Programming logics
Formal specification of programs
Program verification
Program construction
Tools for program verification and construction
Program transformation and refinement
Real-time and hybrid systems
Models of concurrency and distributed computing
Model-based testing
Language-based security

Invited Speakers

Mohamed Bettaz, Philadelphia University, Amman, Jordan
Ando Saabas, Bolt, Estonia
Pawel Sobocinski, Tallinn University of Technology, Estonia

Submission Guidelines

Authors wishing to give a talk at the workshop are requested to submit
abstracts of 2-3 pages (pdf, printable on A4 paper, using
easychair.cls) through EasyChair
(https://easychair.org/conferences/?conf=nwpt2019) by 26 September
2019. Work in progress as well as abstracts of manuscripts submitted
for formal publication elsewhere are permitted.

The abstracts of the accepted contributions will be available
electronically before the workshop. By submitting to EasyChair you
agree that your abstract will be publicly available. Moreover, you as
an author are responsible for the content.

Post-workshop Publication

We have arranged a special issue of the Journal of Logical and
Algebraic Methods in Programming (JLAMP) devoted to the best
contributions to the workshop. The contributions will be selected by
the PC. They will be invited after the workshop and will undergo a
rigorous, journal-strength review process according to the standards
of JLAMP.

Program Committee

Antonis Achilleos, Reykjavík University, Iceland
Johannes Borgström, Uppsala University, Sweden
Martin Elsman, University of Copenhagen, Denmark
Daniel Fava, University of Oslo, Norway
John Gallagher, RUC, Denmark
Michael R. Hansen, DTU, Denmark
Magne Haveraaen, University of Bergen, Norway
Keijo Heljanko, University of Helsinki, Finland
Thomas T. Hildebrandt, ITU Copenhagen, Denmark
Einar Broch Johnsen, University of Oslo, Norway
Jaakko Järvi, University of Bergen, Norway
Yngve Lamo, Western Norway Univ. of Applied Sciences, Norway
Kim G. Larsen, Aalborg University, Denmark
Alberto Lluch Lafuente, DTU, Denmark
Fabrizio Montesi, University of Southern Denmark, Denmark
Wojciech Mostowski, Halmstad University, Sweden
Olaf Owe, University of Oslo, Norway
Philipp Rümmer, Uppsala University, Sweden
Gerardo Schneider, University of Gothenburg, Sweden
Cristina Seceleanu, Mälardalen University, Sweden
Jiri Srba, Aalborg University, Denmark
Tarmo Uustalu, Reykjavík University, Iceland
Jüri Vain, Tallinn University of Techn., Estonia
Antti Valmari, University of Jyväskylä, Finland
Marina Waldén, Åbo Akademi University, Finland

Organizing Committee

Jüri Vain (chair)
Tarmo Uustalu
Leonidas Tsiopoulos
Juhan Ernits
Marko Kääramees

Venue

The 31st Nordic Workshop on Programming Theory 2019 will take place in
the campus of Tallinn University of Technology.

Contact

Further information can be obtained by mailing the organizers at
nwpt2...@ttu.ee.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2020 2nd joint call for papers

[Tarmo Uustalu]

**

  JOINT CALL FOR PAPERS

23rd European Joint Conferences on Theory and Practice of Software
   ETAPS 2020

Dublin, Ireland, 25-30 April 2020

http://www.etaps.org/2020

**

-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2020 is the twenty-third
event in the series.


-- MAIN CONFERENCES (27-30 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Peter Müller, ETH Zürich, Switzerland)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs: Heike Wehrheim, Universität Paderborn, Germany,
   and Jordi Cabot, Universitat Oberta de Catalunya, Spain)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Barbara König, Univ Duisburg-Essen, Germany,
   and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria,
   and David Parker, University of Birmingham, United Kingdom)
   
TACAS '20 will host the 9th Competition on Software Verification
(SV-COMP).

POST, which was an ETAPS conference 2012-2019, has been discontinued.


-- INVITED SPEAKERS --

   * Unifying speakers:
 Lars Birkedal (Aarhus Universitet, Denmark)
 Jane Hillston (University of Edinburgh, United Kingdom)
   * ESOP invited speaker:
 Isil Dillig (University of Texas at Austin, USA)
   * FASE invited speaker:
 Willem Visser (Stellenbosch University, South Africa)


-- IMPORTANT DATES

   * Papers due: 24 October 2019 23:59 AoE (=GMT-12)
   * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS):
9 December 00:01 AoE - 10 December  23:59 AoE
   * Notification: 23 December 2019
   * Camera-ready versions due: 22 February 2020


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2020 solicit contributions of the
following types:

  * ESOP: regular research papers of max 25 pp (excl bibl)
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp (excl bibl),
tool demonstration papers of 6+6 pp
  * FoSSaCS: regular research papers of max 18 pp (excl bibl)
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp (excl bibl),
tool demonstration papers of 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the conference proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
and be submitted electronically in pdf through the Easychair author
interface of the respective conference. Submissions not adhering to
the specified format and length may be rejected immediately.

FASE will use double-blind reviewing. Authors are asked to omit their
names and institutions; refer to own prior work in the third person;
not to include acknowledgements that might identify them.

Regular tool paper and tool demonstration paper submissions to TACAS
must be accompanied by an artifact. The artifact will be evaluated and
the outcome will be taken into account in the acceptance decision of
the paper. 

ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have
rebuttal for selected papers. 


-- PUBLICATION

The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's LNCS
series. The proceedings volumes will appear in gold open access, so
the published versions of all papers will be available for everyone to
download from the publisher's website freely, from the date of online
publication, perpetually. The copyright of the papers will remain with
the authors.


-- SATELLITE EVENTS (25-26 April) --

A number of satellite workshops will take place before the main
conferences.

  * 25-26 April (two days):
CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA

  * 25 April:
CREST, InterAVT, MSFP, TEASE-LP

  * 26 April:
HCVS, MARS, MeTRiD, PLACES, RW


-- CITY AND HOST INSTITUTION --

Dublin (Baile Átha Cliath) is the capital and largest city of the

[Haskell] ETAPS 2020 1st joint call for papers

[Tarmo Uustalu]

**

  JOINT CALL FOR PAPERS

23rd European Joint Conferences on Theory and Practice of Software
   ETAPS 2020

Dublin, Ireland, 25-30 April 2020

http://www.etaps.org/2020

**

-- ABOUT ETAPS --

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 four annual conferences,
accompanied by satellite workshops. ETAPS 2020 is the twenty-third
event in the series.


-- MAIN CONFERENCES (27-30 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Peter Müller, ETH Zürich, Switzerland)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs: Heike Wehrheim, Universität Paderborn, Germany,
   and Jordi Cabot, Universitat Oberta de Catalunya, Spain)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Barbara König, Univ Duisburg-Essen, Germany,
   and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria,
   and David Parker, University of Birmingham, United Kingdom)
   
TACAS '20 will host the 9th Competition on Software Verification
(SV-COMP).

POST, which was an ETAPS conference 2012-2019, has been discontinued.


-- INVITED SPEAKERS --

   * Unifying speakers:
 Lars Birkedal (Aarhus Universitet, Denmark)
 Jane Hillston (University of Edinburgh, United Kingdom)
   * ESOP invited speaker:
 Isil Dillig (University of Texas at Austin, USA)
   * FASE invited speaker:
 Willem Visser (Stellenbosch University, South Africa)


-- IMPORTANT DATES

   * Papers due: 24 October 2019 23:59 AoE (=GMT-12)
   * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS):
9 December 00:01 AoE - 10 December  23:59 AoE
   * Notification: 23 December 2019
   * Camera-ready versions due: 22 February 2020


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2020 solicit contributions of the
following types:

  * ESOP: regular research papers of max 25 pp (excl bibl)
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp (excl bibl),
tool demonstration papers of 6+6 pp
  * FoSSaCS: regular research papers of max 18 pp (excl bibl)
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp (excl bibl),
tool demonstration papers of 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the conference proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
and be submitted electronically in pdf through the Easychair author
interface of the respective conference. Submissions not adhering to
the specified format and length may be rejected immediately.

FASE will use double-blind reviewing. Authors are asked to omit their
names and institutions; refer to own prior work in the third person;
not to include acknowledgements that might identify them.

Regular tool paper and tool demonstration paper submissions to TACAS
must be accompanied by an artifact. The artifact will be evaluated and
the outcome will be taken into account in the acceptance decision of
the paper. 

ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have
rebuttal for selected papers. 


-- PUBLICATION

The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's LNCS
series. The proceedings volumes will appear in gold open access, so
the published versions of all papers will be available for everyone to
download from the publisher's website freely, from the date of online
publication, perpetually. The copyright of the papers wiil remain with
the authors.


-- SATELLITE EVENTS (25-26 April) --

A number of satellite workshops will take place before the main
conferences.

  * 25-26 April (two days):
CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA

  * 25 April:
CREST, InterAVT, MSFP, TEASE-LP

  * 26 April:
HCVS, MARS, MeTRiD, PLACES, RW


-- CITY AND HOST INSTITUTION --

Dublin (Baile Átha Cliath) is the capital and largest city of the

[Haskell] Postdoc position on quantified effects at Reykjavik University

[Tarmo Uustalu]

Quantified computational effects and interaction

Department of Computer Science, Reykjavik University

One postdoc position

Applications are invited for one postdoctoral position at the
Department of Computer Science, Reykjavik University.  The position is
part of a three-year research project funded by the Icelandic Research
Fund under the direction of Tarmo Uustalu. The overarching goal of to
advance the theory and practice of disciplined effectful programming,
based on graded monads, monad-like structures and interaction
laws. Interested applicants should contact the PI (email ta...@ru.is)
for closer details on the research proposal.

The successful candidate will benefit from, and contribute to, the
research environment at the Icelandic Centre of Excellence in
Theoretical Computer Science (ICE-TCS), with research groups on
concurrency, logic and semantics, algorithms, combinatorics. For
information about ICE-TCS and its activities, see

http://icetcs.ru.is/.

Moreover, she/he will cooperate with Shin-ya Katsumata and Maciej
Piróg during the project work and will benefit from the interaction
with their research groups at the National Institute of Informatics in
Tokyo and the University of Wroclaw.

*Qualification requirements*

Applicants for the postdoctoral position should have, or be about to
defend, a PhD degree in computer science or a closely related
field. Previous knowledge of at least one of lambda calculus and
functional programming, proof theory/type theory, programming language
semantics, category theory in computer science, proof assistants is a
prerequisite.

*Remuneration*

The wage will be approx 500 kISK per month before income tax, but
depend on the qualifications and experience of the postdoc. Check
http://payroll.is/en/ for what this means in terms of take-home pay. A
tax relief for foreign experts may apply.

The position is for two years, to start in autumn 2019 (the start date
is negotiable), and is renewable for another year, based on good
performance and mutual satisfaction.

*Application details*

Interested applicants should send their CV, including a list of
publications, to the PI (email ta...@ru.is), together with a statement
outlining their suitability for the project and the names of at least
two references.

Informal inquiries about the project and the conditions of work are
very welcome.

We will review applications as they arrive. Please apply before
5 July 2019.

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2019 call for participation

[Tarmo Uustalu]

**

 CALL FOR PARTICIPATION

22nd European Joint Conferences on Theory And Practice of Software
   ETAPS 2019
   
Prague, Czech Republic,  6-11 April 2019

http://www.etaps.org/2019
   https://conf.researchr.org/home/etaps-2019

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2019 is the
twenty-second event in the series.


-- MAIN CONFERENCES (8-11 April) --

   * ESOP: European Symposium on Programming
   (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany,
   and Wil van der Aalst, RWTH Aachen University, Germany)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland,
   and Alex Simpson, University of Ljubljana, Slovenia)
   * POST: Principles of Security and Trust
   (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark,
   and David Sands, Chalmers Tekniska Högskola, Sweden)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep,
   and Lijun Zhang, Chinese Academy of Sciences, China)

TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP)
and TOOLympics, an event to celebrate the achievements of the various
competitions or comparative evaluations.


-- INVITED TALKS AND TUTORIALS --

   * Unifying speakers:
 Marscha Chechik (University of Toronto, Canada)
 Kathleen Fisher (Tufts University, USA)

   * FoSSaCS invited speaker:
 Thomas Colcombet (IRIF, France)
 
   * TACAS invited speaker:
 Cormac Flanagan (University of California at Santa Cruz, USA)

   * Tutorial speakers:
 Dirk Beyer (LMU München, Germany)
 Cesare Tinelli (University of Iowa, USA)


-- CONTRIBUTED PAPERS --

See the accepted paper lists at webpages of the individual
conferences.

For the 2nd year, the proceedings of the ETAPS main conferences in
LNCS/ARCoSS will appear in Gold Open Access.


-- PROGRAM --

See the full program here:

https://conf.researchr.org/program/etaps-2019/program-etaps-2019


-- SATELLITE EVENTS (6-7 April) --

18 satellite workshops and other events will take place before
ETAPS 2019.

  DICE-FOPARA, GaLoP, HSB, QAPL, SynCoP, VerifyThis,
  TOOLympics (6-7 April)

  BEHAPI, InterAVT, LiVe, MeTRiD, PERR (6 April)

  CREST, HCVS, PLACES, SPIoT, SYNTCOMP Camp,
  Mentoring Workshop (7 April)


-- REGISTRATION --

Early registration is until Sunday, 11 March 2019, 

https://regmaster4.com/2019conf/ETAPS19/register.php


-- HOST CITY AND VENUE --

ETAPS 2019 will take place in the centre of Prague, the beautiful
capital of the Czech Republic.

The main conferences will be held at Orea Hotel Pyramida, while the
workshops will take place at the School of Computer Science, Faculty of
Mathematics and Physics, Charles University. Both are close to the
Prague Castle.

For the special deal for accommodation at the conference hotel, see
the conference website.


-- HOST INSTITUTION --

ETAPS 2019 is hosted by the School of Computer Science of the Charles
University.


-- ORGANIZERS

Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan
Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem
Pelenitsyn, David Safranek


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
jan.kof...@d3s.mff.cuni.cz and j.vi...@neu.edu.

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Call for Applications: ETAPS Mentoring Workshop, 7 April 2019

[Tarmo Uustalu]

Call for Applications: ETAPS Mentoring Workshop, 7 April 2019


*NEW*  - ETAPS 2019 is running a mentoring workshop to encourage
students to pursue graduate studies.

The workshop is held on Sunday April 7 in conjunction with ETAPS
in Prague.

In addition to the workshop on Sunday, attendees are invited to
mentoring breakfasts and evening lectures.

The ETAPS Mentoring Workshop is organised with the intention of
helping students early in a program with advice on research,
career, and (academic) life in the fields of Computing that are
covered by the ETAPS conference. Students will attend lectures
that describe key ideas in the field but also how the researchers
came up with those ideas, what obstacles they had to overcome and
other helpful advice. Students will work together during the
workshop to meet a common goal, and will present their results for
the mentoring researchers and get feedback.

During mentoring breakfasts, students will get to interact
one-on-one with researchers at. Prospective Ph.D. students
(undergraduates and Masters) will be assigned mentors who will
help them navigate the conference.

This is a closed workshop: an application is required to attend.
It is possible to be both a Student Volunteer and an mentoring
workshop attendee.

*** Application deadline: March 1st. ***

Excerpts of the programme on the 7th of April:

From Shape Analysis to Smart Contract Verification: A journey in proof
automation 
Mooly Sagiv, Tel Aviv University

How to Give an Effective Talk
Ajitha Rajan, University of Edinburgh

Navigating through the academic jungle: tips, tricks & traps
Marielle Stoelinga, University of Twente

Advice on your adviser
Marsha Chechik, University of Toronto

How to survive being a woman in computer science
Marieke Huisman

A few lessons from the PhD I just finished
Juliana Franco, Microsoft Research, Cambridge

Gentle introduction to language design research: 
Why get involved, open problems, and what it means to get involved
Mira Mezini, TU Darmstadt

Science and Sanity: how to do the former while retaining the later
(Panel) 
Stephanie Balzer, Carnegie Mellon University
Barbora Buhnova, Masaryk University
Juliana Franco, Microsoft Research, Cambridge


For additional details see
https://conf.researchr.org/track/etaps-2019/etaps-2019-ETAPS-Mentoring-Workshop

A purpose of the workshop is to promote diversity and increase the
participation of students who are members of underrepresented
groups in graduate studies in the fields of the conferences and
workshops under the ETAPS umbrella. We therefore especially
encourage applications from women, Aboriginal peoples, persons
with disabilities, and other groups underrepresented in computing.
This workshop provides these students with valuable opportunities
for mentorship and networking.

Very limited funding may be available for students who would not
be able to attend otherwise (these funds depend on our ability to
raise industrial sponsorships). Students may also apply to be
Student Volunteer to be able to attend the rest of the conference,
There are also 10 ETAPS Student Scholarships which give 500 Euros
to students coming to Prague.


Organisers
Jan Vitek, Northeastern University and Czech Technical University
Tobias Wrigstad, Uppsala University

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2019 1st joint call for papers

[Tarmo Uustalu]

**

  JOINT CALL FOR PAPERS

22nd European Joint Conferences on Theory And Practice of Software
   ETAPS 2019

 Prague, Czech Republic, 6-11 April 2019

http://www.etaps.org/2019

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2019 is the
twenty-second event in the series.


-- MAIN CONFERENCES (8-11 April) --

   * ESOP: European Symposium on Programming
   (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany,
   and Wil van der Aalst, RWTH Aachen University, Germany)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland,
   and Alex Simpson, University of Ljubljana, Slovenia)
   * POST: Principles of Security and Trust
   (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark,
   and David Sands, Chalmers Tekniska Högskola, Sweden)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep,
   and Lijun Zhang, Chinese Academy of Sciences, China)
 
TACAS '19 hosts the 8th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Marscha Chechik (University of Toronto, Canada)
 Kathleen Fisher (Tufts University, USA)
   * FoSSaCS invited speaker:
 Thomas Colcombet (IRIF, France)
   * TACAS invited speaker:
 Cormac Flanagan (University of California at Santa Cruz, USA)


-- IMPORTANT DATES

   * Abstracts due: 9 November 2018 23:59 AoE
   * Papers due: 16 November 2018 23:59 AoE
   * Rebuttal (ESOP, FoSSaCS, POST):
11 January 00:01 AoE - 14 January 2019 23:59 AoE
   * Notification: 25 January 2019
   * Camera-ready versions due: 15 February 2019


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences solicit contributions of two types: research papers
and tool demonstration papers. ESOP and FoSSaCS accept only research
papers. FASE, POST and TACAS have multiple types of research papers,
see below.

All accepted papers will appear in the proceedings and have
presentations during the conference.

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden. 

Submissions must follow the formatting guidelines of Springer's
Lecture Notes in Computer Science and be submitted electronically in
pdf through the EasyChair author interface of the respective
conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE and POST use double-blind review.

Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in
*gold open access*. The copyright of the papers will remain with the
authors. The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's Lecture
Notes in Computer Science series.

The publisher's charges for gold open access will be paid by the
conference (funded with the participation fees of all
participants). There will be no added cost for authors specifically.


- Research papers

FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography) for research papers, whereas POST allows at most 20 pp
(excluding bibliography) and ESOP 25 pp (excluding bibliography).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also *case
study papers* (with the same page limit as for regular research
papers). POST solicits also *systematization of knowledge papers*
(with the same page limit as for regular research papers) and
*position papers* (max 10 pp, excluding bibliography).

Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp,
excluding bibliography).


- Tool demonstration papers

Tool demo papers have a page limit of 6 pp. The individual conferences
FASE, POST, TACAS have additional specific 

[Haskell] ETAPS 2017 early registration deadline approaching

[Tarmo Uustalu]

Early registration deadline 12 March 2017!

**

CALL FOR PARTICIPATION

20th European Joint Conferences on Theory And Practice of Software
  ETAPS 2017

   Uppsala, Sweden, 22-29 April 2017

   http://www.etaps.org/2017

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.


-- MAIN CONFERENCES (24-28 April) --

   * ESOP: European Symposium on Programming
   (PC chair Hongseok Yang, University of Oxford, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Marieke Huisman, Universiteit Twente, The
 Netherlands, and Julia Rubin, University of British Columbia,
 Canada)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs Javier Esparza, Technische Universität München,
 Germany, Andrzej Murawski, University of Warwick, UK)
   * POST: Principles of Security and Trust
   (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, 
Mark D. Ryan, University of Birmingham, UK)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Axel Legay, INRIA Rennes, France, 
and Tiziana Margaria, LERO, Ireland)
 
TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Michael Ernst (University of Washington, USA)
 Kim G. Larsen (Aalborg University, DK)

   * FoSSaCS invited speaker:
 Joel Ouaknine (University of Oxford, UK)

   * TACAS invited speaker:
 Dino Distefano (Facebook and Queen Mary University of London, UK)


-- UNIFYING PUBLIC LECTURE

Serge Abiteboul (DI, INRIA Paris & ENS Cachan, France)


-- INVITED TUTORIALS 

Véronique Cortier (LORIA, CRNS, France)

Kenneth McMillan (Microsoft Research Redmond, USA)


-- CONTRIBUTED PAPERS, PROGRAMME --

See the accepted paper lists and conference programme 
at the conference website.


-- SATELLITE EVENTS (22-23 April, 29 April) --

16 satellite workshops and other events will take place before or
after ETAPS 2017.  

  DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April)

  FESCA, SNR (22 April)
  HotSpot, QAPL, SannellaFest (23 April)

  BX, CREST, LiVe, MARS, PLACES, VPT (29 April)


-- REGISTRATION --

Early registration is until Sunday, 12 March 2017 (23:59 GMT+1).

http://www.etaps.org/2017/registration


-- ACCOMMODATION --

The organizers have negotiated special rates from several hotels in
Uppsala.

To benefit from those, follow the instructions on the conference
website. The offers expire on different dates.


-- HOST CITY --

Uppsala city holds a rich history, having for long periods been the
political, religious and academic centre of Sweden.  Uppsala
University is over 500 years old and ranked among the top 100 in the
World and has hosted many great scientists over the years, for
instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The
proximity to the capital of Sweden, Stockholm, provides additional
benefits as a potential site for arranging both pre- and post congress
tours, as well as for excursions or tourism.


-- HOST INSTITUTION --

ETAPS 2017 is hosted by the Department of Information Technology,
Uppsala University.


-- ORGANIZERS

Parosh Abdulla (General chair), Mohamed Faouzi Atig, 
Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, 
Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2017 final call for papers

[Tarmo Uustalu]

**

JOINT CALL FOR PAPERS

20th European Joint Conferences on Theory And Practice of Software
 ETAPS 2017

   Uppsala, Sweden, 22-29 April 2017

   http://www.etaps.org/2017

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.


-- MAIN CONFERENCES (24-28 April) --

   * ESOP: European Symposium on Programming
   (PC chair Hongseok Yang, University of Oxford, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands,
and Julia Rubin, University of British Columbia, Canada)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs Javier Esparza, Technische Universität München, Germany,
Andrzej Murawski, University of Warwick, UK)
   * POST: Principles of Security and Trust
   (PC chairs Matteo Maffei, Universität des Saarlandes, Germany,
Mark D. Ryan, University of Birmingham, UK)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Axel Legay, INRIA Rennes, France,
and Tiziana Margaria, LERO, Ireland)

TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Michael Ernst (University of Washington, USA)
 Kim G. Larsen (Aalborg University, DK)

   * FoSSaCS invited speaker:
 Joel Ouaknine (University of Oxford, UK)
   * TACAS invited speaker:
 Dino Distefano (Facebook and Queen Mary University of London, UK)


-- IMPORTANT DATES --

   * Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016
   * Papers due: 21 October 2016
   * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016
   * Notification: 22 December 2016
   * Camera-ready versions due: 20 January 2017


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers.

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden. The proceedings will be published in the Advanced Research
in Computing and Software Science (ARCoSS) subline of Springer's
Lecture Notes in Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

   http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will use a light-weight double-blind review process (see
http://www.etaps.org/2017/fase).


- Research papers

FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).

The rationale of a separate page limit for the bibliography is to
remove the possibility to win space for the body of a
paper by cutting the bibliography, a practise that has a negative
effect on our competitiveness as a community.


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will 

[Haskell] ETAPS 2017 2nd joint call for papers

[Tarmo Uustalu]

**

JOINT CALL FOR PAPERS

20th European Joint Conferences on Theory And Practice of Software
 ETAPS 2017

   Uppsala, Sweden, 22-29 April 2017

   http://www.etaps.org/2017

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.


-- MAIN CONFERENCES (24-28 April) --

   * ESOP: European Symposium on Programming
   (PC chair Hongseok Yang, University of Oxford, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Marieke Huisman, Universiteit Twente, The
 Netherlands, and Julia Rubin, University of British Columbia,
 Canada)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs Javier Esparza, Technische Universität München,
 Germany, Andrzej Murawski, University of Warwick, UK)
   * POST: Principles of Security and Trust
   (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, 
Mark D. Ryan, University of Birmingham, UK)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Axel Legay, INRIA Rennes, France, 
and Tiziana Margaria, LERO, Ireland)
 
TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Michael Ernst (University of Washington, USA)
 Kim G. Larsen (Aalborg University, DK)

   * FoSSaCS invited speaker:
 Joel Ouaknine (University of Oxford, UK)
   * TACAS invited speaker:
 Dino Distefano (Facebook and Queen Mary University of London, UK)


-- IMPORTANT DATES --

   * Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016
   * Papers due: 21 October 2016
   * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016
   * Notification: 22 December 2016
   * Camera-ready versions due: 20 January 2017


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. 

ESOP and FoSSaCS accept only research papers. 

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden. The proceedings will be published in the Advanced Research
in Computing and Software Science (ARCoSS) subline of Springer's
Lecture Notes in Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

   http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will use a light-weight double-blind review process (see
http://www.etaps.org/2017/fase).


- Research papers

FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).

The rationale of a separate page limit for the bibliography is to
remove the possibility to win space for the body of a
paper by cutting the bibliography, a practise that has a negative
effect on our competitiveness as a community.


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it 

[Haskell] ETAPS 2017 1st call for papers

[Tarmo Uustalu]

**

JOINT CALL FOR PAPERS

20th European Joint Conferences on Theory And Practice of Software
 ETAPS 2017

   Uppsala, Sweden, 22-29 April 2017

   http://www.etaps.org/2017

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.


-- MAIN CONFERENCES (24-28 April) --

   * ESOP: European Symposium on Programming
   (PC chair Hongseok Yang, University of Oxford, UK)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Marieke Huisman, Universiteit Twente, The
 Netherlands, and Julia Rubin, University of British Columbia,
 Canada)
   * FOSSACS: Foundations of Software Science
   and Computation Structures
   (PC chairs Javier Esparza, Technische Universität München,
 Germany, Andrzej Murawski, University of Warwick, UK)
   * POST: Principles of Security and Trust
   (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, 
Mark D. Ryan, University of Birmingham, UK)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Axel Legay, INRIA Rennes, France, 
and Tiziana Margaria, LERO, Ireland)
 
TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Michael Ernst (University of Washington, USA)
 Kim G. Larsen (Aalborg University, DK)

   * FoSSaCS invited speaker:
 Joel Ouaknine (University of Oxford, UK)
   * TACAS invited speaker:
 Dino Distefano (Facebook and Queen Mary University of London, UK)


-- IMPORTANT DATES --

   * Abstracts due (ESOP, FASE, FoSSACS, TACAS): 14 October 2016
   * Papers due: 21 October 2016
   * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016
   * Notification: 22 December 2016
   * Camera-ready versions due: 20 January 2017


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. 

ESOP and FoSSaCS accept only research papers. 

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden. The proceedings will be published in the Advanced Research
in Computing and Software Science (ARCoSS) subline of Springer's
Lecture Notes in Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

   http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will use a light-weight double-blind review process (see
http://www.etaps.org/2017/fase).


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).

The rationale of a separate page limit for the bibliography is to
remove the possibility to win space for the body of a
paper by cutting the bibliography, a practise that has a negative
effect on our competitiveness as a community.


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it 

[Haskell] ETAPS 2016 call for participation

[Tarmo Uustalu]

**

 CALL FOR PARTICIPATION

   ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

   Eindhoven, The Netherlands, 2-8 April 2016

   http://www.etaps.org/2016

**

-- 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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is already
the nineteenth event in the series.


-- MAIN CONFERENCES (4-7 April) --

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

  Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK)
  Rupak Majumdar (MPI Kaiserslautern, Germany)

ESOP invited speaker:

  Cristina Lopes (University of California at Irvine, USA)

FASE invited speaker:

  Oscar Nierrstrasz (Universität Bern, Switzerland)

POST invited speaker:

  Vitaly Shmatikov (Cornell Tech, USA)


-- TUTORIALS 

Peter Ryan (University of Luxembourg, Luxembourg)

Grigore Rosu (University of Illinois at Urbana-Champaign, USA)


-- CONTRIBUTED PAPERS --

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

http://www.etaps.org/2016/programme


-- SATELLITE EVENTS (2-3 and 8 April) --

22 satellite workshops will take place before or after ETAPS 2016.

  CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April)

  RAC, VerifyThis, VPT, VSSE (2 April)
  FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April)

  BX, CREST, MSFP, PLACES, TermGraph (8 April)


-- REGISTRATION --

Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1).

Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).

http://www.etaps.org/2016/registration


-- ACCOMMODATION --

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


-- HOST CITY --

Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.


-- ORGANIZERS --

General chair: Jan Friso Groote

Workshop chairs: Erik de Vink and Julien Schmaltz

Publicity chair: Anton Wijs


--- HOST INSTITUTION --

ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
j.f.gro...@tue.nl, a.j.w...@tue.nl.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2017 call for satellite events

[Tarmo Uustalu]

20th European Joint Conferences on Theory and Practice of Software
  ETAPS 2017
   Uppsala, Sweden, 23-29 April 2017
  http://www.etaps.org/2017/

  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. It is an
annual event held in Europe each spring since 1998. Its twentieth
edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala,
Sweden.

ETAPS 2017 main conferences, scheduled for 25-28 April, 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 2017 organizing committee invites proposals for satellite
events (workshops) 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 2017 satellite events will be held immediately before and after
the main conferences, on 23-24 April and 29 April.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2017 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 2017 organizing committee,
* prepare and organize the publication of a formal (post)proceedings
  (if desired).

The ETAPS 2017 organizing committee will:

* promote the event on the website and in the publicity material of
  ETAPS 2017,
* 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 2017 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 Konstantinos
Sagonas and Mohamed Faouzi Atig using the web form at 
http://www.etaps.org/2017/call-for-workshops .

The following information is requested:

* 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: 23 April, 24 April, 23-24 April or 29 April
* the expected number of participants
* a brief description (120 words approximately) of the event topic for
  the website and publicity material of ETAPS 2017
* 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 2017 organizing committee will need the final files by
  the end of Feb. 2017)
* 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 2017 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2017. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2016: http://www.etaps.org/2016/workshops
ETAPS 2015: 

[Haskell] ETAPS 2016 satellite workshops joint call for papers

[Tarmo Uustalu]

 Joint Call for Papers
 
ETAPS 2016 Satellite Workshops 

Eindhoven, The Netherlands, 2-3 and 8 April 2016

  http://www.etaps.org/2016/workshops


ETAPS, the European Joint Conferences on Theory and Practice of
Software, is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. The
nineteenth edition, ETAPS 2016, will take place in Eindhoven, The
Netherlands, 2-8 April 2016, and covers besides the main conferences
ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite
workshops and other events in the fields of Software Engineering,
Formal Methods, Logics of Programs and the Theory of Computation. 

This is the joint call for papers for ETAPS 2016 for 21 satellite
workshops with open calls.

ETAPS satellite workshops will take place in the weekend of
Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on
Friday, 8 April, after them. For more information on ETAPS 2016, see
http://www.etaps.org/2016/.



Bx 2016: 5th International Workshop on Bidirectional Transformations,
8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita
Stevens. Submission deadlines: abstracts 13 January / papers 20
January. See http://bx-community.wikidot.com/bx2016:home.

CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems,
2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission
deadlines: papers 15 January; presentation extended abstracts 8
February. See http://www.cassting-project.eu/workshop2016/.

CMCS 2016: 13th International Workshop on Coalgebraic Methods in
Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission
deadlines: abstracts 4 January / papers 13 January; short
contributions 22 February. See http://www.coalg.org/cmcs16/.

CREST 2016: 1st Workshop on Causal Reasoning for Embedded and
safety-critical Systems Technologies, 8 April, organized by Gregor
Gößler, Oleg Sokolsky. Submission deadlines: abstracts 10 January /
papers 17 January. See http://crest2016.inria.fr/.

DICE 2016: 7th International Workshop on Developments in Implicit
Computational complExity, 2-3 April, organized by Damiano
Mazza. Submission deadline: extended abstracts 31 January. See
https://lipn.univ-paris13.fr/DICE2016/.

FESCA 2016: 13th International Workshop on Formal Engineering
approaches to Software Components and Architectures, 3 April,
organized by Jan Kofroň, Jana Tumova, Barbora Buhnova. Submission
deadlines: abstracts 4 January / papers 14 January. See
http://d3s.mff.cuni.cz/conferences/fesca/.

FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, 3 April, organized by Julia
Rubin, Thomas Thüm. Submission deadlines: abstracts 18 January /
papers 25 January. See
https://www.tu-braunschweig.de/isf/events/fmsple16.

GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April,
organized by Paul Levy. Submission deadline: 1-page abstracts 25
January. See http://www.gamesemantics.org/.

GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton
Wijs, Aleks Kissinger, and Alexander Heußner. Submission deadline:
papers, informal presentation and tool demos abstracts 15 January. See
http://gam2016.swt-bamberg.de/.

HCVS 2016: 3rd Workshop on Horn Clauses for Verification and
Synthesis, 3 April, organized by John Gallagher and Philipp
Rümmer. Submission deadlines: abstracts 25 January / papers,
presentation extended abstracts 1 February. See
http://hcvs2016.it.uu.se/.

HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and
Trust, 3 April, organized Veronique Cortier. Submission deadline:
papers 8 January. See
http://www.loria.fr/~cortier/HotSpot2016/.

MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by
Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin.

MSFP 2016: 6th Workshop on Mathematically Structured Functional
Programming, 8 April, organized by Robert Atkey and Neelakantan
Krishnaswami. Submission deadlines: abstracts 10 January / papers 17
January. See http://msfp2016.bentnib.org/.

PLACES 2016: 9th Workshop on Programming Language Approaches for
Concurrency and Communication-cEntric Software, 8 April, organized by
Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8
January / extended abstracts 15 January. See
http://places16.by.di.fc.ul.pt.

QAPL 2016: 14th International Workshop on Quantitative Aspects of
Programming Languages and Systems, 2-3 April, organized by Mirco
Tribastone and Herbert Wiklicky. Submission deadline: papers 18
January. See http://qapl16.doc.ic.ac.uk/.

RAC 2016: First international workshop on Resource Aware Computing, 2
April, organized by Kerstin Eder and Marko van Eekelen. Submission
deadline: papers 11 January. See
http://resourceanalysis.cs.ru.nl/rac2016/.

SynCop 2016: 3rd International Workshop on Synthesis of Complex
Parameters, 3 April, organized by Étienne André and 

[Haskell] ETAPS 2016 final call for papers

[Tarmo Uustalu]

**

  CALL FOR PAPERS: ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

   Eindhoven, The Netherlands, 2-8 April 2016

   http://www.etaps.org/2016

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
ninteenth event in the series.


-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
   (PC chair Peter Thiemann, Universität Freiburg, Germany)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
   * FOSSACS: Foundations of Software Science
   and Computation Structures
   (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, 
The Netherlands,  and Christof Löding, RWTH Aachen, Germany)
   * POST: Principles of Security and Trust
   (PC chairs Frank Piessens, Katholieke Universiteit Leuven, 
Belgium,  and Luca Viganò, King's College London, UK)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-François Raskin (Université Libre de Bruxelles,
 Belgium) 
TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
 Rupak Majumdar (MPI Kaiserslautern, Germany)

   * ESOP invited speaker:
 Cristina Lopes (University of California at Irvine, USA)
   * FASE invited speaker:
 Oscar Nierstrasz (Universität Bern, Switzerland)
   * POST invited speaker: 
 Vitaly Shmatikov (University of Texas at Austin, USA)


-- IMPORTANT DATES --

   * 9 October 2015: Submission deadline for abstracts
   * 16 October 2015: Submission deadline for full papers
   * 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
   * 18 December 2015: Notification of acceptance
   * 8 January 2016: Camera-ready versions due


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. 

ESOP and FoSSaCS accept only research papers. 

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

   http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will try a light-weight double-blind review process (see
http://www.etaps.org/2016/fase).


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
   

[Haskell] ETAPS 2016 2nd call for papers

[Tarmo Uustalu]

**

  CALL FOR PAPERS: ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

   Eindhoven, The Netherlands, 2-8 April 2016

   http://www.etaps.org/2016

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
ninteenth event in the series.


-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
   (PC chair Peter Thiemann, Universität Freiburg, Germany)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
   * FOSSACS: Foundations of Software Science
   and Computation Structures
   (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, 
The Netherlands,  and Christof Löding, RWTH Aachen, Germany)
   * POST: Principles of Security and Trust
   (PC chairs Frank Piessens, Katholieke Universiteit Leuven, 
Belgium,  and Luca Viganò, King's College London, UK)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-François Raskin (Université Libre de Bruxelles,
 Belgium) 
TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
 Rupak Majumdar (MPI Kaiserslautern, Germany)

   * ESOP invited speaker:
 Cristina Lopes (University of California at Irvine, USA)
   * FASE invited speaker:
 Oscar Nierstrasz (Universität Bern, Switzerland)
   * POST invited speaker: 
 Vitaly Shmatikov (University of Texas at Austin, USA)


-- IMPORTANT DATES --

   * 9 October 2015: Submission deadline for abstracts
   * 16 October 2015: Submission deadline for full papers
   * 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
   * 18 December 2015: Notification of acceptance
   * 8 January 2016: Camera-ready versions due


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. 

ESOP and FoSSaCS accept only research papers. 

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

   http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will try a light-weight double-blind review process (see
http://www.etaps.org/2016/fase).


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
   

[Haskell] ETAPS 2016 call for papers

[Tarmo Uustalu]

**

  CALL FOR PAPERS: ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

   Eindhoven, The Netherlands, 2-8 April 2016

   http://www.etaps.org/2016

**

-- ABOUT ETAPS --

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 five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
nineteenth event in the series.


-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
   (PC chair Peter Thiemann, Universität Freiburg, Germany)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
   * FOSSACS: Foundations of Software Science
   and Computation Structures
   (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, 
The Netherlands,  and Christof Löding, RWTH Aachen, Germany)
   * POST: Principles of Security and Trust
   (PC chairs Frank Piessens, Katholieke Universiteit Leuven, 
Belgium,  and Luca Viganò, King's College London, UK)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-François Raskin (Université Libre de Bruxelles,
 Belgium) 

TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
 Rupak Majumdar (MPI Kaiserslautern, Germany)

   * ESOP invited speaker:
 Cristina Lopes (University of California at Irvine, USA)
   * FASE invited speaker:
 Oscar Nierstrasz (Universität Bern, Switzerland)
   * POST invited speaker: 
 Vitaly Shmatikov (University of Texas at Austin, USA)


-- IMPORTANT DATES --

   * 9 October 2015: Submission deadline for abstracts
   * 16 October 2015: Submission deadline for full papers
   * 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
   * 18 December 2015: Notification of acceptance
   * 8 January 2016: Camera-ready versions due


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. 

ESOP and FoSSaCS accept only research papers. 

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

   http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will try a light-weight double-blind review process (see
http://www.etaps.org/2016/fase).


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
 

[Haskell] TYPES 2015 final call for contributions

[Tarmo Uustalu]

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

foundations of type theory and constructive mathematics;
applications of type theory;
dependently typed programming;
industrial uses of type theory technology;
meta-theoretic studies of type systems;
proof assistants and proof technology;
automation in computer-assisted reasoning;
links between type theory and functional programming;
formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory.


Invited speakers

Gilles Barthe (IMDEA Software)
Andrej Bauer (University of Ljubljana)
Peter Selinger (Dalhousie University)


Tutorials

Joachim Kock (Universitat Autònoma de Barcelona)
Peter LeFanu Lumsdaine (Stockholm University) 


Contributed talks

We solicit contributed talks. Selection of those will be based on
extended abstracts/short papers of 2 pp formatted with
easychair.cls. Submission is via EasyChair by 13 March 2015. The
authors will be notified of acceptance/rejection by 3 April 2015.

Camera-ready versions of the accepted contributions, due by 24 April
2015, will be published in an informal book of abstracts for
distribution at the workshop.


Post-proceedings

Similarly to TYPES 2011, 2013, 2014, we will publish a
post-proceedings in the Leibniz International Proceedings in
Informatics (LIPIcs) series. Submission to that volume will be open
for everyone. Tentative submission deadline: mid-September 2015.


Programme committee

Andrea Asperti (Università di Bologna)
Robert Atkey (University of Edinburgh)
Ulrich Berger (Swansea University)
Jean-Philippe Bernardy (Chalmers University of Technology)
Edwin Brady (University of St Andrews)
Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée)
Herman Geuvers (Radboud Universiteit Nijmegen)
Sam Lindley (University of Edinburgh)
Assia Mahboubi (INRIA Saclay - Île-de-France)
Ralph Matthes (IRIT, CNRS and Université Paul Sabatier)
Aleksandar Nanevski (IMDEA Software)
Christine Paulin-Mohring (LRI, Université Paris-Sud)
Simona Ronchi Della Rocca (Università di Torino)
Ulrich Schöpp (Ludwig-Maximilians-Universität München)
Bas Spitters (Carnegie Mellon University)
Pawel Urzyczyn (University of Warsaw)
Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair)


Organizers

Logic and semantics group, Institute of Cybernetics, Tallinn


Sponsors

ERDF via EXCS, the Estonian Centre of Excellence in Computer Science

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ETAPS 2016 call for satellite events

[Tarmo Uustalu]

  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 

[Haskell] TYPES 2015 2nd call for contributions

[Tarmo Uustalu]

Reminder: 

Abstracts (2 pp easychair.cls) due by 13 March 2015

News: 

Tutorials by Joachim Kock and Peter LeFanu Lumsdaine.
Post-proceedings volume in LIPIcs confirmed.


  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:

foundations of type theory and constructive mathematics;
applications of type theory;
dependently typed programming;
industrial uses of type theory technology;
meta-theoretic studies of type systems;
proof assistants and proof technology;
automation in computer-assisted reasoning;
links between type theory and functional programming;
formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory.


Invited speakers

Gilles Barthe (IMDEA Software)
Andrej Bauer (University of Ljubljana)
Peter Selinger (Dalhousie University)


Tutorials

Joachim Kock (Universitat Autònoma de Barcelona)
Peter LeFanu Lumsdaine (Stockholm University) 


Contributed talks

We solicit contributed talks. Selection of those will be based on
extended abstracts/short papers of 2 pp formatted with
easychair.cls. Submission is via EasyChair by 13 March 2015. The
authors will be notified of acceptance/rejection by 3 April 2015.

Camera-ready versions of the accepted contributions, due by 24 April
2015, will be published in an informal book of abstracts for
distribution at the workshop.


Post-proceedings

Similarly to TYPES 2011, 2013, 2014, we will publish a
post-proceedings in the Leibniz International Proceedings in
Informatics (LIPIcs) series. Submission to that volume will be open
for everyone. Tentative submission deadline: mid-September 2015.


Programme committee

Andrea Asperti (Università di Bologna)
Robert Atkey (University of Edinburgh)
Ulrich Berger (Swansea University)
Jean-Philippe Bernardy (Chalmers University of Technology)
Edwin Brady (University of St Andrews)
Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée)
Herman Geuvers (Radboud Universiteit Nijmegen)
Sam Lindley (University of Edinburgh)
Assia Mahboubi (INRIA Saclay - Île-de-France)
Ralph Matthes (IRIT, CNRS and Université Paul Sabatier)
Aleks Nanevski (IMDEA Software)
Christine Paulin-Mohring (LRI, Université Paris-Sud)
Simona Ronchi Della Rocca (Università di Torino)
Ulrich Schöpp (Ludwig-Maximilians-Universität München)
Bas Spitters (Carnegie Mellon University)
Pawel Urzyczyn (University of Warsaw)
Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair)


Organizers

Logic and semantics group, Institute of Cybernetics, Tallinn


Sponsors

ERDF via EXCS, the Estonian Centre of Excellence in Computer Science

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ETAPS 2015 call for participation

[Tarmo Uustalu]

**

 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
etaps2...@qmul.ac.uk
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] TYPES 2015 call for contributions

[Tarmo Uustalu]

  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:

foundations of type theory and constructive mathematics;
applications of type theory;
dependently typed programming;
industrial uses of type theory technology;
meta-theoretic studies of type systems;
proof assistants and proof technology;
automation in computer-assisted reasoning;
links between type theory and functional programming;
formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory.


Invited speakers

Gilles Barthe (IMDEA Software)
Andrej Bauer (University of Ljubljana)
Peter Selinger (Dalhousie University)


Contributed talks

We solicit contributed talks. Selection of those will be based on
extended abstracts/short papers of 2 pp formatted with
easychair.cls. Submission is via EasyChair by 13 March 2015. The
authors will be notified of acceptance/rejection by 3 April 2015.

Camera-ready versions of the accepted contributions, due by 24 April
2015, will be published in an informal book of abstracts for
distribution at the workshop.


Post-proceedings

Similarly to TYPES 2011, 2013, 2014, we intend to publish a
post-proceedings volume in the Leibniz International Proceedings in
Informatics (LIPiCS) series (subject to successful negotiation with
Dagstuhl Publishing). Submission to that volume would be open for
everyone.

Tentative submission deadline: mid-September 2015.


Programme committee

Andrea Asperti (Università di Bologna)
Robert Atkey (University of Edinburgh)
Ulrich Berger (Swansea University)
Jean-Philippe Bernardy (Chalmers University of Technology)
Edwin Brady (University of St Andrews)
Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée)
Herman Geuvers (Radboud Universiteit Nijmegen)
Sam Lindley (University of Edinburgh)
Assia Mahboubi (INRIA Saclay - Île-de-France)
Ralph Matthes (IRIT, Université Paul Sabatier)
Aleks Nanevski (IMDEA Software)
Christine Paulin-Mohring (LRI, Université Paris-Sud)
Simona Ronchi Della Rocca (Università di Torino)
Ulrich Schöpp (Ludwig-Maximilians-Universität München)
Bas Spitters (Carnegie Mellon University)
Pawel Urzyczyn (University of Warsaw)
Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair)


Organizers

Logic and semantics group, Institute of Cybernetics, Tallinn


Sponsors

ERDF via EXCS, the Estonian Centre of Excellence in Computer Science

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ETAPS 2015 final call for papers

[Tarmo Uustalu]

**

   CALL FOR PAPERS: ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

  London, UK,  11-18 April 2015

http://www.etaps.org/2015

**

-- ABOUT ETAPS --

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 the
eighteenth event in the series.


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

* CC: Compiler Construction
(PC chair Björn Franke, University of Edinburgh, UK)
* ESOP: European Symposium on Programming
(PC chair Jan Vitek, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
 and Ina Schaefer, Technische Universität Braunschweig, Germany)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chair Andrew Pitts, University of Cambridge, UK)
* POST: Principles of Security and Trust
(PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
 Italy, and Andrew Myers, Cornell University, USA)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Christel Baier, Technische Univ Dresden, Germany,
 and Cesare Tinelli, The University of Iowa, USA)

TACAS '15 will host the 4rd Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

* Unifying speakers:
  Robert Harper (Carnegie Mellon 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 Universitet, Sweden)


-- IMPORTANT DATES --

* 10 October 2014: Submission deadline for abstracts
* 17 October 2014: Submission deadline for full papers
* 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
* 19 December 2014: Notification of acceptance
* 16 January  2015: Camera-ready versions due


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).

Submissions not adhering to the specified format and length may be
rejected immediately.


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).

Both TACAS and FASE solicit also regular tool papers (at most 15
pages).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.


-- SATELLITE EVENTS 

[Haskell] ETAPS 2015 2nd call for papers

[Tarmo Uustalu]

**

  CALL FOR PAPERS: ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

 London, UK,  11-18 April 2015

   http://www.etaps.org/2015

**

-- ABOUT ETAPS --

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 the
eighteenth event in the series.


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

   * CC: Compiler Construction
   (PC chair Björn Franke, University of Edinburgh, UK)
   * ESOP: European Symposium on Programming
   (PC chair Jan Vitek, Northeastern University, USA)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
and Ina Schaefer, Technische Universität Braunschweig, Germany)
   * FOSSACS: Foundations of Software Science
   and Computation Structures
   (PC chair Andrew Pitts, University of Cambridge, UK)
   * POST: Principles of Security and Trust
   (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
Italy, and Andrew Myers, Cornell University, USA)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Christel Baier, Technische Univ Dresden, Germany,
and Cesare Tinelli, The University of Iowa, USA)

TACAS '15 will host the 4rd Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Robert Harper (Carnegie Mellon 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 Universitet, Sweden)


-- IMPORTANT DATES --

   * 10 October 2014: Submission deadline for abstracts
   * 17 October 2014: Submission deadline for full papers
   * 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
   * 19 December 2014: Notification of acceptance
   * 16 January  2015: Camera-ready versions due


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).

Submissions not adhering to the specified format and length may be
rejected immediately.


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).

Both TACAS and FASE solicit also regular tool papers (at most 15
pages).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
   proceedings, but will be evaluated.)

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.


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

Around 20 

[Haskell] ETAPS 2015 1st call for papers

[Tarmo Uustalu]

**

  CALL FOR PAPERS: ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

 London, UK,  11-18 April 2015

   http://www.etaps.org/2015

**

-- ABOUT ETAPS --

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 the
eighteenth event in the series.


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

   * CC: Compiler Construction
   (PC chair Björn Franke, University of Edinburgh, UK)
   * ESOP: European Symposium on Programming
   (PC chair Jan Vitek, Northeastern University, USA)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
and Ina Schaefer, Technische Universität Braunschweig, Germany)
   * FOSSACS: Foundations of Software Science
   and Computation Structures
   (PC chair Andrew Pitts, University of Cambridge, UK)
   * POST: Principles of Security and Trust
   (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
Italy, and Andrew Myers, Cornell University, USA)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs Christel Baier, Technische Univ Dresden, Germany,
and Cesare Tinelli, The University of Iowa, USA)

TACAS '14 hosts the 4rd Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Robert Harper (Carnegie Mellon 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 Universitet, Sweden)


-- IMPORTANT DATES --

   * 10 October 2014: Submission deadline for abstracts
   * 17 October 2014: Submission deadline for full papers
   * 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
   * 19 December 2014: Notification of acceptance
   * 16 January  2015: Camera-ready versions due


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).

Submissions not adhering to the specified format and length may be
rejected immediately.


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).

Both TACAS and FASE solicit also regular tool papers (at most 15
pages).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
   proceedings, but will be evaluated.

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.


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

Around 20 satellite 

[Haskell] ETAPS 2014 2nd call for participation

[Tarmo Uustalu]

To notice:

- Normal-rate registration is until Monday, 10 March 2014.


**

CALL FOR PARTICIPATION 

  ETAPS 2014

17th European Joint Conferences on Theory And Practice of Software

   Grenoble, France, 5-13 April 2014

   http://www.etaps.org/2014

**

-- 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 2014 is already
the seventeenth event in the series.


-- MAIN CONFERENCES (7-11 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:
  John Launchbury (Galois, US)
  Geoffrey Smith (Florida International University, US)
  

* CC invited speaker:
  Benoit Dupont de Dinechin (Kalray, France)
* ESOP invited speaker:
  Maurice Herlihy (Brown University, US)
* FASE invited speaker:
  Christel Baier (Technical University of Dresden, Germany)
* FoSSaCS invited speaker:
  Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* POST invited speaker: 
  David Mazières (Stanford University, US)
* TACAS invited speaker: 
  Orna Kupferman (Hebrew University Jerusalem, Israel)


-- TUTORIALS

* Andy Gordon (Microsoft Research, Cambridge, UK)
* Bernd Finkbeiner (Univ des Saarlandes, Germany)


-- CONTRIBUTED PAPERS

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


-- SATELLITE EVENTS (5-6 and 12-13 April) --

23 satellite workshops will take place before or after ETAPS 2014.

CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event,
SR, SynCop, VSSE, WRLA will be held 5-6 April 2014.

AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES,
QAPL have been scheduled for 12-13 April 2014.


-- REGISTRATION

Normal-rate registration is until Monday, 10 March 2014.

After that date, late rates apply.


-- ACCOMMODATION

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


-- HOST CITY --

Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.


-- ORGANIZERS

* General chair: Saddek Bensalem
* Conferences chair: Alain Girault
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Website chair: Marius Bozga

Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
etaps2014.organizat...@imag.fr.
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ETAPS 2014 call for participation

[Tarmo Uustalu]

To notice:

- The programme of the main conferences of ETAPS 2014 is on the web.

- Early registration is until Friday, 14 February 2014.


**

CALL FOR PARTICIPATION 

  ETAPS 2014

17th European Joint Conferences on Theory And Practice of Software

   Grenoble, France, 5-13 April 2014

   http://www.etaps.org/2014

**

-- 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 2014 is already
the seventeenth event in the series.


-- MAIN CONFERENCES (7-11 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:
  John Launchbury (Galois, US)
  Geoffrey Smith (Florida International University, US)
  

* CC invited speaker:
  Benoit Dupont de Dinechin (Kalray, France)
* ESOP invited speaker:
  Maurice Herlihy (Brown University, US)
* FASE invited speaker:
  Christel Baier (Technical University of Dresden, Germany)
* FoSSaCS invited speaker:
  Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* POST invited speaker: 
  David Mazières (Stanford University, US)
* TACAS invited speaker: 
  Orna Kupferman (Hebrew University Jerusalem, Israel)


-- TUTORIALS

* Andy Gordon (Microsoft Research, Cambridge, UK)
* Bernd Finkbeiner (Univ des Saarlandes, Germany)


-- CONTRIBUTED PAPERS

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


-- SATELLITE EVENTS (5-6 and 12-13 April) --

23 satellite workshops will take place before or after ETAPS 2014.

CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event,
SR, SynCop, VSSE, WRLA will be held 5-6 April 2014.

AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES,
QAPL have been scheduled for 12-13 April 2014.


-- REGISTRATION

Early registration is until Friday, 14 February 2014.

Normal-rate registration is until Monday, 10 March 2014.


-- ACCOMMODATION

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


-- HOST CITY --

Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.


-- ORGANIZERS

* General chair: Saddek Bensalem
* Conferences chair: Alain Girault
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Website chair: Marius Bozga

Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
etaps2014.organizat...@imag.fr.
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ETAPS 2014 2nd call for papers

[Tarmo Uustalu]

[We apologise for multiple copies.]

A month to go!


**

 FIRST CALL FOR PAPERS: ETAPS 2014

17th European Joint Conferences on Theory And Practice of Software

 Grenoble,  France

  5-13 April 2014

 http://www.etaps.org/2014

**

-- ABOUT ETAPS --

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 2014 is the
seventeenth event in the series.


-- MAIN CONFERENCES (7-11 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

TACAS '14 hosts the 3rd Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

* Robert Harper (Carnegie Mellon University, US)
* John Launchbury (Galois, US)
* Benoit Dupont de Dinechin (Kalray, France)
* Maurice Herlihy (Brown University, US)
* Christel Baier (Technical University of Dresden, Germany)
* Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* David Mazieres (Stanford University, US)
* Orna Kupferman (Hebrew University Jerusalem, Israel)


-- IMPORTANT DATES --

*  4 October  2013: Submission deadline for abstracts (strict)
* 11 October  2013: Submission deadline for full papers (strict)
* 20 December 2013: Notification of acceptance
* 17 January  2014: Camera-ready versions due

ESOP and FoSSaCS will use a rebuttal (author response) phase.


-- GENERAL SUBMISSION INFORMATION --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. (TACAS has
more categories, see below.)

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the
presentation. Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

   http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the Easychair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.


- Research papers

Different ETAPS 2014 conferences have different page limits.
Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages,
whereas CC, ESOP and POST allow at most 20 pages. Additional material
intended for the referees but not for publication in the final version
- for example, details of proofs - may be placed in a clearly marked
appendix that is not included in the page limit. ETAPS referees are at
liberty to ignore appendices and papers must be understandable without
them.

TACAS solicits not only regular research papers, but also case study
papers.


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
   proceedings, but will be evaluated.)

ESOP and FOSSACS do not accept tool demonstration papers.

In addition to tool demonstration papers (max 6 pages in their case),
TACAS solicits also regular tool papers (max 15 pages) adhering to
specific instructions about content and organization.


-- SATELLITE EVENTS (5-6 April, 12-13 April) --

Around 20 satellite workshops will take place before and after the
main conferences. In addition, on 6 April, some tutorials on topics of
wide interest will be offered.


-- HOST CITY --

Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic 

[Haskell] ICFP 2013 Call for Participation

[Tarmo Uustalu]

Simple and Compositional Reification of Monadic Embedded Languages
[Functional Pearl]
Josef Svenningsson and Bo Joel Svensson
Structural Recursion for Querying Ordered Graphs
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato and Keisuke 
Nakano


10-1020 Break

1020-11 Session 11: Modular Meta-Theory
Modular Monadic Meta-Theory
Benjamin Delaware, Steven Keuchel, Tom Schrijvers and Bruno Oliveira
Modular and Automated Type-Soundness Verification for Language Extensions
Florian Lorenzen and Sebastian Erdweg

11-1130 Break

1130-1230 Session 12: Experience Reports (Chair: John Launchbury)
A Nanopass Framework for Commercial Compiler Development [Experience 
Report]

Andrew Keep and R Kent Dybvig
Applying Random Testing to a Base Type Environment [Experience Report]
Vincent St-Amour and Neil Toronto
Functional Programming of mHealth Applications [Experience Report]
Christian Petersen, Matthias Gorges, Dustin Dunsmuir, Mark Ansermino and
Guy Dumont

1230-14 Lunch

14-15 Session 13: Program Logics
Hoare-Style Reasoning with (Algebraic) Continuations
Germán Andrés Delbianco and Aleksandar Nanevski
Unifying Refinement and Hoare-Style Reasoning in a Logic for
Higher-Order Concurrency
Aaron Turon, Derek Dreyer and Lars Birkedal
The Bedrock Structured Programming System
Adam Chlipala

15-1530 Break

1530-1630 Session 14: Language Design
A Practical Theory of Language-Integrated Query
James Cheney, Sam Lindley and Philip Wadler
Calculating Threesomes, with Blame
Ronald Garcia
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Joshua Dunfield and Neelakantan R. Krishnaswami

1630-17 Break

17-1740 Session 15: Analysis and Optimization
Optimizing Abstract Abstract Machines
J. Ian Johnson, Nicholas Labich, Matthew Might and David Van Horn
Testing Noninterference, Quickly
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky,
Dimitrios Vytiniotis, Arthur Azevedo de Amorim and Leonidas Lampropoulos

1740-18 ICFP 2014 Advert  Closing



GENERAL CHAIR
  Greg Morrisett, Harvard University

PROGRAM CHAIR
  Tarmo Uustalu, Institute of Cybernetics, Tallinn


PROGRAM COMMITTEE
  Thorsten Altenkirch, University of Nottingham
  Olaf Chitil, University of Kent
  Silvia Ghilezan, University of Novi Sad
  Michael Hanus, Christian-Albrechts-Universität zu Kiel
  Fritz Henglein, University of Copenhagen

  Mauro Jaskelioff, Universidad Nacional de Rosario
  Alan Jeffrey, Alcatel-Lucent Bell Labs
  Shin-ya Katsumata, Kyoto University
  Shriram Krishnamurthi Brown University
  John Launchbury, Galois

  Ryan Newton, Indiana University
  Sungwoo Park, Pohang University of Science and Technology
  Sam Staton, University of Cambridge
  Nikhil Swamy, Microsoft Research, Redmond, WA
  Dimitrios Vytiniotis, Microsoft Research, Cambridge___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] TYPES small workshop on Effects and Type Theory

[Tarmo Uustalu]

In the frame of the extended EU FP6-funded TYPES project, we are
organizing an ad hoc small workshop on integration of effects into
type-theoretic programming/reasoning.

This is an informal event and attendance is not confined to people
involved in TYPES. On the contrary, attendance and contributions from
outside the TYPES consortium are most welcome. The invited speakers
are Paul Levy and Aleksandar Nanevski.


---

  Call for contibutions and participation 

Workshop on Effects and Type Theory,  EffTT
   Tallinn, Estonia, 13-14 December 2007

   http://cs.ioc.ee/efftt/

  a small workshop of the TYPES project


Background

The syntax and semantics of impurities of computation known as effects
have been an important challenge for functional programming. Today, we
tend to employ categorically inspired tools such as monads, Lavwere
theories and arrows, but also more pragmatic approaches such as
uniqueness typing.

Effects are an issue also for type-theoretic programming and
reasoning, where a number of aspects make them specifically
interesting. First, we do not yet know what the best dependently typed
generalizations of our simply typed tools are, although we hope they
would reinforce the dual utility of type-theoretic calculi as
programming languages and logics. Second, this duality specifically
forces that pure computations must terminate, so even nontermination
is an impurity and potentially an effect. Third, is it not likely that
the type-theoretic glasses can help us see more clearly the
particularities of external-world effects such as true destructively
updatable state and true interactive input-output?

Thus, this workshop is exactly about effects and type theory. Topics
of interest include

* all kinds of dependent generalizations of monads and more
* type-theoretic language design for effects
* type-theoretic effectful programming methodology
* time, nontermination and type theory
* state and type theory, 
   including combinations of Hoare-like logics and type theory
* interactive input-output and type theory
* theories of external-world effects
* type theory and concurrency
* type-theoretic descriptions of physical systems
* and any further topics about effects and type theory

Invited speakers

Our invited speakers are Paul Levy (Birmingham) and Aleksandar
Nanevski (Microsoft Research, Cambridge).


Contributing a talk

The rest of the programme will be based on contributed talks and
discussions. If you would like to contribute a talk, send a title and
abstract to efftt(at)cs.ioc.ee by 21 November 2007.


Organizers

The workshop organizers are Thorsten Altenkirch, Marino Miculan and
Tarmo Uustalu.


Venue

The workshop will take place in the building of the Estonian Academy
of Sciences on Tallinn's Dome Hill.

The workshop dates are during the Tallinn Christmas market and the
Christmas Jazz festival of Jazzkaar.


Participating

To register, please drop an email to efftt(at)cs.ioc.ee as soon as
possible, but not later than 21 November 2007.

Attendance is not confined to people involved in the TYPES project;
the workshop is open to anyone interested.





___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] MPC/AMAST 2006 2nd Call for Participation

[Tarmo Uustalu]

NEWS: 

- MSFP accepted paper list is now available.

- Remember that early registration is until 15 May 2006.
  Accommodation in the conference hotels is only guaranteed until this 
  date.



CALL FOR PARTICIPATION

   8th International Conference on 
 Mathematics of Program Construction
   MPC '06

  11th International Conference on 
Algebraic Methodology and Software Technology
  AMAST '06

 Kuressaare, Estonia,  2-8 July 2006

http://cs.ioc.ee/mpc-amast06/



Following on from the successful joint conference AMAST/MPC 2004 at
Stirling, UK, 2004, the two biennial conferences on mathematical
methods in software technology are colocating also in 2006.

The joint event will take place in Kuressaare, Estonia, in early
July. A perfect place and time to enjoy the Nordic white nights - at
58° N in the midsummer season.

MPC will be held 3-5 July, followed by AMAST 5-8 July. 

A satellite workshop of MPC, Workshop on Mathematically Structured
Functional Programming, MSFP 2006 will take place 2 July.  This is an
official workshop of the TYPES project and researchers from TYPES
sites can use funds of the project to attend.


Important dates 

Early registration:  15 May 2006
Late registration:   5 June 2006


MPC invited speakers

Robin Cockett, University of Calgary
Olivier Danvy, Aarhus Universitet
Oege de Moor, University of Oxford


MSFP invited speakers

Andrzej Filinski, Københavns Universitet
John Power, University of Edinburgh


AMAST invited speakers

Ralph-Johan Back, Åbo Akademi University
Lawrence S. Moss, Indiana University
Till Mossakowski, Universität Bremen


MPC, MSFP and AMAST accepted paper lists and preliminary programmes
appear on the conference website.

PC lists appear on the conference website.


Important dates 

* Early registration:  15 May 2006
* Late registration:   5 June 2006


Registration

Registration, accommodation and travel information are available on
the conference website. To register, please fill out the online
registration form.

Booking of accommodation at Kuressaare is handled by the local
organization. Accommodation in one of the conference hotels is 
only guaranteed until the early registration deadline of 15 May.  
After this date, we will do what we can, but Kuressaare is a small 
town and July is in the peak season.


Venue

Kuressaare (pop. 16000) is the main town on Saaremaa (Ösel), the
second-largest island of the Baltic Sea. Kuressaare is a charming
seaside resort on the shores of the Gulf of Riga highly popular with
Estonians as well as visitors to Estonia.

The scientific sessions of MPC/AMAST 2006 will take place at Saaremaa
Spa Hotel Meri, one among the several new spa hotels in the town. The
social events will involve a number of sites, including the
14th-century episcopal castle and the impact craters of
Kaali. Accommodation will be at Saaremaa Spa Hotels Meri and Rüütli.

To get to Kuressaare, one normally passes through Tallinn
(pop. 402000), Estonia's capital city. Tallinn is famous for its
picturesque medieval Old Town, inscribed on UNESCO's World Heritage
List.

From Tallinn, Kuressaare is easily reached by scheduled coach
(incl. a ferry ride). We may arrange chartered coaches from Tallinn to
Kuressaare and back both for MPC and AMAST, but this depends on the
demand.

There are also twice-daily flights to Kuressaare from Tallinn and
twice-weekly direct flights from Helsinki and Stockholm.


Local organizers

MPC/AMAST 2006 is organized by Institute of Cybernetics, a research
institute of Tallinn University of Technology.

Contact email address: mpc06(at)cs.ioc.ee.



___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] MPC 2006 Final Call for Papers (extended deadlines)

[Tarmo Uustalu]

NEWS: 

- Extended deadlines:
* Submission of abstracts: 3 February 2006
* Submission of full papers: 10 February 2006



FINAL CALL FOR PAPERS

   8th International Conference on 
 Mathematics of Program Construction
   MPC '06

 Kuressaare, Estonia,  3-5 July 2006

  http://cs.ioc.ee/mpc-amast06/mpc/


   colocated with AMAST '06


Background

The biennial MPC conferences aim to promote the development of
mathematical principles and techniques that are demonstrably useful
and usable in the process of constructing computer programs. Topics of
interest range from algorithmics to support for program construction
in programming languages and systems.

The previous conferences were held in Twente, The Netherlands (1989),
Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden
(1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002) and
Stirling, UK (2004, colocated with AMAST '04). The 2006 conference
will be held at Kuressaare, Estonia, colocated with AMAST '06.


Invited speakers

Robin Cockett, University of Calgary
Olivier Danvy, Aarhus Universitet
Oege de Moor, University of Oxford


Important dates

* Submission of abstracts: 3 February 2006 (extended)
* Submission of full papers: 10 February 2006 (extended)
* Notification of authors: 17 March 2006
* Camera-ready version: 14 April 2006


Topics

Papers are solicited on mathematical methods and tools put to use in
program construction. Topics of interest range from algorithmics to
support for program construction in programming languages and
systems. Some typical areas are type systems, program analysis and
transformation, programming language semantics, program logics.
Theoretical contributions are welcome provided their relevance for
program construction is clear. Reports on applications are welcome
provided their mathematical basis is evident.


Submission and publication

Submission is in two stages. Abstracts (plain text) must be submitted
by 3 February 2006 (extended). Full papers (pdf) adhering to the llncs
style must be submitted by 10 February 2006 (extended). There is no
official page limit, but authors should strive for brevity. The
web-based submission system is open. Papers must report previously
unpublished work and not be submitted concurrently to another
conference with refereed proceedings. PC members may submit. Accepted
papers must be presented at the conference by one of the authors.

The proceedings of MPC '06 will be published in the Lecture Notes in
Computer Science series of Springer-Verlag.

After the conference, the authors of the best papers will be invited
to submit revised versions to a special issue of the Science of
Computer Programming journal of Elsevier. 


Programme committee

Tarmo Uustalu, Institute of Cybernetics, Tallinn (chair)

Roland Backhouse, University of Nottingham
Eerke Boiten, University of Kent
Venanzio Capretta, University of Ottawa
Sharon Curtis, Oxford Brookes University
Jules Desharnais, Université de Laval
Jeremy Gibbons, University of Oxford
Lindsay Groves, Victoria University of Wellington
Ian Hayes, University of Queensland
William Harrison, University of Missouri
Johan Jeuring, Universiteit Utrecht
Dexter Kozen, Cornell University
Christian Lengauer, Universität Passau
Lambert Meertens, Kestrel Institute
Bernhard Möller, Universität Augsburg
Shin-Cheng Mu, University of Tokyo
José Oliveira, Universidade do Minho
Alberto Pardo, Universidad de la República
Ross Paterson, City University London
Ingrid Rewitzky, University of of Stellenbosch
Varmo Vene, University of Tartu


Satellite workshops

Two workshops will be held in conjunction with MPC 2006 as satellites
on 2 July 2006:

5th International Workshop on Constructive Methods for 
Parallel Programming, CMPP 2006

Workshop on Mathematically Structured Functional Programming, 
MSFP 2006



Venue

Kuressaare (pop. 16000) is the main town on Saaremaa, the
second-largest island of the Baltic Sea. Kuressaare is a charming
seaside resort on the shores of the Gulf of Riga highly popular with
Estonians as well as visitors to Estonia.

The scientific sessions of MPC/AMAST 2006 will take place at Saaremaa
Spa Hotel Meri, one among the several new spa hotels in the town. The
social events will involve a number of sites, including the
14th-century episcopal castle. Accommodation will be at Saaremaa Spa
Hotels Meri and Rüütli.

To get to Kuressaare and away, one must pass through Tallinn
(pop. 402000), Estonia's capital city. Tallinn is famous for its
picturesque medieval Old Town, inscribed on UNESCO's World Heritage
List.


Local organizers

MPC/AMAST 2006 is organized by Institute of Cybernetics, a research
institute of Tallinn University of Technology.

The local organizers are Tarmo Uustalu (chair), Monika Perkmann, Juhan
Ernits, Ando Saabas, Olha Shkaravska, Kristi Uustalu.

Contact email address: mpc06

[Haskell] MPC 2006 First Call for Papers

[Tarmo Uustalu]

FIRST CALL FOR PAPERS

   8th International Conference on 
 Mathematics of Program Construction
   MPC '06

   colocated with AMAST '06

 Kuressaare, Estonia,  3-5 July 2006

  http://cs.ioc.ee/mpc-amast06/mpc/


Background

The biennial MPC conferences aim to promote the development of
mathematical principles and techniques that are demonstrably useful
and usable in the process of constructing computer programs. Topics of
interest range from algorithmics to support for program construction
in programming languages and systems.

The previous conferences were held in Twente, The Netherlands (1989),
Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden
(1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002) and
Stirling, UK (2004, colocated with AMAST '04). The 2006 conference
will be held at Kuressaare, Estonia, colocated with AMAST '06.


Invited speakers

To be announced.


Important dates

* Submission of abstracts: 27 January 2006
* Submission of full papers: 3 February 2006
* Notification of authors: 17 March 2006
* Camera-ready version: 14 April 2006


Submission

Submission is in two stages. Abstracts (plain text) must be submitted
by 27 January 2006. Full papers (pdf) adhering to the llncs style must
be submitted by 3 February 2006. The web-based submission system will
open in early December 2005. Papers must report previously unpublished
work and not be submitted concurrently to another conference with
refereed proceedings. Accepted papers must be presented at the
conference by one of the authors.

The proceedings of MPC '06 will be published in the Lecture Notes in
Computer Science series of Springer-Verlag.

After the conference, the authors of the best papers will be invited
to submit revised versions to a special issue of the Science of
Computer Programming journal of Elsevier. 


Programme committee

Tarmo Uustalu, Inst. of Cybernetics, Tallinn (chair)

Roland Backhouse, Univ. of Nottingham
Eerke Boiten, Univ. of Kent
Venanzio Capretta, Univ. of Ottawa
Sharon Curtis, Oxford Brookes Univ.
Jules Desharnais, Univ. de Laval
Jeremy Gibbons, Univ. of Oxford
Lindsay Groves, Victoria Univ. of Wellington
Ian Hayes, Univ. of Queensland
William Harrison, Univ. of Missouri
Johan Jeuring, Universiteit Utrecht
Dexter Kozen, Cornell Univ.
Christian Lengauer, Univ. Passau
Lambert Meertens, Kestrel Inst.
Bernhard Möller, Univ. Augsburg
Shin-Cheng Mu, Univ. of Tokyo
José Oliveira, Univ. do Minho
Alberto Pardo, Univ. de la República
Ross Paterson, City Univ. London
Ingrid Rewitzky, Univ. of of Stellenbosch
Varmo Vene, Univ. of Tartu


Venue

Kuressaare (pop. 16000) is the main town on Saaremaa, the
second-largest island of the Baltic Sea. Kuressaare is a charming
seaside resort on the shores of the Gulf of Riga highly popular with
Estonians as well as visitors to Estonia.

The scientific sessions of MPC/AMAST 2006 will take place at Saaremaa
Spa Hotel Meri, one among the several new spa hotels in the town. The
social events will involve a number of sites, including the
14th-century episcopal castle. Accommodation will be at Saaremaa Spa
Hotels Meri and Rüütli.

To get to Kuressaare and away, one must pass through Tallinn
(pop. 402000), Estonia's capital city. Tallinn is famous for its
picturesque medieval Old Town, inscribed on UNESCO's World Heritage
List.


Local organizers

MPC/AMAST 2006 is organized by Institute of Cybernetics, a research
institute of Tallinn Univ. of Technology.

The local organizers are Tarmo Uustalu (chair), Monika Perkmann, Juhan
Ernits, Ando Saabas, Olha Shkaravska, Kristi Uustalu.

Contact email address: mpc06(at)cs.ioc.ee.





___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] Paper: The essence of dataflow programming

[Tarmo Uustalu]

Dear Dave,

Thanks for the nice propaganda!

A few comments regarding the points you made in your message.

Ineffeciency of fibo-like programs: Your observations are true. But this is a 
comonadic interpreter analogous to the cbv monadic interpreter. One can also 
define an analogue to the cbn monadic interpreter. This is better than the 
cbv version on the n first Fibonacci numbers but worse on the nth number 
alone...

Zippers: Yes, of course! Streams are an infinite linear datastructure, but you 
can also do trees (eg decorated parse trees of a CFG). Such trees with a 
distinguished position are of course the zipper datatype and this is a comonad 
as well. And similarly to the comonadic approach to the semantics of dataflow 
languages one can give a comonadic structure eg to attribute grammar 
specifications (either purely synthesized attribute grammars or general 
attribute grammars). We've developed these ideas in a paper that was presented 
at TFP, see

http://www.cs.ioc.ee/~tarmo/papers/tfp05.pdf

(this is the symposium version, the full version is in preparation.)

To present the comonadic semantics of attribute grammar specifications neatly, 
one needs either GADTs or dependent types.

Best wishes,

Tarmo U


___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Paper: The essence of dataflow programming

[Tarmo Uustalu]

Dear Haskell subscribers,

We would like to announce our new paper

The essence of dataflow programming

http://cs.ioc.ee/~tarmo/papers/essence.pdf

which describes a novel comonadic foundation of dataflow computing,
incl. semantics of dataflow languages a la Lucid or Lustre. The
central point is that comonads structure the context-dependence in
dataflow paradigms in much the same way as monads organize
effects. The paper was specifically written for functional
programmers (as opposed to semanticists).

The paper will not be presented at TFP/ICFP/GPCE in Tallinn. A
trimmed-down version will appear in Proc. of APLAS 2005. The full 
text has been submitted.

Best wishes,

Tarmo Uustalu, Varmo Vene




___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell