[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
    Rewriting Techniques and Applications 

                July 22-24
            Copenhagen, Denmark

               a FLoC event

The programme for RTA'02 is available at
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

Kind regards

Thomas Arts

thomas at cslab.ericsson.se

More information about the loginf mailing list