**
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Affiliated with NASA Formal Methods 2021
May 24-25, 2021 -- held online
https://cister-labs.pt/f-ide2021
2nd CALL FOR PAPERS
19th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2021
2 to 5 November 2021, CIRM, Marseille, France
https://ramics19.lis-lab.fr/
VerifyThis Verification Competition 2021
CALL FOR PARTICIPATION -- GRANTS -- PRIZES
Competition to be held at ETAPS 2021 (Virtual)
http://verifythis.ethz.ch
Automated Reasoning is the area of computer science dedicated to applying
reasoning in the form of logic to computing systems. The Bill McCune PhD Award
in Automated Reasoning distinguishes each year a PhD thesis defended the
previous year, for its substantive contributions to the field of