イベント
イベント
セミナー (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 |