Online logic seminar

External homepage

logic

Audience: Researchers in the topic
Seminar series time: Thursday 19:00-20: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 timeSpeakerTitle
ThuJan 2119:00Angeliki Koutsoukou-ArgyrakiAristotle's Assertoric Syllogistic in Isabelle/HOL
ThuJan 2819:00Raimundo BriceñoDismantlability, connectedness, and mixing in relational structures
ThuFeb 0419:00Peter CholakTBA
ThuFeb 1119:00Ludovic PateyCanonical notions of forcing in computability theory
ThuFeb 1819:00Marcos Mazari-ArmidaTBA
ThuApr 1518:00Sarah ReitzesTBA
Embed this schedule
Your timeSpeakerTitle
ThuJan 1419:00Aleksandra KwiatkowskaSimplicity of the automorphism groups of countable homogeneous structures
ThuDec 1019:00Gil SagiFormalization, Commitments and Constraints
ThuDec 0319:00Johanna FranklinLimiting densities and finitely presented structures
ThuNov 1919:00Anush TserunyanContainers made easy
ThuNov 1219:00Lynn ScowTransfer of the Ramsey property
ThuNov 0519:00Farzaneh DerakhshanStrong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs
ThuOct 2918:00Adam PřenosilSemisimplicity, Glivenko theorems, and the excluded middle
ThuOct 2218:00Steffen LemppThe Turing Degrees: On the Order Dimension of and Embeddings into the Turing Degrees
ThuOct 1518:00John BaldwinTowards a finer classification of Strongly minimal sets
ThuOct 0818:00Artem ChernikovIdempotent Keisler measures
ThuOct 0118:00Victoria NoquezThe Sierpinski Carpet as a Final Coalgebra Obtained by Completing an Initial Algebra
ThuSep 2418:00Arno PaulyHow computability-theoretic degree structures and topological spaces are related
ThuSep 1718:00Alexander BerensteinExpansions of geometric theories as measurable structures
ThuSep 1018:00Mirna DžamonjaOn logics that make a bridge from the Discrete to the Continuous
ThuSep 0318:00Carl MummertThe strength of König's edge coloring theorem
ThuAug 2718:00Dima SinapovaIteration, reflection, and Prikry forcing
ThuAug 2018:00Damir DzhafarovMilliken's tree theorem and computability theory
ThuAug 1318:00James HansonStrongly Minimal Sets in Continuous Logic
ThuAug 0618:00James WorrellDecision problems in program analysis
ThuJul 3018:00Manuela BusanicheResiduated Lattices: algebraic constructions related to substructural logics
ThuJul 2318:00Dana BartošováDynamics of finite products of groups and of group extensions
ThuJul 1618:00Linda Brown WestrickBorel combinatorics fail in HYP
ThuJul 0918:00Henry TowsnerShould we believe in nonstandard analysis?
ThuJul 0218:00Ruiyuan ChenStone duality and strong conceptual completeness for infinitary logic
ThuJun 2518:00Rodrigo Torres-AvilésTopological Mixing and Linear Recurrence on SMART
ThuJun 1818:00Elaine PimentelA game model for proofs with costs
ThuJun 1118:00Samaria Montenegro GuzmánModel Theory of Pseudo Real Closed Fields
ThuJun 0418:00William BrianLimited-information strategies in Banach-Mazur games
ThuMay 2818:00Wesley HollidayExtensions of choice-free Stone duality
ThuMay 2118:00Moshe VardiThe automated-reasoning revolution: From theory to practice and back
ThuMay 1418:00Chris PorterRandomness extraction from a computability-theoretic perspective
ThuMay 0718:00Rebecca CoulsonThe Bipartite Diameter 3 Metrically Homogeneous Graphs of Generic Type: Their Ages and Their Almost Sure Theories
ThuApr 3018:00Margaret ThomasPoint counting and parameterizations
ThuApr 2318:00Mariya SoskovaFragments of the Theory of Enumeration Degrees
Embed this schedule
Export series to