Challenges in Formal Analysis of Resilience - Carolyn Talcott - LUWebinar, July 30 at 4pm CET

[jean-yves beziau]

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 welome 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