30 May 2013, Workshop on Argumentation in Mathematics, Groningen, The Netherlands

On May 30th 2013, the Roots of Deduction project and the Faculty of Philosophy of the University of Groningen will host a small workshop on 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"

Details will be regularly updated here: https://sites.google.com/site/therootsofdeduction/events-and-announcements/ The workshop is open to all, but please send us an email (rootsofdeduction at gmail.com) to register.