[loginf] IJCAR Tutorial on the Isabelle Proof Assistant

Clemens Ballarin ballarin at in.tum.de
Wed May 5 15:09:58 CEST 2004

Dear Colleague,

We would like to draw your attention to the Isabelle Tutorial
co-located with this year's IJCAR in Cork, Ireland.  The tutorial takes
place on 5 July 2004, the day prior to the main conference.  Please
forward this call also to colleagues and PhD students who might be

Clemens Ballarin  (Technische Universitaet Muenchen)
Gerwin Klein      (National ICT Australia)

Tutorial Overview:
  This one-day tutorial gives an overview of the state-of-the-art
  proof assistant Isabelle (http://isabelle.in.tum.de/) and its use.
  The tutorial aims at researchers in computer science and mathematics
  who want to use Isabelle for a particular formalisation task, or who
  want to get an overview of current proof assistant technology.  The
  following themes will be covered: introduction to natural deduction,
  specification tools, automated proof tools, readable proofs,
  Isabelle's module system, applications from verification and
  mathematical algebra.  The tutorial is limited to 20 participants.

  Larry Paulson will be present at one of the sessions and will be
  ready to address any questions about Isabelle and its development
  you might have.

Important Links:
  Tutorial programme:    http://www.cse.unsw.edu.au/~kleing/ijcar04-tut
  IJCAR main site:       http://4c.ucc.ie/ijcar
  Registration form:     http://4c.ucc.ie/ijcar/register.txt
  (Registration is through IJCAR but tutorial participants need not
  register for the main conference)

More information about the loginf mailing list