ITP 2010 Business Meeting

See also the minutes of the business meeting.

Larry and I wish to thank:
- ITP Programme Committee
- FLoC organizers:
  We thank Moshe Vardi (FLoC General Chair), Leonid Libkin and Gordon Plotkin (Conference Co-chairs), and the other members of the FLoC organising committee.
- FLoC sponsors:
  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 was accepted.
- Number of registrants: 116. (2009 TPHOLs: 89.)
- FLoC registration numbers as of July 5:
```
        LICS:  182
        RTA:    72
        SAT:   108
        ITP:   114

        CAV:   214
        ICLP:  113
        IJCAR: 141
        CSF:   101
```
- Name "ITP" is permanent; connection with ACL2 workshop remains to be worked out (discussion later).
- Statistics
  - Summary:
```
         OVERALL:        74 submitted, 33 accepted
         Regular papers: 57 submitted, 25 accepted
         Proof pearls:    8 submitted,  5 accepted
         Rough diamonds:  9 submitted,  3 accepted
```
  - 2009 TPHOLs: 55 submissions, 27 accepted.
  - Statistics from EasyChair
ITP 2011
- Voting was by single transferable ballot.
- Presentation from Julien Schmaltz
Discussion of issues (led by Michael Norrish):
- 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 be?
- 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?
- Printed proceedings?
- Tutorials? The minutes of the 2008 TPHOLs business meeting suggest tutorials may be of interest. Of course, that may mean fewer accepted papers.
- Status of merger with ACL2 Workshop?
- Others?