Programme Committees and Peer-Reviewing

Over the years I have acted as a reviewer for articles submitted to a number of scientific journals, including:

  • ACM Transactions on Database Systems (TODS)
  • ACM Transactions on Computational Logic (TOCL)
  • Artificial Intelligence
  • Annals of Pure and Applied Logic (APAL)
  • Computing: Archives for Scientific Computing
  • Fundamenta Informaticae (FI)
  • Information and Computation (I&C)
  • Journal of Applied Logic (JAL)
  • Journal of Artificial Intelligence Research (JAIR)
  • Journal of Autonomous Agents and Multi-agent Systems (JAAMAS)
  • Journal of Logic and Computation (JLC)
  • Journal of Symbolic Logic (JSL)
  • Mathematical Structures in Computer Science (MSCS)
  • Studia Logica
  • Synthese
  • Theoretical Computer Science (TCS)

I also serve in the senior programme committees of the following international conferences:
  • International Joint Conference on Artificial Intelligence (IJCAI)
  • International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)
as well as served in the following programme committees
  • Brazilian Symposium on Artificial Intelligence (SBIA)
  • Conference on Theoretical Aspects of Rationality and Knowledge (TARK)
  • European Conference on Artificial Intelligence (ECAI)
  • European Workshop on Multi-agent Systems (EUMAS)
  • International Conference on Agreement Technologies (AT)
  • International Conference on Artificial Intelligence (AAAI)
  • International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)
  • International Conference on Concurrency Theory (CONCUR)
  • International Conference on Deontic Logic in Computer Science (DEON)
  • International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
  • International Conference on Logic Programming (ICLP)
  • International Conference on Principles and Practice of Multi-Agent Systems (PRIMA)
  • International Conference on Principles of Knowledge Representation and Reasoning (KR)
  • International Conference on Web Intelligence and Intelligent Agent Technology (IAT)
  • International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)
  • International Workshop on Strategic Reasoning (SR)
  • Logic in Security (LIS)
  • Software Engineering and Formal Methods (SEFM)
  • Workshop on Concurrency, Specification & Programming (CS&P)
  • Workshop on Data and Artifact-centric Systems (DAB)
  • Workshop on Logical Aspects of Multi-Agent Systems (LAMAS)

I have also evaluated research projects for the following national agencies
  • Agence National de la Recherche (ANR), France
  • Istituto Nazionale di Alta Matematica (INdAM), Italy