- Home
- Conferences / Symposia
- International Conferences / Symposia
- Information of Symposium
Information of Symposium
JAIST 21st Century COE Symposium 2005
"Verifiable and Evolvable e-Society" Lecture Note (PDF file)
| Key note speech | |
| T. Katayama (JAIST) | Perspective of Verifiable and Evolvable e-Society |
| Technical session 1 <Logic and Verification> | |
| J. Slaney (NICTA) | The Focus Problem: A Fundamental Issue in Automatic Verification File 1 File 2 |
| H. Ono (JAIST) | Reasoning in Nonclassical Logics |
| K. Hiraishi (JAIST) | Modeling and Verification of Workflows for e-Society |
| Technical session 2 <Legal Reasoning> | |
| K. Nitta (Titech) | Logical Representation of Legal Knowledge |
| S. Tojo (JAIST) | Inference from Paraconsistent Legal Knowledge |
| Technical session 3 <Security> | |
| S. Tsujii (Institute of Information Security) | Paradigm of Information Security as Interdisciplinary Comprehensive Science |
| A. Miyaji (JAIST) | Information Security for Privacy Protection |
| Technical session 4 <Modelling and Evolution> | |
| C. Ghezzi (Polimi) | Evolution of Software Composition Mechanisms |
| K. Ochimizu (JAIST) | Software Architecture with Accountability and Evolvability |
| Technical session 5 <Dependable Infrastructure> | |
| R. Schlichting (AT&T Labs - Research) | Building Foundations for Dependable Systems |
| X. Defago (JAIST) | Challenges toward a Dependable Infrastructure for a Trustworthy e-Society |
