List of workshops - page 3


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

SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May
by Christoph Wintersteiger, April 29, 2017

SMT 2017
15th International Workshop on Satisfiability Modulo Theories July 22 - 23, 2017, Heidelberg, Germany Affiliated with CAV 2017

CFP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for IoT
by guidosalva, April 12, 2017

Call for Papers
*** 1st workshop on Architectures, Languages and Paradigms for IoT ***

September 18th, 2017
Co-located with the 13th International Conference on integrated Formal Methods (iFM 2017), University of Torino, Turin, Italy
http://bit.ly/alp4iot2017

Accepted full papers will be published in EPTCS - Electronic Proceedings in Theoretical Computer Science

10th Interaction and Concurrency Experience
by Massimo Bartoletti, Jan. 17, 2017

June 22, 2017, Neuch√Ętel, Switzerland

Satellite workshop of DisCoTec 2017

April 18, 2017.........................Abstract submission (EXTENDED)
April 21, 2017........................Full paper submission (EXTENDED)
May 19, 2017..........................Notification to authors

Next 40 Years of Abstract Interpretation Workshop
by Caterina Urban, Dec. 16, 2016