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 logic

Upcoming talks
Past talks
Your timeSpeakerTitle
ThuOct 1718:00Sam SandersSome results in reverse mathematics inspired by proof mining
ThuOct 2418:00Java VillanoTBA
ThuOct 3118:00Janani LakshmananTBA
ThuNov 0719:00Charles McCoyTBA
ThuNov 1419:00Dicle MutluTBA
ThuNov 2119:00Julia KnightTBA
ThuDec 0519:00Sunil KarnTBA
Embed this schedule
Your timeSpeakerTitle
ThuOct 1018:00Jinhe YeHyperbolicity and model complete fields
ThuOct 0318:00Don StullRecent progress on distance sets in the plane
ThuSep 2618:00Leonardo CoreglianoExchangeable random structures and quasirandomness
ThuSep 1218:00Leo JimenezInternality of autonomous systems of differential equations
ThuMay 0918:00David MeretzkyDifferential Field Arithmetic
ThuMay 0218:00Marcelo E. ConiglioDecision procedures for Intuitionistic logic and for modal logic S4 by 3-valued non-deterministic matrices
ThuApr 2518:00Brian ZilliOn the spectra of computable bounded analytic functions
ThuApr 1118:00Thomas IcardCausal Inference as a Logical Problem
ThuMar 2818:00Miriam ParnesTBA
ThuMar 1418:00Vincent GuingonaConfigurations and Products of Classes
ThuMar 0719:00Jessica SchirleGaming Models by Buildings
ThuFeb 1519:00Ellen HammattPunctual Structures
ThuFeb 0819:00Jamshid DerakhshanDecidability of the class of all the rings $Z/mZ$: A problem of Ax
ThuFeb 0119:00David GonzalezGenerically computable linear orderings
ThuJan 1819:00Russell MillerComputability and absolute Galois groups
ThuDec 1419:00Nicholas RamseyModel theory and the Lazard Correspondence
ThuDec 0719:00Landon ElkindPrincipia Mathematica, Negative Types, and a theorem of infinity for Z-Principia Mathematica
ThuNov 3019:00Diana Carolina MontoyaCardinal characteristics and singular cardinals
ThuNov 1619:00CanceledTBA
ThuNov 0919:00Assaf ShaniGeneric analysis of Borel homomorphisms for the finite Friedman-Stanley jumps
ThuNov 0218:00(Cancelled)(Cancelled due to speaker illness; will reschedule)
ThuOct 2618:00Salma KuhlmannThe automorphism group of Hahn fields
ThuOct 1918:00Dino RosseggerLearning equivalence relations
ThuOct 1218:00Noah SchweberLogic(s) in the computable context
ThuOct 0518:00Kameryn WilliamsInterpretations and bi-interpretations in second-order arithmetic
ThuSep 2818:00Teresa Kouri KisselProof-Theoretic Pluralism and Harmony
ThuSep 2118:00Darío GarcíaPseudofiniteness and measurability of the everywhere infinite forest
ThuSep 1418:00Michaël CadilhacCircuit Complexity as a Mathematician's Playground: Logic, Algebra, Combinatorics
ThuSep 0718:00Timothy TrujilloNonstandard Methods in Topological Ramsey Theory: Revisiting the Nash-Williams Theorem
ThuAug 3118:00Sam SandersThe Biggest Five of Reverse Mathematics
ThuAug 2418:00Isabella ScottEffective constructions of existentially closed groups
ThuMay 1118:00Una StojnićTBA
ThuMay 0418:00Daniel MouradComputing Non-Repetitive Sequences Using the Lovász Local Lemma
ThuApr 2718:00Cian DorrNon-Extensional Higher Order Logic with Substitution
ThuApr 0618:00Sandra MüllerCanonical Models of Determinacy
ThuMar 3018:00Elliot KaplanHilbert polynomials for finitary matroids
ThuMar 2318:00Athar Abdul-QuaderArithmetic Saturation and Pathological Satisfaction
ThuMar 1618:00Jenna ZombackWeak mixing for semigroup actions and applications to pointwise ergodic theorems
ThuMar 0219:00Konstantin SlutskyPartial actions and orbit equivalence relations
ThuFeb 2319:00Alexandra SoskovaCohesive Powers of Linear Orders
ThuFeb 1619:00Michael HrušákModel theory and topological groups
ThuFeb 0919:00Liling KoComputable smallness is not intrinsic smallness
ThuFeb 0219:00Maribel FernandezNominal Techniques for the Specification of Languages with Binders
ThuJan 2619:00Adele PadgettRegular solutions of systems of transexponential polynomials
ThuJan 1919:00Patrick LutzThe Solecki dichotomy and the Posner Robinson theorem
ThuDec 1519:00Francesca Zaffora BlandoRandomness and Invariance
ThuDec 0119:00David SchrittesserNonstandard analysis and statistical decision theory
ThuNov 1719:00Barbara CsimaDegrees of Categoricity
ThuNov 1019:00Vincent BagayokoSome ordered groups of generalized series
ThuNov 0318:00Philip WhiteA Two-Cardinal Ramsey Operator on Ideals
ThuOct 2718:00Gabriel ConantSeparation for isometric group actions and hyperimaginary independence
ThuOct 2018:00Kirsten EisenträgerA topological approach to undefinability in algebraic extensions of the rationals
ThuOct 1318:00Jonathan ProtzenkoComputational Law: Programming Languages meet the Law
ThuSep 2218:00Hunter SpinkRandom walks and combinatorial dimensions in o-minimal groups
ThuSep 1518:00Neer BhardwajAn analytic AKE program with induced structure results on coefficient field and monomial group
ThuSep 0818:00Patricia BlanchetteFormalism in Logic
ThuSep 0118:00Karen LangeClassification via effective lists
ThuAug 2518:00Xavier VidauxTowers of totally real nested square roots: undecidability, the lattice of subfields, and the quartic extensions within the tower
ThuAug 1818:00RamyaaAdvances in Differentiable Program Learning
ThuMay 0518:00Ioannis Souldatos(Non)-Absolute Characterizations of Cardinals
ThuApr 2818:00George MetcalfeFrom ordered groups to ordered monoids and back again
ThuApr 1418:00Forte ShinkoRealizations of equivalence relations and subshifts
ThuMar 3118:00Manlio ValentiThe first-order part of Weihrauch degrees
ThuMar 2418:00Riley ThorntonAn algebraic approach to Borel CSPs
ThuMar 1718:00John BaldwinCategory theory and Model Theory: Symbiotic Scaffolds
ThuMar 0319:00Adam CaseFinite-State Mutual Dimension
ThuFeb 2419:00Roman KossakUndefinability and absolute undefinability in models of arithmetic
ThuFeb 1019:00Antonina KolokolovaLearning from bounded arithmetic
ThuJan 2719:00Lauren WickmanKnaster Continua and Projective Fraïssé Theory
ThuJan 2019:00Daniel TuretskyTrue Stages -- From Priority Arguments to Descriptive Set Theory
ThuJan 1319:00Caleb CamrudContinuous Logic, Diagrams, and Truth Values for Computable Presentations
ThuDec 1619:00Todor TsankovContinuous logic and Borel equivalence relations
ThuDec 0919:00Mostafa MirabiMS-measurability via Coordinatization
ThuDec 0219:00Vasco BrattkaA Galois connection between Turing jumps and limits
ThuNov 1819:00Sara UckelmanJohn Eliot's Logick Primer: A bilingual English-Algonquian logic textbook
ThuNov 1119:00Jana MařikováDefinable matchings in o-minimal bipartite graphs
ThuNov 0418:00Natalia García FritzHilbert's tenth problem for rings of exponential polynomials
ThuOct 2818:00Alexandra ShlapentokhA Mysterious Ring
ThuOct 2118:00Gregory CherlinHomogeneity and generalized metric spaces
ThuOct 1418:00Franziska JahnkeDecidability and definability in unramified henselian valued fields
ThuOct 0718:00Françoise PointDefinable groups in topological fields with a generic derivation
ThuSep 3018:00Gihanee SenadheeraEffective Concept Classes of PACi/PAC Incomparable Degrees and Jump Structure
ThuSep 1618:00Caroline TerrySpeeds of hereditary properties and mutual algebricity
ThuSep 0918:00Marcelo ArenaDescriptive Complexity for Counting Complexity Classes
ThuSep 0218:00Cristina SernadasDecidability via Reduction in Logics and Their Combinations
ThuAug 2618:00Colin JahelSome progress on the unique ergodicity problem
ThuAug 1918:00Joel NaglooGeometric triviality in differentially closed fields
ThuJul 2918:00Hunter SpinkProbabilistic Littlewood-Offord anti-concentration results via model theory
ThuJul 2218:00Noah SchweberCeers higher up
ThuJul 1518:00Cristobal RojasComputability of Harmonic Measure
ThuJul 0818:00Dimitra ChompitakiDecidability results of subtheories of commonly used domains in Algebra and Number Theory
ThuJul 0118:00Daoud SinioraGeneric automorphisms of homogeneous structures
ThuJun 1718:00Christina BrechIsomorphic combinatorial families
ThuJun 1018:00Rachael AlvirScott Complexity and Finitely α-generated Structures
ThuJun 0318:00Tarek Sayed-AhmedAtom canonicity, complete representations, and omitting types
ThuMay 2718:00Alexi Block GormanDefinability on the Reals from Büchi Automata
ThuMay 2018:00Andrew MoorheadHigher commutators, hypercubes, and the hierarchy of centralizer conditions
ThuMay 1318:00Andrés VillavecesA partition relation for well-founded trees by Komjáth and Shelah, and two applications to model theory.
ThuMay 0618:00Valentina HarizanovComputability theory and automorphisms of lattices of substructures
ThuApr 2918:00Mariana VicariaElimination of imaginaries and stable domination in multivalued fields
ThuApr 2218:00Sylvy AnscombeSome existential theories of fields
ThuApr 1518:00Sarah ReitzesReduction games over $\textup{RCA}_0$
ThuApr 0118:00Deirdre HaskellTameness properties of theories of valued fields with analytic functions
ThuMar 2518:00Michael LiebermanRecent developments in categorical model theory
ThuMar 1119:00Matthew MooreThe Hidden Subgroup Problem for Universal Algebras
ThuMar 0419:00Dakota IhliWhat generic automorphisms of the random poset look like
ThuFeb 2519:00Sophia KnightReasoning about agents who may know other agents’ strategies in Strategy Logic
ThuFeb 1819:00Marcos Mazari-ArmidaCharacterizing noetherian rings via superstability
ThuFeb 1119:00Ludovic PateyCanonical notions of forcing in computability theory
ThuFeb 0419:00Peter CholakOld and new results on the computably enumerable sets
ThuJan 2819:00Raimundo BriceñoDismantlability, connectedness, and mixing in relational structures
ThuJan 2119:00Angeliki Koutsoukou-ArgyrakiAristotle's Assertoric Syllogistic in Isabelle/HOL
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