WLD 2024
10:00-11:00 Tyler D. P. Brunet and Gillman Payette -- Adjointness and Modal Semantics
11:00-12:00 Koray Akcguner and Elias Yuan -- The equivalence of double negation elimination and the law of excluded middle
12:00-13:00 Kent Peacock -- "The characteristic trait of quantum mechanics": The Puzzle of Entanglement and Why It Matters Today
13:00-14:00 Sophia Kimiagari -- Feminist Critiques of Logic and the Possibility of Feminist Logic
14:00-15:00 Allen Hazen -- Type Theory and Single-sorted Languages
15:00-16:00 Nicolas Fillion -- Doing logic with partially indeterminate operators: the case of deontic logic
16:00-17:00 Mark McCormack -- Universal Logic: Logic that Logically Proves Itself
WLD 2023
10:00-10:45 Richard Zach -- Logical Archeology of Automated Theorem Proving
10:45-11:30 Bernard Linsky -- Jan Lukasiewicz "The Principle of Contradiction and Symbolic Logic" 1910
11:30-12:15 Kent Peacock -- Existential Elimination and the Mystrious Case of John Doe
12:15-13:00 Koray Akcaguner -- Mathematical Constructions and Constructive Proofs
13:00-13:45 Nicolas Fillion -- Pedagogy and Curriculum in Intermediate Logic Courses
13:45-14:30 Sophia Kimigari -- Logical Nihilism: Where the Disagreement Stems From
15:15-16:00 Max Cresswell -- Venn's Diagrams
16:00-16:45 Gillman Payette -- Reflections on writing with Peter Schotch