[TYPES/announce] FormaliSE 2021 - 2nd Call for Papers

[Simon Bliudze]

 approach to reviewing by supporting reviewers’
access to
works that do not carry obvious references to the authors’ identities. As
mentioned above, this is a light-weight double-blind process. Anonymization
should not be a heavy burden for authors and should not make papers
weaker or
more difficult to review. Advertising the paper on alternate forums
(e.g., on
a personal web-page, pre-print archive, email, talks, discussions with
colleagues) is permitted, and authors will not be penalized by for such
advertisement.

Full papers are expected to be roughly 10 pages long including all text,
figures, tables and appendices, but excluding the references (shorter papers
are acceptable). However, we would like to avoid that the authors waste time
fitting their papers into that limit at the expense of presentation clarity:
*paper lengths slightly exceeding the stated limit will be tolerated
provided
that the presentation is of high quality*, which will be left at the
appreciation of the reviewers. Research ideas papers are expected to be
roughly 4 pages plus up to 1 additional page of references, with the same
guiding principle as for the regular papers above. All submissions must
be in
English and in PDF format.

Submissions must conform to the IEEE formatting instructions IEEE Conference
Proceedings Formatting Guidelines
https://www.ieee.org/conferences/publishing/templates.html
(title in 24pt font and full text in 10pt type). LaTeX users must use
`\documentclass[10pt,conference]{IEEEtran}` without including the `compsoc`
or `compsocconf` options. Additionally, we recommend placing the following
two lines in your LaTeX source right after the `\documentclass` command:

\usepackage[switch,columnwise]{lineno}
\linenumbers

This adds line numbers, thereby allowing reviewers to refer to specific
lines
in their comments.

Papers submitted to FormaliSE 2021 must not have been published
elsewhere and
must not be under review or submitted for review elsewhere whilst under
consideration for FormaliSE 2021.

