[ecoop-info] it-fmeurope-events Digest Mon, 27 Mar 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Mon Mar 27 18:00:16 CEST 2017

it-fmeurope-events digest Mon, 27 Mar 2017

Table of contents:

* 1 - [FME Events] ETAPS 2018 Call for Satellite Events - Simon Bliudze
  <Simon.Bliudze at epfl.ch>
* 2 - [FME Events] [fm-announcements] RV 2017 - 3rd Call for papers and
  tutorial proposals + RV-CuBES contributions - "Havelund, Klaus (348B)"
  <Klaus.Havelund at jpl.nasa.gov>
* 3 - [FME Events] FORMATS 2017 - Call for Papers - Submission 21 April 2017 -
  Thao Dang <thao.dang at imag.fr>


Message-ID: <ee03ec2f-079f-70e1-2625-f5f86cb6c995 at epfl.ch>
Date: Tue, 21 Mar 2017 12:31:24 +0100
From: Simon Bliudze <Simon.Bliudze at epfl.ch>
Subject: [FME Events] ETAPS 2018 Call for Satellite Events

21st European Joint Conferences on Theory and Practice of Software
                              ETAPS 2018
                Thessaloniki, Greece, 14-21 April 2018

                      Call for  Satellite Events


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-first
edition, ETAPS 2018, will take place 14-21 April 2017 in Thessaloniki,

ETAPS 2018 main conferences, scheduled for 16-20 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


The ETAPS 2018 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 2018 satellite events will be held immediately before and after
the main conferences, on 14-15 April and 21 April.


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

The ETAPS 2018 organizing committee will:

* promote the event on the website and in the publicity material of
  ETAPS 2018,
* integrate the event's program into the overall program of the
* 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 2018 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.


Researchers and practitioners wishing to organize satellite events are
invited to submit proposals to the workshop co-chairs Alexander
Chatzigeorgiou <achat at uom.gr <mailto:achat at uom.gr>> and Nick Bassiliades
<nbassili at csd.auth.gr <mailto:nbassili at csd.auth.gr>> using the web form at

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

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

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


Satellite event proposals deadline: 24 March 2017

Notification of acceptance: 7 April 2017


Thessaloniki, named after Alexander's the Great sister, is the second
largest city in Greece.
Thessaloniki is an industrial and commercial center hosting an annual
international trade fair,
as well as a transportation hub with a major modern port and an
international airport.
Thessaloniki's history spans over 2300 years. Although largely rebuilt
in modern style, Thessaloniki still retains its
famous white Byzantine walls, the 15th century White Tower, and a
Venetian citadel.
The city is famous for its many fine Byzantine churches and Roman ruins
of the triumphal arch and the
palace of Emperor Galerius.
Thessaloniki is a vibrant student city hosting more than 80,000
university students and offering
countless options when it comes to local/international cuisine, cafes,
music and day trips.

ETAPS 2018 is organized by the Aristotle University of Thessaloniki,
the largest university in Greece.


Please contact the workshop co-chairs, Alexander Chatzigeorgiou
<achat at uom.gr <mailto:achat at uom.gr>> and Nikos Bassiliades
<nbassili at csd.auth.gr <mailto:nbassili at csd.auth.gr>>.

Message-ID: <D4F889ED.18EBF%klaus.havelund at jpl.nasa.gov>
Date: Thu, 23 Mar 2017 03:12:16 +0000
From: "Havelund, Klaus (348B)" <Klaus.Havelund at jpl.nasa.gov>
Subject: [FME Events] [fm-announcements] RV 2017 - 3rd Call for papers and
 tutorial proposals + RV-CuBES contributions

RV 2017

Call for Papers and Tutorials

          The 17th International Conference on Runtime Verification

          September 13-16, Seattle, WA, USA


rv2017 at easychair.org<mailto:rv2017 at easychair.org>

