A Formal Theory of Choreographic Programming Luís Cruz-FilipeFabrizio MontesiMarco Peressotti OriginalPaper Open access 27 May 2023 Article: 21
Combining Higher-Order Logic with Set Theory Formalizations Cezary KaliszykKarol Pąk OriginalPaper Open access 25 May 2023 Article: 20
Synthesising Programs with Non-trivial Constants Alessandro AbateHaniel BarbosaCesare Tinelli OriginalPaper Open access 13 May 2023 Article: 19
An Automatically Verified Prototype of the Android Permissions System Maximiliano CristiáGuido De LucaCarlos Luna OriginalPaper 12 May 2023 Article: 17
Unifying Splitting Gabriel EbnerJasmin BlanchetteSophie Tourret OriginalPaper Open access 28 April 2023 Article: 16
An Automated Approach to the Collatz Conjecture Emre YolcuScott AaronsonMarijn J. H. Heule OriginalPaper Open access 25 April 2023 Article: 15
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification Aart MiddeldorpAlexander LochmannFabian Mitterwallner Research Open access 06 April 2023 Article: 14