Event


 

Mathematical Logic and Software Verification Joint Workshop


Verification Seminar


Verification Center Workshop


Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Mathematical Logic and Software Verification Joint Workshop


Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Specification, Algebra, and Software A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014)

Verification Seminar


Verification Seminar


Web Link to the Course Lectures: Algebraic Formal Methods (i613)


Research Meeting on CafeOBJ and Specification Verification


Verification Seminar




Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Workshop on CafeOBJ and Specification Verification


Prof.Futatsugi's retirement memorial lecture


Verification Seminar


Verification Seminar


Verification Seminar


Verification Workshop


Verification Seminar


Verification Seminar


Verification Seminar


Verification Seminar


Third Romanian-Japanese Algebraic Specification Workshop


2nd Workshop on Trustworthy Software: Theory and Practice


Verification Seminar


Verification Seminar

Verification Seminar


Research center seminar


PETRI NETS 2011 & ACSD 2011


Second Romanian-Japanese Algebraic Specification Workshop


Event-B seminar


Workshop on Logic and Computation
- from proof theory to software verification -


Japan-Vietnam Workshop on Software Engineering 2010