Wednesday, 20 June

15:00 - 17:45 Registration

17:45 – 18:00 Conference opening (Room: Main Auditorium)

18:00-18:45 Plenary Talk I (Room: Main Auditorium)

Kenneth Ruthven – University of Cambridge, UK

Herschel’s heritage and today’s technology integration: a postulated parallel

18:45-19:30 Plenary Talk II (Room: Main Auditorium)

Colette Laborde - Universite Joseph Fourier, Grenoble, France

The design of tasks taking full advantage of dynamic geometry: what kinds of knowledge does it require from teachers?

19:30-21:00  Welcome reception

Thursday, 21 June

8:30-10:00 - Session I

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

General Session

General Session

Working Group: RPCK

Working Group: RPDM

Workshop

Workshop

Chair: Vlasta Kokol-Voljc

Chair: Ildiko Perjesi-Hamori

Chair: Djordje Kadijevich

Chair: Stephen Hegedus and Luis Moreno

Ulrich Kortenkamp

Phil Ramsden, Reinhard Simonovits and Bernd Thaller

Rein Prank

Automatic assessment possibilities in problem solving environment with detailed diagnosis of errors

Gábor Horváth, Antal Joós, and Bálint Nagy

WebMathematics Interactive is in Use

Valentyna Pikalova and Manfred J. Bauch

Geometric construction in real-life problem solving

András Ringler

Geometric solution of Elliptic and Hyperbolic ”SYMPTOMAS”

Beyond DGS - Simulations and Scripting with Cinderella

http://cinderella.de

M@th Desktop and the LTM Project

Dmitri Lepp

Distribution of Student Mistakes between Three Stages of Solution Steps in Case of Action-Object-Input Solution Scheme

Cvetka Rojko

Technology in modern curricula

Jelena Tatar

The influence of CAS on the development of procedural and structural knowledge

Temel Kosa, Adnan Baki, and Bulent Guven Using dynamic geometry software Cabri-3D to improve students’ spatial skills

Natalia Budinski, Miroslav Novta, and Djurdjica Takaci

Computer generated questionnaires to evaluate students’ understanding of mathematical concepts

Marina Issakova

How does an interactive learning environment affect the students’ learning?

10:30-12:00 - Session II

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

General Session

General Session

Working Group: RPCK

Working Group: RPDM

Workshop

Workshop

Chair: Luc Trouche and Nurit Zehavi

Chair: Mihaly Klincsik

Chair: Djordje Kadijevich

Chair: Stephen Hegedus and Luis Moreno

G. Noel and

A. Vandenbruaene

János Karsai

Matija Lokar, Vladimir Batagelj, and Iztok Kavkler

Calibrate and CAS/CDGS materials

László Kóródi and Lajos Szilassi

A controlled polygon plotter procedure

Mária Slavíčková and Ingrida Kraslanová

How to teach functions by using of Derive

István Lenart

Comparative geometry in E-learning

Apprenti Geometre

Mathematica in Education

Roger Brown, Einir Wyn Davies, Peter Flynn, and John Monaghan

The introduction of symbolic calculators into assessment in mathematics at the International Baccalaureate Organisation: aspects of item design and student performance

Judith Preiner and Markus Hohenwarter

Creating and implementing multimedia lessons for the middle grades

Yilmaz Aksoy, Mehmet Bulut, and Seref Mirasyedioglu

The effect of Computer Algebra System (CAS) in the development of conceptual and procedural knowledge

Zeljka Milin Sipus, Jelena Gusic, and Petar Mladinic

The Geometer’s Sketchpad as a learning and teaching tool in Croatia

Przemyslaw Kajetanowicz and Jedrzej Wierzejewski

Application of Computer Algebra Systems in automatic assessment of math skills

Eno Tonisson and Nadezda Velikanova

Answers to equations from school textbooks offered by computer algebra systems

12:00-13:30 - Lunch

13:30-14:15  Plenary Talk III (Room: Main Auditorium)

Bruno Buchberger - RISC, University of Linz, Austria

Lazy Thinking:  A reasoning strategy for inventing algorithms

14:30-16:00 - Session III

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

General Session

Working Group: CAEV

Working Group: RPCK

Working Group: ARME

Workshop

Workshop

Chair: Elena Smirnova

Chair: János Karsai

Chair: Djordje Kadijevich

Chair: Bruno Buchberger

Markus Hohenwarter

Lajos Szilassi and László Kóródi

