[LOGINF] cfp: Conference on Rewriting Techniques and Applications

Thomas Arts thomas at erix.ericsson.se
Wed Jun 26 11:39:24 CEST 2002


         13th International Conference
                   on 
    Rewriting Techniques and Applications 

                July 22-24
            Copenhagen, Denmark


               a FLoC event
          http://floc02.diku.dk/


The programme for RTA'02 is available at
http://floc02.diku.dk/RTA/program.html
Among other interesting presentations, there are
three invited talks:

  Natarajan Shankar, SRI International, USA
  Little engines of proof

  Franz Baader, Dresden U of Techn., Germany
  Engineering of logics for the content-based 
  representation of information

  John Mitchell, Stanford U, USA
  Multiset rewriting and security protocol analysis

The conference takes place in combination with
several workshops on Term Rewriting and related
issues. It runs in parallel with FME and LICS;
conferences with many interesting presentations.

Registration is possible via
http://floc02.diku.dk/floc/register.html


Kind regards
Thomas



---
Thomas Arts
Ericsson

thomas at cslab.ericsson.se




More information about the loginf mailing list