This menu jumps directly to each part in the page.
Go to main menu
Go to main text
Go to footer
Japanese
JAIST
IS School
Site map
Access/Contact
About
Our Program
Research Center for
Trustworthy e-Society(TRUST)
Conferences /
Symposia
Activities
Report
Research
Results
Job
Opportunities
International Conferences / Symposia
Workshops
Seminars/Lectures
Home
Conferences / Symposia
Workshops
Workshops
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
Page Top