Workshop on Symbolic Computation and Software Verification is a series of SCORE workshops held by SCORE Group at University of Tsukuba. This year we will focus on symbolic computation and software verification. We will present our on-going works and have in-depth discussions on our research subjects.

This is an invitation-basis workshop and the facility is limited to a small number of participants. Write to minamide@score.cs.tsukuba.ac.jp for participation.


Invited speakers:

Andrei Voronkov, University of Manchester
Laura Kovacs, Technical University of Vienna

Date:

April 8 - April 9, 2010

Tentative Schedule:

April 8, 13:00 - 18:00

April 9, 9:00 - 16:00

Venue:

Room 1001, Advanced Research Laboratory B（総合研究棟 B)

University of Tsukuba, Japan

Tetsuo Ida, University of Tsukuba

Local Arrangements:

Yoshiyuki Kameyama, University of Tsukuba

Yasuhiko Minamide, University of Tsukuba