List of workshops

MoreVMs 2020 : Workshop on Modern Language Runtimes, Ecosystems, and VMs
by Fabio Niephaus, Nov. 15, 2019

Following three previous successful editions, the MoreVMs’20 workshop aims to bring together industrial and academic programmers to discuss the design, implementation, and usage of modern languages and runtimes. This includes aspects such as reuse of language runtimes, modular implementation, language design and compilation strategies. By bringing together both researchers and practitioners, the workshop aims to enable a diverse discussion on how languages and runtimes are currently being utilized, and where they need to improve further.

by goessler, Nov. 13, 2019

5th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

Dublin, Ireland, 25 April 2020
A satellite event of ETAPS 2020

WRLA 2020
by Santiago Escobar, Oct. 1, 2019

WRLA 2020
The 13th International Workshop on Rewriting Logic and its Applications
An ETAPS 2020 satellite event - Dublin, Ireland - April 25-26 2020

CFP: 18th Belgium-Netherlands Software Evolution Workshop - BENEVOL 2019
by Dario Di Nucci, Sept. 20, 2019

The Call for Paper for the 18th Belgium-Netherlands Software Evolution Workshop

Brussels, Belgium
28th - 29th November, 2019

VerifyThis Long-term Challenge starts NOW!
by Raul Monti, Sept. 7, 2019

With the VerifyThis Long-Term Challenge we would like to see how far the formal verification community can get within 6 months if they collaborate to verify a real-world software application.

TFPIE 2020 (Trends in Functional Programming in Education)
by Jurriaan Hage, Aug. 28, 2019

Call for papers for TFPIE 2020 (Trends in Functional Programming in Education), co-located with TFP and Lambda Days in Krakow on the 12th of February 2020.

More details at

Call for Presentations on Principles of Secure Compilation (PriSC Workshop @ POPL 2020)
by Dominique Devriese, Aug. 28, 2019

The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges.
The 4th edition of PriSC will be held on January 25 in New Orleans, Louisiana USA together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2020.
Submission deadline: Fri 18 Oct 2019.

Refinement workshop: Deadline extension
by Brijesh Dongol, July 2, 2019

REFINE 2019: Refinement Workshop - 2nd Call for papers

Co-located with FM 2019
Porto, Portugal, 7 October, 2019

Submission link:

Important dates:
July 15, 2019: extended submission deadline
July 31, 2019: notifications
October 7, 2019: workshop

« previous123...1112next »