Masataka Kaneko, Setsuo Takato, Masayoshi Sekiguchi, Yuuki Tadokoro, Satoshi Yamashita

CAS-aided visualization in LATEX documents for mathematical education — achievements of KETpic

Roman Hasek and Vladimira Petraskova

Teaching of financial mathematics using Maple

Mihaly Klincsik and Csaba Sárvári

Comparisons of capabilities of the CAS and spreadsheets
via the statistical quality control

Robert Vajda

Report on the CreaComp Project: Linking computer algebra and automated reasoning for providing a new learning environment for elementary analysis

GeoGebra in Secondary School Teaching

Visualization of solid figures in practice with Euler3d and MAPLE

Mazen Shahin

Explorations in mathematical models of biological systems

Djordje Herceg and Dragoslav Herceg

Numerics with GeoGebra in high school

Zoltán Kovács

Blind vs. wise (use of technology)

G. Aguilera, J.L. Galán, A. Gálvez, Y. Padilla, and  P. Rodríguez

Developing propositional classical logic automated theorem provers for education

 Djurdjica Takaµci

The introduction of the limits of functions by using computer

János Karsai

Compact courses on Computer-aided Visualization and experimentation

16:00-16:30– Coffee Break

16:30-18:00 - Session IV

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

General Session

Working Group: CAEV

Working Group: ICCAS

Working Group: ARME

Workshop

Workshop

Chair: Kenneth Ruthven

Chair: János Karsai

Chair: Karl Josef Fuchs

Chair: Bruno Buchberger

Homero Flores and Cvetka Rojko

Philipp Todd

Daniel H. Jarvis

Dynamic Geometry endorsed through provincial curriculum, support documents, and professional development initiatives: A digital perspective from Ontario, Canada

Tolga Kabaca and Muharrem Aktumen

Visualization of the concept of polar functions by Maple

J. L. Galán, G. Aguilera, M. Á. Galán, A. Gálvez, A. J. Jiménez, Y. Padilla, and P. Rodríguez

CAS + Programming = Mathematical creativity

Marvin Schiller, Christoph Benzmueller and Dominik Dietrich

Proof step analysis for proof tutoring -- A Learning approach to granularity

Modelling with Sketchpad in the Teaching of Mathematics

Solving Problems with Geometry Expressions and CAS

Mladinic Petar, Jelena Gusic, and Zeljka Milin Sipus

How does the Geometer’s Sketchpad uncover complex numbers in space

Svetlana Maletin and Verica Govedarica

Teaching the Analytic Geometry by means of GeoGebra

Karl Josef Fuchs and Éva Vásárhelyi

Basics in Imperative Programming with CAS

Dominik Dietrich and Mark Buckley

Verification of human-level proof steps in mathematics education

Otto Wurnig

Introduction of the parabola in form 11 with the use of GeoGebra and CAS

Ildiko Perjesi-Hamori and Csaba Sarvari

Teaching Fourier series, partial differential equations and their applications – in less time with more CAS

18:15-19:00 Plenary Talk IV (Room: Main Auditorium)

Edith Schneider - University of Klagenfurt, Austria

CAS as didactical challenge

19:00-21:00- Dinner

Friday, 22 June

8:30-10:00 - Session V

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

General Session

Working Group: CAEV

Working Group: ICCAS

Working Group: ARME

Workshop

Workshop

Chair: Daniel Jarvis

Chair: János Karsai

Chair: Karl Josef Fuchs  and Éva Vásárhelyi

Chair: Bruno Buchberger

Ramon Eixarch

Zoltán Kovács

Peter Csiba

Application of mathematical software’s on J. Selye University in Komarno

Igor E. Poloskov and Olga V.Sandakova

Using CAS-Mathematica for teaching mechanics

Tünde Berta

Graphical calculators in pre- and in-service teacher training

Wolfgang Windsteiger

Towards computer-supported proving in maths education

WIRIS, mathematics for education

WebMathematics Interactive 2

Vladimir Nodelman

Common software for mathematics education

Mehmet Bulut, Yilmaz Aksoy, and Beref Mirasyedioglu

The effects of CAS in the development of problem solving abilities

Matija Lokar

CAS, CDGS, Wikis... and teaching resources

Adrian Craciun and Madalina Hodorog

The quotient–remainder theorem for natural numbers: Discovery by lazy thinking

Emiliya Velikova and Valentina Voinohovska

Computer-aided scientific research of students for creating original mathematical problems

10:00-10:30 – Coffee Break

