Argumentation in mathematics

On May 30th 2013, the Roots of Deduction project (https://sites.google.com/site/therootsofdeduction/) and the Faculty of Philosophy of the University of Groningen will host a small workshop on argumentation in mathematics.
Details will be regularly updated here:
https://sites.google.com/site/therootsofdeduction/events-and-announcements/workshop-argumentation-in-mathematics
Speakers and titles are:

• Andrew Aberdein (Philosophy, Florida Institute of Technology): "Types of dialogue in mathematics"
• Erik Krabbe (Philosophy, Groningen): "Aristotle on squaring the circle"
• Bart Verheij (Artificial Intelligence, Groningen): "Mathematical discovery as investigative argumentation"
• Catarina Dutilh Novaes (Philosophy, Groningen): "A dialogical conception of indirect proofs"

Time: 9.00-13.00. The workshop is open to all, but please send us an email (rootsofdeduction 'youknowwhat' gmail dot com) to register.