Runtime verification is concerned with the monitoring and analysis of the
runtime behaviour of software and hardware systems. Runtime verification
techniques are crucial for system correctness, reliability, and robustness;
they provide an additional level of rigor and effectiveness compared to
conventional testing, and are generally more practical than exhaustive formal
verification. Runtime verification can be used prior to deployment, for
testing, verification, and debugging purposes, and after deployment for
ensuring reliability, safety, and security and for providing fault containment
and recovery as well as online system repair.

Topics of interest to the conference include, but are not limited to:

  *   specification languages
  *   monitor construction techniques
  *   program instrumentation
  *   logging, recording, and replay
  *   combination of static and dynamic analysis
  *   specification mining and machine learning over runtime traces
  *   monitoring techniques for concurrent and distributed systems
  *   runtime checking of privacy and security policies
  *   statistical model checking
  *   metrics and statistical information gathering
  *   program/system execution visualization
  *   fault localization, containment, recovery and repair
  *   integrated vehicle health management (IVHM)

Application areas of runtime verification include cyber-physical systems,
safety/mission-critical systems, enterprise and systems software, autonomous
and reactive control systems, health management and diagnosis systems, and
system security and privacy.

We welcome contributions exploring the combination of runtime verification
techniques with machine learning and static analysis. Whilst these are
highlight topics, papers falling into these categories will not be treated
differently from other contributions.

An overview of previous RV conferences and earlier workshops can be found at:

RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature
a tutorial day (September 13), and three conference days (September 14-16).

Important Dates

Papers as well as tutorial proposals will follow the following timeline:

  *   Abstract deadline: April 24, 2017 (Anywhere on Earth)
  *   Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth)
  *   Tutorial notification: May 21, 2017
  *   Paper notification: June 26, 2017
  *   Camera-ready deadline: July 24, 2017
  *   Conference: September 13-16, 2017

Invited Speakers

We are very pleased to confirm the following invited speakers for RV 2017:

  *   Rodrigo Fonseca<http://cs.brown.edu/~rfonseca/>, Brown University, USA
  *   Vlad Levin and Jakob
Microsoft, USA
  *   Andreas Zeller<https://www.st.cs.uni-saarland.de/zeller/>, Saarland
University, Germany

General Information on Submissions

All papers and tutorials will appear in the conference proceedings in an LNCS
volume. Submitted papers and tutorials must use the LNCS/Springer style
detailed here:


Papers must be original work and not be submitted for publication elsewhere.
Papers must be written in English and submitted electronically (in PDF format)
using the EasyChair submission page here:


The page limitations mentioned below include all text and figures, but exclude
references. Additional details omitted due to space limitations may be
included in a clearly marked appendix, that will be reviewed at the discretion
of reviewers, but not included in the proceedings.

At least one author of each accepted paper and tutorial must attend RV 2017 to

Paper Submissions

There are three categories of papers which can be submitted: regular, short or
tool papers. Papers in each category will be reviewed by at least 3 members of
the Program Committee.

  *   Regular Papers (up to 15 pages, not including references) should present
original unpublished results. We welcome theoretical papers, system papers,
papers describing domain-specific variants of RV, and case studies on runtime
  *   Short Papers (up to 6 pages, not including references) may present novel
but not necessarily thoroughly worked out ideas, for example emerging runtime
verification techniques and applications, or techniques and applications that
establish relationships between runtime verification and other domains.
  *   Tool Demonstration Papers (up to 8 pages, not including references)
should present a new tool, a new tool component, or novel extensions to
existing tools supporting runtime verification. The paper must include
information on tool availability, maturity, selected experimental results and
it should provide a link to a website containing the theoretical background
and user guide. Furthermore, we strongly encourage authors to make their tools
and benchmarks available with their submission.

The Program Committee of RV 2017 will give a best paper award, and a selection
of accepted regular papers will be invited to appear in a special issue of the
Springer Journal on Formal Methods in System

Tutorial Submissions

Tutorials are two-to-three-hour presentations on a selected topic.
Additionally, tutorial presenters will be offered to publish a paper of up to
20 pages in the LNCS conference proceedings, not including references.

