The Schedule

14-07-2025

All the times are GMT (UK time)

Registration 8:00 - 8:55

8:55 - 9:00

9:00 - 9:25

Growing a Modular Framewok for Modal Systems: HOLMS Antonella Bilotta, Marco Maggesi, Cosimo Perini BrogiAbstract

9:25 - 9:40

Short: A Rough Set Semantics for 4-valued Logic of Double Stone AlgebrasNeha GaurAbstract

9:40 - 10:05

Fuzzy Logic in Ethical AI Ziba Assadi, Paola InverardiAbstract

Break 10:05 - 10:30

10:30 - 10:55

A Defense of modus ponens as a Valid Rule of Reasoning Xue GeAbstract

10:55 - 11:20

A Dynamic Logic Model of Successful Speech Acts Yan Xu, Xue Ge, Sara UckelmanAbstract

11:20 - 11:45

Base-extension Semantics for Classical Logic Ekaterina PiotrovskayaAbstract

11:45 - 12:10

Automata and Logics over Nested Data Adriana BaldacchinoAbstract

12:10 - 12:35

Formally Verified Verifiable Group Generators Mina Artunis CyrusAbstract

Lunch 12:35 - 14:00

14:00 - 15:00

Daniele Nantes-SobrinhoAbstract

15:00 - 15:25

Teaching logic as teaching to read and write Milena Dassie WilkeAbstract

Break 15:30 - 16:00

16:00 - 17:00

Liron CohenAbstract

17:00 - 18:00

Discussion

Party 19:00 - 21:00

Page updated

Google Sites

Report abuse