Services to the Scientific Community by Heiko Mantel

So far, I served on more than 35 program committees of international conferences and workshops, co-edited two special issues of international journals, co-chaired four international workshops, co-organized two Dagstuhl seminars, and refereed more than 200 submissions.

Editorships and steering committee memberships

Editorial board, International Journal of Information Security, IJIS (since 2007)
Steering Committee, VERIFY Workshop series (since 2006, co-founder of the series in 2001)
Steering Committee, GI working group Formale Methoden und Software Engineering für Sichere Systeme, FoMSESS (since 2002)

List of special issues edited:

Journal of Formal Aspects of Computing, Special Issue on Formal Modeling and Verification of Critical Systems, 2008. in preparation (jointly with Serge Autexier, Tobias Nipkow, and Stephan Merz)
International Journal of Information Security, IJIS, Volume 4, Number 1-2, 2005. Springer. (jointly with Serge Autexier and Iliano Cervesato)

Complete list of PC memberships:

PC member, SAC'09: 24th ACM Symposium on Applied Computing, Track on Computer Security, Honolulu, Hawaii, USA, March 8-12, 2009.
PC member, CCS'08: 15th ACM Conference on Computer and Communication Security, Alexandria, Virginia, USA, October 27-31, 2008.
PC member, FMSE'08: 6thACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, Hilton Alexandria Mark Center, Virginia, USA, October 27th, 2008.
PC member, LPAR'08: 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Doha, Qatar, November 22-27, 2008.
PC member, PLAS'08: ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security, Tucson, Arizona, June 8, 2008.
PC member, SAC'08: 23rd ACM Symposium on Applied Computing, Track on Computer Security, Fortaleza, Ceara, Brazil, March 16-20, 2008.
PC member, Sicherheit'08: Sicherheit - Schutz und Zuverlässigkeit , Saarbrücken, Germany, April 2-4, 2008.
PC member, VERIFY'08: 5th Verification Workshop, affiliated with CADE, Sydney, August 10-11, 2008.
Co-Chair, FMSE'07: 5th ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, George Mason University, USA, November 2, 2007.
PC Member, CCS'07: ACM Conference on Computer and Communication Security, Alexandria, Virginia, USA, October 29-November 2, 2007.
PC Member, ESORICS'07: 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007.
PC Member, SecCo'07: International Workshop on Security Issues in Concurrency affiliated with CONCUR 2007, September 3rd, 2007.
PC Member, VERIFY'07: : 4th Verification Workshop, affiliated with CADE, Bremen, Germany, July 15-16, 2007.
Co-Organizer, Dagstuhl Seminar 07091 on Mobility, Ubiquity, and Security, Dagstuhl, Germany, February 25 - March 2, 2007.
PC Member, ESORICS'06: 11th European Symposium On Research In Computer Security, Hamburg, Germany, September 18-20, 2006.
PC Member, FMSE '06: 4th ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, Johnson Center, George Mason University, Fairfax, Virginia, USA, November 3, 2006.
PC Member, ISC'06: 9th Information Security Conference, Samos Island, city of Pythagoras, Greece, August 30 - September 2, 2006.
PC Member, SAC'06: 21st ACM Symposium on Applied Computing, Track on Computer Security, Dijon, France, April 23-27, 2006.
Co-Chair, VERIFY'06: 3rd Verification Workshop, affiliated with FLoC/IJCAR, Seattle, USA, August 15-16, 2006.
PC Member, ESORICS'05: European Symposium on Research in Computer Security, Milan, Italy - September 14-16, 2005.
PC Member, FMSE'05: 3rd ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, Alexandria , VA, USA, November 11, 2005.
PC Member, SAC'05: 20th ACM Symposium on Applied Computing, Track on Computer Security, Santa Fe, New Mexico, USA, March 13-17, 2005.
PC Member, Sicherheit'05: Sicherheit - Schutz und Zuverlässigkeit, Regensburg, Germany, April 5-8, 2005.
PC Member, WITS'05: IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security, Long Beach, California, USA, January 10-11, 2005.
PC Member, CSFW'04: 16th IEEE Computer Security Foundations Workshop, Asilomar Pacific Grove, CA, USA, June 28-30, 2004.
PC Member, FMSE'04: 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Washington D.C., USA, October 29th, 2004.
PC Member, IEEE Symposium on Security and Privacy'04, Berkeley/Oakland, California, USA, May 9-12, 2004.
PLID'04: First International Workshop on Programming Language Interference and Dependence, Verona, Italy, August 25th, 2004.
Member of Organization Board
PC Member, SAC'04: 19th ACM Symposium on Applied Computing, Track on Computer Security, Nicosia, Cyprus, March 14-17, 2004.
Co-Organizer, SecRisks'04, ZISC Workshop on Security Risk Management, Zurich, Switzerland, September 16, 2004.
PC Member, CSFW'03: 16th IEEE Computer Security Foundations Workshop, Asilomar Pacific Grove, CA, USA, June 29-July 3, 2003.
Co-Organizer, Dagstuhl Seminar 03411 on Language-Based Security, Dagstuhl, Germany, October 5-10, 2003.
PC Member, ESORICS'03: European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003.
PC Member, FAST'03: Workshop on Formal Aspects in Security and Trust, in association with FME, Pisa, Italy, September 8th, 2003.
PC Member, FMSE'03: Formal Methods in Security Engineering: From Specifications to Code, in association with ACM CCS, Washington D.C., USA, October 30th, 2003.
PC Member, PoDSy 2003: Workshop on Principles of Dependable Systems in conjunction with DSN-2003, San Francisco, CA, USA, June 22, 2003.
PC Member, SecCo'03: International Workshop on Security Issues in Coordination Models, Languages, and Systems affiliated with ICALP 2003, Eindhoven, the Netherlands, June 28-20, 2003.
Speaker, ZISC Fall School on Formal Security Engineering, Zürich, Switzerland, September 21st - 27th 2003.
PC Member, ESORICS'02: European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002.
PC Member, FCS'02: Foundations of Computer Security, Workshop at FLoC 2002, Copenhagen, Denmark, July 26, 2002.
Co-Chair, VERIFY'02: Verification Workshop at FLoC 2002, Copenhagen, Denmark, July 25-26, 2002.
Co-Chair, VERIFY'01: Verification Workshop at IJCAR 2001, Siena, Italy, June 19, 2001.

Content managed by the Etomite Content Management System.