This menu jumps directly to each part in the page.
Go to main menu
Go to main text
Go to footer
  1. Home
  2. Conferences / Symposia
  3. International Conferences / Symposia
  4. Information of Symposium

Information of Symposium

JAIST 21st Century COE Symposium 2005

"Verifiable and Evolvable e-Society"

March 10 (Thu) and 11 (Fri), 2005

Ishikawa High-Tech Exchange Center (Next to JAIST)

Programs

Mar. 10 (Thu)
10:00 - 17:00 COE Researchers Poster Session

Mar. 11 (Fri) 9:00 Greetings: A. Kameoka (vice president JAIST)
9:15 Key note speech
T. Katayama (JAIST)
Title: Perspective of Verifiable and Evolvable e-Society
10:00 - 11:30 Technical session 1 <Logic and Verification>
J. Slaney (NICTA)
Title: The Focus Problem: A Fundamental Issue in Automatic Verification
H. Ono (JAIST)
Title: Reasoning in Nonclassical Logics
K. Hiraishi (JAIST)
Title: Modeling and Verification of Workflows for e-Society

11:30 - 12:30 Technical session 2 <Legal Reasoning>
K. Nitta (Titech)
Title: Logical Representation of Legal Knowledge
S. Tojo (JAIST)
Title: Inference from Paraconsistent Legal Knowledge

12:30 - 13:30 Lunch

13:30 - 14:30 Technical session 3 <Security>
S. Tsujii (Institute of Information Security)
Title: Paradigm of Information Security as Interdisciplinary Comprehensive Science
A. Miyaji (JAIST)
Title: Information Security for Privacy Protection

14:30 - 15:40 Technical session 4 <Modelling and Evolution>
C. Ghezzi (Polimi)
Title: Evolution of Software Composition Mechanisms
K. Ochimizu (JAIST)
Title: Software Architecture with Accountability and Evolvability

15:40 - 16 :00 Coffee Break

16:00 Technical session 5 <Dependable Infrastructure>
R. Schlichting (AT&T Labs - Research)
Title: Building Foundations for Dependable Systems
X. Defago (JAIST)
Title: Challenges toward a Dependable Infrastructure for a Trustworthy e-Society

17:15 Closing Remark: A. Shimazu (JAIST)



Language: English and Japanese

Entrance fee, Free

Entrance subscription:http://www.jaist.ac.jp/jaist-coe/
Please, push the button, and the subscription form appears.

(Closed)

Contact:
Research Center for Trustworthy e-Society
Japan Advanced Institute of Science and Technology
1-1, Asahidai, Nomi, Ishikawa, 923-1292 Japan

TEL: 0761-51-1975 / 1261
FAX: 0761-51-1149
E-MAIL: miyuki-s@jaist.ac.jp

The symposium poster (PDF file)
The symposium lecture note (PDF file)