Next Wednesday, July 30, we are glad to present the following talk at the Logica Universalis Webinar:
Speaker : Carolyn Talcott https://en.wikipedia.org/wiki/Carolyn_Talcott Title: "Challenges in Formal Analysis of Resilience: Capturing the Tradeoff Between the Chance of Failure and the Cost of Success" Abstract: There is growing interest in the concept of Resilience and balancing resources spent on increasing resilience at the expense of efficiency. From a logical perspective we are interested in formally representing key features of resilience, design principles supporting resilience, and methods to verify system resilience given a formal (in some logic) representation. As background and motivation we review notions of resilience in the context of a variety of systems–digital, natural, societal–along with some examples. We identify some key features of resilience and discuss challenges in developing formal models. After a review of commonly used modeling formalisms and verification problems, we propose an extension that allows modeling resilience features and expressing associated verification problems. We further connect resilience with chance and money by comparing resilience features to principles expressed by the Zurich axioms. https://link.springer.com/article/10.1007/s11787-025-00373-7 Associate Organization: SRI International https://en.wikipedia.org/wiki/SRI_International presented by Patrick Lincoln, President of Information and Computing Sciences https://en.wikipedia.org/wiki/Patrick_Lincoln Chair: Raja Natarajan, Editorial Board LU Everybody is welcome to join, LUWebinar July 30, 4pm CET, register here: https://cassyni.com/events/3S4iC3vnv3mzuJC8VJvN1s/ Jean-Yves Beziau Editor-in-Chief Logica Univeralis Organizer of the Logica Universalis Webinar, the World Congress and School on Universal Logic https://sites.google.com/view/unilog2025/ and the World Logic Prizes Contest https://www.uni-log.org/christine-ladd-franklin-prize-of-logic-2025
_ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iu.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
