Email Gateway (Aug 18 2022 at 14:18): Email Gateway (Aug 18 2022 at 14:18):From: Kazuhiro Ogata <ogata@jaist.ac.jp>
**** 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 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)
Narciso Marti-Oliet (Universidad Complutense de Madrid,
Spain)
Jose Meseguer (University of Illinois at Urbana-Champaign,
USA)
Masaki Nakamura (Kanazawa University, 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.
Last updated: Apr 20 2024 at 08:16 UTC