Actvities and Events

Current activities  Past activities  Current events  Past events

Current activities

• President of the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) of the International Union of History and Philosophy of Science and Technology (IUHPST), during 2024-2027
• President of the Scandinavian Logic Society, since June 2018
• Senior member of the Management Board of the Asociation for Logic, Language and Information (FoLLI)
• Executive member of the Board of the European Association for Computer Science Logic EACSL
• Editor-in-chief (Logic): FoLLI Publications on Logic, Language and Information, sub-series of Springer LNCS
• Editor-in-chief of the journal Logics
• Associate Editor of the ACM Transactions on Computational Logic
• Member of the Steering Committee of the research network on Logical Aspects of Multi-Agent Systems (LAMAS)

Past activities

• During 2016-2020
  President of the Management Board of the Asociation for Logic, Language and Information (FoLLI).
• During 2009-2012
  Member of the Steering Committee of the conference series on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
• During 2008-2016
  Member of the Steering Committee of the conference series Advances in Modal Logic

Current and forthcoming events in which I am involved

Nordic Online Logic Seminar

2024

• Invited speaker at the Workshop: World Logic Day in Estonia, Tallinn, Estonia, January 15, 2024.
• Area chair: Knowledge Representation, Reasoning, and Planning of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), Auckland, New Zealand, 6-10 May, 2024
• Invited section speaker at the The 2024 Swedish Congress of Philosophy (Filosofidagarna 2024) Gothenburg, Sweden, 7-9 June 2024.
• Invited speaker at the Conference on Formal Methods and Science in Philosophy V , Dubrovnik, Croatia, May 16-18, 2024.
• Program Committee member of the 15th Conference on Advances in Modal Logic (AiML 2024), Prague, The Czech Republic, August 19-23, 2024

2023

