List of workshops

12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): last CfP by Vlad Rusu on December 4, 2017 (edited on December 29, 2017)
Rigorous System Design, CfP MeTRiD workshop @ ETAPS 2018 by Simon Bliudze on December 3, 2017
PEPM 2018 Call for Poster/Demo Abstracts and Participation by Hsiang-Shang Ko on November 23, 2017 (edited on November 25, 2017)
Theory and Practice of Differential Privacy (TPDP) - Deadline Extension: August 11 2017 by [Deactivated account] on August 5, 2017
CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages & Systems by Guido Salvaneschi on June 12, 2017
SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May by Christoph M. Wintersteiger on April 29, 2017
CFP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for IoT by Guido Salvaneschi on April 12, 2017
10th Interaction and Concurrency Experience by Massimo Bartoletti on January 17, 2017 (edited on April 5, 2017)
Next 40 Years of Abstract Interpretation Workshop by Caterina Urban on December 16, 2016
[iFM 2017] Final Call for Workshops Proposals by ChristophSeidl on December 2, 2016
ECOOP 2017 - Call for Workshop Proposals by crafa on October 31, 2016
[iFM'17] Call for Workshops at International Conference on integrated Formal Methods 2017 by ChristophSeidl on October 28, 2016
Final CfP: VaMoS 2017 - 11th International Workshop on Variability Modelling of Software-intensive Systems by Önder Babur on October 22, 2016
Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!) by [Deactivated account] on September 21, 2016
CFP: REBLS 2016, 3rd International Workshop on Reactive and Event-Based Languages & Systems by Guido Salvaneschi on July 5, 2016
TAPAS 2016 - Workshop on Tools for Automatic Program Analysis by Manu Sridharan on June 7, 2016
3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16) by Jácome Cunha on April 5, 2016
Workshop on Context-oriented Programming (COP) 2016 at ECOOP | Call for Papers by Guido Salvaneschi on April 4, 2016
CFP: COP @ ECOOP'16 - 8th International Workshop on Context-oriented Programming by Guido Salvaneschi on March 10, 2016
3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16) - Call for Papers by Jácome Cunha on February 19, 2016
Call for papers - BigMDE workshop @ STAF'16 by [Deactivated account] on February 3, 2016
ICE 2016 : 9th Interaction and Concurrency Experience by Massimo Bartoletti on January 19, 2016
Last CFP: 1st ETAPS Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST) by goessler on January 4, 2016
CREST: 1st Workshop on Causal-based Reasoning for Embedded and safety-critical Systems Technologies by goessler on October 6, 2015
WODA 2015: Deadline Extension by [Deactivated account] on August 5, 2015