home cfp pc dates submissions programme invited speakers practical contact journal
ProgrammeInvited talks are 1 hour, long talks are 30 minutes, and short talks are 20 minutes (all including questions).
Monday 29th March, 2010
9:00-10:30Chair: Alison Pease
Invited talk: Little green men from Mars and other thought experiments in philosophy of mathematics. Alexandre Borovik
Long talk: If learning Math requires a teacher, where did the first teachers come from? Aaron Sloman
11:00-12:30Chair: Alan Smaill
Long talk: Geometric proof checking with Diagrams. John Mumma
Long talk: Interpreting Naproche - An algorithmical approach to the derivation-indicator view. Merlin Carl and Prof. Dr. Peter Koepke
Short talk: Applying the GC Combined Reasoning Framework to Mathematical Discovery. John Charnley
14:00-15:30Chair: Elke van der Meer
Long talk: Dynamism in mathematical thought (where there shouldn't be any): A study of gesture in the production of mathematical proof. Tyler Marghetis, Rafael Núñez
Short talk: The body in Renaissance arithmetic: from mnemonics to embodied cognition. Albrecht Heeffer
Short talk: Origins of Spatial-Numerical Bias. Martin Fischer
Short talk: Interpretation is an action: understanding diagrams by manipulating them. Valeria Giardino
16:00-17:30Chair: Benedikt Loewe
Long talk: Where axioms come from. Dirk Schlimm
Invited talk: Mathematical argumentation and the Toulmin model. Brendan Larvor
EveningMovie to be shown as an AISB event
Workshop dinner (time and place to be arranged and announced on the day).
Tuesday 30th March, 2010
9:00-10:30Chair: Brendan Larvor
Invited talk: Types of Generality in and around Mathematics and Logics. Ivor Grattan-Guinness
Long talk: Skills and Mathematical Knowledge. Benedikt Loewe, Thomas Müller
11:00-12:30Chair: Markus Guhe
Short talk: Analogical Reasoning, Resource Allocation and Task-Engagement in Individuals Differing in Mathematical Abilities. Elke van der Meer, Boris Bornemann, Jan Ries, Judith Horn, Manja Foth, Isabell Wartenburger
Short talk: Singing Numbers... in Cognitive Space. Martin Fischer et al.
Short talk: The effects of literacy on symbolic and non-symbolic numerical magnitude processing in literate and illiterate Arabic speakers. Samar Zebian & Daniel Ansari
Informal session: This is an opportunity for anyone who would like to speak informally. This may be about a PhD proposal, report on work in progress, thoughts on the workshop, etc. We will arrange this on the fly at the workshop - if you would like to speak, please arrange it with Alison, Markus or Alan prior to the session.
14:00-15:30Chair: Dirk Schlimm
Long talk: Peer review and knowledge by testimony in mathematics. Benedikt Loewe, Christian Geist, Bart Van Kerkhove
Invited talk: Rationale of the Mathematical Joke. Andrew Aberdein
16:00-17:30Chair: Aaron Sloman
Panel session The workshop officially ends at 5.30. AISB are showing another movie in the evening, to which everyone is welcome.