[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] TPHOLs'2008-Second Call For Participation-



               Second CALL FOR PARTICIPATION


 21st International Conference on Theorem Proving in
               Higher Order Logics
                 (TPHOLs 2008)

       http://www.ece.concordia.ca/TPHOLs2008
            tphols08@xxxxxxxxxxxxxxxx

     August 18-21, 2008, Montreal, Quebec, Canada


 The 2008 International Conference on Theorem Proving in Higher Order
 Logics will be the 21st in a series that dates back to 1988. The
 conference will be held in Montreal, Quebec, Canada, on 18-21 August 2008.


 REGISTRATION

 Registration is now open.  Please visit the TPHOLs 2008 web site,
 http://www.ece.concordia.ca/TPHOLs2008/, to register.

 INVITED SPEAKERS

 Mike Gordon, University of Cambridge, UK.
   Twenty Years of Theorem Proving for HOLs

 Steve Miller, Advanced Technology Center, Rockwell Collins, USA
    Will This Be Formal?

 INVITED TUTORIALS

    Konrad Slind. A Brief Overview of HOL4
    Sam Owre. A Brief Overview of PVS
    Makarius Wenzel. The Isabelle Framework
    Yves Bertot. A short presentation of Coq
    Matt Kaufmann. An ACL2 Tutorial


 ACCOMMODATION

 Information on accommodation is available on the TPHOLs 2008
 web site (click on the registration tab).


 RELATED EVENTS

 On Friday 22 August, the day after TPHOLs 2008 finishes, the UITP
 Workshop on User Interfaces for Theorem Proving will take place.
 Further information on the UITP workshop
 can be found at http://www.informatik.uni-bremen.de/~cxl/uitp/

 SPONSORS

 TPHOLs 2008 is sponsored by the following organizations:

  o ENCS
  o NIA
  o Intel
  o RESMIQ
  o Concordia University


 CONTACT

 Enquiries concerning the conference should be emailed to
 tphols08@xxxxxxxxxxxxxxxx

 OUTLINE PROGRAMME

 Monday 18th, Tuesday 19th: Technical sessions.

 Wednesday 20th: Technical sessions; excursion; conference dinner.

 Thursday 21st: Technical sessions.

 Friday 22nd : UITP workshop.

 The preliminary programme is available on the conference web site.