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 ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info