Committees


Steering committees
  1. IFIP Wg-1.7 Foundations of Security Analysis, member since 2016.
  2. Computer Security Foundations Symposium (CSF), member since 2017.

PC committees
  1. CSF 2018 (PC co-chair), 31st IEEE Computer Security Foundations Symposium, Oxford, UK, 9-12 July 2018.
  2. POST 2018, 7th Conference on Principles of Security and Trust, Thessaloniki, Greece, 14-21 April 2018.
  3. FST&TCS 2017, 37th Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, India, December 15-20, 2017.
  4. CSF 2017, 30th IEEE Computer Security Foundations Symposium, Santa Barbara, CA, USA, 22-25 August 2017.
  5. CADE 2017, 26th International Conference on Automated Deduction, Gothenburg, Sweden, 6-11 August 2017.
  6. CSR 2017, 12th International Computer Science Symposium in Russia, Kazan, Russia, 8-12 June 2017.
  7. POST 2017, 6th Conference on Principles of Security and Trust, Uppsala, Sweden, 23-29 April 2017.
  8. IJCAR 2016, 8th International Joint Conference on Automated Reasoning, Portugal, June 27-30, 2016.
  9. FST&TCS 2015, 35th Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, December 16-18, 2015.
  10. RTA 2015, 25th International Conference on Rewriting Techniques and Applications, Warsaw, Poland, 29 June - 1st July 2015.
  11. FORTE 2015, Grenoble, France, June 2-5 2015.
  12. CADE 2015, 25th jubilee edition of the International Conference on Automated Deduction, Berlin, Germany, 1-7 August 2015.
  13. SOFSEM 2015, 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, 24-29 January 2015.
  14. POST 2014, 3rd Conference on Principles of Security and Trust, Grenoble, France, 5-13 April 2014.
  15. IJCAR 2014, 7th International Joint Conference on Automated Reasoning, Vienna, Austria, 9-24 July 2014.
  16. TGC 2014, 9th International Symposium on Trustworthy Global Computing, Roma, Italy, 5-6 September 2014.
  17. FMS 2014, 5th Workshop on Formal Methods for Security, Tunis, Tunisia, 23 June 2014.
  18. CONCUR 2014, 25th International Conference on Concurrency Theory, Roma, Italy, 2-5 September 2014.
  19. CADE 2013, 24th International Conference on Automated Deduction, Lake Placid, New York, USA, 9-14 June 2013.
  20. CSF 2013, 26th IEEE Computer Security Foundations Symposium, Tulane University, New Orleans LA, USA, 26-28 June 2013.
  21. RTA 2013, 24th International Conference on Rewriting Techniques and Applications, Eindhoven, The Netherlands, 23-28 June 2013.
  22. WoLLIC 2013, 20th Workshop on Logic, Language, Information and Computation, Darmstadt, Germany, 20-23 August 2013.
  23. ISPEC 2012, 8th International Conference on Information Security Practice and Experience, Hangzhou, China, April 9-12, 2012.
  24. WooPS 2012, 1st Workshop on Petri Net Security, Hamburg, Germany, June 26, 2012.
  25. SecCo 2011, 9th International Workshop on Security Issues in Concurrency, Aachen, Germany, September 5th, 2011.
  26. FST&TCS 2011, 31st Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, December 12-14, 2011.
  27. CCS 2011,18th ACM Conference on Computer and Communications Security, Chicago, USA, October 17-21, 2011.
  28. CSF 2011, 24th IEEE Computer Security Foundations Symposium, Domaine de l'Abbaye des Vaux de Cernay, France, June 27-29, 2011.
  29. CADE 2011, 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31st - August 5th, 2011.
  30. FCS-PrivMod 2010, Workshop on Foundations of Security and Privacy, Edinburgh, United Kingdom, July 14-15, 2010.
  31. SecCo 2009, 7th International Workshop on Security Issues in Concurrency,Bologna, Italy, September 5th, 2009.
  32. FCS 2009, Workshop on Foundations of Computer Security, Los Angeles, USA, August 10th, 2009.
  33. SecReT 2009, Workshop on Security and Rewriting Techniques, New York, USA, July 10-11, 2009.
  34. FMSE 2008, 6th ACM Workshop on Formal Methods in Security Engineering, Virginia, USA, October 27th, 2008.
  35. WOTE 2008, IAVoSS Workshop On Trustworthy Elections, Leuven, Belgium, July 22-23, 2008.
  36. WOTE 2007, IAVoSS Workshop On Trustworthy Elections, Ottawa, Canada, June 20-21, 2007.