Journal
Journal of Automated Reasoning
The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer.
ITP 2021 was the twelfth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics. ITP 2021 was co-located with LICS 2021 and took place online.
-
Liron Cohen
Liron Cogen is a faculty member in the Department of Computer Science at Ben-Gurion University in Israel. -
Cezary Kaliszyk
Cezary Kaliszyk is an Associate Professor in the Computational Logic Group at the University of Innsbruck, Austria