A proposal for a tutorial must contain the subject of the tutorial, a proposed
timeline, a note on previous similar tutorials (if applicable) and the
differences to this incarnation, and a brief biography of the presenter. The
proposal should not exceed 2 pages.

RV-CuBES: A Workshop Replacement for the Competition

The Runtime Verification Competition will not be running in 2017. In its place
a Workshop is being organised to discuss the future of the competition and
showcase existing Runtime Verification tools. Please see the relevant
page<http://rv2017.cs.manchester.ac.uk/rv-cubes/> on the conference website
for details.


General Chair

Klaus Havelund<http://www.havelund.com/>, NASA Jet Propulsion Laboratory, USA

Program Chairs

Shuvendu Lahiri<https://www.microsoft.com/en-us/research/people/shuvendu/>,
Microsoft Research, USA
Giles Reger<http://www.cs.man.ac.uk/~regerg/>, University of Manchester, UK

Finance Chair

Oleg Sokolsky<http://www.cis.upenn.edu/~sokolsky/>, University of
Pennsylvania, USA

Publicity Chair

Ayoub Nour<http://www-verimag.imag.fr/~nouri/>i, University Grenoble Alpes,

Local Organisation Chairs

Grigory Fedyukovich<http://homes.cs.washington.edu/~grigory/about.html>,
University of Washington, USA
Rahul Kumar<http://rahulku.com/>, Microsoft Research, USA

Program Committee

Wolfgang Ahrendt<http://www.cse.chalmers.se/~ahrendt/>, Chalmers Univ. of
Technology/Univ. of Gothenburg, Sweden
Cyrille Artho<https://people.kth.se/~artho/>, KTH Royal Institute of
Technology, Sweden
Howard Barringer<http://www.manchester.ac.uk/research/Howard.barringer/>, The
University of Manchester, UK
Ezio Bartocci<http://www.eziobartocci.com/>, Vienna University of Technology,
Andreas Bauer<http://www.immerundewig.at/>, KUKA Systems, Germany
Saddek Bensalem<http://www-verimag.imag.fr/~bensalem/>,  University of
Grenoble Alpes/VERIMAG, France
Eric Bodden<http://www.bodden.de/>, Fraunhofer SIT/Technische University
Darmstadt, Germany
Borzoo Bonakdarpour<http://www.cas.mcmaster.ca/borzoo/>, McMaster University,
Christian Colombo<https://www.um.edu.mt/ict/cs/staff/christian_colombo>,
University of Malta, Malta
Ylies Falcone<http://www.ylies.fr/>, University Grenoble Alpes/Inria, France
Grigory Fedyukovich<http://homes.cs.washington.edu/~grigory/about.html>,
University of Washington, USA
Lu Feng<https://www.cs.virginia.edu/~lufeng/>, University of Virginia, USA
Patrice Godefroid<https://patricegodefroid.github.io/>, Microsoft Research,
Jean Goubault-Larrecq<http://www.lsv.ens-cachan.fr/~goubault/>, CNRS/ENS de
Cachan, France
Alex Groce<http://eecs.oregonstate.edu/people/groce-alex>, Northern Arizona
University, USA
Radu Grosu<https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of
Technology, Austria
Sylvain Hallé<http://leduotang.ca/sylvain/>, University of Québec at
Chicoutimi, Canada
Marieke Huisman<http://wwwhome.ewi.utwente.nl/~marieke/>, University of
Twente, Netherlands
Franjo Ivancic<https://sites.google.com/site/ivancic/>, Google, USA
Bengt Jonsson<http://user.it.uu.se/~bengt/>, Uppsala University, Sweden
Felix Klaedtke<https://sites.google.com/site/felixklaedtkeshomepage/>, NEC
Europe Ltd., Germany
Rahul Kumar<http://rahulku.com/>, Microsoft Research, USA
Kim Larsen<http://people.cs.aau.dk/~kgl/>, Aalborg University, Denmark
Insup Lee<http://www.cis.upenn.edu/~lee/home/home/index.shtml>, University of
Pennsylvania, USA
Axel Legay<https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France
Martin Leucker<https://www.isp.uni-luebeck.de/leucker>, University of Lübeck,
Ben Livshits<http://research.microsoft.com/en-us/um/people/livshits/>,
Imperial College, UK
David Lo<http://www.mysmu.edu/faculty/davidlo/>, Singapore Management
University, Singapore
Francesco Logozzo<https://www.linkedin.com/in/francesco-logozzo-4106386>,
Facebook, USA
Parthasarathy Madhusudan<http://madhu.cs.illinois.edu/>, University of
Illinois at Urbana-Champaign, USA
University of Milan Bicocca, Italy
Madan Musuvathi<https://www.microsoft.com/en-us/research/people/madanm/>,
Microsoft Research, USA
Ayoub Nouri<http://www-verimag.imag.fr/~nouri/>, University of Grenoble Alpes,
Gordon Pace<http://www.cs.um.edu.mt/gordon.pace/>, University of Malta, Malta
Doron Peled<http://u.cs.biu.ac.il/~doronp/>, Bar Ilan University, Israel
Veselin Raychev<http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich,
Grigore Rosu<http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, University of
Illinois at Urbana-Champaign, USA
Cesar Sanchez<http://software.imdea.org/~cesar/>, IMDEA Software Institute,
Gerardo Schneider,<http://www.cse.chalmers.se/~gersch/> Chalmers Univ. of
Technology/Univ. of Gothenburg, Sweden
Rahul Sharma<https://cs.stanford.edu/people/sharmar/>, Microsoft Research,
Julien Signoles<http://julien.signoles.free.fr/index.en.html>, CEA LIST,
Scott Smolka<http://www3.cs.stonybrook.edu/~sas/>, Stony Brook University, USA
Oleg Sokolsky<https://www.cis.upenn.edu/~sokolsky/>, University of
Pennsylvania, USA
University of Dortmund, Germany
Scott Stoller<http://www3.cs.stonybrook.edu/~stoller/>, Stony Brook
University, USA
Volker Stolz<http://www.mn.uio.no/ifi/personer/vit/stolz/>, University of
Olso, Norway
Frits Vaandrager<http://www.cs.ru.nl/~fvaan/>, Radboud University, Netherlands
University of Leicester, UK
Chao Wang<http://www-bcf.usc.edu/~wang626/>, University of Southern
California, USA
Eugen Zalinescu<http://www2.in.tum.de/hp/Main?nid=315>, Technische Universitat
München, Germany
To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the
request by contacting

