List of accepted proposals for the TIME-2004 Symposium

  Main Presenter   L for "Lecture" and W for "Workshop"
(length are in minutes)
  Last Name First Name Country Prop.
No.
Title of Proposal Conf.
Strand
Length Tentative
Schedule
Room
1-AguileraGabrielSpainD06ATPCL.mth:Automated Theorem Provers for Propositional Classical Logic withDERIVEDerive & TI-CAS L-25Thursday 
11h30
1350 
2-AlagicMaraUSAA38Cognitive Tools for Exploring Linear and Exponential GrowthACDCAL-50Sunday 
10h30
1340 
3-AlbanoGiovanninaITALYA49On the CAS and the coordination of semiotic representationsACDCAL-25Thursday 
15h00
1302 
4-AntoniusWedadCANADAA61Le calcul en imagesACDCAL-25Saturday 
12h00
1422 
5-AtallahFidaUnited Arab EmiratesA59Technology Tools for Mathematics ClassesACDCAL-50Sunday 
10h30
1302 
6-Balderas-CañasPatriciaMexicoA27MODELING SOME DYNAMIC PHENOMENA WITH MAPLE6 IN A CAS-BASED MATH CLASSACDCAL-25Saturday 
12h00
1340 
7-BauerDominiqueCanadaD40Using the TI voyage 200 in Structural Analysis Derive & TI-CASL-25Thursday 
11h30
1752 
8-BealJonUSAD29Exploration of Alternative Addition and Multiplication using the TI-89Derive & TI-CAS L-50Thursday 
10h30
1752 
9-BeaudinMichelCanadaD26Ten Years of International Derive ConferencesDerive & TI-CAS L-25Thursday 
16h30
1350 
10-BeaudinMichelCanadaA19Calculatrices symboliques dans l’enseignement des mathématiques en génie à l’ÉTS : bilan et avenirACDCAL-25Saturday 
11h30
1422 
11-BoehmJosefAustriaD23DERIVE 6, Its Impact on Teaching MathematicsDerive & TI-CAS L-50Saturday 
10h30
1350 
12-BoehmJosefAustriaD24A Case for CASDerive & TI-CAS L-50Sunday 
10h30
1350 
13-BoehmJosefAustriaA44Make New from OldACDCAW-90Thursday 
10h30
Lab 1222 
14-BoisEmmanuelCanadaD42L'utilisation de la calculatrice TI dans les cours en Génie electriqueDerive & TI-CASL-25Saturday 
11h30
1520 
15-BordeleauAndréCanadaD39Logiciels de calcul des propriétés thermodynamiques pour l’eau et le réfrigérant HFC-134a pour les calculatrices TI-89, Derive & TI-CASL-25Friday 
11h30
1752 
16-BowersDavidUnited KingdomD21Exploiting DERIVE's new Slider BarDerive & TI-CAS L-25Saturday 
11h30
1350 
17-BrothersGosiaUSAD35New technology from TI.Derive & TI-CAS W-90Saturday 
10h30
Lab 1226 
18-BrownRogerUnited States of AmericaA36The assessing of mathematics skills in a secondary school CAS environment.ACDCAL-50Saturday 
10h30
1302 
19-CaronFranceCanadaA14Developing Control Over the Use of a CAS : the Teacher’s PerspectiveACDCAL-25Thursday 
12h00
1340 
20-CollinsKenU.S.A.D34Enhancing your calculus class with the TI-89Derive & TI-CAS W-90Sunday 
10h30
Lab 1226 
21-ConnorsMary AnnUSAD16Technology in Mathematics Teacher Preparation CoursesDerive & TI-CAS L-25Friday 
12h00
1520 
22-CorbeilMarc Wales, UKA52Assessment Issues in the introduction of a CAS pilot in the International SchoolsACDCAL-25Thursday 
11h30
1302 
23-CorbeilMarc UKA57Panel Disscusion: Boon or Bust: What are the implications of calculator applications?ACDCAL-50Sunday 
11h30
amphi 
24-DahanJean-JacquesFranceA29Promenades, bombardements aléatoires et distribution d’échantillonnage avec Cabri 2 PlusACDCAL-50Thursday 
14h00
1422 
25-DahanJean-JacquesFranceD12Visualiser les solutions d'équations différentielles et de systèmes différentiels d'ordre 1 avec Cabri 2 PlusDerive & TI-CASL-50Saturday 
14h00
1752 
26-Dana-PicardThierryIsraelA51Three-fold activities for discovering conceptual connections within the cognitive neighborhood of a mathematical topicACDCAL-25Friday 
12h00
1302 
27-DE LA VILLAAGUSTINSpainA23A Course of ODE with a CASACDCAL-25Friday 
11h30
1340 
28-DeckerRobertUSAA35Adding an Interactive Component to Computer Algebra in Differential EquationsACDCAL-50Friday 
10h30
1340 
29-DeekFadiUSAD01Methodology and Technology Integration for the Improvement and Advancement of Students' Problem Solving and Mathematical ConceptsDerive & TI-CASL-25Saturday 
15h00
1520 
30-EGGERBernardFranceD36Divers aspects du calcul approché d'intégralesDerive & TI-CASL-50Saturday 
10h30
1520 
31-EggerBernardFranceD38Représentations des nombres réels et représentations graphiques des fonctionsDerive & TI-CASL-50Sunday 
10h30
1752 
32-EtchellsTerenceUnited KnigdomD03Derive, Neural Networks and the discovery of rules in dataDerive & TI-CASL-50Thursday 
10h30
1350 
33-FarleyRosemaryUSAA37Mathematics and the Web: Lessons LearnedACDCAL-50Thursday 
14h00
1340 
34-FloresHomeroMéxicoA30MODELLING WITH SKETCHPAD IN THE TEACHING OF MATHEMATICSACDCAL-25Thursday 
16h30
1422 
35-FUHongguangP.R.ChinaA45Teaching Mathematics by Math-XPACDCAW-90Saturday 
14h00
Lab 1226 
36-GalanJose LuisSpainD10RANDOM_DISTRIBUTIONS.MTH: RANDOM SAMPLES FROM DISTRIBUTIONS WITH DERIVEDerive & TI-CAS L-25Saturday 
12h00
1350 
37-GOSSEZRenéeBelgiumD15Leçons animées avec TI-InteractiveDerive & TI-CASL-50Friday 
10h30
1520 
38-GOSSEZRenéeBelgiumD32Animated lessons with TI-InteractiveDerive & TI-CAS L-50Saturday 
10h30
1752 
39-GouinMatthieuCanadaD43Using TI symbolic calculator, Derive and DPGraph to ease comprehensionDerive & TI-CASL-25Saturday 
15h00
1752 
40-HahnfeldNilsUSAD41AP Calculus using -Calculus Made Easy- and Learning Cryptography interactivelyDerive & TI-CAS L-25Thursday 
15h00
1752 
41-HarrisonMartinUKA17Computer-Based Mathematics Assessment of Engineering StudentsACDCAL-25Thursday 
16h30
1302 
42-HeinrichRainerGermanyA09Experiences with the obligatery use of graphic calculators like TI-83 in SaxoniaACDCAL-25Thursday 
16h30
1340 
43-HittFernandoCanadaA40Reflexions sur les potentialités des logiciels et des calculatrices symboliques pour l'enseignement ACDCAL-50Saturday 
10h30
1422 
44-IssakovaMarinaEstoniaA11Rule dialogue in problem solving environment T-AlgebraACDCAL-25Sunday 
11h30
1340 
45-JakucynNatalieUSAA24Using CAS to Develop Precalculus Concepts in a US CurriculumACDCAL-50Thursday 
10h30
1340 
46-JeffreyDavidCanadaD02New Linear Algebra features in Derive 6Derive & TI-CASL-50Saturday 
14h00
1350 
47-JoubertStephan V.South AfricaD11Testing the Accuracy of DERIVE's "RK" RoutineDerive & TI-CAS L-25Thursday 
15h00
1350 
48-JoyalPierreCanadaA53Problems Corrected by Computer and Available on the NetACDCAL-50Saturday 
14h00
1422 
49-KempskiBoleslaw (Boz)UKA10Preparing for the “Full Monty”ACDCAL-25Sunday 
12h00
1340 
50-Kokol-VoljcVlastaSloveniaA58Finding the middle path between exact mathematical language and math-jargon of technologyACDCAL-25Friday 
11h30
1302 
51-KutzlerBernhardAustriaA41Interconnectivity - Data Exchange Between Derive 6 and TI CAS CalculatorsACDCAW-90Thursday 
14h00
Lab 1222 
52-KutzlerBernhardAustriaD05Introduction to Teaching with Derive 6 (Beginners Workshop)Derive & TI-CASW-90Thursday 
10h30
Lab 1226 
53-KutzlerBernhardAustriaD04Derive 6 - A Computer Program for Teaching and Learning MathematicsDerive & TI-CASL-50Friday 
10h30
1350 
54-LeathamKeithUSAA33Preservice Mathematics Teachers’ Beliefs about Teaching with TechnologyACDCAL-25Saturday 
15h00
1302 
55-Leinbach CarlUSAD18Exploring Mathematics with the TI-89 Titanium and the Voyage 200Derive & TI-CAS W-90Friday 
10h30
Lab 1222 
56-LeinbachCarlUSAD19Are They Being Served? Using a CAS for Teaching a First Year Mathematics for Biologists CourseDerive & TI-CAS L-50Thursday 
14h00
1350 
57-LewinJonathanUSAA25Using a Computer Screen as a Whiteboard while Recording the Lecture as a Sound MovieACDCAL-50Saturday 
10h30
1340 
58-MagieraLeonPolandD31Teaching geometrical Optics with Derive / Paraxial ApproximationDerive & TI-CAS L-25Thursday 
16h00
1350 
59-MannGioraIsraelD14Quadratic Approximations for IntegrationDerive & TI-CAS L-25Friday 
12h00
1350 
60-MarcheterreBernardCanadaA31The great revelationACDCAL-50Sunday 
10h30
1422 
61-MeagherMichaelUSAA47Learning College Calculus in a CAS Environment: Theory and PracticeACDCAL-50Thursday 
14h00
1302 
62-MichaelMarkUSAD20Using Derive to Explore the Mathematics of the JPEG Image Compression AlgorithmDerive & TI-CAS L-25Saturday 
15h00
1350 
63-Moreno-ArmellaLuisMexicoA21Mathematical Reasoning and its formalization within a Dynamic WorldACDCAL-25Saturday 
11h30
1302 
64-ONealJudyUSAA16Assessing Geometry Concepts of Post-Bac Teacher Candidates with the Voyage 200ACDCAL-25Thursday 
15h00
1422 
65-OrtizJoséVenezuelaA06REPRESENTATIONS AND GRAPHIC CALCULATOR IN MATHEMATICAL TEACHING. A STUDY WITH CALCULUS TUTORSACDCAL-25Thursday 
16h00
1340 
66-PadillaYolandaSpainD09PROGRAMMING LINE AND MULTIPLE INTEGRALS WITH DERIVEDerive & TI-CAS W-90Saturday 
14h00
Lab 1222 
67-PaganoAldoItalyA18A mathematics and science domain e-learning platform IWT based.ACDCAL-25Sunday 
12h00
1302 
68-PechPavelCzech RepublicA22Classical and computer methods in elementary geometryACDCAL-25Saturday 
12h00
1302 
69-PenceDennisUSAD30Pedagogical Uses for Symbolic Algebra in a Numerical Analysis CourseDerive & TI-CAS L-50Friday 
10h30
1752 
70-PetraskovaVladimiraCzech RepublicA13The application of CAS in teaching calculusACDCAL-25Saturday 
15h00
1422 
71-PicardGillesCanadaD375 years of teaching mathematics to students with mandatory symbolic calculators : the good, the bad and the ugly!Derive & TI-CAS L-25Thursday 
12h00
1752 
72-PutzJohnUSAA28Creating Visualizations using MapleACDCAL-50Saturday 
14h00
1340 
73-RaylNoraUSAA32Assessment using Technology: A Case Study in Computer Aided DraftingACDCAL-25Thursday 
12h00
1302 
74-RodriguezPedroSpainD07RESIDUE.MTH: SOLVING PROBLEMS OF INTEGRATION USING THE RESIDUE THEOREMDerive & TI-CAS L-25Thursday 
12h00
1350 
75-RojkoCvetkaSloveniaA02Significance of use of technology in mathematics in vocational education and some practical illustrationsACDCAL-25Thursday 
16h00
1302 
76-SaulnierHuguesCanadaA56Un échange de bons procédés entre maths et info .ACDCAL-25Sunday 
11h30
1422 
77-SchmidtKarstenGermanyD13The Moore-Penrose Inverse of a Matrix – Computation and ApplicationsDerive & TI-CAS W-90Sunday 
10h30
Lab 1222 
78-SchultzJames E.USAA60The Constant Feature -- Spanning the Mathematics of Grades K - 12 and BeyondACDCAL-50Thursday 
10h30
1422 
79-SelitoGeorge L.USAA46Area Estimation and the TI-83: An Application for EconomicsACDCAL-25Friday 
11h30
1422 
80-SilfverbergHarryFinlandA15DGS and CAS as tools supplementing each other in an inquiry task ACDCAL-25Thursday 
11h30
1422 
81-SivitFernando España A07A practical example of Mathematics Teaching using the InternetACDCAL-25Saturday 
15h00
1340 
82-StolyarevskaAllaUkraineA04Combining the possibilities of Derive and Excel while studying bases of computer scienceACDCAL-25Friday 
12h00
1340 
83-ThielRae USAD25TI-Based Learning Environments: Developing Conceptual Understandings of Functions-related ConceptDerive & TI-CAS L-50Saturday 
14h00
1520 
84-TonissonEnoEstoniaA42The Correctness, Completeness and Compactness Standards of Computer Algebra Systems and of School MaACDCAL-50Friday 
10h30
1302 
85-Torres-SkoumalMarleneAustriaA39Using CAS in Traditional and Alternative Assessment Models ACDCAL-50Thursday 
10h30
1302 
86-TownsleyLisaUSAA54Why DO We Teach Theorems in Calculus?ACDCAL-50Saturday 
14h00
1302 
87-Van WonterghemSandyBelgiumA48Can CAS improve the Mathematical Abilities of Pupils?ACDCAL-25Thursday 
11h30
1340 
88-WiesenbauerJohannAustriaD17Public-Key Cryptography with DERIVEDerive & TI-CAS L-25Friday 
11h30
1350 
89-WURNIGOttoAUSTRIAA26New Models in Assessment in Computer integrated Mathematical Instruction - First Results of the Austrain CA-ProjectsACDCAL-50Friday 
10h30
1422 
90-Yuan YuanTaiwanA12Designing instructional tools by Flash MX ActionScript-some examples to teach basic geometric conceptsACDCAL-25Thursday 
12h00
1422 
91-YUANYUANTaiwanA20Integrating writing and technology into mathematical learningACDCAL-25Sunday 
11h30
1302 
92-ZhouJianongCanadaD08The Combinatorial Matrix Approach on Symbolic Polynomial SystemsDerive & TI-CAS L-25Friday 
11h30
1520