[ecoop-info] it-fmeurope-events Digest Fri, 09 Jun 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Fri Jun 9 08:20:18 CEST 2017

it-fmeurope-events digest Fri, 09 Jun 2017

Table of contents:

* 1 - [FME Events] Deadline Extension - FAACS 2017 - 1st Workshop on Formal
  Approaches for Advanced Computing Systems - Alberto Griggio <griggio at fbk.eu>
* 2 - [FME Events] Final Call for Papers: PhD Symposium at iFM'17 - Silvia
  Lizeth Tapia Tarifa <sltarifa at ifi.uio.no>
* 3 - [FME Events] Call for Papers - Deadline Extension - GandALF 2017 -
  International Symposium on Games, Automata, Logics, and Formal Verification
  - Rome - 20-22 September 2017 - AndreA Orlandini
  <andrea.orlandini at istc.cnr.it>


Message-ID: <20170531090827.4AC4F15FB5A at kyrene.fbk.eu>
Date: Wed, 31 May 2017 11:08:27 +0200
From: Alberto Griggio <griggio at fbk.eu>
Subject: [FME Events] Deadline Extension - FAACS 2017 - 1st Workshop on Formal
 Approaches for Advanced Computing Systems

[Apologies if you receive multiple copies]


1st Workshop on Formal Approaches for Advanced Computing Systems (FAACS

September 4th, 2017
FBK, Trento, Italy
(in conjunction with SEFM 2017)




Paper submission: June 11th, 2017 (EXTENDED)
Author notification: July 6th, 2017
Post-proceedings camera-ready version: TBA
Workshop date: September 4th, 2017



Paolo Arcaini, Charles University, Czech Republic, (arcaini at d3s.mff.cuni.cz)
Marina Mongiello, Politecnico di Bari, Italy, (marina.mongiello at poliba.it)
Elvinia Riccobene, Universit� degli Studi di Milano, Italy,
(elvinia.riccobene at unimi.it)
Patrizia Scandurra, Universit� degli Studi di Bergamo, Italy,
(patrizia.scandurra at unibg.it)



The way services and information are currently delivered to a multitude of
end-users is changing impressively thanks to the availability of systems
built on new technologies (as IoT connectivity and smart devices), and
exposing complex computational models (as mobile, cloud, autonomic,
adaptive, etc.).
The development of these Advanced Computing Systems requires the integration

of heterogeneous methods, techniques, solutions already individually tested
in specific contexts. Moreover, the employment of the emerging technologies
may unexpectedly expose the user to undesired consequences; therefore,
ensuring reliability, safety, and availability of such systems, is a very
challenging issue that requires rigorous modeling and analysis techniques.
Formal approaches have been widely developed in the area of classical
systems and applied to several case studies. The challenge now is how to
with the new problems (e.g., uncertainty, untrustworthiness, information
loss, etc.)
that are emerging in the development and maintenance
of advanced computing systems.
The workshop will be a forum for researchers and practitioners to discuss if

current formal methods are suitable for the specification and analysis of
advanced computing systems, and what are the upcoming challenges for the
method community in devising rigorous approaches able to deal with
characteristics of the emerging technologies and computational models.


List of topics includes but is not limited to:
- Formal methods and semi-formal methods for modeling, validation,
  and verification of functional and non-functional properties of:
        cloud applications
        mobile applications
        mobile cloud applications
        self-adaptive systems
        Collective Adaptive Systems
        systems of systems
        IoT applications
        smart systems
        socio-technical systems
        large-scale distributed applications
        cyber-Physical Systems
- Functional, performance, and QoS testing, provided as a service on the
Cloud or in an IoT network
- Case studies and experience reports



Two kinds of contributions are invited (written in English and
prepared using the specific LNCS templates):

- Research papers: they must be between 6 and 15 pages long
(including references) for the submission and the pre-proceedings.
Up to 2 additional pages will be given for the post-proceedings,
only to address reviewers' comments and feedback from the workshop.

- Short new ideas/work-in-progress papers describing new approaches,
techniques and/or tools that are not fully validated yet: they must
be up to 6 pages (including references). No additional pages will be
given for the post-proceedings. The paper must contain
"(short paper)" as subtitle.

Submission site: https://easychair.org/conferences/?conf=faacs2017

All accepted papers will be published in a joint LNCS proceedings volume for
SEFM co-located events.



Yamine Ait Ameur, IRIT, France
Alessandro Bianchi, University of Bari, Italy
Chiara Braghin, University of Milan, Italy
Antonio Bucchiarone, Bruno Kessler Foundation of Trento, Italy
Georg Buchgeher, SCCH, Austria
Matteo Camilli, University of Milan, Italy
Tommaso Di Noia, Politecnico di Bari, Italy
Antonio Filieri, Imperial College London, UK
Stefan Hallerstede, Aarhus University, Denmark
Roxana Holom, RISC Software GmbH, Austria
Sungwon Kang, Korea Advanced Institute of Science and Technology, Korea
Jan Kofron, Charles University, Czech Republic
Elizabeth Leonard, Center for High Assurance Computer Systems, NRL, USA
Martina Maggio, Lund University, Sweden
Dominique M�ry, LORIA, France
Raffaela Mirandola, Politecnico di Milano, Italy
Francesco Nocera, Politecnico di Bari, Italy
Hongyu Pei-Breivold, ABB Corporate Research, Sweden
Diego P�rez-Palacin, University of Zaragoza, Spain
Andreas Prinz, University of Agder, Norway
Alexander Raschke, Universit�t Ulm, Germany
Ella Roubtsova, Open Universiteit, Nederland
Guido Salvaneschi, TU Darmstadt, Germany
Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, France
Colin Snook, University of Southampton, UK
Romina Spalazzese, Malm� University, Sweden
Paola Spoletini, Kennesaw State University, USA



The conference will take place in Trento at the FBK's Science and Technology
Address:  FBK's Science and Technology Hub,  Via Sommarive, 18 - POVO, 38123

Further details on the venue will be announced on the workshop site


Message-ID: <8DF48D78-6D8B-4403-8329-D302B9AF85C8 at ifi.uio.no>
Date: Fri, 2 Jun 2017 14:36:07 +0000
From: Silvia Lizeth Tapia Tarifa <sltarifa at ifi.uio.no>
Subject: [FME Events] Final Call for Papers: PhD Symposium at iFM'17

[Apologies if you receive multiple copies of this email. Please distribute to
interested parties]

                   Call for Papers
              PhD Symposium at iFM'17 on
    Formal Methods: Algorithms, Tools and Applications
            Torino, Italy, September 19, 2017


Paper submission: June 15, 2017
Author notification: July 7, 2017

=== Scope  ===

The theory, implementation, integration or application of
formal methods in a broad sense.

=== Who can submit? ===

PhD students and young researchers at an early
career stage (up to 2 years after PhD completion).

=== Why to submit? ===

- Participants will have the possibility to give short
  presentations about their research projects. Thus the
  doctoral symposium offers an excellent opportunity to
  present your work in an international setting, and to
  get feedback from senior researchers in the field.
- We are happy to announce an invited talk by Dr. Mike
  Nikolai, RTD Manager at Siemens Industry Software NV, who
  will talk about integrated formal methods in a certain
  industrial context.
- The doctoral symposium lets you exchange knowledge and
  experiences with fellow PhD-students in a related topic.
- The best paper/presentation will be awarded.
- The selected contributions will be published as a technical
  report of the University of Oslo, Norway.

=== What to submit? ===

You are welcome to submit an extended abstract of 1-3 pages,
describing your research project which you would
like to present. Co-authors are allowed, but you should be
the first author. The results may have been accepted or
even published elsewhere. Multiple submissions by one author
are not permitted. Submissions should be written in English
and follow the EasyChair formatting guidelines, available at


Please submit your abstract electronically in pdf via the
EasyChair page


The submitted abstracts will undergo a lightweight reviewing
process. A symposium proceedings containing the accepted
abstracts will be available as a technical report of
the University of Oslo.

=== Invited Presentation ===

Mike Nikolai
(Siemens Industry Software NV, Belgium):
Automatic Reasoning for Novel Engineering Designs


=== Symposium Co-Chairs ===

  Erika Abraham (RWTH Aachen University, Germany), chair
  S. Lizeth Tapia Tarifa (University of Oslo, Norway), chair

=== Program Committee ===

  Stijn de Gouw (Open University, The Netherlands)
  Marieke Huisman (University of Twente, The Netherlands)
  Laura Kovacs (Vienna University of Technology, Austria)
  Ralf Wimmer (Albert-Ludwigs-University Freiburg, Germany)

Message-ID: <9eac8a16-fee8-618c-1443-1069e72d4f6b at istc.cnr.it>
Date: Thu, 8 Jun 2017 16:12:10 +0200
From: AndreA Orlandini <andrea.orlandini at istc.cnr.it>
Subject: [FME Events] Call for Papers - Deadline Extension - GandALF 2017 -
 International Symposium on Games, Automata, Logics, and Formal Verification -
 Rome - 20-22 September 2017

**** Apologies for multiple postings ****************************************

– Abstract submission: June 13, 2017
– Paper submission: June 15, 2017



The Eighth International Symposium on Games, Automata, Logics, and Formal
Verification will be held in Rome (Italy) on 20-21-22 September 2017.

****http://gandalf2017.istc.cnr.it  *****************************************

The aim of GandALF 2017 symposium is to bring together researchers from
academia and industry which are actively working in the fields of Games,
Automata, Logics, and Formal Verification. The idea is to cover an ample
spectrum of themes, ranging from theory to applications, and stimulate cross-

Papers focused on formal methods are especially welcome. Authors are invited
to submit original research or tool papers on all relevant topics in these
areas. Papers discussing new ideas that are at an early stage of development
are also welcome. The topics covered by the conference include, but are not
limited to, the following:
– Automata Theory
– Automated Deduction
– Computational aspects of Game Theory
– Concurrency and Distributed computation
– Decision Procedures
– Deductive, Compositional, and Abstraction Techniques for Verification
– Finite Model Theory
– First-order and Higher-order Logics
– Formal Languages
– Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
– Games and Automata for Verification
– Game Semantics
– Logical aspects of Computational Complexity
– Logics of Programs
– Modal and Temporal Logics
– Model Checking
– Models of Reactive and Real-Time Systems
– Program Analysis and Software Verification
– Run-time Verification and Testing
– Specification and Verification of Finite and Infinite-state Systems
– Synthesis

– Abstract submission: June 13, 2017
– Paper submission: June 15, 2017 (strict)
– Notification: July 21, 2017
– Camera-ready: August 18, 2017
- Conference: Sept. 20-22, 2017

The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science. Authors of the best papers will be invited to submit a
revised version of their work to a special issue of the journal “Information
and Computation” (Elsevier). The previous editions of GandALF already led to
special issues of the International Journal of Foundations of Computer Science
(GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012),
Information and Computation (GandALF 2013, 2014, and 2016, the latter one
still in progress), and Acta Informatica (GandALF 2015).

Submitted papers should not exceed fourteen (14) pages using EPTCS format
(please use the LaTeX style provided athttp://style.eptcs.org), be unpublished
and contain original research. For papers reporting experimental results,
authors are encouraged to make their data available with their submission.
Submissions must be in PDF or PS format and will be handled via the EasyChair
Conference system at the following

- Ranko Lazic, Department of Computer Science, University of Warwick, U.K.
- Michael Wooldridge, Head of Department of Computer Science, University of
Oxford, U.K.

The Italian Association for Artificial Intelligence offers travel grants,
which partially support the registration fees, travel, accommodation
and meal expenses, for the participation of students in GandALF 2017.
The candidates should send the travel grant application to Andrea Orlandini
(by emailgandalf.2017 at istc.cnr.it) by 30/07/2017
More info here:http://gandalf2017.istc.cnr.it/aixia-call-for-scholarships/

Patricia Bouyer-Decitre LSV, CNRS & ENS de Cachan, France
Pierluigi San Pietro, Politecnico di Milano, Italy

Amedeo Cesta, ISTC-CNR, Italy

Andrea Orlandini, ISTC-CNR, Italy

Parosh A. Abdulla (Uppsala University, Sweden)
Benedikt Bollig (LSV, Cachan, France)
Patricia Bouyer (LSV, Cachan, France)
Tomas Brazdil (Masaryk University, Brno, Czech Republic)
Marta Cialdea Mayer (University of Roma, Italy)
Thomas Colcombet (IRIF, Paris, France)
Bernd Finkbeiner (Saarland University, Germany)
Hugo Gimbert (LaBRI, Bordeaux, France)
Rasmus Ibsen-Jensen (IST, Vienna, Austria)
Angelo Montanari (University of Udine, Italy)
Andrea Orlandini (CNR Roma, Italy)
Doron Peled (Bar Ilan University, Israel)
R. Ramanujam (IMSc, Chennai, India)
Mickael Randour (ULB, Brussels, Belgium)
Matteo Rossi (Politecnico di Milano, Italy)
Pierluigi San Pietro (Politecnico di Milano, Italy)

Luca Aceto, School of Computer Science, Reykjavik University, Iceland
Javier Esparza, University of Munich, Germany
Salvatore La Torre, University of Salerno, Italy
Angelo Montanari, University of Udine, Italy
Mimmo Parente, University of Salerno, Italy
Wolfgang Thomas, Aachen University, Germany

AndreA Orlandini PhD

  National Research Council of Italy
  Institute for Cognitive Science and Technology
  Phone:  +39-06-44595-223      E-mail:andrea.orlandini at istc.cnr.it
  Fax:    +39-06-44595-243      Url:http://www.istc.cnr.it/group/pst

Me, the one and only person that never leaves me alone!



End of it-fmeurope-events Digest Fri, 09 Jun 2017

More information about the ecoop-info mailing list