posted by organizer: rbehjati || 4954 views || tracked by 4 users: [display]

iFMCloud 2016 : The First International Workshop on Formal Methods for and on the Cloud

FacebookTwitterLinkedInGoogle

Link: https://ifmcloud2016.nntb.no/
 
When Jun 4, 2016 - Jun 4, 2016
Where Reykjavik, Iceland
Abstract Registration Due Feb 13, 2016
Submission Deadline Feb 20, 2016
Notification Due Mar 25, 2016
Final Version Due Apr 10, 2016
Categories    formal methods   cloud computing   distributed systems   verification
 

Call For Papers

============================ Call for Papers =============================

iFMCloud 2016

1st International
Workshop on Formal Methods for and on the Cloud
https://ifmcloud2016.nntb.no/

co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland
=====================================================================

Important Dates

Abstract submission deadline: February 13, 2016
Paper submission deadline: February 20, 2016
Author notifications: March 25, 2016
Camera-ready copies: April 10, 2016
Workshop date: June 4, 2016


Keynote Speaker

Gul Agha (University of Illinois at Urbana-Champaign, USA)


Motivation

Cloud solutions are increasingly used for a plethora of purposes, including
solving memory-intensive and computation-intensive problems. Ensuring the
reliability, availability, scalability, and security of cloud solutions, as
networked distributed systems with properties such as dynamic reallocation
of resources, is a challenging problem that requires rigorous modeling,
analysis, and verification tools. Such tools can be devised using the
techniques provided by the formal methods community. On the other hand, many
formal analysis and verification tools are memory-intensive and
computation-intensive solutions, which can benefit from the cloud technology.


The goal of the iFMCloud workshop is to identify and better understand
challenges of using formal and semi-formal methods for modeling and
verification of Cloud-based systems and computer and communication networks,
as well as challenges and opportunities in providing formal analysis and
verification as services on the Cloud. We aim to reach these goals by
bringing together researchers and practitioners from these, and other
related fields.


Topics

We particularly encourage position papers and experience reports, which
identify and structure open challenges and research questions. We are
interested in all topics related to synergies between the fields of formal
and semi-formal methods and the fields of cloud computing and computer and
communication networks, including but not limited to:

* Formal and semi-formal methods for modeling, analysis, and verification
of Cloud-based systems and computer and communication networks:
- Methods for analysis and design of cloud infrastructures
- Methods for analysis and design of cloud applications
- Modeling and verification of networked systems, in particular
SDN-based systems
- Runtime analysis, monitoring, and performance evaluation
* Formal analysis and verification as services on the Cloud
- Opportunities and challenges of providing formal analysis and
verification as services on the Cloud
- Distributed algorithms for analysis and verification
* Testing as a service on the Cloud
* Case studies and experience reports
* Position statements setting a research agenda for collaboration between
the formal methods community, the cloud computing community, and other
related fields


Submission guidelines

Authors are invited to submit position papers and experience reports (max 8 pages) in
EPTCS proceedings format. Submissions must be original, and will be selected based on
the relevance to the workshop topics and the suitability to trigger discussions. All
submissions will be reviewed by at least three members of the program committee. We
plan to publish accepted papers in an EPTCS volume. Papers should be submitted via
Easychair at:
https://easychair.org/conferences/?conf=ifmcloud16


Contact Information

To contact the organizers, please send an email to:
iFMCloud16-organizers@googlegroups.com


Organizing Committee

Razieh Behjati, Simula Research Laboratory, Norway
Ahmed Elmokashfi, Simula Research Laboratory, Norway


Program Committee

Eva Darulova, MPI-SWS, Germany
Fatemeh Ghassemi, University of Tehran, Iran
Arnaud Gotlieb, Simula Research Laboratory, Norway
Ernst Gunnar Gran, Simula Research Laboratory, Norway
Hossein Hojjat, Cornell University, USA
Geir Horn, University of Oslo, Norway
Andreas Kassler, Karlstad University, Sweden
Steven Latre, University of Antwerp - iMinds, Belgium
Meriem Ouederni, IRIT/INPT Toulouse, France
Rosario Pugliese, University of Florence, Italy
Sven-Arne Reinemo, Fabriscale Technologies, Norway
Hamideh Sabouri, Shahid Beheshti University, Iran
Jesus Escudero Sahuquillo, Technical University of Valencia, Spain
Sagar Sen, Simula Research Laboratory, Norway
Marjan Sirjani, Reykjavik University, Iceland
Martin Steffen, University of Oslo, Norway
Amirhossein Taherkordi, University of Oslo, Norway

Related Resources

FM 2024   Formal Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ICFEM 2024   International Conference on Formal Engineering Methods
COMIT 2024   8th International Conference on Computer Science and Information Technology
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
JARES 2024   International Journal of Advance Robotics & Expert Systems
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ICCIA 2024   2024 9th International Conference on Computational Intelligence and Applications (ICCIA 2024)
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning