PREFACE:
34 Participants
- 7 new faces, 27 veterans
- 14 organizations
26 Banquet attendees
Funds (registrations + sponsors) pay for:
- Food, venue, proceedings, t-shirts
- Student scholarships
- Future workshop budget cushioning
- Build server
Please contact the co-chairs
(Matt Kaufmann
and David L. Rager) to suggest
additional topics. Here is a list of topics collected so far.
- What should be the criteria for accepting 2-page extended
abstracts?
- Where will the next ACL2 Workshop be held, and who will co-chair
it?
- Are there any suggestions for improving the workshops, in
particular based on this year's workshop?
- How many participants this year would not have come if ACL2 had
been by itself, rather than co-located with other conferences and
workshops? If those mattered, then which ones?
- Do we like having publications at the workshop? Does our community
benefit from written papers? What other activities and presentations
might be good at future workshops?
- What can be done so that more existing ACL2 books are contributed
to the Community Books at GitHub?
- Do we want printed proceedings in future workshops? Or instead, a
memory stick? Is web access sufficient instead?