ICMI Study 19: Proof and Proving in Mathematics Education

National Taiwan Normal University

May 10, 2009 – May 15, 2009



Sunday, May 10:

14:00 - 18:00: Registration, Jhongjheng Hall , National Taiwan Normal University Gongguan Campus. Address: 88, Tingchou Road Sec. 4, Taipei 

18:00: Reception

We are very much looking forward to welcoming you in Taipei.


Practical Information: Climate, currency, language, excursion, hotels and local transportation; getting from the airport to your hotel; from your hotel to the conference venue; detailed maps, and more practical information.

In Taipei, you can reach members of the International Program Committee at the following telephone number: 02-83691155

International Program Committee

Co-Chairs: Gila Hanna (Canada) and Michael de Villiers (South Africa)

Ferdinando Arzarello (Italy); Tommy Dreyfus (Israel); Viviane Durand-Guerrier (France); Hans Niels Jahnke (Germany); Fou-Lai Lin (Taiwan); Annie Selden (USA); David Tall (UK); Oleksiy Yevdokimov (Australia); Bernard R. Hodgson (Canada), ex officio
ICMI Executive Advisors: Michèle Artigue (France); Hyman Bass (USA); Mariolina Bartolini-Bussi (Italy)


In Taipei, you can reach members of the Local Organizing Committee at the following telephone number: 02-29320206

Local Organizing Committee

Chair: Wann-Sheng Horng
Co-Chair: Fou-Lai Lin
Members: Fang-Chih Cheng, Yu-Ching Hung, Yu-Hsien Chang, Chuang-Yih Chen, Tai-Yih Tso, Feng-Jui Hsieh, Shao-Tung Chang, Po-Son Tsao (Dennis), Rung-Chin Tsai, Kai-Lin Yang, Yu-Ping Chang

Publisher Exhibition Project


Accessing papers: Conference proceedings are now accessible on this site. Vol. 1 Vol. 2


The 19th ICMI Study Conference on Proof and Proving in Mathematics Education will take place on the Gongguan Campus of National Taiwan Normal University, Taipei, Taiwan, May 10-15, 2009. Registration is on Sunday, May 10 with a reception in the evening. The conference program will end on Friday, May 15 at 5:30 p.m.

Click on "Program" to see the timetable.
Click on "Conference schedule" to see the detailed schedule.

Participation: Participation in the Conference is by invitation only. Letters of acceptance/invitation were sent out on November 23, 2008.

Paper presentation: The time allotted for presentations is 20 minutes, plus 10 minutes for discussion. All parallel session rooms will be equipped with data projectors and computers. Please bring your PowerPoint presentation on a USB memory stick saved in .ppt (not .pptx) format. Internet access will be available.

If you have any questions about the availability of equipment, such as overhead projectors, computers and screens, please send an email directly to: icmi19@math.ntnu.edu.tw

Proceedings: Submissions will be published in the ICMI 19 Conference Proceedings provided the conference fee is paid in full by at least one of the authors by the January 31, 2009 deadline. In the case of co-authors who have two papers, two different co-authors must be registered and must have paid the registration fee by January 31, 2009. Submissions that do not have an associated registered author will not appear in the printed Proceedings. The Conference Proceedings will be available in print form to those attending the study conference.

Conference Fee: The conference fee is $350 US. This can be paid by credit card or PayPal account or using a wire transfer via SWIFT (click on "registration" for more details). All participants must register on line and pay the conference fee. The deadline for payment of the conference fee if you want your submission included in the Proceedings is January 31, 2009. Otherwise, the deadline is April 30, 2009.

The conference fee covers a hardcopy of the Proceedings, the conference reception, the conference dinner, the conference excursion, coffee/tea, and all lunches. The fee for accompanying persons is $150 US.

Cancellation Policy: All cancellations must be submitted in writing by April 1, 2009 by email to receive a refund. There is a $70 handling charge for all cancellations. Refunds will be processed 4-8 weeks after the conference. For cancellations received after April 1, 2009, we regret that no refunds can be made. If you have any questions, please contact Wann-Sheng Horng horng@math.ntnu.edu.tw.

********************

Working Groups: Each participant is to select a first and a second choice to the following six working groups (please download this form: WGchoice). Working group organizers are listed in parentheses.

