V Goranko | events and activities

Last updated:

December 2019

Current activities | Forthcoming events | Recent events | Other events

events and activities

some links

mail to V.Goranko

Back to my home page

Positions in professional committees and editorial boards

Current:

President of the Management Board of the Asociation for Logic, Language and Information (FoLLI)
Editor-in-chief (Logic): FoLLI Publications on Logic, Language and Information, series of Springer LNCS.
President of the Executive Committee of the Scandinavian Logic Society
Executive member of the Board of the European Association for Computer Science Logic EACSL
Associate Editor of the ACM Transactions on Computational Logic
Editor of the European Journal of Mathematics (EJM).
Member of the Editorial Board of the Journal of Applied Non-classical Logics.
Member of the Editorial Board of the journal Logica Universalis
Member of the Steering Committee of the research network on Logical Aspects of Multi-Agent Systems (LAMAS)
Recent/former:
- Member of the Steering Committee of the conference series Advances in Modal Logic, during 2008-2016.
- Member of the Steering Committee of the conference series on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), during 2009-2012.

Recent non-activity: Since July 2018 Elsevier has blocked online access to its recent publications for academics and researchers working in Sweden, for reasons explaned by Elsevier here. I find this unacceptable and have decided to stop reviewing or doing any other professional work pro bono for Elsevier until they resolve the matter and restore our full access to recent publications. I appeal to the Swedish research community to join me in this protest action.

Current and forthcoming events in which I am involved

top

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), April 22 - 23, 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.
Program Committee member: The 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, June 8-12, 2020.
Program Committee member: 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Groningen, the Netherlands, July 8-10, 2020.
Program Committee member: 14th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2020), Milan, Italy, July 16-18, 2018.
Lecturer: 32nd European Summer School in Logic, Language and Information (ESSLLI'2020), Utrecht University, Utrecht, the Netherlands, August 3-14, 2020.
Program Committee member: The 13th Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, August 17-21, 2020.

Recent events in which I have been involved

top

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

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.

Other forthcoming events of interest

top

(Always in the future)

Back to my home page