Organisation, Reviewing, etc.

Organisation of Workshops and Conferences

  • Organiser and PC chair of LAM’12 (Logics, Agents and Mobility, International Workshop at Petri Nets 2012)
  • Organiser and PC co-chair of LAM’11 (Logics, Agents and Mobility, International Workshop at CONCUR 2011)
  • Organiser and PC chair of LAM’10 (Logics, Agents and Mobility, International Workshop at LICS 2010)
  • Organiser and PC chair of LAM’09 (Logics for Agents and Mobility, International Workshop at LICS 2009)
  • Organiser and PC chair of LAM’08 (Logics for Agents and Mobility, International Workshop at ESSLLI 2008)
  • Member of the Organising Committee of EASSS 2007
  • Member of the Organising Committee of MALLOW 2007
  • Organiser of the Workshop on Analysing Security Protocols (WASP’04)
  • Member of the Organising Team of the international workshop Petri Nets in System Engineering (PNSE’97).

Editorship

  • Associate Editor of the journal Connection Science.
  • Special issue of Fundamenta Informaticae (IOS Press) co-edited with Melvin Fitting: Fundamenta Informaticae 130 (2014), IOS Press. Logics, Agents, and Mobility. Extended Papers from the International Workshops LAM’10 and LAM’11.

Current and Recent Programme Committee Memberships

  • PNSE’17 – International Workshop on Petri Nets and Software Engineering 2016
  • SIMULTECH 2017 – 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • PNSE’16 – International Workshop on Petri Nets and Software Engineering 2016
  • SIMULTECH 2016 – 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • PNSE’15 – International Workshop on Petri Nets and Software Engineering 2015
  • PAAMS’15 – 13th Conference on Practical Applications of Agents and Multi-Agent Systems
  • RDA2ETHICS 2015 – 2nd Workshop on Rights, Duties and Ethics of Autonomous Agents
  • PNSE’14 – International Workshop on Petri Nets and Software Engineering 2014
  • ModBE’13 – Modeling and Business Environments 2013
  • CompoNet 2012 – Petri Nets Compositions
  • LAM’12 – International Workshop on Logics, Agents, and Mobility
  • PNSE’12 – International Workshop on Petri Nets and Software Engineering 2012
  • CompoNet 2011 – Petri Nets Compositions
  • LAM’11 – International Workshop on Logics, Agents, and Mobility
  • PNSE’10 – International Workshop on Petri Nets and Software Engineering
  • ProMAS’10 – International Workshop on Programming of Multi Agent Systems
  • LAM’10 – International Workshop on Logics, Agents, and Mobility
  • MSVVEIS’10 – Workshop on Modelling, Simulation, Verification and Validation
  • ICAART’10 – International Conference on Agents and Artificial Intelligence
  • MOCA’09 – International Workshop on Modelling of Objects, Components, and Agents
  • OrgMod’09 – International Workshop on Organizational Modeling
  • MSVVEIS 2009 – 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  • LAM’09 – International Workshop on Logics for Agents and Mobility
  • ProMAS’09 – International Workshop on Programming Multi-Agent Systems
  • AAMAS 2009 – International Joint Conference on Autonomous Agents and Multi-Agent Systems
  • PNSE’09 – International Workshop on Petri Nets and Software Engineering
  • ICAART 2009 – International Conference on Agents and Artificial Intelligence
  • ESSLII-LAM’08 – International Workshop on Logics for Agents and Mobility
  • EASSS – 10th European Agent Systems Summer School Student Session
  • PNTAP’08 – International Workshop on Petri Nets Tools and APplications
  • AAMAS 2008 – International Joint Conference on Autonomous Agents and Multi-Agent Systems

Other Committee Memberships

  • AISB – The Society for the Study of Artificial Intelligence and Simulation of Behaviour (Chair)

Refereeing for Journals and Conferences (selection)

  • Journal of Logic and Computation
  • Information and Computation – International Journal
  • SMC – IEEE Transactions on Systems, Man, and Cybernetics
  • Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)
  • FOSSACS 2011 – Foundations of Software Science and Computation Structures
  • CSL’09 – Computer Science Logic
  • FAW 2009 – Frontiers of Algorithmics
  • Discrete Event Dynamic Systems – International Journal
  • PNSE’09 – International Workshop on Petri Nets and Software Engineering
  • AAMAS 2009 – International Joint Conference on Autonomous Agents and Multi-Agent Systems
  • PNTAP’08 – International Workshop on Petri Nets, Tools, and Applications
  • ESSLII-LAM’08 – International Workshop on Logics for Agents and Mobility
  • ECAI 2008 – European Conference on Artificial Intelligence
  • AAMAS 2008 – International Joint Conference on Autonomous Agents and Multi-Agent Systems
  • IAT’07 – IEEE / WIC / ACM International Conference on Intelligent Agent Technology
  • AAMAS 2007 – International Joint Conference on Autonomous Agents and Multi-Agent Systems
  • DALT 2007 – International Workshop on Declarative Agent Languages and Technologies
  • Fundamenta Informaticae – International Journal
  • iFM 2007 – Integrated Formal Methods
  • JBCS SEAS 2006 – special issue on Software Engineering for Multi-Agent Systems of the JBCS
  • CS&P’06 – International Workshop on Concurrency, Specification, and Programming
  • WS-FM’06 – International Workshop on Web Services and Formal Methods
  • RTA’06 – International Conference on Rewriting Techniques and Applications
  • ICATPN’06 – International Conference on the Application and Theory of Petri Nets

Refereeing for Journals and Conferences (prior to 2006)

  • AMAST – International Conference on Algebraic Methodology And Software Technology
  • ICATPN – International Conference on the Application and Theory of Petri Nets
  • IJFCS – International Journal of Foundations of Computer Science
  • TPLP – Journal on the Theory and Practice of Logic Programming
  • FOSSAC – Foundations of Software Science and Computation Structures
  • FST-TCS – Conference on Foundations of Software Technology and Theoretical Computer Science
  • Fundamenta Informaticae – International Journal
  • MOCA – International Workshop on Modelling of Objects, Components, and Agents
  • CIAA – International Conference on Implementation and Application of Automata
  • RTA – International Conference on Rewriting Techniques and Applications
  • CS&P – International Workshop on Concurrency, Specification, and Programming

Membership in other Bodies

  • AISB – The Society for the Study of Artificial Intelligence and Simulation of Behaviour (Chair & Director)
  • IEEE
  • CIE – Computability in Europe
  • LMS – London Mathematical Society
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s