[FOM] Inconsistency Robustness'14

[Carl Hewitt]

Inconsistency Robustness'14
   Stanford University July 29-31, 2014

Registration opens June 15



[cid:image003.png at 01CF6618.85439200]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

[cid:image005.png at 01CF6618.85439200]More info:  http://www.ir14.org

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140502/a329d50d/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.emz
Type: application/octet-stream
Size: 1249186 bytes
Desc: image001.emz
URL: </pipermail/fom/attachments/20140502/a329d50d/attachment-0003.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: oledata.mso
Type: application/octet-stream
Size: 2234170 bytes
Desc: oledata.mso
URL: </pipermail/fom/attachments/20140502/a329d50d/attachment-0004.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image003.png
Type: image/png
Size: 540383 bytes
Desc: image003.png
URL: </pipermail/fom/attachments/20140502/a329d50d/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image004.emz
Type: application/octet-stream
Size: 983 bytes
Desc: image004.emz
URL: </pipermail/fom/attachments/20140502/a329d50d/attachment-0005.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image005.png
Type: image/png
Size: 2391 bytes
Desc: image005.png
URL: </pipermail/fom/attachments/20140502/a329d50d/attachment-0003.png>