Seminars (47)

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
Variations on the Higman's Lemma Marco Benini 2016/08/08
LECTURE 3: Models, Over-approximations and Robustness Eugenio Moggi 2016/08/05
Models, Over-approximations and Robustness Eugenio Moggi (University of Genova) 2016/08/05
LECTURE 2: Hybrid System Trajectories as Partial Continuous Maps Eugenio Moggi 2016/08/04


Meetings / Workshops (8)

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)