fm-announcements-owner at lists.nasa.gov

Message-ID: <1084402265.559984.1490615354107.JavaMail.zimbra at univ-grenoble-
Date: Mon, 27 Mar 2017 13:49:14 +0200 (CEST)
From: Thao Dang <thao.dang at imag.fr>
Subject: [FME Events] FORMATS 2017 - Call for Papers - Submission 21 April

[ Apologies for cross posting ]


15th International Conference on

Formal Modeling and Analysis of Timed Systems

First Call for Papers


FORMATS'17 takes place in Berlin, Germany, where it is part of QONFEST

and is colocated with CONCUR'17 and QEST'17.

Invited speakers


Laurent Fribourg , LSV, Université Paris-Saclay

Morten Bisgaard , GomSpace (co-sponsored with QEST)

Hongseok Yang , Department of computer science, Oxford University (co-
sponsored with CONCUR and QEST)



Control and analysis of the timing of computations is crucial to many domains
of system engineering, be it, e.g., for ensuring timely response to stimuli
originating in an uncooperative environment, or for synchronising components
in VLSI. Reflecting this broad scope, timing aspects of systems from a variety
of domains have been treated independently by different communities in
computer science and control. Researchers interested in semantics,
verification and performance analysis study models such as timed automata and
timed Petri nets, the digital design community focuses on propagation and
switching delays, while designers of embedded controllers have to take account
of the time taken by controllers to compute their responses after sampling the
environment, as well as of the dynamics of the controlled process during this

