イベント
イベント

セミナー (39)
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 |
Blockchain for Asset Reuse | Arnold Beckmann | 2019/01/10 |
Automating Proof Terms in Term Rewriting | Aart Middeldorp | 2018/09/20 |
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 |
Pages
ミーティング / ワークショップ (6)
JAIST Logic Workshop | 2018/12/12 | I-56 (Collaboration Room 7), JAIST |
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 |