Arbeiten von Mitglieder des AISE-Teams werden bei verschiedenen Konferenzen und Workshops angenommen: CADE, CICM, CAV, IWIL, ICTTL

Die folgenden Arbeiten/Beiträge wurden zur Veröffentlichung angenommen:

  • 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,
  • Searching for Wormholes in Proof-Space. David Fuenmayor and Christoph Benzmüller. International Workshop on the Implementation of Logics (IWIL 2023,
  • Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology.  Christoph Benzmüller and David Fuenmayor. V Internationall Congress for Tools for Teching Logic (ICTTL 2023,