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.
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
3rd International Workshop on Security and Rewriting Techniques.
Associated to the 21st IEEE Computer Security Foundations
Symposium CSF'08 and
the 23rd IEEE Symposium on Logic in Computer Science
Pittsburgh, Pennsylvania, USA, 22 June 2008.
- SecReT 2007,
Second International Workshop on Security and Rewriting Techniques.
An RDP workshop
associated to RTA.
Paris, France, 29 June 2007.
- SecReT 2006,
First International Workshop on Security and Rewriting Techniques.
An ICALP workshop.
S. Servolo, Venice, Italy, 15 July 2006.
Special issue - Journal of Automated Reasoning - Call for papers (pdf)
Journal Special issues
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)
Maribel Fernandez (London, UK)
Claude Kirchner (Bordeaux, France)
Last modified: 17 August 2009