Part 1: Monday, Silverman Hall S-240b.
| Time | Speaker | Title |
|---|---|---|
| 2:00 - 2:20 | Farzaneh Derakhshan | Mixed assurance reasoning via labeled bunches. |
| 2:30 - 2:50 | Robert Andrews | A survey of the Ideal Proof System. |
| 3:00 - 3:20 | Ilya Shapirovsky | On modal satisfiability problems in geometric spaces. |
| 3:30 - 3:50 | Henry Towsner | What proofs can be. |
| 4:00 - 4:20 | Phokion Kolaitis | On disjunctions of dependence atoms. |
Part 2: Tuesday, Silverman Hall S-240a.
| Time | Speaker | Title |
|---|---|---|
| 2:00 - 2:20 | Joanna Boyland | A proof-theoretic compilation from natural deduction to the semi-axiomatic sequent calculus. |
| 2:30 - 2:50 | Andre Scedrov | Complexity for product-free infinitary action logic. |
| 3:00 - 3:20 | Carolyn Talcott | Diverse roles of logic based models. |
| 3:30 - 3:50 | Will Stafford | `Fine-style’ proof theoretic semantics for B. |
| 4:00 - 4:20 | Shay Logan | An epistemic probabilistic dynamic logic. |