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, Kyiv, Ukraine, May 13-15, 2020. POSTPONED to September 2020.
- 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 2021
- Tutorial presenter: 22nd European Agent Systems Summer School (EASSS 2020), Porto, Portugal, July 20-24, 2020. POSTPONED to 2021
- Lecturer: 32nd European Summer School in Logic, Language and Information (ESSLLI'2020), Utrecht University, Utrecht, 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: Symposium 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
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.
- 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:
- 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 |
|
|