University of Oxford, 5th-7th December 2017

Organisers: Joe Corneli, Lorenzo Lane, Ursula Martin, Fenner Tanswell

Location: Mathematical Institute, University of Oxford, Andrew Wiles Building, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG (map)
»Register here«
Registration is now open, and can be accessed via the link above. The registration fee of £40 includes lunch on 6th December and all coffee/tea breaks. On registration you also have the option to register for the evening meals on 5th and 6th December. Accommodation should be booked separately, some options are listed here: Accommodation options

Workshop details
This workshop celebrates the completion of the EPSRC-funded project “Social Machines of Mathematics”, led by Professor Ursula Martin at the University of Oxford. We will present research arising from the project, and bring together interested researchers who want to build upon and complement our work. We invite interested researchers from a broad range of fields, including: Computer Science, Philosophy, Sociology, History of Mathematics and Science, Argumentation theory, and Mathematics Education. Through such a diverse mix of disciplines we aim to foster new insights, perspectives and conversations around the theme of Enabling Mathematical Cultures.

Our intention is to build upon previous events in the “Mathematical Cultures” series.  These conferences explored diverse topics concerning the socio-cultural, historical and philosophical aspects of mathematics. Our workshop will, likewise, explore the social nature of mathematical knowledge production, through analysis of historical and contemporary examples of mathematical practice. Our specific focus will be around how social, technological and conceptual tools are developed and transmitted, so as to enable participation in mathematics, as well as the sharing and construction of group knowledge in mathematics. In particular, we are interested in the way online mathematics, such as exhibited by the Polymath Projects, MathOverflow and the ArXiv, enable and affect the mathematical interactions and cultures.

The event will take place in the Mathematical Institute of the University of Oxford on 5th, 6th and 7th December 2017, with a dinner on 5th December and an informal supper on 6th December. The first talk will begin at midday on the 5th, and the final talk will be finished by 3pm on the 7th.

Confirmed speakers include: Andrew Aberdein, Michael Barany, Alan Bundy, Joe Corneli, Matt Inglis, Lorenzo Lane, Ursula Martin, Dave Murray-Rust, Alison Pease, and Fenner Tanswell.

Preliminary Programme

Tuesday 5 Dec

12:00 – 13:30 Registration, Lunch Available for purchase at Maths Cafe 

13:30 – 14:30 Ursula Martin (Keynote) “The social machine of mathematics” (abstract)

14:35 – 15:05 Chris Sangwin & Henri Maurer “To what extent are existing proof assistants suitable for teaching elementary logic to university students?” (abstract)

15:10 – 15:40 András Máté “Hungarian mathematical culture: different interests, common features” (abstract)

15.40 – 16:10 Tea and Coffee 

16:10 – 16:55 Michael Barany Abstract Relations: Media, Social Structure, and Sociable Structuralism in Modern Distributed Mathematics” (abstract)

17:00 – 17:45 Lorenzo Lane

19:00 – 21:00 DINNER: Somerville College (dress code: informal attire)

Wednesday 6 Dec

09:30 – 10:00 Marcos Cramer “Modelling Arguments about Foundations of Mathematics in Structured Argumentation Theory” (abstract)

10:05 – 10:35 Henrik Kragh Sørensen, Line Edslev Andersen & Mikkel Willum Johansen “The practice of framing mathematical papers: Training to write to convince” (abstract)

10:40 – 11:10 Keith Weber “Mathematical discourse among set theorists on the relationship between derivations and proofs” (abstract)

11:10 – 11:25 TEA BREAK

11:25 – 11:55 Colin Rittberg & Michael Friedman “Paper Folding as a Mathematical Culture” (abstract)

12:00 – 12:40 Fenner Tanswell 

12:45 – 13:25 Dave Murray-Rust 

13:30 – 14:45 LUNCH 

14:45 – 15:30 Matt Inglis 

15:35 – 16:20 Andrew Aberdein 

16:20 – 16:50 TEA BREAK

16:50-17:50 Alan Bundy (Keynote)

19:00 – 21:00 INFORMAL DINNER: St Anne’s College (dress code: informal attire)

Thursday 7 Dec

09:30 – 10:00 Slava Gerovitch, Julia Braverman & Anna Mirny  “CrowdMath: Massive Research Collaboration among High School and College Students” (abstract)

10:05 – 10:35 Nick de Hoog Linked structures of collaboration” (abstract)

10:40 – 11:10 Gila Hanna “Connecting two different views of mathematical explanation” (abstract)

11:10 – 11:40 TEA BREAK 

11:40 – 12:25 Joe Corneli 

12:30 – 13:15 Alison Pease 

13:15 – 14:45 Lunch Available for purchase at Maths Cafe 

14:45 –            Informal discussions