Melbourne Logic Workshop
Talks at this conferenceAdd a talk
Thursday Dec 10
11 - Daniel Murfet — Complexity and linear logic
12 - Ross Brady — On the Law of Excluded Middle
2 - Tomasz Kowalski — TBA
3 - Szabolcs Mikulás — Residuated semigroups and substructural logics
Friday Dec 11
11 - Jake Chandler — The Irreducibility of Iterated to Single Revision
12 - Lloyd Humberstone — Archetypal Rules -- A Conjectured Result in Need of a Proof
2 - Greg Restall — Generality and Existence 3: Identity and Substitution
3 - Shawn Standefer — Instability, contraction, and truth
Who is attending?
No one has said they will attend yet.
Will you attend this event?