Online logic seminar
logic
Audience: | Researchers in the topic |
Seminar series time: | Thursday 19:00-20:00 in your time zone, UTC |
Organizer: | Wesley Calvert* |
*contact for this listing |
Description: Seminar on all areas of mathematical logic
Upcoming talks
Past talks
Your time | Speaker | Title | |||
---|---|---|---|---|---|
Thu | Jan 21 | 19:00 | Angeliki Koutsoukou-Argyraki | Aristotle's Assertoric Syllogistic in Isabelle/HOL | |
Thu | Jan 28 | 19:00 | Raimundo Briceño | Dismantlability, connectedness, and mixing in relational structures | |
Thu | Feb 04 | 19:00 | Peter Cholak | TBA | |
Thu | Feb 11 | 19:00 | Ludovic Patey | Canonical notions of forcing in computability theory | |
Thu | Feb 18 | 19:00 | Marcos Mazari-Armida | TBA | |
Thu | Apr 15 | 18:00 | Sarah Reitzes | TBA |
Export series to