DIKU IT-C RUC

COPLAS

Copenhagen Programming Language Seminar


Research at the Center for Verification and Semantics (CVS)

Yoshiki Kinoshita

Research Center for Verification and Semantics (CVS)
National Institute of Advanced Industrial
Science and Technology (AIST), Osaka, Japan

Monday (!), June 11, 15:15-16:00
DIKU, Universitetsparken 1, Room N018

Abstract:

The Research Center for Verification and Semantics (CVS) was established with the aim of encouraging Japanese industries to adopt Mathematical Methods (Formal Methods) as standard verification methods. This talk will give an overview on the research themes and teams at the Center for Verification and Semantics of the National Institute of Advanced Industrial Science and Technology, Japan.


Host: Robert Glück. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, and RUC.
COPLAS is sponsored by the FIRST Research School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org