Claude Kirchner

Advanced softwares TOM 2.5 , ELAN3.7a
Security and Informatics:
- About programs on security in France last 5 years
- Some SSI papers:
  - On security policies and rewriting ESORICS'07: Modular Access Control via Strategic Rewriting
  - On weawing security policies FMSE'07: Weaving Rewrite-Based Access Control Policies
New results and papers:
- On the rewriting calculus, in particular:
  - its relationship with CRSs: FOSSACS'07: The Rewriting Calculus as a Combinatory Reduction System
  - its models: watch Germain Faure's home page
  - its logical aspects: in particular, Benjamin Wack's PhD
- On superdeduction:
  - LICS'07: Principle of Superdeduction
- On anti-patterns:
  - ESOP'07: Anti-patterns. Available in TOM
  - Submitted: Anti-patterns Modulo
- Good proofs and deduction modulo:
  - LFCS'07:Cut Elimination in Deduction Modulo by Abstract Completion
  - Submitted by GB: Unbounded Proof-Length Speed-up in Deduction Modulo
Others
- TFIT 2008 : Taipei, March 2008
- PARISTIC 2006: Nancy, November 22-24, 2006
- Third workshop on the Rewriting Calculus King's College, London, October 23-24 2006
- SBMF 2006: Brazilian Symposium on Formal Methods
- RULE 2006: 7th International Workshop on Rule-Based Programming
- WRS 2006: 6th International Workshop on Reduction Strategies in Rewriting and Programming. Preliminary proceedings.
- SecReT 2006: 1st International Workshop on Security and Rewriting Techniques Preliminary proceedings.
- ISR 2006, Nancy, France, July 3--7, 2006 : 1st International School on Rewriting
- WRLA2006: 6th International Workshop on Rewriting Logic and its Applications
- Third Taiwanese-French Conference on Information Technology. Nancy, France, March 28-30, 2006
- Indo-French Workshop in Computer Science

News