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,  
  • 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,
  • Formally Verified EVM Block-Optimizations. Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin. International Conference on Computer Aided Verification (CAV 2023,