| 2009/03/12 - 13 |
JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (6th VERITE) |
| 2009/02/25 |
COE-Workshop : CafeOBJ/Maude Workshop |
| 2008/12/18 |
COE-Mini-Workshop : 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 |