10:30-12:00 - Session VI

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

Working Group: CAEV

Working Group: FTIG

Working Group: RPDM

Workshop

Workshop

Chair: János Karsai

Chair: Ulrich Kortenkamp

Chair: Stephen Hegedus and Luis Moreno

Silva Kmetic

Burkhard Alpers

Muharrem Aktümen and Tolga Kabaca

Constructing the disk method formula the volume obtained by obtaining revolved curve around an axis by CAS

Kate Mackrell

Cabri3D: an environment for creative mathematical design

Jack Carter and Beverly J. Ferrucci

Compositions of Dilations and Isometries in Calculator-Based Dynamic Geometry

An approach to teaching and leaning using program Graph

Using Computer Algebra / Technology for modelling and application

Radivoje Stojkovic, Djurdjica Takači, and Jasminka Radovanović

The analysis of the behaviour of functions using computer

Andreas Fest, Ulrich Kortenkamp, Anne Geschke, and Dirk Materlik

Teaching Graph Algorithms with Visage

Zsolt Lavicza

A comparative study of the use of Computer Algebra Systems in teaching university mathematics in Hungary, United Kingdom, and United States

Zlatko Udovicic and Vesna Satev

Mathematica and convergence

12:00-13:30 – Lunch

14:30-16:00 - Session VII

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

Working Group: ITME

Working Group: FTIG

Working Group: RPDM

Workshop

Workshop

Chair: Éva Vásárhelyi

Chair: Ulrich Kortenkamp

Chair: Stephen Hegedus and Luis Moreno

Colette Laborde

Jelena Gusic, Milin Sipus, and Petar Mladinic

Jozef Hvorecký and Lilla Koreňová

Making a difference in mathematics teaching and learning

Philip Todd

Geometry Expressions: an interactive constraint based symbolic geometry system

Bulent Guven and Adnan Baki

Integrating spherical geometry into geometry curriculum by means of Spherical Easel program

Connecting geometrical, numerical and algebraic aspects of 3D geometry using Cabri3D

Exploring symmetries with secondary school students- an introduction to mathematical concepts

Anna Rybak and Istvan Lenart

Play computer game … and learn spherical geometry

Peter Lebmeir and Jürgen Richter-Gebert

Recognizing the type of a locus with scriptable dynamic geometry software

Hakan Sandir, Ahmet Arýkan, and Mehmet Bulut

Pre-service mathematics teachers’ views on dynamic mathematics software

16:00-16:30– Coffee Break

16:30-17:15 Plenary Talk V (Room: Main Auditorium)

Luc Trouche - National Institute of Pedagogical Research, Lyon, France

Resources for teaching mathematics in ICT environments: which, who and how?

17:30 – Excursion to Villany

Saturday, 23 June

9:00-10:30 - Session VIII

Room: 352

Room: 353

Room: 354

Room: 434

Room: 244

Room: 246

General Session

Working Group: ITME

Working Group: FTIG

Working Group: RPDM

Workshop

Chair: Djordje Kadijevich

Chair: Éva Vásárhelyi

Chair: Ulrich Kortenkamp

Chair: Stephen Hegedus and Luis Moreno

Jozef Hvorecký and Lilla Koreňová

Kate Mackrell

Piroska B.Kis

Computer aided education of numerical methods

Alla Stolyarevska

Media education and mathematics

Yip-Cheung Chan

Different approaches of interplay between experimentation and theoretical consideration in dynamic geometry exploration: An example from exploring Simon line

Anna Rybak

Using ICT in math education: How to investigate its influence on students’ cognitive achievements?

Using CASIO Classpad in teaching Mathematics

Introduction to Cabri3D

Eno Tonisson

Real and complex domains in school mathematics and in Computer Algebra Systems

Hans–Stefan Siller

Modelling – A pivotal Idea for Interdisciplinary Teaching in Mathematics and Computer Science

Aleksandar Lipkovski

Some examples of educational use of CA and DG software

Nurit Zehavi and Giora Mann

The tension between parametric registers and explicit patterns

10:30-11:00 – Coffee Break

11:00-11:45 Plenary Talk VI (Room: Main Auditorium)

Vlasta Kokol-Voljc - University of Maribor, Slovenia

Assessment in CAS and DGS environment

11:45-12:00 – Conference Closing (Room: Main Auditorium)

12:00-13:30 - Lunch

15:00 - Pecs World Heritage Site excursion – Free of charge for all participants