[livecode] Fwd: [FOM] Inconsistency Robustness'14

From: Julian Rohrhuber <julian.rohrhuber_at_musikundmedien.net>
Date: Sun, 04 May 2014 15:16:30 +0200

Maybe relevant?

Begin forwarded message:

> From: Carl Hewitt <hewitt_at_concurrency.biz>
> Subject: [FOM] Inconsistency Robustness'14
> Date: 3. Mai 2014 00:09:33 MESZ
> To: "fom_at_cs.nyu.edu" <fom_at_cs.nyu.edu>
> Cc: "dana.scott_at_cs.cmu.edu" <dana.scott_at_cs.cmu.edu>
> Reply-To: Foundations of Mathematics <fom_at_cs.nyu.edu>
>
>
> 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
> *additions pending
> More info: http://www.ir14.org
>
Received on Sun May 04 2014 - 13:16:58 BST

This archive was generated by hypermail 2.4.0 : Sun Aug 20 2023 - 16:02:23 BST