29-31 Jul 2014
Stanford CA, U.S.A.
Inconsistency Robustness'14
Stanford University July 29-31, 2014
Registration opens June 15
Inconsistency robustness is information system performance in the face of
continually pervasive inconsistencies---a shift from the previously
dominant paradigms of inconsistency denial and inconsistency elimination
attempting to sweep them under the rug.
Invited Keynote Speakers
John Woods, Philosophy UBC
Mary-Anne Williams, Sydney Innovation Lab
Mark Musen, Stanford Biomedical Informatics
TBD
Presentations of Refereed Articles
* Anne Garner, Some Types of Inconsistency in Legal Reasoning
* Carl Hewitt, Inconsistency Robustness in Foundations: Mathematics self
proves its own Consistency and Other Matters
* Carl Hewitt, Inconsistency Robustness in Logic Programs
* Alaa Abi Haidar, Jean-Gabriel Ganascia and Mihnea Tufis, From
Inter-Annotation to Intra-Publication Inconsistency
* Catherine Blake, Biological responses to chemical exposure: Case studies
in how to manage ostensible inconsistencies using the Claim Framework
* John Woods, Inconsistency: Its present impacts and future prospects
Previous Conference Proceedings: http://www.iRobust.org
More info: http://www.ir14.org