Bohemian Logical & Philosophical Café

External homepage

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 timeSpeakerTitle
TueMar 0915:00Jiří RosickýTowards a point free model theory
TueMar 2315:00TBATBA
TueApr 0614:00TBATBA
TueApr 2014:00Jeremy AvigadTBA
TueMay 0414:00Michael ShulmanTBA
TueMay 1814:00André JoyalTBA
Embed this schedule
Your timeSpeakerTitle
TueFeb 2315:00Jouko VäänänenThe Strategic Balance of Games in Logic
TueFeb 0915:00Benno van den BergTBA
TueJan 2615:00Michael MakkaiNotions of identity for and in higher dimensional categories
Embed this schedule
Export series to