Submissions to FormaliSE 2021 that meet the above requirements can be
made via
EasyChair (https://easychair.org/conferences/?conf=formalise2021) by the
submission deadline.

We would appreciate it if the authors intending to submit a paper were to
inform us in advance. In particular, we invite them to submit an abstract as
early as possible and, in any case, before the Abstract submission deadline
below.

Selection procedure
---
Each paper will be reviewed by at least three program committee members.
Papers will be judged on the basis of their clarity, relevance, originality,
and contribution to the field.

FormaliSE 2021 will implement a light-weight rebuttal scheme: if all the
reviewers of a given submission agree that a clarification from the authors
regarding one specific question could move a borderline paper into the
acceptable range, the chairs will ask that question to the authors by e-mail
and post their reply on EasyChair for the benefit of the reviewers. The
goal of
such light-weight rebuttals is to eliminate “coin-toss” decisions on
borderline
papers. Hence, it will clearly concern only a minority of submissions
and most
of the authors should not expect to receive such questions. However, we
would
ask the corresponding authors of all submissions to make sure that they are
available to answer a question by email if the necessity were to arise.

Publication
---
All accepted publications are published as part of the ICSE 2021
Proceedings in
the ACM and IEEE Digital Libraries.

At least one author of each accepted paper is required to attend the
conference
(virtually) and present the paper in person. Otherwise, the paper will
be removed
from the proceedings.

Organization


General Chairs
~~
- Stefania Gnesi, ISTI-CNR, Italy
- Nico Plat, Thanos, The Netherlands

Program Chairs
~~
- Simon Bliudze, INRIA Lille, France
- Laura Semini, Università di Pisa, Italy

Social Media Chair
~~
- Lucia Nasti, Università di Pisa, Italy

Virtualisation Chair
~~
- Larisa Safina, INRIA Lille, France

Program committee
~
- Dalal Alrajeh (Imperial College London, UK)
- Rabéa Ameur Boulifa (EURECOM, France)
- Toshiaki Aoki (JAIST, Japan)
- Kyungmin Bae (Pohang University of Science and Technology, South
Korea)
- Maurice H. ter Beek (ISTI-CNR, Italy)
- Domenico Bianculli (University of Luxembourg, Luxembourg)
- Christiano Braga (Universidade Federal Fluminense, Brazil)
- Ana Cavalcanti (University of York, UK)
- Stéphanie Challita (University of Rennes 1 & Inria/IRISA, France)
- Hélène Coullon (IMT Atlantique, France)
- Nancy Day (University of Waterloo, Canada)
- Alessandro Fantechi (University of Florence, Italy)
- Marc Frappier (Université de Sherbrooke, Canada)
- Carlo A. Furia (Università della Svizzera italiana, Switzerland)
- Ebru Aydin Gol (Middle East Technical University, Turkey)
- Roberta Gori (University of 

[TYPES/announce] Call for Papers: FormaliSE 2021

[Simon Bliudze]

-blind process. Anonymization
should not be a heavy burden for authors and should not make papers
weaker or
more difficult to review. Advertising the paper on alternate forums
(e.g., on
a personal web-page, pre-print archive, email, talks, discussions with
colleagues) is permitted, and authors will not be penalized by for such
advertisement.

Full papers are expected to be roughly 10 pages long including all text,
figures, tables and appendices, but excluding the references (shorter papers
are acceptable). However, we would like to avoid that the authors waste time
fitting their papers into that limit at the expense of presentation clarity:
*paper lengths slightly exceeding the stated limit will be tolerated
provided
that the presentation is of high quality*, which will be left at the
appreciation of the reviewers. Research ideas papers are expected to be
roughly 4 pages plus up to 1 additional page of references, with the same
guiding principle as for the regular papers above. All submissions must
be in
English and in PDF format.

Submissions must conform to the IEEE formatting instructions IEEE Conference
Proceedings Formatting Guidelines
<https://www.ieee.org/conferences/publishing/templates.html> (title in 24pt
font and full text in 10pt type). LaTeX users must use
`\documentclass[10pt,conference]{IEEEtran}` without including the `compsoc`
or `compsocconf` options. Additionally, we recommend placing the following
two lines in your LaTeX source right after the `\documentclass` command:

   \usepackage[switch,columnwise]{lineno}
   \linenumbers

This adds line numbers, thereby allowing reviewers to refer to specific
lines
in their comments.

Papers submitted to FormaliSE 2021 must not have been published
elsewhere and
must not be under review or submitted for review elsewhere whilst under
consideration for FormaliSE 2021.

Submissions to FormaliSE 2021 that meet the above requirements can be
made via
EasyChair <https://easychair.org/conferences/?conf=formalise2021> by the
submission deadline.

We would appreciate it if the authors intending to submit a paper were to
inform us in advance. In particular, we invite them to submit an abstract as
early as possible and, in any case, before the Abstract submission deadline
below.

Selection procedure
---
Each paper will be reviewed by at least three program committee members.
Papers will be judged on the basis of their clarity, relevance, originality,
and contribution to the field.

FormaliSE 2021 will implement a light-weight rebuttal scheme: if all the
reviewers of a given submission agree that a clarification from the authors
regarding one specific question could move a borderline paper into the
acceptable range, the chairs will ask that question to the authors by e-mail
and post their reply on EasyChair for the benefit of the reviewers. The
goal of
such light-weight rebuttals is to eliminate “coin-toss” decisions on
borderline
papers. Hence, it will clearly concern only a minority of submissions
and most
of the authors should not expect to receive such questions. However, we
would
ask the corresponding authors of all submissions to make sure that they are
available to answer a question by email if the necessity were to arise.

Publication
---
All accepted publications are published as part of the ICSE 2021
Proceedings in
the ACM and IEEE Digital Libraries.

At least one author of each accepted paper is required to attend the
conference
— physically or, if the circumstances warrant so, virtually — and
present the
paper in person. Otherwise, the paper will be removed from the proceedings.

Important dates
---

= === 
Abstracts due:    05 January  2021
Submissions due:  12 January  2021
Notifications:    22 February 2021
Camera ready copies:  22 March    2021
FormaliSE conference: 23-24 May   2021
= === 

Organization


General Chairs
~~
-  Stefania Gnesi, ISTI-CNR, Italy
-  Nico Plat, Thanos, The Netherlands

Program Chairs
~~~~~~
-  Simon Bliudze, INRIA Lille, France
-  Laura Semini, Università di Pisa, Italy

Social Media Chair
~~
-  Lucia Nasti, Università di Pisa, Italy

Program committee
~
-  Dalal Alrajeh (Imperial College London, UK)
-  Rabéa Ameur Boulifa (EURECOM, France)
-  Toshiaki Aoki (JAIST, Japan)
-  Kyungmin Bae (Pohang University of Science and Technology, South
   Korea)
-  Maurice H. ter Beek (ISTI-CNR, Italy)
-  Domenico Bianculli (University of Luxembourg, Luxembourg)
-  Christiano Braga (Universidade Federal Fluminense, Brazil)
-  Ana Cavalcanti (University of York, UK)
-  Stéphanie Challita (University of Rennes 1 & Inria/IRISA, France)
-  Hélène Coullon (IMT Atlantique, France)
-  Nancy Day (University of Waterloo, Canada)
-  Alessandro Fantechi (University of Florence, Italy)
-  Marc Frappier (Université de Sherbrooke, Canada)
-  Carlo A. Furia (

[TYPES/announce] COORDINATION 2020: Extended deadlines

[Simon Bliudze]

ques allowing one to coordinate their
   execution in order to obtain the desired behaviour are of
   paramount importance.

   Contacts:
   - Ivan Lanese (ivan.lan...@unibo.it) and
   - Alberto Lluch Lafuente (a...@dtu.dk)

2. Techniques to reason about interacting digital contracts

   With the rise of blockchains and cryptocurrencies, digital
   contracts have become popular in the form of smart contracts,
   which encode a financial transaction between possibly
   distrusting parties using a distributed consensus protocol.
   Although smart contracts bear the potential to benefit society
   quite fundamentally (e.g., equalize access to financial
   infrastructure, increase fairness), the benefits are shadowed
   by the existence of severe security vulnerabilities in deployed
   smart contracts and smart contract languages.  In the 2020
   instantiation of COORDINATION, we are soliciting contributions
   on new programming language paradigms and patterns for
   expressing digital contract interactions, verification and
   analysis techniques for checking safety and liveness properties
   and guaranteeing correctness of digital contracts, as well as
   compositionality and scalability of digital contract reasoning
   techniques.  Contacts: Stephanie Balzer (balz...@cs.cmu.edu)
   and Anastasia Mavridou (anastasia.mavri...@nasa.gov)

TOOL PAPERS

We welcome tool papers that describe experience reports,
technological artefacts and innovative prototypes (including
engines, APIs, etc.), for coordinating, modelling, analysing,
simulating or testing systems, as well as educational tools in the
scope of the research topics of COORDINATION.  In addition, we
welcome submissions promoting the integration of existing tools
relevant to the community.

Submissions to the tool track must include an extended abstract
and a link to a demo video that previews the potential tool
presentation at the conference.  Both the abstract and the video
will be decisive criteria in the selection process.

Authors of accepted contributions will be asked to produce a
regular (full) paper to appear in the conference proceedings,
which will be subject to a lightweight revision process.

Interested authors can contact the tool track chairs (Omar Inverso
omar.inve...@gssi.it, Hugo Torres Vieira
hugo.torres.vie...@ubi.pt) for details.

SUBMISSIONS

Important Dates
  17/02/2020 - abstract submission- *extended*
  28/02/2020 - paper submission- *extended*
  10/04/2020 - notification
  24/04/2020 - camera ready version

Publication and Special Issues

Authors are invited to submit papers electronically in PDF using a
two-phase online submission process.  Registration of the paper
information and abstract must be completed according to the
DisCoTec submission dates.  Submissions are handled through the
EasyChair conference management system, accessible from the
conference web site:

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

Contributions must be written in English and report on original,
unpublished work not submitted for publication elsewhere
(cf. IFIP’s Author Code of Conduct, see http://www.ifip.org/ under
Publications/Links).  The submissions must not exceed the total
page number limit (see below) prepared using Springer’s LNCS
style.  Submissions not adhering to the above specified
constraints may be rejected without review.

Submission categories

- Full papers (up to 15 pages + 2 pages references): describing
  thorough and complete research results and experience reports.
 
- Short papers (up to 6 pages + 2 pages references): describing
  research in progress or opinion papers on the past of
  Coordination research, on the current state of the art, or on
  prospects for the years to come.

- Survey papers (up to 25 pages + 2 pages references): describing
  important results and successful stories that originated in the
  context of COORDINATION.

- Tool papers (up to 6 pages + 2 pages references): describing
  technological artefacts in the scope of the research topics of
  COORDINATION. The paper must contain a link to a publicly
  downloadable MPEG-4 demo video of at most 10 minutes length.

The conference proceedings, formed by accepted submissions will be
published by Springer in the LNCS Series.

Special Issues

Selected papers will be invited to a special issue of Logical
Methods in Computer Science and a separate special issue dedicated
to tool papers is being planned. Special issues for last year’s
edition are under preparation in Logical Methods in Computer
Science for selected research papers, and in Science of Computer
Programming for selected tool papers (as a collection of Original
Software Publications.
 
COMMITTEES

Program committee chairs

Simon Bliudze (INRIA, France)
Laura Bocchi (University of Kent, UK)

Tool track chairs

Omar Inverso (Gran Sasso Science Institute, Italy)
Hugo Torres Vieira (C4 - Universidade da Beira Interior, Portugal)

Program committee

Stephanie Balzer (CMU, USA)
Chiara Bodei (Univer

[TYPES/announce] Fully-funded PhD position at Inria Lille (France)

[Simon Bliudze]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear colleagues,

We are hiring a PhD student on a fully-funded position at the Inria
Lille team Spirals (https://team.inria.fr/spirals/) to work on the /
/

/Design of correct-by-construction self-adaptive cloud applications
using formal methods/.

Applications should be submitted at the Inria jobs website *by 22/04/2019*:

https://jobs.inria.fr/public/classic/fr/offres/2019-01375

Detailed information available on my web-site:

http://www.bliudze.me/simon/2019/04/design-of-correct-by-construction-self-adaptive-cloud-applications-using-formal-methods/

Thanks in advance for spreading the word!

Best regards,

Simon Bliudze




signature.asc
Description: OpenPGP digital signature

[TYPES/announce] MeTRiD @ ETAPS 2019: Deadline extension

[Simon Bliudze]

ubmissions must adhere to the EPTCS formatting style
(http://style.eptcs.org/) and are limited to 12 pages (not counting
the appendices), but shorter extended abstracts are welcome.

Tool papers should provide the URL of the tool (if available) and
illustrate the maturity and robustness of the tool.  They must also
comprise an appendix of reasonable length (roughly 6 pages, although
minor deviations will be tolerated, if necessary) with the description
of the demonstration, including screenshots.  As usual, appendices
will be used for evaluation purposes only and will not be included for
publication.

Contributions must be submitted electronically in PDF through the
EasyChair author interface:

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

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


-- ORGANIZERS --

Simon Bliudze (INRIA Lille - Nord Europe, France)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)


All queries can be sent to: metrid2...@easychair.org


-- PROGRAM COMMITTEE --

Farhad Arbab (CWI and Leiden University, The Netherlands)
Paul Attie (American University of Beirut, Lebanon)
Ezio Bartocci (TU Wien, Austria)
Stylianos Basagiannis (United Technologies Research Centre, Ireland)
Saddek Bensalem (Verimag / University Grenoble Alpes, France)
Simon Bliudze (INRIA Lille - Nord Europe, France)
Marius Bozga (Verimag / CNRS, France)
Tomas Bures (Charles University, Czech Republic)
Wenceslas Godard (Airbus Group, France)
Marieke Huisman (University of Twente, The Netherlands)
Mohamad Jaber (American University of Beirut, Lebanon)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)
Igor Konnov (TU Wien, Austria)
Axel Legay (IRISA, France)
Tiziana Margaria (University of Limerick and Lero, Ireland)
Anastasia Mavridou (NASA Ames, US)
Claire Pagetti (ONERA / IRIT-ENSEEIHT, France)
Yiannis Papadopoulos (University of Hull, UK)
Yvonne-Anne Pignolet (ABB Corporate Research, Switzerland)
Harald Ruess (fortiss, Germany)
Martina Seidl (Johannes Kepler University, Austria)
Joseph Sifakis (Verimag / CNRS, France)
Paola Spoletini (Kennesaw State University, USA)
Janos Sztipanovits (Vanderbilt University, USA)
Marcel Verhoef (European Space Agency, The Netherlands)
Andras Voros (Budapest University of Technology & Economics, Hungary)
Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany)
Wang Yi (Uppsala University, Sweden)


-- HOST INSTITUTION --

MeTRiD is a satellite workshop of ETAPS 2019, which will be hosted
by Charles University in Prague.



0xC5B0880B215E4DF6.asc
Description: application/pgp-keys


signature.asc
Description: OpenPGP digital signature

[TYPES/announce] MeTRiD @ ETAPS 2019: Call for papers

[Simon Bliudze]

 the EPTCS formatting style
(http://style.eptcs.org/) and are limited to 12 pages (not counting
the appendices), but shorter extended abstracts are welcome.

Tool papers should provide the URL of the tool (if available) and
illustrate the maturity and robustness of the tool.  They must also
comprise an appendix of reasonable length (roughly 6 pages, although
minor deviations will be tolerated, if necessary) with the description
of the demonstration, including screenshots.  As usual, appendices
will be used for evaluation purposes only and will not be included for
publication.

Contributions must be submitted electronically in PDF through the
EasyChair author interface:

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

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


-- ORGANIZERS --

Simon Bliudze (INRIA Lille - Nord Europe, France)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)


All queries can be sent to: metrid2...@easychair.org


-- PROGRAM COMMITTEE --

Farhad Arbab (CWI and Leiden University, The Netherlands)
Paul Attie (American University of Beirut, Lebanon)
Ezio Bartocci (TU Wien, Austria)
Stylianos Basagiannis (United Technologies Research Centre, Ireland)
Saddek Bensalem (Verimag / University Grenoble Alpes, France)
Simon Bliudze (INRIA Lille - Nord Europe, France)
Marius Bozga (Verimag / CNRS, France)
Tomas Bures (Charles University, Czech Republic)
Wenceslas Godard (Airbus Group, France)
Marieke Huisman (University of Twente, The Netherlands)
Mohamad Jaber (American University of Beirut, Lebanon)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)
Igor Konnov (TU Wien, Austria)
Axel Legay (IRISA, France)
Tiziana Margaria (University of Limerick and Lero, Ireland)
Anastasia Mavridou (NASA Ames, US)
Claire Pagetti (ONERA / IRIT-ENSEEIHT, France)
Yiannis Papadopoulos (University of Hull, UK)
Yvonne-Anne Pignolet (ABB Corporate Research, Switzerland)
Harald Ruess (fortiss, Germany)
Martina Seidl (Johannes Kepler University, Austria)
Joseph Sifakis (Verimag / CNRS, France)
Paola Spoletini (Kennesaw State University, USA)
Janos Sztipanovits (Vanderbilt University, USA)
Marcel Verhoef (European Space Agency, The Netherlands)
Andras Voros (Budapest University of Technology & Economics, Hungary)
Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany)
Wang Yi (Uppsala University, Sweden)


