Research
Journal papers:
A. Taveneaux. Axiomatizing Kolmogorov complexity. Subbited to TOCS
Conference papers:
L. Bienvenu, A. Romashchenko, A. Shen, A. Taveneaux, S. Vermeeren. Are Random Axioms Useful?.
Submited to CCC 2012
B. Kjos-Hanssen, A. Taveneaux, N, Thapen. How much randomness is needed for statistics?.
Submited to CIE 2012
A. Taveneaux. Towards an Axiomatic System for Kolmogorov Complexity.
6th Conference on Computability in Europe CIE2012 LNCS 6735 pp 280-289
In preparation:
Misc:
Talk:
Séminaire du LACL de l'Université Paris-Est Créteil
Séminaire Méthodes Formelles du LORIA 6th December:Calculabilité et mathématiques effectives
Journées de rentrée du LIAFA 2011
Séminaire des Thésards des laboratoires PPS et LIAFA :Calculabilité et mathématiques effectives
Computability In Europe 2012 in June 2011 (at Sofia):Towards an axiomatic system for Kolmogorov complexity
Computability and Randomness in Paris in June 2011:How much randomness is needed for statistics ?
Seminar Course in Mathematical Logic (Math 268) at University of California, San Diego : How much randomness is needed for statistics ?
Séminaire de l’équipe Escape du LIF de Marseille:
Vers une axiomatisation de la complexité de Kolmogorov
Journées de rentrée du LIAFA en November 2010:
Caractérisation de l'aléatoire par l'analyse
Journée de rentrée de l'équipe Automates et applications du LIAFA en September 2010: Vers une axiomatisation de la complexité de Kolmogorov