[ecoop-info] it-fmeurope-events Digest Mon, 22 May 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Mon May 22 21:45:17 CEST 2017

it-fmeurope-events digest Mon, 22 May 2017

Table of contents:

* 1 - [FME Events] [spin2017] ISSTA & SPIN 2017 - Call for participation -
  Yliès Falcone <ylies.falcone at univ-grenoble-alpes.fr>
* 2 - [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>
* 3 - [FME Events] HVC 2017 - Call For Papers - "Tali Rabetti"
  <TALIS at il.ibm.com>


Message-ID: <81058B5B-5A24-4D8D-B0AA-94841D18B7F6 at univ-grenoble-alpes.fr>
Date: Sat, 20 May 2017 10:15:12 +0200
From: Yliès Falcone <ylies.falcone at univ-grenoble-alpes.fr>
Subject: [FME Events] [spin2017] ISSTA & SPIN 2017 - Call for participation

[ Text converted from HTML ]
26th ACM SIGSOFT International Symposium on Software Testing and
24th International SPIN Symposium on Model Checking of
July 10-14, 2017, Santa Barbara, California, USA
ISSTA is the leading research symposium on software testing and analysis,
bringing together academics, industrial researchers, and practitioners to
exchange new ideas, problems, and experiences on how to analyze and test
software systems.
The SPIN symposium brings together researchers and practitioners
interested in automated, tool-based techniques to analyze software
systems and models of software systems for verification and validation

*** VENUE ***
University of California, Santa Barbara (www.ucsb.edu)

Registration is open! Early registration until June 9.

ISSTA list of accepted papers:
SPIN list of accepted papers:

ISSTA Christopher Kruegel, UCSB Armando Solar-Lezama, MIT
SPIN Domagoj Babic, Google Byron Cook, Amazon Web Services Gerard
Holzmann, Nimble Research

ISSTA Doctoral Symposium
ISSTA Demonstrations track
TECPS 2017: Workshop on Testing Embedded and Cyber-Physical Systems
RERS Challenge 2017: Rigorous Examination of Reactive Systems

http://facebook.com/isstaconf http://twitter.com/issta_conf

Message-ID: <b3e1b3bd-80c3-1c4b-e2a1-5820926dc1cb at istc.cnr.it>
Date: Mon, 22 May 2017 10:19:38 +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 ****************************************

After many requests

– 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 a journal (in progress).
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!

Message-ID: <OFC0617AA9.BE390CDB-ONC2258124.00227DB7-
 C2258124.00229DEE at notes.na.collabserv.com>
Date: Thu, 18 May 2017 06:18:06 +0000
From: "Tali Rabetti" <TALIS at il.ibm.com>
Subject: [FME Events] HVC 2017 - Call For Papers

Thirteenth Haifa Verification Conference 2017
November 13 - 15, 2017
Tutorials: November 13, 2017
Haifa, Israel - Organized by IBM Research - Haifa
HVC Facebook page
HVC is an annual conference dedicated to advancing the state-of the art
and state-of-the-practice in verification and testing. At the conference,
researchers and practitioners from academia and industry network, share
ideas, and ponder the future directions of testing and verification for
hardware, software, and complex hybrid systems.
The common goal of the conference topics and participants is to ensure the
correct functionality and performance of complex systems. HVC is the only
conference that brings together experts from all verification and testing
sub-fields, thereby encouraging the migration of methods and ideas among
HVC 2017 invites the submission of technical papers reporting original
research and experience results in all sub-fields of testing and
verification applicable to software and hardware. The conference includes
the presentation of peer-reviewed, original technical papers, as well as
lectures by guests from industry and academia.

Special theme this year: verification for security
In addition to the traditional HVC topics (see below), we plan at least
one session dedicated to the research and application of verification
techniques in security. At least one of our invited keynote talks will be
dedicated to this topic.
New this year: tool demos category
In addition to the research and poster sessions, we plan to hold a tool
demos session.
The conference proceedings will be published in Springer?s Lecture Notes
in Computer Science series (LNCS), and distributed in digital format to
registered conference participants.
Important dates:
·       Submission deadline (all categories): July 21, 2017 - 11.59 pm GMT
·       Author acceptance notification: September 1, 2017
·       Final manuscripts due: September 15, 2017
·       Conference: November 13 - 15, 2017
·       Tutorials: November 13, 2017
Topics of interest to the conference include, but are not limited to:
·       Simulation-based verification
·       Formal and semi-formal specification, modeling, and verification
·       Functional and non-functional software testing
·       Software and hardware equivalence checking
·       SAT/SMT-based verification algorithms
·       Static analysis
·       Model checking
·       High-level stimuli generation
·       Hardware/software co-verification
·       Cloud quality
·       Validation of data-intensive solutions
·       Validation of machine learning algorithms
·       Triage and debug technologies
·       Post-silicon validation including emulation and acceleration
·       Coverage analysis and test minimization
·       Testing of mobile and cloud applications
·       Software artifacts review and inspection
·       Test planning
·       Empirical studies on hardware and software quality
·       Security verification
·       Machine learning techniques for verification
Detailed instructions for electronic submissions can be found on the HVC
conference web site. For additional information regarding paper
submissions, please contact the HVC program chair Ofer Strichman.
The lovely city of Haifa resides on a mountain overlooking the
Mediterranean Sea, and is home to Jews, Muslims, and Christians. Haifa is
also the world center of the Baha?i faith, and the wondrous Baha?i gardens
are a must-see attraction. The conference will be held at IBM Research -
Haifa, situated at the top of the Carmel mountains.
Student grants:
We anticipate a number of student grants to cover part of the travel
expenses for full-time students who are authors of accepted papers.
Precedence in allocation of these travel grants will be to students who
are also presenting a poster at the conference.
General chair: Rachel Tzoref-Brill (rachelt at il.ibm.com)
Program chair: Ofer Strichman (ofers at ie.technion.ac.il)
Local organization: Revivit Yankovich (revivity at il.ibm.com)
Publicity chair: Tali Rabetti (talis at il.ibm.com)
Tutorial chair: Tom Kolan (tomk at il.ibm.com)
For more information, please refer to HVC2017 web page:
Follow us on Facebook

[An attachment of type application/octet-stream was included here]



End of it-fmeurope-events Digest Mon, 22 May 2017

More information about the ecoop-info mailing list