Reviewer in Journals

Scientific Committees

open calls for papers

open calls for participation

Past events

2012

2011

2010

2009

2008

2007

  • Member of the Programme Committee of the 3rd South Eastern European workshop on Formal Methods (SEEFM 07), 1 Dec 2007, Thessaloniki, Greece
  • Member of the Programme Committee of the 3rd Balkan Conference in Informatics (BCI'07), 27-29 September 2007, Sofia, Bulgaria
  • Member of the Programme Committee of the 5th IEEE International Conference on  Software Engineering and Formal Methods (SEFM07), London, UK , September 10-14, 2007
  • Member of the Programme Committee of the IRMA2007 International Conference, Theme: Managing Worldwide Operations and Communications with Information Technology, May 19-23 2007, Vancouver, British Columbia, Canada

2006

  • Member of the Programme Committee of the 5th International Conference on APPLIED COMPUTER SCIENCE (ACOS '06), Hangzhou, China, April 16-18, 2006

2005

  • Co-Chair of the Programme Committee of the 2nd South Eastern European workshop on Formal Methods (SEEFM 05), 18-19 Nov 2005, Ohrid, FYROM. The proceedings are available online
  • Member of the Programme Committee of the 10th International Symposium on Health Information Management Research (ISHIMR 2005), Theme: "Improving the quality of health information - an international perspective", 22-24 September 2005 Thessaloniki, Greece.
  • Member of the Programme Committee of the 4th Int.Conf. on INFORMATION SECURITY, COMMUNICATIONS and COMPUTERS  (ISCOCO'05).
  • Member of the Programme Committee of the IRMA2005 International Conference San Diego, CA (USA) 15-18 May 2005.

Leadership or membership in administration boards of professional bodies