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

[PVS] ITP/FLoC early registration, program



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