JAIST Logic@JAIST
seminars

Meetings / Workshops

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