4PAD 2017
Date: Mar 05, 2017 10:00 pm – Mar 08, 2017 9:00 am
4th PDP special session on FORmal approaches to PArallel and Distributed systems (4PAD 2017)
held at PDP 2017
Scope
The aim of 4PAD is to foster interaction between the formal methods communities and systems researchers working on topics in modern parallel, distributed, and network-based processing systems (e.g. autonomous computing systems, cloud computing systems, service-oriented systems and parallel computing architectures).
Topics
We solicit papers in all areas of the above mentioned systems, including (but not limited to):
- 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, adaptation/evolution, reconfiguration, and monitoring;
- Case studies developed/analyzed with formal approaches;
- Formal stochastic models and analysis;
- Formal methods for large-scale distributed systems;
- Statistical analysis techniques based on formal approaches.
Additional information about the journal:
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming
Session Chairs
- Simon Bliudze (EPFL, Switzerland)
- Borzoo Bonakdarpour (McMaster University, Canada)
Program Committee
- Gul Agha (University of Illinois, US)
- Michele Amoretti (SITEIA.PARMA - University of Parma, IT)
- Farhad Arbab (CWI/University of Leiden, NL)
- Lacramioara Astefanoaei (FORTIS, DE)
- Paul Attie (American University of Beirut, LB)
- Simon Bliudze (Ecole polytechnique federale de Lausanne, CH)
- Laura Bocchi (University of Kent, UK)
- Borzoo Bonakdarpour (McMaster University, CA)
- Albert Cohen (INRIA/Ecole Normale Superieure - Paris, FR)
- Fathiyeh Faghih (McMaster University, CA)
- Ludovic Henrio (CNRS, FR)
- Marieke Huisman (University of Twente, NL)
- Swen Jacobs (Saarland University, DE)
- Peter Kilpatrick (Queen's University Belfast, UK)
- Igor Konnov (Vienna University of Technology, AT)
- Sandeep Kulkrani (Michigan State University, US)
- Alberto Lluch Lafuente (Technical University of Denmark, DK)
- Frédéric Loulergue (University of Orleans, FR)
- Neeraj Mittal (University of Texas at Dallas, US)
- Anca Muscholl (LaBRI, University of Bordeaux, FR)
- Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, MX)
- Gwen Salaün (INRIA/University of Grenoble Alpes, FR)
- Sven Schewe (University of Liverpool, UK)
- Elena Sherman (Boise State University, US)
- Francesco Tiezzi (University of Camerino, IT)
- Sebastien Tixeuil (Université Pierre et Marie Curie - Paris 6, FR)
- Enrico Tronci (Sapienza University of Rome, IT)
- Emilio Tuosto (University of Leicester, UK)
Submitted by Anonymous
on
Date: Mar 05, 2017 10:00 pm – Mar 08, 2017 9:00 am
4th PDP special session on FORmal approaches to PArallel and Distributed systems (4PAD 2017)
held at PDP 2017
Scope
The aim of 4PAD is to foster interaction between the formal methods communities and systems researchers working on topics in modern parallel, distributed, and network-based processing systems (e.g. autonomous computing systems, cloud computing systems, service-oriented systems and parallel computing architectures).
Topics
We solicit papers in all areas of the above mentioned systems, including (but not limited to):
- 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, adaptation/evolution, reconfiguration, and monitoring;
- Case studies developed/analyzed with formal approaches;
- Formal stochastic models and analysis;
- Formal methods for large-scale distributed systems;
- Statistical analysis techniques based on formal approaches.
Additional information about the journal:
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming
Session Chairs
- Simon Bliudze (EPFL, Switzerland)
- Borzoo Bonakdarpour (McMaster University, Canada)
Program Committee
- Gul Agha (University of Illinois, US)
- Michele Amoretti (SITEIA.PARMA - University of Parma, IT)
- Farhad Arbab (CWI/University of Leiden, NL)
- Lacramioara Astefanoaei (FORTIS, DE)
- Paul Attie (American University of Beirut, LB)
- Simon Bliudze (Ecole polytechnique federale de Lausanne, CH)
- Laura Bocchi (University of Kent, UK)
- Borzoo Bonakdarpour (McMaster University, CA)
- Albert Cohen (INRIA/Ecole Normale Superieure - Paris, FR)
- Fathiyeh Faghih (McMaster University, CA)
- Ludovic Henrio (CNRS, FR)
- Marieke Huisman (University of Twente, NL)
- Swen Jacobs (Saarland University, DE)
- Peter Kilpatrick (Queen's University Belfast, UK)
- Igor Konnov (Vienna University of Technology, AT)
- Sandeep Kulkrani (Michigan State University, US)
- Alberto Lluch Lafuente (Technical University of Denmark, DK)
- Frédéric Loulergue (University of Orleans, FR)
- Neeraj Mittal (University of Texas at Dallas, US)
- Anca Muscholl (LaBRI, University of Bordeaux, FR)
- Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, MX)
- Gwen Salaün (INRIA/University of Grenoble Alpes, FR)
- Sven Schewe (University of Liverpool, UK)
- Elena Sherman (Boise State University, US)
- Francesco Tiezzi (University of Camerino, IT)
- Sebastien Tixeuil (Université Pierre et Marie Curie - Paris 6, FR)
- Enrico Tronci (Sapienza University of Rome, IT)
- Emilio Tuosto (University of Leicester, UK)
Submitted by Anonymous
on