CVS

center-name

AIST
 ƒZƒ“ƒ^[’ทˆฅŽAbPolicy StatementbŒค‹†ƒe[ƒ}bŒค‹†Šˆ“ฎbŒค‹†ฌ‰สbTechnical Reportsb‘ะb‹ค“ฏŒค‹†bW‰๏Žx‰‡bEnglish
 ŒคCƒR[ƒX Eƒjƒ…[ƒXƒŒƒ^[ ECVS Staff EƒAƒNƒZƒX Eฬ—p๎•๑  E‚จ–โ‚ข‡‚ํ‚น EXV—š—๐ EƒvƒŒƒXƒŠƒŠ[ƒX EƒJƒŒƒ“ƒ_[ EHOME 

Photo Report on 3rd AIST/CVS Workshop 18th April 2005

3rd AIST/CVS Workshop on Automatic and Interactive Verification

The 3rd AIST/CVS Workshop was held at CVS Senri Site on 2005/4/18(MON). It had six speakers with 34 people in the audience.
Aside from speaches, the workshop had two informal discussions. >>program

ŸSpeakers:

Prof. Meseguer Prof. José Meseguer
Formal Methods and Declarative Languages Laboratory
Department of Computer Science, University of Illinois,
Urbana-Champaign
Prof. Dybjer Prof. Peter Dybjer
Computing Science Department, Chalmers University of Technology,
Göteborg-Sweden
Prof. Coquand Prof. Thierry Coquand
Computing Science Department, Chalmers University of Technology,
Göteborg-Sweden

Ohsaki/CVS Ohsaki Hitoshi
Research Center for Verification and Semantics,
National Institute of Advanced Industrial Science and Technology
Tanabe/CVS Yoshinori Tanabe
Research Center for Verification and Semantics,
National Institute of Advanced Industrial Science and Technology
Kinoshita/CVS Yoshiki Kinoshita
Research Center for Verification and Semantics,
National Institute of Advanced Industrial Science and Technology

Prof. Nordstrom Prof. Bengt Nordström
Computing Science Department, Chalmers University of Technology,
Göteborg-Sweden
Discussion Q&A

ŸGathering:

At the after workshop gathering, speakers and participants fostered good fellowship.

Cheers Dinner Relaxing
Cheers! Dinner time ... at last Relaxing

ŽY‘Œคƒz[ƒ€@„@‘gD@„@Œค‹†ƒZƒ“ƒ^[@„@ƒVƒXƒeƒ€ŒŸุŒค‹†ƒZƒ“ƒ^[
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.