List of workshops - page 3


REFINE 2018 deadline extension
by Brijesh Dongol, April 17, 2018

REFINE 2018: Refinement Workshop - Deadline extension

Co-located with FM 2018 (part of FLoC)
Oxford, UK, July 18, 2018

Extended submission deadline: April 23, 2018

QAPL 2018: second call for papers
by Erik de Vink, March 22, 2018

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)
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.

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

CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages & Systems
by guidosalva, June 12, 2017

CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages &
Systems

4rd International Workshop on Reactive and Event-Based Languages &
Systems

Held at SPLASH Conference http://2017.splashcon.org/
Vancouver, Canada - October 23rd, 2017