Event | When | Where | Deadline | |
WoSCA 2020 |
1st International Workshop on Smart Contract Analysis | |
Jul 18, 2020 - Jul 22, 2020 |
Los Angeles, California, United States |
Jun 26, 2020 |
POPL 2021 |
Principles of Programming Languages 2021 | |
Feb 17, 2021 - Feb 22, 2021 |
Copenhagen, Denmark |
Jul 9, 2020 |
SAC-SVT 2021 |
Software Verification and Testing Track at SAC 2021 | |
Mar 22, 2021 - Mar 26, 2021 |
Gwangju, Korea |
Sep 15, 2020 |
CPP 2021 |
Certified Programs and Proofs | |
Jan 18, 2021 - Jan 19, 2021 |
Copenhagen, Denmark |
Sep 22, 2020 (Sep 16, 2020) |
ICCQ 2021 |
IEEE International Conference on Code Quality | |
Mar 27, 2021 - Mar 27, 2021 |
Moscow, Russia |
Dec 4, 2020 |
NFM 2021 |
13th NASA Formal Methods Symposium | |
May 24, 2021 - May 28, 2021 |
Norfolk, Virginia, USA |
Dec 4, 2020 (Nov 27, 2020) |
ECOOP 2021 |
Call for papers: 35th European Conference on Object-Oriented Programming | |
Jul 12, 2020 - Jul 16, 2020 |
Aarhus, Denmark |
Jan 11, 2021 |
CAV 2021 |
33rd International Conference on Computer-Aided Verification | |
Jul 18, 2021 - Jul 23, 2021 |
Los Angeles |
Jan 28, 2021 |
HCVS 2021 |
Horn Clauses for Verification and Synthesis | |
Mar 28, 2021 - Mar 28, 2021 |
Luxembourg |
Feb 19, 2021 |
FAB 2021 |
4th International Symposium on Foundations and Applications of Blockchain | |
May 7, 2021 - May 7, 2021 |
Virtual |
Mar 12, 2021 (Mar 5, 2021) |
VSC @IEEE WETICE 2021 |
Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021 | |
Jun 23, 2021 - Jun 25, 2021 |
Basque Coast - Bayonne, France |
Mar 31, 2021 |
ATVA 2021 |
The 19th International Symposium on Automated Technology for Verification and Analysis | |
Oct 18, 2021 - Oct 22, 2021 |
Gold Coast, Australia |
Apr 23, 2021 |
SAS 2021 |
28th Static Analysis Symposium (SAS 2021) | |
Oct 17, 2021 - Oct 22, 2021 |
Chicago (US) |
Apr 25, 2021 |
FM 2021 |
Formal Methods 2021 | |
Nov 20, 2021 - Nov 26, 2021 |
Beijing, China |
May 6, 2021 (Apr 30, 2021) |
WoSCA 2021 |
WoSCA 2021 : 2nd International Workshop on Smart Contract Analysis | |
Jul 12, 2021 - Jul 16, 2021 |
Aarhus, Denmark |
May 14, 2021 |
ICBC 2021 |
2021 International Conference on Blockchain | |
Sep 18, 2021 - Sep 22, 2021 |
Online and Satellite Sessions |
May 14, 2021 |
LOPSTR 2021 |
31st International Symposium on Logic-Based Program Synthesis and Transformation | |
Sep 7, 2021 - Sep 9, 2021 |
Tallinn, Estonia and Virtual |
Jun 7, 2021 |
FPDAPP 2021 |
**EXTENDED** FPDAPP - 4th International Workshop on Future Perspectives of Decentralized Applications | |
Aug 30, 2021 - Aug 31, 2021 |
Lisbon, Portugal |
Jun 14, 2021 |
BBCA 2021 |
The Third International Conference on Blockchain Computing and Applications | |
Nov 15, 2021 - Nov 17, 2021 |
Tartu, Estonia |
Jul 1, 2021 |
IEEE Blockchain 2021 |
2021 IEEE International Conference on Blockchain | |
Dec 6, 2021 - Dec 8, 2021 |
Melbourne, Australia |
Jul 21, 2021 |
|