SATURDAY 8th April

12:00-13:00 LUNCH

13:00-14:15 S. Orestis Palermos “Is Polymath a Social Machine?”
14:15-15:30 Fenner Stanley Tanswell “Proving Activities and Collaborative Mathematics”

15:30-16:00 TEA/COFFEE

16:00-17:15 Patrick Allo “Tracking common information and public announcements in Polymath: A data-driven and logically informed method”
17:15-18:30 Catarina Dutilh Novaes “Adversariality and Cooperation in Mathematical Proofs’

19:30 DINNER

SUNDAY 9th April

9:00-10:15 Josh Habgood-Coote “Collective Mathematical Knowledge”

10:15-10:30 TEA/COFFEE

10:30-11:45 Line E. Andersen “Acceptable Gaps in Mathematical Proofs”
11:45-13:00 Lorenzo Lane “Coordinating Visions: Documenting collaborative knowledge production at mathematics institutes”

13:00-14:00 LUNCH

14:00-15:15 Jeroen de Ridder “Beyond social knowledge”