AISE team members get papers accepted at various conferences: CADE, CICM, CAV
The following conference papers got accepted for publication:
- Theorem Proving in Dependently-Typed Higher-Order Logic. Colin Rothgang, Florian Rabe and Christoph Benzmüller. Accepted for Conference on Automated Deduction (CADE 2023, https://easyconferences.eu/cade2023/).
- Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. Jonas Bayer, Alexey Gonus, Christoph Benzmüller and Dana Scott. Accepted for Conference on Intelligent Computer Mathematics (CICM 2023, https://cicm-conference.org/2023/cicm.php).
- Formally Verified EVM Block-Optimizations. Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin. International Conference on Computer Aided Verification (CAV 2023, http://www.i-cav.org/2023/)