List of workshops - page 9
- The 2018 Workshop on Model-Based Design of Cyber Physical Systems (CyPhy'18)
CyPhy'18 brings together researchers and practitioners working on model-based design of cyber physical system, based on a broad interpretation of the area, to collect and exchange expertise from a diverse set of disciplines.
- CfP - SEMS'18: 5th International Workshop on Software Engineering Methods in Spreadsheets
* Call for Papers *
5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18)
http://sems2018.ist.tugraz.at/
https://twitter.com/sems_workshop
October 1st, 2018, Lisbon, Portugal
Co-located with the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)* Important Dates *
Paper submission: July 13th, 2018
Authors notification: August 3rd, 2018
Camera ready version: August 17th, 2018
Workshop day: October 1st, 2018- REFINE 2018 deadline extension
REFINE 2018: Refinement Workshop - Deadline extension
Co-located with FM 2018 (part of FLoC)
Oxford, UK, July 18, 2018Extended submission deadline: April 23, 2018
- QAPL 2018: second call for papers
QAPL 2018, the 16th workshop on Quantitative Aspects of Programming Languages and Systems will be held at July 14 in Oxford in the middle of the two FLoC weeks. This is the second call for papers including abstracts of the invited talks by Carlo Ghezzi and Annabelle McIver.
- MeTRiD 2018: Deadline extension (ETAPS workshop)
MeTRiD 2018 is a new international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design approach. The term "Rigorous System Design" denotes the design approach that is based on a formal, accountable and iterative process for deriving trustworthy and optimised implementations from models of application software, its execution platform and its external environment.
- 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): last CfP
WRLA 2018, the 12th International Workshop on Rewriting Logic and its Applications: an ETAPS 2018 satellite event - Thessaloniki, Greece - April 14-15 2018
- Rigorous System Design, CfP MeTRiD workshop @ ETAPS 2018
MeTRiD 2018 is a new international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design approach. The term "Rigorous System Design" denotes the design approach that is based on a formal, accountable and iterative process for deriving trustworthy and optimised implementations from models of application software, its execution platform and its external environment. In particular, a system implementation is derived from a set of appropriate high-level models by applying a sequence of semantics-preserving transformations, thereby as much as possible striving for achieving correctness by construction.
- PEPM 2018 Call for Poster/Demo Abstracts and Participation
PEPM 2018 is accepting proposals for poster/demo presentations on a rolling basis, until 8th December (AoE).
