1st Special Session on Formal Approaches to Parallel and Distributed Systems

Torino, Italy, 12/02/2014 – 14/02/2014
hosted by PDP 2014

The aim of this special session is to foster the recent convergence on research interests from several communities investigating modern parallel, distributed, and network-based processing systems such as autonomic computing systems, cloud computing systems, service-oriented systems and parallel computing architectures.

Topics of Interest
  • Rigorous software engineering approaches and their tool support;
  • Model-based approaches, including model-driven development;
  • Service- and component-based approaches;
  • Semantics, types and logics;
  • Formal specification and verification;
  • Performance analysis based on formal approaches;
  • Formal aspects of programming paradigms and languages;
  • Formal approaches to parallel architectures and weak memory models;
  • Formal approaches to deployment, run-time analysis, reconfiguration, and monitoring;
  • Parallel and distributed verification;
  • Case studies developed/analyzed with formal approaches;
Tags:

Event

1st Special Session on Formal Approaches to Parallel and Distributed Systems

— acronym

4PAD 2014

— type

special track

— series

4PAD (1st, 2014)

— where

Torino, Italy

— when

12/02/2014–14/02/2014

Dates

— abstract submission

25/08/2013

— paper submission

01/09/2013

— notification

07/10/2013

— camera-ready

31/10/2013

URLs

home page
submission

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY