List of workshops


NWPT 2019 submission deadline extended
by Tarmo Uustalu, Sept. 17, 2019

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!
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.

NWPT 2019 2nd call for contributions
by Tarmo Uustalu, Sept. 3, 2019

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)
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 http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html

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.

7th ETH Workshop on Dependable and Secure Software Systems
by Peter Mueller, Aug. 24, 2019

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
by Sophie Ebersold, July 8, 2019

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
by Brijesh Dongol, July 2, 2019

REFINE 2019: Refinement Workshop - 2nd Call for papers

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

Website: https://refinenet.github.io/
Submission link: https://easychair.org/my/conference?conf=refine2019

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

« previous123...1213next »