Accepted Papers

• Laura P. Gamboa Guzman and Kristin Yvonne Rozier. Stalnaker's Epistemic Logic on Isabelle/HOL.

• Thaynara Arielly de Lima, André Luiz Galdino, Andréia B. Avelar and Mauricio Ayala-Rincón. Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms.

• Jordina Francès de Mas and Juliana Bowles. A novel EGs-based framework for propositional-formula simplification.

• Alberto Momigliano and Martina Sassella. More Church-Rosser Proofs in Beluga.

• Miguel Pagano and Álvaro Tasistro. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory using Simple Renaming.

• J. Tanner Slagel, Mariano Moscato, Lauren White, César Muñoz, Swee Balachandran and Aaron Dutle. Embedding Differential Dynamic Logic in PVS.

• Niccolò Veltri and Cheng-Syuan Wan. Semi-Substructural Logics with Additives.

Pre-Proceedings 

      Download Here