 |
|
- COMMITTEE
- Leo Marcus, Chair (The Aerospace Corporation, USA)
- Borzoo Bonakdarpour (Verimag Laboratory, France)
- Vincenzo De Florio (University of Antwerp, Belgium)
- Joe Fitzsimons (Oxford University, UK)
- Adrian Francalanza (University of Malta, Malta)
- Morten Hartmann (Norwegian University of Science and Technology, Norway)
- Shinichi Kikuchi (Keio University, Japan)
- Jean Krivine (Hautes Études Scientifiques (IHES), France)
- Sandeep Kulkarni (Michigan State University, USA)
- Yaohang Li (North Carolina A&T, USA)
- Alessio Lomuscio (Imperial College, UK)
- Tom Maibaum (McMaster University, Canada)
- Abdul-Rahman Mawlood-Yunis (Carleton University, Canada)
- Annabelle McIver (Macquarie University, Australia)
- Chris Myers (University of Utah, USA)
- Mark Reynolds (University of Western Australia, Australia)
- Sandeep Shukla (Virginia Tech, USA)
- Michael Wooldridge (Liverpool University, UK)
Logical Aspects of Fault Tolerance (LAFT)
a LICS 2009 Workshop
The Logical Aspects of Fault Tolerance workshop was held August 15, 2009 in conjunction with the Logic in Computer Science Symposium, August 11-14, 2009, at The University of California, Los Angeles.
LAFT has brought together researchers with specialities in various fields (computer science, quantum information, biology) to discuss the phenomenon of fault tolerance at a higher level with the purpose of defining and reasoning about the general logical principles that transcend specific implementation domains.
Program:
- 9:00-9:15: Welcome and Introduction
- 9:15-10:00: Carolyn Talcott
"Fault Tolerance From a Cellular Biology Perspective" (abstracts) - 10:00-10:45: Shinichi Kikuchi
"Robustness and differentiation of signal transduction networks" (abstracts) - 10:45-11:15: Break
- 11:15-12:00: Joe Fitzsimons
"Quantum Fault Tolerance in Systems with Restricted Control" (abstracts) - 12:00-1:30: Lunch
- 1:30-2:15: Anish Arora
"Gray-Box Component-Based Fault-Tolerance" (abstracts) - 2:15-3:00: Sandeep Kulkarni
"Automated Model Revision" (abstracts) - 3:00-3:45: Fuad Abujarad and Sandeep S. Kulkarni
"Weakest Invariant Generation for Automated Addition of Fault-Tolerance" (abstracts) - 3:45-4:15: Break
- 4:15-5:00: Tom Maibaum and Pablo Castro
"Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance" (abstracts) - 5:00-5:45: Discussion and Closing