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

Audience:	Researchers in the topic
Seminar series time:	Thursday 18:00-19: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	Aug 13	18:00	James Hanson	Strongly Minimal Sets in Continuous Logic
Thu	Aug 20	18:00	Damir Dzhafarov	TBA
Thu	Sep 03	18:00	Carl Mummert	TBA
Thu	Sep 10	18:00	Mirna Džamonja	TBA

Embed this schedule

Your time			Speaker	Title
Thu	Aug 06	18:00	James Worrell	Decision problems in program analysis
Thu	Jul 30	18:00	Manuela Busaniche	Residuated Lattices: algebraic constructions related to substructural logics
Thu	Jul 23	18:00	Dana Bartošová	Dynamics of finite products of groups and of group extensions
Thu	Jul 16	18:00	Linda Brown Westrick	Borel combinatorics fail in HYP
Thu	Jul 09	18:00	Henry Towsner	Should we believe in nonstandard analysis?
Thu	Jul 02	18:00	Ruiyuan Chen	Stone duality and strong conceptual completeness for infinitary logic
Thu	Jun 25	18:00	Rodrigo Torres-Avilés	Topological Mixing and Linear Recurrence on SMART
Thu	Jun 18	18:00	Elaine Pimentel	A game model for proofs with costs
Thu	Jun 11	18:00	Samaria Montenegro Guzmán	Model Theory of Pseudo Real Closed Fields
Thu	Jun 04	18:00	William Brian	Limited-information strategies in Banach-Mazur games
Thu	May 28	18:00	Wesley Holliday	Extensions of choice-free Stone duality
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