Computability theory and applications

External homepage


Nagoya University / Pennsylvania State University / Swansea University / TU Wien - Technische Universität Wien / University of Connecticut / Universität der Bundeswehr München / Université de Lyon / Victoria University of Wellington

Audience: Researchers in the topic
Seminar series time: Tuesday 15:00-16:00 in your time zone, UTC
Organizers: Damir Dzhafarov*, Vasco Brattka, Ekaterina Fokina*, Ludovic Patey*, Takayuki Kihara, Noam Greenberg, Arno Pauly, Linda Brown Westrick
*contact for this listing

Description: Computability theory, logic

The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia. While the meetings are always scheduled for Tuesdays, the timezone varies, so please refer to the calendar on the website for details about individual seminars.

Upcoming talks
Past talks
Your timeSpeakerTitle
TueJan 1909:00Emanuele FrittaionGeneric realizability for intuitionistic set theory
WedDec 1600:30Keita YokoyamaAutomorphism argument and reverse mathematics
TueDec 0821:00Linda Brown WestrickLuzin's (N) and randomness reflection
TueNov 2421:00Karen LangeComplexity of root-taking in power series fields & related problems
TueNov 1723:00Bjørn Kjos-HanssenA family of metrics connecting Jaccard distance to normalized information distance
TueNov 1021:00Paul ShaferRandomness notions and reverse mathematics
TueNov 1014:00Laurent BienvenuThe interplay between randomness and genericity
TueNov 0314:00Manlio ValentiOn the descriptive complexity of Fourier dimension and Salem sets
TueOct 2720:00Li Ling KoFickleness and bounding lattices in the recursively enumerable Turing degrees
TueOct 2014:00Alexandra SoskovaEffective embeddings and interpretations
WedOct 1401:00Chris ConidisNon-arithmetic algebraic constructions
TueOct 1320:00Leszek KołodziejczykReverse mathematics of combinatorial principles over a weak base theory
TueOct 0613:00Paul-Elliot Angles d'AuriacThe computable strength of Milliken's Tree Theorem and applications
TueSep 2920:00Christopher PorterEffective Dimension and the Intersection of Random Closed Sets
WedSep 2300:00Timothy McNichollWhich Lebesgue spaces are computably presentable?
TueSep 1520:00Justine MillerNoncomputable Coding, Density, and Stochasticity
TueSep 1513:00Alberto MarconeThe higher levels of the Weihrauch lattice
TueSep 0814:00Patrick UftringThe characterization of Weihrauch reducibility in systems containing $E$-$PA^\omega$ + $QF$-$AC^{0,0}$
TueSep 0120:00Patrick LutzPart 1 of Martin's Conjecture for Order Preserving Functions
WedAug 2601:00Andre NiesDiscovering structure within the class of K-trivial sets
TueAug 1820:00Joe MillerRedundancy of information: lowering effective dimension
TueAug 1114:00Jun Le GohComputing descending sequences in linear orderings
TueAug 0414:00Benoit MoninGenericity and randomness with ITTMs
TueJul 2821:00Andrew MarksPriority arguments in descriptive set theory
TueJul 2115:00Cristóbal RojasStatistical Chaos — a new barrier in the prediction/simulation of physical systems
TueJul 1420:00Mariya SoskovaPA relative to an enumeration oracle
WedJul 0801:00Rod DowneySacks' Splitting Theorem Re-examined (again)
TueJun 3014:00Amaury PoulyA Survey on Analog Models of Computation
TueJun 2320:00Sarah ReitzesReduction games, provability, and compactness
WedJun 1701:00Lu LiuThe coding power of products of partitions
TueJun 0914:00Nikolai BazhenovRogers semilattices in the analytical hierarchy
TueJun 0214:00Vittorio BardA local approach towards uniform Martin’s conjecture
WedMay 2701:00Dan TuretskyCoding in the automorphism group of a structure
TueMay 1920:00Denis HirschfeldtMinimal pairs in the generic degrees
WedMay 1301:00Matthew Harrison-TrainorThe tree of tuples of a structure
TueMay 0520:00Marta Fiori CaronesA theorem from Rival and Sands and reverse mathematics
TueApr 2812:00Julia KnightLimiting Density and Free Structures
TueApr 2114:00Theodore SlamanRecursion Theory and Diophantine Approximation
Embed this schedule
Export series to