WG1. Cognitive Development of Proof (David Tall and Oleksiy Yevdokimov)
This Working Group focuses on the cognitive development of proof at all levels. It welcomes studies that attend to issues in the development and understanding of proof that may contribute to the building of an overall picture of the cognitive development of proof for a wide range of readership amongst mathematicians, teachers and educators around the world.

WG2. Argumentation (Viviane Durand-Guerrier)
This Working Group will focus on the interplay between argumentation and proof from different perspectives, including but not limited to, formal/informal, form/content, syntax/semantic, truth/validity, common sense/mathematical logic, heuristics/ formal proof, continuity /discontinuity, as well as their relation to various historical, philosophical, and logical approaches developed in mathematics education.

WG3. DGS/Experimentation (Ferdinando Arzarello)
This Working Group will focus on the ways the experimental components of mathematical investigation (in a broad sense of the term) in technological environments -- especially DGS software -- interact with the formal aspects of mathematical discourse. In particular, the group will investigate how different semiotic resources used by students and by teachers, while interacting with each other and with the software, evolve, combine, and eventually contribute to the production of proofs.

WG4. Proof in the School Curriculum, Knowledge for Teaching Proof, and the Transition from Elementary to Secondary (Fou-Lai Lin)
This Working Group will focus on the knowledge teachers need to teach proof effectively and on the design of opportunities for student teachers to acquire the knowledge skills, understandings and dispositions necessary to provide effective instruction about proof and proving. It will also focus on designing proving activities for both elementary and secondary school students and on the transition from elementary to secondary education in relation to proof and proving.

WG5. The Nature of Proof for the Classroom (Tommy Dreyfus, Hans Niels Jahnke, and Wann-Sheng Horng)
We examine aspects of the nature and status of proof as they appear in classrooms and develop from primary through the tertiary level. Questions we address include what forms proof takes, what status it is given, and what role it is supposed to play for the improvement of mathematical understanding and for understanding the world around us. We also ask how forms, status, and roles develop with growing mathematical maturity and what the didactical implications of forms, status, and roles are, in particular, how they relate to goals for learning about proof.

WG6. Proof at the Tertiary Level (Annie Selden)
This Working Group will explore all aspects of the teaching and learning of proof and proving at the tertiary level. This includes the transition from secondary school to university and the transition from undergraduate to graduate work in mathematics. It includes proof for mathematics majors, as well as for those in client disciplines.

********************

Distinguished International Plenary Speakers:

Jonathan Borwein, Canada
Judith Grabiner, USA
Giuseppe Longo, France
Frank Quinn, USA

PLENARY ABSTRACTS
PLENARY BIOS

Panel: Proof within the western and the eastern cultural traditions, starting from a discussion of the Chinese book "The Nine Chapters": Implications for mathematics education

Chair: Hans Niels Jahnke, Universität Duisburg-Essen, Germany

Discussants:
Karine Chemla, National Centre for Scientific Research (CNRS), France
Wann-Sheng Horng, Institute of Mathematics, Academia Sinica, Taiwan
Ko-Wei Lih, Institute of Mathematics, Academia Sinica, Taiwan
Man-Keung Siu, Hong Kong University, China


International Program Committee

Co-Chairs: Gila Hanna (Canada) and Michael de Villiers (South Africa)

Ferdinando Arzarello (Italy); Tommy Dreyfus (Israel); Viviane Durand-Guerrier (France); Hans Niels Jahnke (Germany); Fou-Lai Lin (Taiwan); Annie Selden (USA); David Tall (UK); Oleksiy Yevdokimov (Australia); Bernard R. Hodgson (Canada), ex officio
ICMI Executive Advisors: Michèle Artigue (France); Hyman Bass (USA); Mariolina Bartolini-Bussi (Italy)

Local Organizing Committee

Chair: Wann-Sheng Horng
Co-Chair: Fou-Lai Lin
Members: Fang-Chih Cheng, Yu-Ching Hung, Yu-Hsien Chang, Chuang-Yih Chen, Tai-Yih Tso, Feng-Jui Hsieh, Shao-Tung Chang, Po-Son Tsao (Dennis), Rung-Chin Tsai, Kai-Lin Yang, Yu-Ping Chang

Conference Information