Seminars (51)

Learning Theorem Proving from Scratch Cezary Kaliszyk 2019/02/26
On the benefit of unsound rules: Henkin quantifiers and beyond Matthias Baaz 2019/02/26
Specification Verification of Hoare's Quicksort Algorithm in CafeOBJ Kokichi Futatsugi 2019/01/10
Blockchain for Asset Reuse Arnold Beckmann 2019/01/10
Automating Proof Terms in Term Rewriting Aart Middeldorp 2018/09/20
Dataset Diversity: A New Approach to Dependable Machine Learning Software Shin Nakajima (National Institute of Informatics, Tokyo) 2017/12/15
Provably Total NP Search Problems of Bounded Arithmetic and beyond Professor Arnold Beckmann 2017/09/15
Arithmetic universes as generalized point-free spaces Steve Vickers 2017/04/17
Unsound inferences make proofs shorter Matthias Baaz 2016/12/06
Invariance axioms for realizability Helmut Schwichtenberg 2016/08/25


Meetings / Workshops (9)

JAIST Logic Workshop 2018/12/12 I-56 (Collaboration Room 7), JAIST
Intelligent Robotics International Symposium 2016/02/24 to 2016/02/25 Shiinoki Cultural Complex, Kanazawa, Ishikawa
Mathematical Logic and Software Verification Joint Workshop 2015/12/03 to 2015/12/04 Hotel Arrowle, Kaga
Verification Center Workshop 2015/06/25 to 2015/06/26 Hotel Arrowle, Kaga
JAIST Logic Workshop series 2015 Constructivism and Computability 2015/03/02 to 2015/03/06 Shiinoki Cultural Complex, Kanazawa
2nd JAIST-LORIA Workshop 2014/10/02 to 2014/10/03 LORIA, Nancy, France
Specification, Algebra, and Software 2014/04/14 to 2014/04/16 Kanazawa, Japan
1st JAIST-LORIA Workshop 2014/04/01 to 2014/04/02 Shiinoki Geihinkan, Kanazawa, Ishikawa, Japan
Workshop on Proofs as Processes 2014/01/20 to 2014/01/21 Kanazawa, Ishikawa, Japan

Visitors (1)