List of workshops
- NWPT 2019 submission deadline extended
Extended submission deadline: 26 September 2019
CALL FOR CONTRIBUTIONS
31st Nordic Workshop on Programming Theory, NWPT 2019
Tallinn, Estonia, 13-15 November 2019
http://cs.ttu.ee/events/nwpt2019
- 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.
- NWPT 2019 2nd call for contributions
CALL FOR CONTRIBUTIONS
31st Nordic Workshop on Programming Theory, NWPT 2019
Tallinn, Estonia, 13-15 November 2019
http://cs.ttu.ee/events/nwpt2019
- 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.- 7th ETH Workshop on Dependable and Secure Software Systems
Ensuring that programs behave correctly and reliably is a fundamental challenge facing computing today. Recent years have seen an explosion of a diverse set of new techniques for ensuring program correctness ranging from verification and synthesis approaches to runtime systems to quantitative reasoning. The aim of the workshop is to provide insight into the latest research advances in the area. In a period of two days, the workshop will host a number of invited speakers who will present research talks related to software reliability and correctness.
- Call for papers [email protected] -EXTENDED DEADLINES
CFP for Workshop FormReq, at RE'19 conference, Jeju Island – South Korea – September 23-24, 2019
The goal of FormReq19 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using formal approaches to express and manage requirements. Two invited speakers, Daniel M. Berry and Jean-Michel Bruel, will present their opposite vision of formal approaches for industrial applications- 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
