coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FW: [kaufmann AT cs.utexas.edu: ITP/FLoC early registration, program]

From: Georges Gonthier <gonthier AT microsoft.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] FW: [kaufmann AT cs.utexas.edu: ITP/FLoC early registration, program]
Date: Mon, 10 May 2010 14:01:56 +0000
Accept-language: en-GB, en-US

[forwarding from the TPHOLs organizers -- Georges]

Hello --

The last day for early registration to attend ITP 2010 (indeed, for
any FLoC conference) is Monday, May 17. You can register here:

http://www.floc-conference.org/registration.html

You can view an early copy of the program here:

http://www.cs.utexas.edu/users/kaufmann/itp-preliminary-program.html

Regards,
Matt Kaufmann and Larry Paulson

[Coq-Club] FW: [kaufmann AT cs.utexas.edu: ITP/FLoC early registration, program], Georges Gonthier