| 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 |
