Women in Logic Online with Nina Gierasimczuk, September 16, virtual event

32 views

Skip to first unread message

Vienna Center for Logic and Algorithms

unread,

Sep 3, 2025, 4:49:54 PMSep 3

to Women in Machine Learning

Dear all!

We are excited to announce the next talk in the seminar series "Women in Logic Online" by Nina Gierasimczuk!

Date: Tuesday, September 16, 2025
Time: 17:30 CEST
Venue: Online via Zoom

You can register for free at https://tuwien.zoom.us/webinar/register/WN_21KUN_HySZ--dE9Hwq9y1w.

TITLE: Learning and Belief Revision: an Overview

ABSTRACT:
Successful learning can be understood as convergence to true beliefs. Can belief revision policies (as studied in Knowledge Representation) generate sensible learning methods? The same can be asked about multi-agent belief revision, where a group of agents revise their collective conjectures by a combination of belief revision and belief merge. Finally, how could computational models of learning, such as neural networks, fit in that picture? In my talk I will address those questions using a mix of methods of (modal) logic and formal learning theory.

SHORT BIO:
Nina Gierasimczuk is an associate professor at the Department of Applied Mathematics and Computer Science at Technical University of Denmark (DTU Compute). Before, she was employed at the Institute for Logic, Language and Computation at the University of Amsterdam and the Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence at the University of Groningen. At present, she serves on the boards of the European Association for Logic, Language and Information and the Scandinavian Logic Society. She is also a member of the steering committees of the DaLi Workshop and the NMR Workshop, and an associate editor at Journal and Logic, Language and Information, Annals of Mathematics and Artificial Intelligence, Fundamenta Informaticae, and Nordic Machine Intelligence.

Her main research interest lies in the logical aspects of learning in both single- and multi-agent context, and involves knowledge representation, dynamic modal logic, computability theory, belief revision, and multi-agent systems. She is also studying the role of logic and logical modeling in cognitive science.

We hope to see you there!

Agata Ciabattoni & Josephine Dik

Women in Logic https://womeninlogic.org/