coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Burkhart Wolff" <wolff AT informatik.uni-freiburg.de>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] TPHOLs: Call for Participation"
- Date: Fri, 06 Jun 2003 23:39:53 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
[We apologize if you receive multiple copies of this message]
CALL FOR PARTICIPATION: TPHOLs 2003
The 16th International Conference on
Theorem Proving in Higher Order Logics
Rome, Italy
Monday, September 8 through Friday, September 12, 2003
************************************************
* http://tphols.informatik.uni-freiburg.de/ *
************************************************
The 2003 International Conference on Theorem Proving in Higher Order
Logics will be the sixteenth in a series that dates back to 1988.
The conference will be held Monday 8 September through Friday 12 September,
2003, at Universita di Roma Tre, Rome, Italy, and is co-located with
TABLEAUX2003 and CALCULEMUS2003. The first day of the conference will
be devoted to tutorials or satellite workshops, with the remaining 4
days covering the main conference program.
The registration service for the conference and for accomodations
is now opened. More information over the technical program, the workshops,
travel information and information over student grants is also
available on the conference web-site.
--
David Basin (ETH Zuerich)
Burkhart Wolff (Universitaet Freiburg)
- [Coq-Club] TPHOLs: Call for Participation", Burkhart Wolff
Archive powered by MhonArc 2.6.16.