• Invited speaker at the Trends in Logic XXIII: Bridges between Logic, Ethics and Social Sciences (BLESS) Toruń, Poland, 22-25 November 2023.
• Joint invited speaker at the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2023) and 14th International Symposium on Frontiers of Combining Systems (FroCoS 2023) Prague, Czech Republic, September 18-22, 2023
• Lecturer 34th European Summer School in Logic, Language and Information (ESSLLI'2023), University of Ljubljana, Slovenia, July 31 - August 11, 2023.
• Program Committee member of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, UK, 29 May-2 June, 2023
• Program Committee member of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Macao, S.A.R., 19th-25th August, 2023
• Program Committee member of the 20th European Conference on Multi-Agent Systems (EUMAS 2023) , Naples, Italy, September 14-15th, 2023
• Program Committee member of the 9th International Conference on Logic, Rationality and Interaction (LORI-XI),Shandong University, Jinan, China, October 26-29, 2023

Past events in which I have been involved

2022

• Program Committee member 10th International Conference on Non-Classical Logics, Theory and Applications (NCL'22), Łódź, Poland, March 14-18, 2022
• Program Committee member 7th World Congress and School on Universal Logic (UNILOG 2022), Orthodox Academy of Crete, April 1-11, 2022
• Invited speaker at 100 Years of Refutation in Logic , Workshop at the 7th World Congress and School on Universal Logic (UNILOG 2022), Crete, April 6-11, 2022.
• Senior Program Committee member 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), Auckland, NZ, 9-13 May, 2022
• Invited speaker The 20th Trends in Logic International Conference, Logic and Reasoning: Formal and Informal, Taras Shevchenko National University of Kyiv, Ukraine, May 16-18, 2022.
• Program Committee member 31st International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23-29, 2022

2021

• Program Committee member 7th World Congress and School on Universal Logic (UNILOG 2021), Orthodox Academy of Crete, March 28 - April 7, 2021
• Senior Program Committee member 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), London, UK, 3-7 May, 2021
• Tutorial presenter 22nd European Agent Systems Summer School (EASSS 2021), Porto, Portugal, July 20-24, 2021
• Lecturer 32nd European Summer School in Logic, Language and Information (ESSLLI'2021), Utrecht University, the Netherlands, August 2-13, 2021.

2020

• Program Committee member 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, September 12-18, 2020
• Co-organiser International Mini-Workshop on Verification and Strategy Synthesis in Multi-Agent Systems (VASS-MAS),Hartbeespoort and Clarens, South Africa, January 12-22, 2020
• Program Committee member 17th European Conference on Multi-Agent Systems (EUMAS 2020), July 13-14, 2020 Thessaloniki, Greece
• Invited speaker The 20th Trends in Logic International Conference, Logic and Reasoning: Formal and Informal, Taras Shevchenko National University of Kyiv, Ukraine, May 13-15, 2020. POSTPONED to May 2021
• Program Committee member The 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain,August 29 - September 2, 2020
• Program Committee member The 8th International Workshop on Strategic Reasoning (SR 2020), Santiago de Compostela, Spain, August 29, 2020
• Program Committee member 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June 29 – July 6, 2020
• Program Committee member 14th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2020), Groningen, the Netherlands, July 8-10, 2020 POSTPONED to 2022
• Lecturer 32nd European Summer School in Logic, Language and Information (ESSLLI'2020), Utrecht University, the Netherlands, August 3-14, 2020 POSTPONED to August 2021
• Program Committee member Workshop on Logics of Dependence and Independence (LoDE 2020V), University of Helsinki, August 10-12, 2020 (online).
• Program Committee member The 13th Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, August 24-28, 2020 (online)

2019

• Invited speaker Conference ‘Mathematical Ability’, Utrecht University, Utrecht, the Netherlands, April 15-17, 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
• Program Committee member 17th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XVII), IRIT, Toulouse, France, July 17-19, 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
• Co-organiser on Logic, Agency and Rationality (LoARa) at CLMPST 2019, Prague, Czech Republic, August 7, 2019.
• Lecturer 31th European Summer School in Logic, Language and Information (ESSLLI'2019), Riga, Latvia, August 5-16, 2019.
• Invited speaker Conference ‘The LogicS of Prior: Past, Present, Future’, Roskilde University, Denmark, September 6-7, 2019.
• Program Committee member 2nd Workshop on Dynamic Logic: new trends and applications (DaLí 2019), Workshop at the 3rd World Congress on Formal Methods 2019, Porto, October 9, 2019
• Program Committee member 7th International Conference on Logic, Rationality and Interaction (LORI-VII),Southwest University, Chongqing, China, October 18-21, 2019
• Program Committee member Conference on Circularity in Syntax and Semantics, University of Gothenburg, Sweden, November 20-22, 2019.
• Invited speaker XI Autumn Conference in Logic Advances in Philosophical Logic, Lublin, Poland, November 29-30, 2019

2018

• Program Committee memberWorkshop 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
• Program Committee member 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Arizona, US, 30 October - 2 November 2018
• Organiser and speaker: Workshop on Rational Agency and Logic, organised by the Swedish National Committee for Logic, Methodology, and Philosophy of Science, Royal Academy of Sciences, Stockholm, November 30, 2019
• Program Committee member 16th European Conference on Multi-Agent Systems (EUMAS 2018), Bergen, Norway, 6-7 December 2018.
• Co-organiser Lorenz Center Workshop "Dynamics of multi-agent systems", Leiden, The Netherlands, December 17-21, 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-chair26th 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 member1st 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: a href="http://golori.org/lori2013/" target="_blank">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.

2008

• 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.

2007

• Program Committee member: 5th International Workshop "Methods for Modalities" 2007 (M4M5), Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, November 2007.
• Program Committee member and co-organizer: International Conference on Infinity in Logic & Computation (ILC'2007), Cape Town, 3-5 November 2007.
• Invited speaker: 2nd World Congress on Universal Logic (UNILOG'07), Xi'an, China, August 20-22, 2007.
• Lecturer: 19th European Summer School in Logic, Language and Information (ESSLLI'2007), Dublin, Ireland, August 6-17, 2007.
• Program Co-chair: The 14th International Symposium on TEMPORAL REPRESENTATION AND REASONING (TIME'2007), University of Alicante, Spain, 28-30 June, 2007.

2006

Program Committee member: International Colloquium on Theoretical Aspects of Computing (ICTAC'06), Gammarth/Tunis, Tunisia - 20–24 November, 2006.
• Co-organizer: Dagstuhl seminar on Specification, Verification and Test of Open Systems, Dagstuhl, 8-13 October, 2006.
• Program Committee member: Advances in Modal Logic 2006, Queensland, Australia, September 25-28, 2006.
• Program Committee member: Forth IEEE conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September 2006.
• Program Committee member: Ninth International Conference on Relational Methods in Computer Science (RelMiCS-9) and Fourth International Workshop on Kleene Algebra, Manchester, August 29 - September 2, 2006.
• Lecturer: 18th European Summer School in Logic, Language and Information (ESSLLI'2006), Malaga, Spain, July 31-August 12, 2006.
• Co-organizer of the section on Mathematical logic at the international conference "Pioneers of Bulgarian mathematics", Sofia, July 8-10, 2006.

2005 and before

• Program Committee member:International Colloquium on Theoretical Aspects of Computing (ICTAC05), Hanoi, Vietnam - 17-21 October, 2005.
• Invited speaker: International conference on computer science applications of modal logic, Moscow State University, September 5-9, 2005.
• Program Committee member: Tenth conference on Theoretical Aspects of Rationality and Knowledge (TARK X), June 10-12, 2005, Singapore.
• Program Committee member:24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2004).
• Invited speaker: International Workshop On Automata, Structures And Logic, Auckland, December 2004.
• Invited speaker: Advances in Modal Logic, Manchester, September, 2004.
• Lecturer: 3rd North American Summer School in Logic, Language and Information (NASSLLI'2004).
• Co-organizer: ESSLLI'2003 Workshop on Interval Temporal Logics and Duration Calculi.
• Program Committee member: TIME-ICTL 2003.