Program

Women in Logic 2025

All abstracts can be found in the Book of abstracts

	Event
8:00	Registration
8:55	Kickoff
9:00	Growing a Modular Framewok for Modal Systems: HOLMS Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi
9:25	Short: A Rough Set Semantics for 4-valued Logic of Double Stone Algebras Neha Gaur
9:40	Fuzzy Logic in Ethical AI Ziba Assadi, Paola Inverardi
10:05	Break
10:30	A Defense of modus ponens as a Valid Rule of Reasoning Xue Ge
10:55	A Dynamic Logic Model of Successful Speech Acts Yan Xu, Xue Ge, Sara Uckelman
11:20	Base-extension Semantics for Classical Logic Ekaterina Piotrovskaya
11:45	Automata and Logics over Nested Data Adriana Baldacchino
12:10	Formally Verified Verifiable Group Generators Mina Artunis Cyrus
12:35	Lunch
14:00	Learning from Examples and Counterexamples using Nominal Logic Daniele Nantes-Sobrinho
15:00	Teaching logic as teaching to read and write Milena Dassie Wilke
15:30	Break
16:00	Verifying Progress in Cyclic Reasoning (and in Research) Liron Cohen
17:00	Discussion
18:00	Break
19:00	Party