[TYPES] IJCAR 2004 Tutorials

[William Farmer]

------------------------------------------------------------

IJCAR 2004

Second International Joint Conference on Automated Reasoning

4-8 July 2004

University College Cork
Cork, County Cork, Ireland 

http://4c.ucc.ie/ijcar/

------------------------------------------------------------

Dear Colleague:

It is my pleasure to announce that IJCAR 2004 is offering the
following five tutorials in the field of automated reasoning:

  T1 The Automation of Inductive Theorem Proving
     Alan Bundy

  T2 The Meta-Logical Framework Twelf
     Carsten Schuermann

  T3 Introduction to the Isabelle Proof Assistant
     Clemens Ballarin and Gerwin Klein

  T4 Automated Validation of Security Protocols (AVASP)
     Jorge R. Cuellar, Sebastian Moedersheim, and Luca Vigano

  T5 Instance Based Methods
     Peter Baumgartner and Gernot Stenz

Detailed information about the tutorials is at

  http://www.4c.ucc.ie/ijcar/tutorial-programme.html

Selected on a peer-review basis from a strong set of proposals, these
tutorials reveal the great diversity and vitality of automated
reasoning today.

William Farmer
IJCAR 2004 Tutorials Chair
wmfarmer at mcmaster.ca