Talks
Lowness of the pigeonhole principle
Journées calculabilités November 25 to November 29, 2019 - Florence. [PDF]
UConn Logic seminar November 04, 2019 - Hartford. [PDF]
Reverse Mathematics of Combinatorial Principles September 15 to September 20, 2019 - Oaxaca. [PDF]
Computability in europe (CIE 2019) July 14 to July 20, 2019 - Duhram. [PDF]
SRT22 vs RT22 in omega-models
Higher Recursion Theory and Set Theory September 20 to June 14, 2019 - Singapor. [PDF]
The gamma question
Logic in computer science (LICS 2018) July 09 to July 12, 2018 - Oxford. [PDF]
Genericity and randomness with ITTMs
By Paul-Elliot Angles d'Auriac Computability complexity and randomness (CCR 2018) December 17 to December 21, 2018 - Santiago. [PDF]
Algorithmic randomness
Cuny Logic workshop May 5, 2017 - New York. [PDF]
Randomness and ITTMs
Aspects of Computation August 21 - September 15, 2017 - Singapore. [PDF]
CCR 2017 July 03 - July 07, 2017 - Mysore. [PDF]
Error correcting codes and computability theory
2017 AMS Eastern Sectional Meeting : Computability Theory: Pushing the Boundaries May 06 - May 07, 2017 - New York. [PDF]
Higher randomness
Algorithmic Randomness Interacts with Analysis and Ergodic Theory December 04 - December 09, 2016 - Oaxaca. [PDF]
The gamma question
Journées calculabilités April 11 - April 13, 2016 - Nice. [PDF]
Computability in europe (CIE 2016) June 27 - July 01, 2016 - Paris. [PDF]
A unifying approach to the gamma question
Computability complexity and randomness (CCR 2016) January 4 - January 8, 2016 - Hawaii. [PDF]
Logic in computer science (LICS 2015) July 6 - July 10, 2015 - Kyoto. [PDF]
Higher randomness
Victoria university - logic seminar April 2014 - Wellington. [PDF]
Higher randomness and forcing with closed sets
STACS 2014 March 5 - March 8, 2014 - Lyon. [PDF]
Continuous higher randomness
Computability complexity and randomness (CCR 2013) September 23 - September 27, 2013 - Moscow. [PDF]
Analysis randomness and application (ARA 2013) June 27 - June 28, 2013 - Nancy. [PDF]
Von Neumann's biaised coin revisited
Logic in computer science (LICS 2012) June 25 - June 28, 2012 - Dubrovnik. [PDF]