-- HOST INSTITUTION --

MeTRiD is a satellite workshop of ETAPS 2019, which will be hosted
by Charles University in Prague.



0xC5B0880B215E4DF6.asc
Description: application/pgp-keys


signature.asc
Description: OpenPGP digital signature

[TYPES/announce] ETAPS 2019 - Final Call for Satellite Events

[Simon Bliudze]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


22st European Joint Conferences on Theory and Practice of Software
   ETAPS 2019
    Prague, Czech Republic, April 6-12, 2019
https://conf.researchr.org/home/etaps-2019
    Second Call for Satellite Events


***
*    Application deadline extension   *
***

Satellite event proposals deadline: May 4, 2018

Notification of acceptance: May 11, 2018



-- 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 twenty-second
edition, ETAPS 2019, will take place April 6-12, 2019 in Prague,
Czech Republic.

ETAPS 2019 main conferences, scheduled for April 8-12, 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 2019 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. The committee especially encourages workshops on program
synthesis and on the development of approximate systems.

Satellite events provide an opportunity to discuss and
report on emerging research approaches and practical experience
relevant to theory and practice of software.

ETAPS 2019 satellite events will be held immediately before
the main conferences, on April 6-7.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2019 satellite are expected to:

* create and maintain a website for the event, as a part of the main
  ETAPS web page https://conf.researchr.org/home/etaps-2019
