2019

• Senior Program Committee member: 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), Montreal, Canada, 13-17 May, 2019
• Program Committee member: A.P. Ershov Informatics Conference, Novosibirsk, Akademgorodok, Russia, July 2-5, 2019.
• Invited speaker: Section on Philosophical Logic, 16th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), Prague, Czech Republic, August 5-10, 2019.
• Lecturer: 31th European Summer School in Logic, Language and Information (ESSLLI'2019), Riga, Latvia, August 5-16, 2019.

2018

• Program Committee member: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Arizona, US, 30 October - 2 November 2018
• Program Committee member: 16th European Conference on Multi-Agent Systems, Bergen, Norway, 6-7 December 2018.
• Co-organiser: Lorenz Center Workshop "Dynamics of multi-agent systems", Leiden, The Netherlands, December 17-21, 2018.

2018

• Program Committee member: Workshop on Games for Logic and Programming Languages XIII (GaLoP) (affiliated with ETAPS 2018),Thessaloniki, Greece, April 14-15, 2018.
• Invited speaker: Academy Colloquium on Reasoning in Social Context, Royal Netherlands Academy of Arts and Sciences, Amsterdam, May 31 - June 2, 2018.
• Tutorial presenter: 20th European Agent Systems Summer School (EASSS 2018), Maastricht, The Netherlands, June 18-22, 2018.
• Lecturer: North American Summer School in Logic, Language and Information NASSLLI'2018, Carnegie Mellon University, Pittsburgh, USA, June 23-29, 2018.
• Organiser and chair: Workshop on Formal Methods & Logical Aspects of multi-agent systems (FMLAMAS 2018), Stockholm, Sweden, July 10, 2018.
• Invited speaker: Horizons of Logic, Computation and Definability: Symposium in Honour of Lauri Hella's 60th birthday, Murikanranta, Tampere, Finland, 4-6 July 2018
• Senior Program Committee member: 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, Sweden, July 10-15, 2018.
• Program Committee member: 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, July 14-17, 2018, (part of FLoC 2018).
• Program Committee member: 13th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2018), Milan, Italy, July 16-18, 2018.
• Program Committee member: 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Sweden, July 13-19, 2018.
• Lecturer: 30th European Summer School in Logic, Language and Information (ESSLLI'2018), Sofia, Bulgaria, August 6-17, 2018.
• Program Committee member:12th International Conference on Advances in Modal Logic (AiML'2018), Bern, Switzerland, August 27-31, 2018.
• Key-note speaker: Refutation Symposium 2018 at Poznań Reasoning Week, Poznań, Poland, 11-15 September 2018.

2017

• Dagstuhl Seminar 17111 on Game Theory in AI, Logic and Algorithms, March 12-17, 2017
• Organising Committee co-chair: Logic@Stockholm, August'2017, including:
  • SLS Nordic Summer School in Logic (NSL’2017), Stockholm, August 7-12, 2017.
  • ASL Logic Colloquium 2017 (LC’2017), Stockholm, August 14-20, 2017.
  • Computer Science Logic (CSL’2017), Stockholm, August 20-24, 2017.
• Program Committee member:SLS Nordic Summer School in Logic (NSL’2017),
• Program Committee member: ASL Logic Colloquium 2017 (LC’2017).
• Program Committee co-chair: 26th annual EACSL conference on Computer Science Logic (CSL’2017), Stockholm, August 20-24, 2017.
• Co-organiser: 8th Workshop on Logics for Multi-agent Systems (LAMAS2017), affiliated with CSL’2017, Stockholm, August 25, 2017.
• Program Committee member: Workshop on Dynamic Logic: new trends and applications (DaLí 2017), Brasília, 23-24 September, 2017
• Invited speaker: Workshop on Logic and Philosophy of Time: Themes from Prior, Copenhagen, November 22 – 24, 2017

2016

• Invited speaker: Lorenz Center Workshop "Unified Correspondence", Leiden, The Netherlands, February 15-19, 2015.
• Invited speaker: "Modalities, Conditionals, and Values", Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright, Helsinki, Finland, May 23-25, 2016.
• Program Committee member: 2nd International workshop on "Norms, Actions, Games" (NAG 2016), Toulouse, France, June 20-22, 2016.
• Program Committee member: 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2016), Maastricht, The Netherlands, July 20-22, 2016.
• Lecturer: 28th European Summer School in Logic, Language and Information (ESSLLI'2016), Free University of Bozen-Bolzano, Italy, August 15-26, 2016.
• Invited speaker and program ommittee member:11th International Conference on Advances in Modal Logic (AiML'2016), Budapest, Hungary, August 29 - Sept 2, 2016.
• Program Committee member: 25th annual EACSL conference on Computer Science Logic (CSL’2016), Marseille, France, August 29 - Sept 1, 2016.
• Program Committee member: 15th European Conference on Logics In Artificial Intelligence (JELIA 2016), Larnaca, Cyprus, 09 - 11 November, 2016.

2015

• Program Committee member: 4th International Conference on Tools for Teaching Logic, 9-12 June, 2015, Rennes, France.
• Lecturer: 27th European Summer School in Logic, Language and Information (ESSLLI'2015), Universitat Pompeu Fabra, Barcelona, Spain, August 3-14, 2015.
• Invited speaker: Lorenz Center Workshop "To Be Announced! Synthesis of Epistemic Protocols", Leiden, The Netherlands, August 17-21, 2015.
• Invited speaker: 10th Workshop on Logical and Semantic Frameworks, with Applications (LSFA'2015), Natal, Brazil, August 31-September 1, 2015.
• Program Committee member: 1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR’15), Lodz, Poland, 13-16 September, 2015.
• Program Committee member: 3rd International Workshop on Strategic Reasoning (SR 2015), Oxford, U.K., September 21-22, 2015.
• Program Committee member: 5th International Conference on Logic, Rationality and Interaction (LORI-V), National Taiwan University and National Yang Ming University, Taipei, Taiwan, October 28-31, 2015.
• Program Committee member: 13th European Conference on Multi-Agent Systems EUMAS'2015, Athens, Greece, 17-18 December 2015

2014

• Senior Program Committee member: 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014), Paris, France, May 5-9, 2014.
• Program Committee member: AAMAS'2014 Workshop on Logics for Multi-agent Systems (LAMAS2014), Paris, France, May 5, 2014.
• Program Committee member: 7th International Joint Conference on Automated Reasoning (IJCAR'2014), Vienna, Austria, July 19--22, 2014. Part of the Vienna Summer of Logic 2014.
• Program Committee member:10th International Conference on Advances in Modal Logic (AiML'2014), Groningen, The Netherlands, August 5-8, 2014.
• Lecturer: 26th European Summer School in Logic, Language and Information (ESSLLI'2014), University of Tübingen, Germany, August 18-22, 2014.
• Invited speaker: ESSLLI'2014 Workshop on Information Dynamics in Artificial Societies (IDAS'2014), University of Tübingen, Germany, August 11-22, 2014.
• Program Committee member: 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'2014), affiliated with ECAI'2014, Prague, Czech Republic, 18-19 August, 2014.
• Programme co-chair: 9th Scandinavian Logic Symposium (SLS'2014), Tampere, Finland, August 25-27, 2014.
• Program Committee member: 5th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014), Verona, Italy, September 10-12, 2014.
• Program Committee member: 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Madeira, Portugal, September 24-26, 2014.
• Program Committee member: The 1st Workshop on Logics and MODel-checking for self-* systems (MOD* 2014), Bertinoro, Italy, 12 September 2014.
• Program Committee member: 12th European Conference on Multi-Agent Systems (EUMAS'2014), Prague, Czech Republic, 18-19 December 2014.

2013

• Visiting professor at the Centre International de Mathématiques et Informatique de Toulouse until July 2013.
• Program Committee member: 1st International Workshop on Strategic Reasoning (SR 2013), Rome, Italy, March 16-17, 2013.
• Program Committee member: 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013), Saint Paul, Minnesota, USA, May 6-10, 2013.
• Invited speaker: International Workshop on Philosophy and Logic, Taras Shevchenko National University, Kyiv, Ukraine, May 23-25, 2013.
• Scientific Committee Chair: First Nordic Spring School in Logic, Sophus Lie Conference Center, Nordfjordeid, Norway, May 27-31, 2013.
• Lecturer: 25th European Summer School in Logic, Language and Information (ESSLLI'2013), Heinrich Heine University, Düsseldorf, Germany, August 5-16, 2013.
• Program Committee member: 4th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2013), Borca di Cadore, Belluno, Italy, August 29-31, 2013.
• Program Committee member: 19th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'2013), Nancy, France, September 16-19, 2013.
• Program Committee member: International Conference on Highlights of Automata, Logic and Games, Paris, September 18-21, 2013.
• Invited speaker: 4th International Workshop on Logic, Rationality and Interaction (LORI-4), Hangzhou, China, October 9-12, 2013.
• Program Committee member: Theoretical and Applied Aspects of Cybernetics (TAAC'2013), Taras Shevchenko National University of Kiev, Ukraine, November 25-29, 2013.
• Program Committee member: 11th European Workshop on Multi-Agent Systems (EUMAS'2013), Toulouse, France, December 12 - 13, 2013.

2012

• Invited speaker: Workshop on Modelling Strategic Reasoning, Lorenz Center, Leiden, 20-24 February, 2012.
• Invited tutorial speaker: PhDs in Logic IV, annual Belgian–Dutch graduate school and conference, Ghent, April 12-13, 2012.
• Tutorial presenter at the Workshop on Modality and Modalities, Copenhagen 29-30 May, 2012.
• Co-organizer (with Wojtek Jamroga) of the AAMAS'2012 Workshop on Logics for Multi-agent Systems (LAMAS2012), Valencia, Spain, June 5, 2012.
• Program Committee member: 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012), Valencia, Spain, June 4-8, 2012.
• Program Committee member: 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 7-10, 2012.
• Program Committee member:9th International Conference on Advances in Modal Logic (AiML'2012), Copenhagen, Denmark, August 22-25, 2012.
• Invited speaker: 19th International Symposium on Temporal Representation and Reasoning (TIME'2012), Leicester, UK, 12-14 September 2012.

2011

• Program Committee member: 7th International Workshop "Methods for Modalities" 2011 (M4M7), Osuna, Spain, 10-12 November 2011.
• Program Committee member: 4th Indian Conference on Logic and its Applications, Delhi University, India, January 9--11, 2011.
• Program Committee member: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011), Taipei, Taiwan, May 2-6, 2011.
• Invited speaker: International conference "7th Smirnov's Readings in Logic", Moscow, June 22-24, 2011.
• Program Committee member: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'2011), Bern, Switzerland, July 4-8, 2011.
• Program Committee member: 22nd International Joint Conference on Artificial Intelligence (IJCAI-'2011), Barcelona, Spain, July 16-22, 2011.
• Lecturer: 23rd European Summer School in Logic, Language and Information (ESSLLI'2011), Ljubjana, Slovenia, August 1-12, 2011.
• Program Committee member: Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2011), Paris, France, August 31 - September 3, 2011.
• Program Committee member: 20th EACSL Annual Conference on Computer Science Logic (CSL'2011), Bergen, Norway, 12-15 September 2011.
• Program Committee member: 7th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT '11), Karlsruhe, Germany, September 26.-30, 2011.
• Program Committee member: 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Saarbrücken, Germany, October 5 - 7, 2011.

2010

• Invited lecturer at the 3rd Indian School on Logic and its Applications (ISLA 2010), Univ. of Hyderabad, Gachibowli, India, January 18-29, 2010.
• Invited speaker at the Workshop on Logic for information security, 19–22 January 2010 University of Hyderabad, India.
• Program Committee member: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010), Toronto, Canada, May 10-14, 2010.
• Program Committee member: First International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2010), Minori, (Amalfi coast), Italy - 17-18 June 2010.
• Program Committee member:17th Workshop on Logic, Language, Information and Computation (WOLLIC'2010), Brasília, Brazil, July 6-9, 2010.
• Co-organizer (with Martin Lange) of the FLOC'2010 Workshop on Comparing Logical Decision Methods (CLoDeM2010), Edinburgh, July 15, 2010.
• Co-organizer (with Wojtek Jamroga) of the AAMAS'2010 Workshop on Logics for Multi-agent Systems (LAMAS2010), Toronto, May 10, 2010.
• Invited speaker: Logic Colloquium 2010, Paris, July 25-31, 2010.
• Program Committee Chair: 22nd European Summer School in Logic, Language and Information (ESSLLI'2010),Copenhagen, Denmark, August 9-20, 2010.
• Program Committee member: 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon, Portugal, August 16-17, 2010. Affiliated withECAI'10.
• Program Committee Co-Chair:8th International Conference on Advances in Modal Logic (AiML'2010), Moscow, August 25-29, 2010.
• Program Committee member: Conference on Mathematical Logic and Set Theory, Chennai (India), 15-17 August 2010. (Satellite Conference of the ICM 2010 in Hyderabad (India)).

2009

• Chair: E. W. Beth Dissertation Prize Committee of the Association of Logic, Language and Information (FoLLI). Call for nominations 2009.
• Program Committee member: 17th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'2009), Oslo, July 7-10, 2009.
• Organizer: Workshop on Tableaux versus automata as logical decision methods at Tableaux'2009, Oslo, July 6, 2009.
• Program Committee member: 21st International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, California, July 11-17, 2009.
• Program Committee member: 16th International Symposium on Temporal Representation and Reasoning (TIME'2009), Brixen, Italy, 23-25 July 2009.
• Lecturer: 21st European Summer School in Logic, Language and Information (ESSLLI'2009), Bordeaux, France, July 20-31, 2009.
• Program Committee member: 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009)University of Milano Bicocca, Milano, Italy,15-18 September 2009.
• Invited lecturer at the FIRST Autumn School on Modal Logic, Copenhagen, November 10-11 2009
• Program Committee member: 6th International Workshop "Methods for Modalities" 2009 (M4M6), Copenhagen, Denmark, November 12-14, 2009.
• Program Committee member: Seventh IEEE conference on Software Engineering and Formal Methods (SEFM 2009), Hanoi, Vietnam, November 23-27, 2009.

• Chair: E. W. Beth Dissertation Prize Committee of the Association of Logic, Language and Information (FoLLI).
• Program Committee member: Sixth IEEE conference on Software Engineering and Formal Methods (SEFM 2008), Cape Town, South Africa, November 10-14, 2008.
• Program Committee member: 7th International Conference on Advances in Modal Logic (AiML'2008), LORIA, Nancy, France, 9- 12 September 2008.
• Program Committee member: Workshop on Logic and Intelligent Interaction, organized within ESSLLI'2008, Hamburg, Germany, August 11-15, 2008.
• Lecturer: 20th European Summer School in Logic, Language and Information (ESSLLI'2008), Hamburg, Germany, August 4-15, 2008 .
• Program Committee member: 15th International Symposium on Temporal Representation and Reasoning (TIME'2008), Montreal, Canada, June 11-13, 2008.