| March 4 – 7, 2013 |
3rd
Workshop on Proof Theory and Rewriting |
| July 2 – 6, 2012 |
Kickoff Meeting of
Austria-Japan Joint Project |
| May 29, 2012 |
1st International Workshop on Confluence |
| March 5 – 9, 2012 |
JAIST Sprint School 2012 |
| February 9, 2012 |
Verification Seminar: Complexity Theory (Seminars of Research Center for Software Verification) |
| January 31, 2012 |
Verification Seminar: Combinatorics (Seminars of Research Center for Software Verification) |
| June 15, 2011 |
Afternoon Workshop on Formal Methods |
| February 8 – 9, 2011 |
Workshop on Logic and Computation |
| June 4, 2010 |
3rd SJTU-JAIST Workshop |
| November 9, 2009 |
1st JAIST-NII Mini-Workshop |
| February 22 – 24, 2009 |
31st TRS Meeting |
| August 1, 2008 |
1st Mini-Workshop on Rewriting Techniques |