List of workshops
- MoreVMs 2020 : Workshop on Modern Language Runtimes, Ecosystems, and VMs
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.
https://2020.programming-conference.org/home/MoreVMs-2020
- CFP: CREST'20
5th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
Dublin, Ireland, 25 April 2020
A satellite event of ETAPS 2020https://sites.google.com/view/crest2020
- WRLA 2020
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
The Call for Paper for the 18th Belgium-Netherlands Software Evolution Workshop
Brussels, Belgium
28th - 29th November, 2019
http://soft.vub.ac.be/benevol2019/- VerifyThis Long-term Challenge starts NOW!
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)
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 http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html
- Call for Presentations on Principles of Secure Compilation (PriSC Workshop @ POPL 2020)
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
REFINE 2019: Refinement Workshop - 2nd Call for papers
Co-located with FM 2019
Porto, Portugal, 7 October, 2019Website: https://refinenet.github.io/
Submission link: https://easychair.org/my/conference?conf=refine2019Important dates:
July 15, 2019: extended submission deadline
July 31, 2019: notifications
October 7, 2019: workshop
