RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
RTA'03
 14th International Conference on Rewriting Techniques and Applications
Valencia, Spain, June 9-11, 2003

PRELIMINARY PROGRAM

Sunday Monday Tuesday Wednesday Thursday Friday Saturday
8 9 10 11 12 13 14
09:00 - 11:00 Session 1 Session 5 Session 9
11:00 - 11:30 Coffee break Coffee break Coffee break
11:30 - 13:00 Session 2 Session 6 Session 10
13:00 - 15:00 Lunch Lunch Lunch
15:00 - 16:30 Session 3 Session 7
16:30 - 17:00 Coffee break Coffee break
17:00 - 18:30 Session 4 Session 8
18:30 - 19:00 RTA'03 meeting

Please, check the exact starting time for that session.

    Conference Room:
    Ground Floor - ´Salón de Actos´

    Equipped with:
    1. a blackboard (or similar),
    2. an overhead projector,
    3. a video projector (for laptops),
    4. a PC running under Windows with
      • Adobe Acrobat Reader 5.0, and
      • MS PowerPoint 2000 installed.

 

Monday, June 9

09:00 - 11:00 Session 1
Conference room: Ground Floor - ´Salón de Actos´
09:00 - 10:00 Symbolic Systems Biology (INVITED TALK)
Patrick Lincoln
10:00 - 10:25 Confluence as a cut elimination property
Gilles Dowek
10:25 - 10:50 Associative-Commutative Rewriting on Large Terms
Steven Eker
11:00 - 11:30Coffee break
11:30 - 13:00Session 2
Conference room: Ground Floor - ´Salón de Actos´
11:30 - 11:55 A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
Olivier Bournez, Guy-Marie Come, Valerie Conraud, Helene Kirchner, Liliana Ibanescu
11:55 - 12:20 Efficient Reductions with Director Strings
Francois-Régis Sinot, Maribel Fernández, Ian Mackie
12:20 - 12:45 Rewriting Logic and Probabilities
Olivier Bournez, Mathieu Hoyrup
12:45 - 13:00 Maude 2.0  
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
13:00 - 15:00Lunch
15:00 - 16:30 Session 3
Conference room: Ground Floor - ´Salón de Actos´
15:00 - 15:25 Diagrams for Meaning Preservation
J.B. Wells, Detlef Plump, Fairouz Kamareddine
15:25 - 15:50 Expression Reduction Systems with Patterns
Julien Forest, Delia Kesner
15:50 - 16:15 Residuals in Higher-Order Rewriting
H. J. Sander Bruggink
16:15 - 16:30 Rewriting UNITY  
Adam Granicz, Daniel M. Zimmerman, Jason Hickey
16:30 - 17:00Coffee break
17:00 - 18:30Session 4
Conference room: Ground Floor - ´Salón de Actos´
17:00 - 17:25 New decidability results for fragments of first order logic and application to cryptographic protocols
Hubert Comon-Lundh, Veronique Cortier
17:25 - 17:50 An E-unification algorithm for analyzing protocols that use modular exponentiation
Deepak Kapur, Paliath Narendran, Lida Wang
17:50 - 18:15 Two-Way Equational Tree Automata for AC-like Theories: Decidability and Closure Properties
Kumar Neeraj Verma
18:15 - 18:30 Rule-based Analysis of Dimensional Safety  
Feng Chen, Grigore Rosu, Ram Prasad Venkatesan
18:30 - 19:00Best paper awards & Business meeting

Tuesday, June 10

09:00 - 11:00 Session 5
Conference room: Ground Floor - ´Salón de Actos´
09:00 - 10:00 Topological Collections, Transformations and their Application to the Modelling and the Simulation of Dynamical Systems (INVITED TALK)
Jean-Louis Giavitto
10:00 - 10:25 On the complexity of higher-order matching in the linear lambda-calculus
Sylvain Salvati, Philippe de Groote
10:25 - 10:50 XML Schema, Tree Logic and Sheaves Automata
Silvano Dal Zilio, Denis Lugiez
11:00 - 11:30Coffee break
11:30 - 13:00Session 6
Conference room: Ground Floor - ´Salón de Actos´
11:30 - 11:55 Size-Change Termination for Term Rewriting
Rene Thiemann, Juergen Giesl
11:55 - 12:20 Monotonic AC-Compatible Semantic Path Orderings
Cristina Borralleras, Albert Rubio
12:20 - 12:45 Relating derivation lengths with the slow-growing hierarchy directly
Georg Moser, Andreas Weiermann
12:45 - 13:00 Tsukuba Termination Tool  
Nao Hirokawa, Aart Middeldorp
13:00 - 15:00Lunch
15:00 - 16:30 Session 7
Conference room: Ground Floor - ´Salón de Actos´
15:00 - 15:25 Liveness in Rewriting
Juergen Giesl, Hans Zantema
15:25 - 15:50 Validation of the JavaCard Platform with Implicit Induction Techniques
Gilles Barthe, Sorin Stratulat
15:50 - 16:15 "Term Partition" for Mathematical Induction
Pascal Urso, Emmanuel Kounalis
16:15 - 16:30 The Equational Prover of THEOREMA  
Temur Kutsia
16:30 - 17:00Coffee break
17:00 - 18:30Session 8
Conference room: Ground Floor - ´Salón de Actos´
17:00 - 17:25 Termination of Simply Typed Term Rewriting Systems by Translation and Labelling
Takahito Aoto, Toshiyuki Yamada
17:25 - 17:50 Rewriting Modulo in Deduction Modulo
Frederic Blanqui
17:50 - 18:15 Termination of String Rewriting Rules That Have One Pair of Overlaps
Alfons Geser
18:15 - 18:30 Environments for Term Rewriting Engines for Free!  
M.G.J. van den Brand, P.E. Moreau, J.J. Vinju

Wednesday, June 11

09:00 - 10:00 Session 9
Conference room: Ground Floor - ´Salón de Actos´ & ´Sala de Grados´
09:00 - 10:00 A Logical Algorithm for ML Type Inference (RTA/TLCA INVITED TALK)
David McAllester
10:00 - 10:30Coffee break
10:30 - 12:10Session 10
Conference room: Ground Floor - ´Salón de Actos´
10:30 - 10:55 A Rewriting Alternative to Reidermeister-Schreier
Neil Ghani, Anne Heyworth
10:55 - 11:20 Stable Computational Semantics of Conflict-free Rewrite Systems (Partial Orders with Duplication)
Zurab Khasidashvili, John Glauert
11:20 - 11:45 Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism
Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
11:45 - 12:10 Testing Extended Regular Language Membership Incrementally by Rewriting
Grigore Rosu, Mahesh Viswanathan
13:00 - 15:00Lunch

End of RTA'03                                                                                                                                                                                                                

Last update May 2003 # sescobar@dsic.upv.es