List of workshops - page 3


11th Interaction and Concurrency Experience (ICE 2018)
by Massimo Bartoletti, March 5, 2018

June 20-21, 2018, Madrid, Spain

Satellite workshop of DisCoTec 2018

April 6, 2018.........................Paper submission
May 14, 2018..........................Notification to authors

5th Workshop on Model Driven Approaches in System Development (MDASD 2018)
by Ivan Lukovic, Feb. 10, 2018

A goal of the proposed workshop is to bring together people working on MD languages, techniques and tools, as well as Domain Specific Languages (DSL) and applying them in the requirements engineering, information system and application development, databases, and related areas, so that they can exchange their experience, create new ideas, evaluate and improve MD approaches and spread its use. The intention is to target an interdisciplinary nature of MD approaches in software engineering, as well as research topics expressed by but not limited to acronyms such as Model Driven Software Engineering (MDSE), Model Driven Software Development (MDSD), Domain Specific Modeling (DSM), and OMG's Model Driven Architecture (MDA).

MeTRiD 2018: Deadline extension (ETAPS workshop)
by Simon Bliudze, Jan. 22, 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.

X-by-Construction: call for expressions of interest
by Maurice ter Beek, Dec. 9, 2017

CALL FOR EXPRESSIONS OF INTEREST
Deadline: January 15th 2018

X-by-Construction
====================

A track at ISoLA 2018
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
5-9 November 2018
Limassol, Cyprus

http://fmt.isti.cnr.it/~mtbeek/ISoLA18.html
====================

12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): last CfP
by Vlad Rusu, Dec. 4, 2017

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
by Simon Bliudze, Dec. 3, 2017

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
by Hsiang-Shang Ko, Nov. 23, 2017

PEPM 2018 is accepting proposals for poster/demo presentations on a rolling basis, until 8th December (AoE).

Theory and Practice of Differential Privacy (TPDP) - Deadline Extension: August 11 2017
by Justin Hsu, Aug. 5, 2017

CALL FOR PAPERS (Extended Deadline)
TPDP 2017
Third Workshop on the Theory and Practice of Differential Privacy
October 30th 2017, Dallas, TX, USA
Affiliated with CCS 2017