Timing-related questions in these separate disciplines do have their
particularities. However, there is a growing awareness that there are basic
problems (of both scientific and engineering level) that are common to all of
them. In particular, all these sub-disciplines treat systems whose behaviour
depends upon combinations of logical and temporal constraints; namely,
constraints on the temporal distances between occurrences of successive
events. Often, these constraints cannot be separated, as the intrinsic
dynamics of processes couples them, necessitating models, methods, and tools
facilitating their combined analysis. Reflecting this, FORMATS'17 promotes
submissions on hybrid discrete-continuous systems, and will promote a special
session on this topic.



The aim of FORMATS is to promote the study of fundamental and practical
aspects of timed systems, and to bring together researchers from different
disciplines that share interests in modelling and analysis of timed systems
and, as a generalisation, of hybrid systems. Typical topics include (but are
not limited to):

* Foundations and Semantics :

Theoretical foundations of timed systems and languages; new models and logics
or analysis and comparison of existing models (like automata, Petri nets, max-
plus models, network calculus, or process algebras involving quantitative
time; hybrid automata; probabilistic automata and logics).

* Methods and Tools :

Techniques, algorithms, data structures, and software tools for analysing or
synthesising timed or hybrid systems and for resolving temporal constraints
(scheduling, worst-case execution time analysis, optimisation, model checking,
testing, constraint solving, etc.)

* Applications :

Adaptation and specialisation of timing technology in application domains in
which timing plays an important role (real-time software, embedded control,
hardware circuits, and problems of scheduling in manufacturing and

Paper Submission


FORMATS'17 solicits high-quality papers reporting research results and/or
experience reports related to the topics mentioned above. Submitted papers
must contain original, unpublished contributions, not submitted for
publication elsewhere. The papers should be submitted electronically in PDF,
following the Springer LNCS style guidelines. Submissions should not exceed 15
pages in length (not including the bibliography which is thus not restricted),
but may be supplemented with a clearly marked appendix, which will be reviewed
at the discretion of the program committee.

Each paper will undergo a thorough review process.

Papers are to be submitted electronically via the EasyChair online submission
system, to be made available from the conference webpage.

As traditional, publication of the proceedings of FORMATS'17 will be hosted by
Springer in the Lecture Notes in Computer Science series.

Important Dates


Abstract Submission: 21 April, 2017

Paper Submission: 28 April, 2017

Notification: 10 June, 2017

Final paper due: 30 June, 2017

Conference: 5-7 September, 2017

General Chair of QONFEST


Katinka Wolter, (FU Berlin)

Uwe Nestermann, (TU Berlin)

Program Committee Chairs


Alessandro Abate (Oxford, UK)

Gilles Geeraerts (ULB, BE)

Publicity Chair


Thao Dang, (CNRS/University of Grenoble Alps, France)

Program Committee


Erika Abraham

Etienne André

Bernard Berthomieu

Sergiy Bogomolov

Patricia Bouyer

Thomas Brihaye

Uli Fahrenberg

Martin Fränzle

Jane Hillston

David Jansen

Jan Křetínský

Giuseppe Lipari

Nicolas Markey

Dejan Nickovic

Jens Oehlerking

Pavithra Prabhakar

Karin Quaas

Jan Reineke

Olivier H. Roux

Sibylle Schupp

Ana Sokolova

Oleg Sokolsky

Jirí Srba

Nathalie Sznajder

Stavros Tripakis

Majid Zamani

Steering Committee


Rajeev Alur, (U. Pennsylvania, USA)

Eugene Asarin, (U. Paris Diderot, France)

Martin Fränzle (U. Oldenburg, Germany)

Thomas A. Henzinger, (IST Austria)

Joost-Pieter Katoen, (RWTH Aachen, Germany)

Kim G. Larsen, (U. Aalborg, Denmark)

Oded Maler, (VERIMAG, CNRS-UGA, France)

Lothar Thiele, (ETH Zurich, Switzerland)

Wang Yi, (U. Uppsala, Sweden)

Invited speakers


To be announced on the conference webpage



End of it-fmeurope-events Digest Mon, 27 Mar 2017

More information about the ecoop-info mailing list