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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAFSZxBchKSS1aW2NJc%3DObBp1ykja%3DRA2C%3DQb1y%3DouvQg%40mail.gmail.com.
