Všechny zájemce srdečně zveme na přednášku významného hosta Davida Corfielda z University of Kent.
David Corfield získal výzkumný grant Donatio Universitatis Carolinæ Chair a od letošního září bude po dobu dvou let působit na Matematicko-fyzikální fakultě Univerzity Karlovy. Tato přednáška je vhodnou příležitostí k navázání případné dlouhodobější spolupráce. Pokud by měl někdo zájem o osobní setkání s Davidem Corfieldem před nebo po přednášce, prosím, ozvěte se na adrese petricek@d3s.mff.cuni.cz a k domluvení vhodného času.
TITLE: Safeguarding via category-theoretic systems theory
SPEAKER: David Corfield, University of Kent
DATE: February 03, 2026 at 14:00 in S8
LOCATION: S8 (1. patro), MFF, Malostranske nam. 25
ABSTRACT: The field of ‚applied category theory‘ has flourished since around 2010. Here beyond earlier applications of the mathematical language of category theory to mathematics itself, and to logic, computer science and physics, practitioners have been using it to study topics such as dynamical systems, database theory, natural language processing, cognition, systems biology, epidemiology, chemical reaction networks, game theory, and robotics. In 2024, the UK research agency ARIA launched a program whose aim is to devise software capable of representing the organisation of composite cyber-physical systems with a view to provide guarantees for system behaviour. In this talk I will explain some of the ideas behind the program.
BIO: David Corfield worked in academia for many years as a philosopher, most recently at the University of Kent. His research interests concern practice- and history-oriented approaches to the philosophy of mathematics, science, and medicine. He has authored numerous articles and three books (‚Towards a philosophy of real mathematics‘, 2003; ‚Why do people get ill?‘ 2007 with D. Leader; ‚Modal homotopy type theory‘, 2020). He has had a long-term interest in category theory for over 30 years and is currently funded by ARIA’s Safeguarded AI program.
DETAILS: https://d3s.mff.cuni.cz/seminar/