* 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 2019 organizing committee,
* prepare and organize the publication of a formal (post)proceedings
 (if desired).

The ETAPS 2019 organizing committee will:

* promote the event on the website and in the publicity material of
  ETAPS 2019,
* 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 2019 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 via the following online form
(the preferred option):

http://eptcs.web.cse.unsw.edu.au/ETAPS/

or via an email to the workshop co-chairs:

Milan Ceska (Brno University of Technology, Czech Republic) 
ces...@fit.vutbr.cz

Ryan Culpepper (Czech Technical University in Prague) ry...@ccs.neu.edu


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: April 6, April 7, April 6 - 7
* the expected number of participants
* a brief description (120 words approximately) of the event topic for
  the website and publicity material of ETAPS 2019
* 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 

[TYPES/announce] ETAPS 2019 - 2nd Call for Satellite Events

[Simon Bliudze]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


22st European Joint Conferences on Theory and Practice of Software
   ETAPS 2019
    Prague, Czech Republic, April 6-12, 2019
https://conf.researchr.org/home/etaps-2019
    Second Call for Satellite Events


***
*    Application deadline extension   *
***

Satellite event proposals deadline: May 4, 2018

Notification of acceptance: May 11, 2018



-- 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 twenty-second
edition, ETAPS 2019, will take place April 6-12, 2019 in Prague,
Czech Republic.

