| Andrea
Bender. Universität
Freiburg, Freiburg, Germany.
|
| Karine
Chemla. Equipe
Recherches Epistémologiques et Historiques sur les Sciences
Exactes et les Institutions
Scientifiques (REHSEIS), Paris, France.
|
| Shirong Guo. Inner Mongolia
Normal University, Hohhot,
China.
|
| Eric
Livingston (CANCELLED). University of New England, Armidale NSW, Australia.
|
| Juan Pablo
Mejía Ramos. Rutgers University, Piscataway NJ, United
States of America.
|
| Reviel
Netz. Stanford University, Stanford CA, United States of America.
|
| Zhaoshi
Zeng. Sun Yat-Sen University. Guangzhou, China.
|
Friday, 9 November 2012
|
0930-1100 | Registration and Coffee
|
1100-1130 | Opening and conference photograph
|
1130-1230 |
Invited Talk: Karine
Chemla (Paris, France)
Practices of abstraction as features of a mathematical culture.
|
1230-1400 | Lunch break
|
1400-1430 |
Albrecht Heeffer
(Gent, Belgium)
From Tables to Induction in Abbaco Mathematical Culture.
|
1430-1500 |
Johannes Wietzke (Stanford CA, U.S.A.)
The Desire for Knowledge in the Greek Exact
Sciences.
|
1500-1520 | Coffee break
|
1520-1550 |
Dagmar Provijn (Gent,
Belgium)
Much reasoning,
many logics: on dynamics and heuristics in reasoning.
|
1550-1620 |
Karen
François
(Brussels, Belgium)
The cultural turn within the research field of mathematics
education. Taped video presentation.
(video)
|
1620-1640 | Coffee break
|
1640-1740 |
Invited Talk:
Andrea
Bender
(Freiburg, Germany)
Numeration systems as cultural tools.
|
1800-1930 | Dinner at ZiJin Yuan Restaurant
|
Saturday, 10 November 2012
|
0930-1030 |
Invited Talk: Shirong Guo (Hohhot, China)
TBA
|
1030-1050 | Coffee break
|
1050-1120 |
Joachim Kurtz (Heidelberg, Germany)
De-modernizing the History of Chinese Logic.
(slides)
|
1120-1150 |
Jia-Ming Ying (Taipei, Taiwan)
The style of argumentation in emperor Kangxi's mathematical
compendium and its influence on Korean mathematics.
|
1150-1220 |
Baptiste Mélès
(Nancy,
France)
Programming Languages for Pre-Mechanical Calculating Tools.
(slides)
|
1230-1430 | Lunch break
|
1430-1500 |
Amita Chatterjee (Kolkata, India)
Logical Subcultures in the Classical Indian Theoretical
Tradition.
|
1500-1530 |
Markus Pantsar (Helsinki, Finland)
Philosophy of mathematics in different fields.
(slides)
|
1530-1600 | Coffee break
|
1600-1700 |
Invited Talk:
Juan Pablo
Mejía Ramos (Piscataway NJ, U.S.A.)
TBA
|
1800-1930 | Dinner at ZiJin Yuan Restaurant
|
1930-2200 | Boat Cruise on Pearl River
|
Sunday, 11 November 2012
|
0940-1040 | Invited Talk:
Zhaoshi
Zeng (Guangzhou, China)
TBA
|
1040-1100 | Coffee break
|
1100-1130 |
Dahai
Zou
(Beijing, China)
The foundations of the reasoning in the demonstration of Liu Hui's
principle.
|
1130-1200 |
Ju Shier (Guangzhou, China), Zhang Yijie (Guangzhou, China)
Liu Hui's inference in The
Nine Chapters on the Mathematical Procedures: A preliminary inquiry.
|
1200-1230 |
Yang He (Guangzhou, China), Yanjin Chen (Guangzhou, China)
On Gongsun Long's Methods of Argumentation.
|
1230-1400 | Lunch break
|
1400-2100 | EXCURSION and Banquet
|
Monday, 12 November 2012
|
1000-1030 |
Brendan
Larvor (Hatfield, England)
The Mathematical Cultures Research Network.
|
1000-1100 |
Stig Andur Pedersen (Roskilde, Denmark)
Mathematics in Engineering and Science.
(slides)
|
1100-1130 | Coffee break
|
1130-1200 |
Mihir Chakraborty (Kolkata, India), Smita Sirker (Kolkata, India)
Some Aspects of
Mathematical Pluralism.
(slides)
|
1200-1230 |
Peter Koepke
(Bonn, Germany)
Formal Mathematics and Mathematical Practices. Taped video
presentation.
|
1230-1400 | Lunch break
|
1400-1430 |
Thomas Müller
(Utrecht, The Netherlands)
Is there such a thing as philosophical logic?
(slides)
|
1430-1530 |
Invited Talk:
Reviel
Netz (Stanford CA, U.S.A.)
Mathematical Communities in Greek Antiquity
|
1530-1550 | Closing
|