Events
Upcoming Event
| March 5 – 9, 2012 | JAIST Sprint School 2012 |
| May 29, 2012 | 1st International Workshop on Confluence |
Past Events
| 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 |