University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)
  7. News
  8. AISE team members get papers accepted at various conferences: CADE, CICM, CAV

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/)