Ogawa-Hirokawa Laboratory

Events

Upcoming Event

June 28, 2013 2nd International Workshop on Confluence

Past Events

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