V Goranko | events and activities

Last updated:

March 2013

Current activities | Forthcoming events | Recent events | Other events

events and activities

some links

mail to V.Goranko

Back to my home page

Positions in editorial boards and other professional committees

Vice-president of FoLLI - the Asociation for Logic, Language and Information
Editor-in-chief (Logic): FoLLI Publications on Logic, Language and Information, series of Springer LNCS.

Area editor (Logic): Internet Encyclopedia of Philosophy (IEP)

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 Editorial Board of the Central European Journal of Mathematics (CEJM)

Member of the Executive Committee of the Scandinavian Logic Society

Member of the Steering Committee of the conference series Advances in Modal Logic.

Member of the Steering Committee of the research network initiative on Logical Aspects of Multi-Agent Systems (LAMAS)

Member of the Steering Committee of the conference series on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX ) during 2009-2012.

Current and forthcoming events in which I am involved

top

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.

Recent events in which I have been involved

top

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 with ECAI'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