- Election of chairperson of this meeting (decision: Bezem, also reporting these minutes)

- Agenda:

1. Next workshop.

Decision: we gratefully accept the renewed offer by Soloviev/Matthes to organize TYPES in Toulouse in the Spring of 2013. At the meeting there were no proposals for a TYPES workshop in 2012.

2. Post-proceedings.

Decision: finding a suitable venue for the post-proceedings of TYPES 2011 is delegated to the PC of this workshop, consisting of Bengt Nordström (chair), Ana Bove, Thierry Coquand, Nils Anders Danielsson, Peter Dybjer and Marc Bezem. Among the possible venues mentioned were: LNCS, LMCS, LIPIcs, EPTCS.

3. EU-submission.

This point has been identified as important, but several failed attempts to attract EU money indicate that the EU isn't very enthusiastic to sponsor our type of activities (workshops, summer schools) in a field that has existed (and has had EU support) for over two decades. Keeping a keen eye on funding possibilities

is delegated to the Steering Committee (next point). A Marie Curie network could be a possibility.

4. Steering Committee.

The meeting approved with gratitude (and some relief) the appointment of the following members:

Aleksy Schubert, Robert Atkey, Tarmo Uustalu, Andrew Polonsky, Hugo Herbelin, Marc Bezem.

Bergen, 9 September 2011.