[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] cfp of jaist-fssv2010



**************************************************************
**************** Call for Participation **********************
**************************************************************

                JAIST Advanced School on
    Formal Specification and Systems Verification 2010
                   (JAIST-FSSV2010)
       http://www.ldl.jaist.ac.jp/jaist-fssv2010/
(All the Expenses of Participants Will Be Supported by JAIST)

                   March 1st-5th, 2010
              JAIST, Nomi, Ishikawa, Japan
                          and
  Kanazawa Excel Hotel Tokyu, Kanazawa, Ishikawa, Japan

JAIST (Japan Advanced Institute of Science and Technology) is
going to provide an advanced school which is designed to give
a series of lectures on recent activities about formal
specification and systems verification with CafeOBJ and
Maude. CafeOBJ and Maude are sister languages of OBJ language,
and two of the most advanced formal specification languages
for systems verification.

This is the first JAIST advanced school on this subject and
lectures of the school will cover the following topics:
- Modeling and Specification in Order-Sorted Algebras
- Modeling and Specification in Observational Transition
 Systems (OTS)
- Modeling and Specification in Rewriting Rules (RRL)
- Interactive verification with proof score methodology in
 CafeOBJ
- Automatic verification with sophisticated search methodology
 in Maude
- Combination of inference (a la interactive theorem proving)
 and search (a la automatic model checking) in verifications
 with the coherent CafeOBJ/Maude framework

This advanced school is sponsored by JAIST as an important
event for publicising activities of JAIST, and travelling and
staying expenses of all participants will be supported by
JAIST.

Lecturers (in alphabetical order)
==================================
- Razvan Diaconescu (Institute of Mathematics of
                    The Romanian Academy, Romania)
- Francisco Duran (Universidad de Malaga, Spain)
- Kokichi Futatsugi (JAIST, Japan)
- Narciso Marti-Oliet (Universidad Complutense de Madrid,
                      Spain)
- Jose Meseguer (University of Illinois at Urbana-Champaign,
                USA)
- Masaki Nakamura (Kanazawa University, Japan)
- Kazuhiro Ogata (JAIST, Japan)

How to apply
============
Visit the web page at:
  http://www.ldl.jaist.ac.jp/jaist-fssv2010/
and follow the instructions on it.  The web page for
application will be open around November 20th.

Supposed participants
=====================
Graduate or undergraduate students, postdocs, or young
researchers who are interested in and have some basic
knowledge on formal specification and systems
verification. All lectures are given in English. Lectures
include exercises using CafeOBJ and Maude systems, and all
participants are better to bring in their own laptop computers
for running the systems in the class.

Dates
=====
The advanced school is scheduled on March 1st-5th, 2010
(Monday-Friday).

Venues
======
Opening and introductory sessions will be held at Japan
Advanced Institute of Science and Technology, and the main
body of the advanced school (a series of lectures) will be
organized at Kanazawa Excel Hotel Tokyu.

Schedule
========
All participants are supposed to arrive at Kanazawa Excel
Hotel Tokyu on February 28th, and will stay there until the
afternoon of March 5th.

**************************************************************
**************************************************************