ETAPS 2019 main conferences, scheduled for April 8-12, 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 2019 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. The committee especially encourages workshops on program
synthesis and on the development of approximate systems.

Satellite events provide an opportunity to discuss and
report on emerging research approaches and practical experience
relevant to theory and practice of software.

ETAPS 2019 satellite events will be held immediately before
the main conferences, on April 6-7.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2019 satellite are expected to:

* create and maintain a website for the event, as a part of the main
  ETAPS web page https://conf.researchr.org/home/etaps-2019
* 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 2019 organizing committee,
* prepare and organize the publication of a formal (post)proceedings
 (if desired).

The ETAPS 2019 organizing committee will:

* promote the event on the website and in the publicity material of
  ETAPS 2019,
* 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 2019 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 via the following online form
(the preferred option):

http://eptcs.web.cse.unsw.edu.au/ETAPS/

or via an email to the workshop co-chairs:

Milan Ceska (Brno University of Technology, Czech Republic) 
ces...@fit.vutbr.cz

Ryan Culpepper (Czech Technical University in Prague) ry...@ccs.neu.edu


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: April 6, April 7, April 6 - 7
* the expected number of participants
* a brief description (120 words approximately) of the event topic for
  the website and publicity material of ETAPS 2019
* 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 

[TYPES/announce] ETAPS Test of Time Award 2018: Call for nominations

