Bohemian Logical & Philosophical Café

External homepage

logic in computer science category theory logic

Audience: Researchers in the topic
Seminar series time: Every other Tuesday 14:00-15: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
TueMay 0414:00Michael ShulmanTBA
TueApr 2014:00Jeremy AvigadMethodology and metaphysics in Dedekind's theory of ideals
TueMar 0915:00Jiří RosickýTowards a point free model theory
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