Student Session Schedule

 

All listed times are in EDT.

Monday, July 13

7:30 AM - 8:30 AM: Talks Session 5

Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic
Asta Halkjær From

A Logical Framework for Understanding Why (ESSLLI)
Yu Wei