We thank Moshe Vardi (FLoC General Chair), Leonid Libkin
and Gordon Plotkin (Conference Co-chairs), and the other members of the
FLoC organising committee.
EPSRC, HP, Microsoft Research, Association for Symbolic Logic, Google,
Intel, NSF, CADE, and IEEE Computer Society
Michael Norrish, ITP 2010 satellite workshop chair
David Aspinall, ITP 2010 local arrangements
ITP Steering Committee (please stay for a few minutes at the end
to discuss Tobias's proposal for succession):
David Basin (new), John Harrison, Julien Schmaltz (ex officio, new),
Matt Kaufmann, Larry Paulson, Laurent Thery, John
Matthews, Michael Norrish, Mike Gordon (leaving), Tobias Nipkow, Sam Owre.
ITP 2010 facts
History: application of TPHOLs as a FLoC 2010 conference
was denied, but TPHOLs and ACL2 communities approved a one-time merge
of their respective meetings, and the resulting application to FLoC
Financing was handled this time by FLoC. Tobias says that in
the last few years, no money was handed down from TPHOLs to TPHOLs.
Should ITP should incorporate itself in some country, in order to
have a permanent home for its funds and to protect the organisers
from legal liability?
No bids from outside Europe came by the deadline for bids, so we
opened up bidding to the world. Does there need to be an effort to
get non-Europe bids for ITP 2012, and if so, what should that
Should the page limit for rough diamonds be increased to 6
pages? How can we encourage more such submissions? Were rough
diamonds a good idea?