SecReT - Security and Rewriting Techniques

The aim of this series of workshops is to bring together rewriting researchers and security experts, in order to foster their interaction and develop future collaborations in this area, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

Current event

SecReT 2009, 4th International Workshop on Security and Rewriting Techniques, Port Jefferson, New York, July 10-11 2009, co-located with the 22nd IEEE Computer Security Foundations Symposium (CSF'09).

Past events

Publications

Special issue - Journal of Automated Reasoning - Call for papers (pdf)

Proceedings


Journal Special issues

Steering Committee

Currently, the Steering Committee members are:
  • Hubert Comon-Lundh (Cachan, France)
  • Dan Dougherty (Worcester, USA)
  • Santiago Escobar (Valencia, Spain)
  • Catherine Meadows (Washington, USA)
  • Monica Nessi (L'Aquila, Italy)
  • Ralf Treinen (Paris, France)
  • Past members:

  • Maribel Fernandez (London, UK)
  • Claude Kirchner (Bordeaux, France)
  • Conference Bylaws


    Maribel Fernandez
    Last modified: 17 August 2009