Editorial activities

I am in the Editorial Board of Bulletin of the Section of Logic, Journal for the Philosophy of Mathematics and  Philosophia Scientiae. 

– I was asked to serve as referee for the following journals (THE LIST IS NOT UPDATED):

Annals of Pure and Applied Logics,  Australasian Journal of Logic, Bulletin of the Section of Logic, Erkenntnis, Journal of Applied Non-Classical Logics, Journal of Engineering and Computer Innovation, Journal of Logic and Computation, Journal of Philosophical Logic, Logica Universalis, Logique et Analyse, Notre Dame Journal of Formal Logic,  Philosophical Quartely, Review of Symbolic Logic, Studia Logica, Synthese, Theoria, Topoi, Transaction on Computational Logic.

– I was asked to serve as referee for the following conference proceedings (THE LIST IS NOT UPDATED):

16 LPAR 2009 (Logic for Programming, Artificial Intelligence and Reasoning),Tableaux 2009, AiML 2010 (Advances in Modal Logic),ESSLI 2010 (European Summer School of Logic, Language, and Information - student session), LRR 2010 (Logic, Reasoning and Rationality), FoSSaCS 2011 (Foundations of Software Science and Computation Structures), Tableaux 2011, LICS 2011 (Logic in Computer Science), AiML 2012, MFCS 2012, (Mathematical Foundations of Computer Science), IJCAR2014, (International Joint Conference of automated Reasoning), ICALP2014 (International Colloquium on Automata, Languages and Programming).

– I was asked to serve as referee for the VQR 2004-2010 and the VQR 2011-2014

– I was asked to serve as referee for Prix Jeunes Chercheurs SPS