|
Main page
Photos
Registration
(Preliminary) programme
Call for papers
Invited speakers
Accepted papers
Important dates
Venue
Travel and accommodation
Committees
Related events
Contact us
|
Accepted papers
- Mathilde Arnaud, Veronique Cortier
and Stephanie
Delaune. Combining algorithms
for deciding knowledge in security protocols
- Pierre
Rety and Jacques Chabin. Visibly
pushdown languages and term rewriting
- Yannick
Chevalier, Denis Lugiez
and Michael
Rusinowitch. Towards an
Automatic Analysis of Web Services Security
- Tim
French, John
McCabe-Dansted and Mark Reynolds.
Temporal Logic of Robustness
- Tim
French. Idempotent
Transductions for Modal Logics
- Hitoshi Ohsaki
and Hiroyuki Seki. Languages Modulo
Normalization
- Silvio Ranise,
Christophe
Ringeissen and Duc-Khanh Tran.
Combining Proof-Producing Decision
Procedures
- Clare Dixon,
Michael Fisher
and Boris Konev.
Temporal Logic with Capacity
Contraints
- Carlos Caleiro
and Jaime
Ramos. Combining classical
and intuitionistic implications
- Silvio Ghilardi,
Enrica Nicolini,
Silvio
Ranise and Daniele
Zucchelli. Noetherianity and
Combination Problems
- Hasan
Amjad. A Compressing Translation from Propositional Resolution to Natural
Deduction
- Peter
Schneider-Kamp, René
Thiemann, Elena Annov,
Michael Codish
and Jürgen
Giesl. Proving Termination
using Recursive Path Orders and SAT Solving
- Evelyne Contejean,
Pierre Courtieu, Julien Forest, Olivier Pons and Xavier Urbain. Certification of automated termination proofs
- Beatriz
Alarcón and Salvador Lucas.
Termination of Innermost
Context-Sensitive Rewriting Using Dependency Pairs
|
