10:00-12:00 | General discussion of network aims based on all individual contributions. |
---|---|
12:00-13:00 | Discussion of invited speakers and workshop schedules. Update of literature to be cited in the application. |
13:00-14:00 | Lunch break |
14:00--16:00 | Working in groups of 2-3 to define specific aims of the network as a whole. Possible groups: sociology of math, relation to traditional philosophy of mathematics, proof. |
16:00-16:30 | Coffee break |
16:30--18:00 | Putting the groups' results together to give a definite outline of the aims of the network as a whole. Further topics, e.g., website maintenance. |