We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

Online logic seminar

External homepage

logic

Description:	Seminar on all areas of mathematical logic
Audience:	researchers in topic
Seminar series time:	Thursday 18:00-19:00 in your time zone, UTC.
Organizer:	Wesley Calvert*
	*contact for this listing

Upcoming talks

Past talks

Your time			Speaker	Title
Thu	May 28	18:00	Wesley Holliday	Extensions of choice-free Stone duality
Thu	Jun 04	18:00	William Brian	Limited-information strategies in Banach-Mazur games
Thu	Jun 11	18:00	Samaria Montenegro Guzmán	TBA
Thu	Jun 18	18:00	Elaine Pimentel	A Game Model for Proofs with Costs
Thu	Jun 25	18:00	Rodrigo Torres-Avilés	Topological Mixing and Linear Recurrence on SMART
Thu	Jul 02	18:00	Linda Brown Westrick	TBA
Thu	Jul 09	18:00	Henry Towsner	TBA

Embed this schedule

Your time			Speaker	Title
Thu	May 21	18:00	Moshe Vardi	The automated-reasoning revolution: From theory to practice and back
Thu	May 14	18:00	Chris Porter	Randomness extraction from a computability-theoretic perspective
Thu	May 07	18:00	Rebecca Coulson	The Bipartite Diameter 3 Metrically Homogeneous Graphs of Generic Type: Their Ages and Their Almost Sure Theories
Thu	Apr 30	18:00	Margaret Thomas	Point counting and parameterizations
Thu	Apr 23	18:00	Mariya Soskova	Fragments of the Theory of Enumeration Degrees

Embed this schedule

Export series to