[Simon Bliudze]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


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 http://www.etaps.org/index.php/about/etaps-test-of-time-award

Nominations 2018

Nominations for the 2018 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 19 February

to the chair of the award committee, Don Sannella .

[TYPES/announce] MeTRiD 2018: 2nd CfP (ETAPS workshop)

[Simon Bliudze]

air author interface:

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

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


-- ORGANIZERS --

Saddek Bensalem (Verimag / Université Grenoble Alpes, France)
Simon Bliudze (EPFL, Switzerland / INRIA, France)

All queries can be sent to: metrid2...@easychair.org


-- PROGRAM COMMITTEE --

Farhad Arbab (CWI and Leiden University, The Netherlands)
Paul Attie (American University of Beirut, Lebanon)
Saddek Bensalem (Verimag / Université Grenoble Alpes, France)
Simon Bliudze (EPFL, Switzerland / INRIA, France)
Marius Bozga (Verimag / CNRS, France)
Laura Bocchi (University of Kent, UK)
Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
Rocco De Nicola (IMT Lucca, Italy)
Rayna Dimitrova (Max Planck Institute for Software Systems, Germany)
Bernd Finkbeiner (Saarland University, Germany)
Marieke Huisman (University of Twente, The Netherlands)
Mohamad Jaber (American University of Beirut, Lebanon)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)
Igor Konnov (TU Wien, Austria)
Axel Legay (IRISA, France)
Bernhard Rumpe (RWTH Aachen, Germany)
Martina Seidl (Johannes Kepler University, Austria)
Paola Spoletini (Kennesaw State University, USA)
Joseph Sifakis (Verimag / CNRS, France)
Janos Sztipanovits (Vanderbilt University, USA)
Wang Yi (Uppsala University, Sweden)
Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)
Josef Widder (TU Wien, Austria)


-- HOST INSTITUTION --

MeTRiD is a satellite workshop of ETAPS 2018, which will be hosted by
the School of Informatics of the Aristotle University of Thessaloniki,
the largest university in Greece.