Copenhagen Programming Language Seminar
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.
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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org