Bohemian Logical & Philosophical Café
logic in computer science category theory logic
| Audience: | Researchers in the topic |
| Seminar series time: | Every other Tuesday 15:00-16:20 in your time zone, UTC |
| Organizers: | Steve Awodey, David Corfield, Ivan Di Liberti*, Mirna Džamonja, Wiesław Kubiś, Jean-Pierre Marquis, Paul-André Mellies, Thomas Streicher |
| *contact for this listing |
The Bohemian Logical & Philosophical Café is a framework for webinars in emerging topics in philosophy and logic. The project has a quite broad scope and is willing to encompass a variety of subjects, ranging from theoretical computer science to philosophy.
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Tue | May 04 | 14:00 | Michael Shulman | TBA | |
| Tue | Apr 20 | 14:00 | Jeremy Avigad | Methodology and metaphysics in Dedekind's theory of ideals | |
| Tue | Mar 09 | 15:00 | Jiří Rosický | Towards a point free model theory | |
| Tue | Feb 23 | 15:00 | Jouko Väänänen | The Strategic Balance of Games in Logic | |
| Tue | Feb 09 | 15:00 | Benno van den Berg | TBA | |
| Tue | Jan 26 | 15:00 | Michael Makkai | Notions of identity for and in higher dimensional categories | |
Export series to