PC member of the 3rd International Workshop on Meta Models for Process Languages – MeMo'17, Berlin, Germany, 4 September 2017. (23 June 2017)
PC member of the 31st International Workshop on Unification – UNIF'17, Oxford, UK, 3 September 2017. (3 September 2017)
PC member of the 32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference – SEC'17, Rome, Italy, 29-31 May 2017. (30 December 2016)
PC member of the 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning – LPAR-21, Maun, Botswana, 8-12 May 2017. (18 January 2017)
PC member of the 14th Asian Symposium on Programming Languages and Systems – APLAS 2016, Hanoi, Vietnam, 21-23 November 2016. (12 June 2016)
PC member of the 18th International Symposium on Principles and Practice of Declarative Programming – PPDP 2016, Edinburgh, UK, 5-7 September 2016. (9 May 2016)
Program Chair of the 4th International Workshop on Linearity – LINEARITY'16, Porto, Portugal, 25 June 2016. (18 March 2016)
PC member of the 31st IFIP TC-11 SEC 2016 International Information Security and Privacy Conference – SEC'16, Ghent, Belgium, 30 May - 1 June 2016. (8 January 2016)
Program Chair of the First International Workshop on Focusing – WoF'15, Suva, Fiji, 23 November 2015. (4 September 2015)
Program Chair of the 10th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice – LFMTP'15, Berlin, Germany, 1 August 2015. (30 April 2015)
PC member of the 30th Italian Conference on Computational Logic – CICL'15, Genova, Italy, 1-3 July 2015. (31 March 2015)
PC member of the 2nd International Workshop on Sets and Tools – SETS'15, Oslo, Norway, 22 June 2015. (23 March 2015)
PC member of the Second International Workshop on Meta Models for Process Languages – MeMo'15, Grenoble, France, 5 June 2015. (1 April 2015)
PC member of the 4th International Congress on Tools for Teaching Logic – TTL'15, Rennes, France, 1-4 June 2015. (13 February 2015)
PC member of the 30th IFIP TC-11 SEC 2015 International Information Security and Privacy Conference – SEC'15, Hamburg, Germany, 26-28 May 2015. (15 January 2015)
PC member of the 15th International Symposium on Principles and Practice of Declarative Programming – PPDP'13, Madrid, Spain, 16-18 September 2013. (13 June 2013)
PC member of the 6th International Workshop on Autonomous and Spontaneous Security – SETOP'13, Egham, UK, 12-13 September 2013. (28 June 2013)
PC member of the 11th Annual Conference on Privacy, Security and Trust – PST'13, Terragona, Catalonia, Spain, 10 July 2013. (15 March 2013)
PC member of the 5th International Conference on Symbolic Computation in Software Science – SCSS'13, Madrid, Spain, 5-6 July 2013. (10 May 2013)
PC member of the 28th ACM Symposium on Applied Computing – SAC'13, Coimbra, Portugal, 18-22 March 2013. (30 August 2012)
PC member of the 4th International Symposium on Symbolic Computation in Software Science – SCSS'12, Gammarth, Tunisia, 15-17 December 2012. (23 August 2012)
PC member of the International Workshop in Quantitative Aspects in Security Assurance – QASA'12, Pisa, Italy, 14 September 2012. (6 July 2012)
PC member of the 5th International Workshop on Autonomous and Spontaneous Security – SETOP'12, Pisa, Italy, 10 September 2012. (1 June 2012)
PC member of the 10th International Conference on Privacy, Security and Trust – PST'12, Paris, France, July 16-18, 2012. (18 March 2012)
PC member of the 2012 Joint Synthesis, Verification, and Analysis of Rich Models and Verification Workshop – SVARM/VERIFY'12, Manchester, UK, June 30 - July 1, 2012. (21 May 2012)
PC member of the 27th ACM Symposium on Applied Computing – SAC'12, Trento, Italy, 25-29 March 2012. (31 August 2011)
PC member of the International Conference on Computational Intelligence and Security – CIS'10, Nanning, China, 11-14 December 2010. (1 July 2010)
PC member of the 5th Workshop on Data Privacy Management – DPM'10, Athens, Greece, 23 September 2010. (28 June 2010)
PC member of the 6th Workshop on Security and Trust Management – STM'10, Athens, Greece, 23-24 September 2010. (25 June 2010)
PC member of the 19th EACSL Annual Conferences on Computer Science Logic – CSL'10, Brno, Czech Republic, 23-27 August 2010. (2 April 2010)
PC member of the 6th International Verification Workshop – VERIFY'10, Edinburgh, UK, 20-21 July 2010. (11 April 2010)
PC member of the 13th International Conference on Algebraic Methodology And Software Technology – AMAST 2010, Lac-Beauport, Quebec, Canada, 23-26 June 2010. (9 April 2010)
PC member of the 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning – LPAR-16, Dakar, Senegal, 25 April - 1 May 2010. (13 January 2010)
PC member of the 25th ACM Symposium on Applied Computing – SAC'10, Lausanne, Switzerland, 22-26 March 2010. (8 September 2009)
PC member of the 4rd International Conference on Computational Intelligence and Security – CIS'08, Suzhou, China, 13-17 December 2008.
General Chair of the Fifteenth Conference on Logic Programming, Artificial Intelligence and Reasoning – LPAR'08, Doha, Qatar, 22-27 November 2008.
PC member of the ACM Conference on Computer and Communication Security – CCS'08, Alexandria, VA, 27-31 October 2008.
PC member of the 21st Computer Security Foundations Symposium – CSF'08, Pittsburgh, PA, 23-25 June 2008.
Chair of the Security and Information Assurance Track of the Sixth ACS/IEEE International Conference on Computer Systems and Applications – AICCSA'08, Doha, Qatar, 1-4 April 2008.
Co-organizer of the 2nd Annual Doha Conference on Applied Mathematics and Computational Science – AMCS'08, Doha, Qatar, 30 March - 1 April 2008.
PC member of the 23rd ACM Symposium on Applied Computing – SAC'08, Fortaleza, Brazil, 16-20 March 2008.
PC member of the 3rd International Conference on Computational Intelligence and Security – CIS'07, Harbin, China, 17-19 December 2007.
PC member of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science – FSTTCS'07, New Delhi, India, December 12-14 2007.
Program Chair of the Twelfth Annual Asian Computing Science Conference – ASIAN'07, Doha, Qatar, 9-11 December 2007.
PC member of the 20th Workshop on Computer Security Foundations – CSF-20, Venice, Italy, 6-8 July 2007.
PC member of the 11th Asian Computing Science Conference – ASIAN'06, Tokyo, Japan, December 6-8 2006.
PC member of the 31st International Symposium on Mathematical Foundations of Computer Science – MFCS'06, High Tatras, Slovakia, August 28 - September 1 2006.
PC member of the ICALP'06 affiliated Workshop on Security using Rewriting Techniques – SecReT'06, Venice, Italy, June 9 2006.
PC member of the 16th International Conference on Theorem Proving in Higher Order Logics – TPHOLs'03, Rome, Italy, September 8-12 2003.
PC member of the 10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic, Cairns – TIME-ICLP'03, Queensland, Australia, July 8-10 2003.
Program Chair of the LICS'03 workshop on Foundations of Computer Security – FCS'03, Ottawa, Canada, 26-27 June 2003.
PC member of the Workshop on Logical Frameworks and Metalanguages – LFM'99, Paris, France, October 1 1999.
PC member of the 5th International Workshop on Temporal Representation and Reasoning – TIME'99, Paris, France, October 1 1999.
PC member of the Workshop on Algorithmic Aspects of Advanced Programming Languages – WAAAPL'99, Paris, France, September 29-30 1999.
PC member of the International Conference on Principles and Practice of Declarative Programming – PPDP'99, Paris, France, September 29 - October 1 1999.
