ワークショップ

2009/03/12 - 13	JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (6th VERITE)
2009/02/25	COEワークショップ : CafeOBJ/Maudeワークショップ
2008/12/18	COEミニワークショップ : E-Governance
2008/08/01	1st Mini-Workshop on Rewriting Techniques
2008/05/27	SJTU/JAIST COE joint workshop on formal method
2008/03/03	JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (5th VERITE)
2007/09/26 - 27	Japan-Vietnam Workshop on Software Engineering 2007 (JVSE'07)
2007/06/19	First International Workshop on Juris-informatics(JURISIN 2007)
2007/03/06 - 07	JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (4th VERITE)
2006/11/29 - 30	Theorem Proving and Provers Meeting (2nd TPP)
2006/11/27 - 28	JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (3rd VERITE)
2006/08/24 - 25	Japan-Vietnam Workshop on Software Engineering 2006 (JVSE'06)
2006/05/22	JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (2nd VERITE)
2005/11/28 - 29	Theorem Proving and Provers Meeting (1st TPP)
2005/09/21 - 22	JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (1st VERITE)
2005/05/16 - 18	International Workshop on Discrete and Computational Geometry
2005/04/24 - 25	COE Workshop on Binding Challenges
2005/01/26	COE Workshop on Logic and Algebra
2004/10/18	COE Workshop on Modal and Substructural Logics
2004/09/27 - 10/01	Japan-Switzerland Joint Seminar on Reliable and Efficient Internet Large-Scale Systems (REILS 2004), Kanazawa