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.