JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for MATHEDU Archives


MATHEDU Archives

MATHEDU Archives


MATHEDU@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

MATHEDU Home

MATHEDU Home

MATHEDU  May 2018

MATHEDU May 2018

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

Final CfP CME-EI at CICM

From:

Walther Neuper <[log in to unmask]>

Reply-To:

Walther Neuper <[log in to unmask]>

Date:

Tue, 8 May 2018 16:12:11 +0200

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (89 lines)

Call for papers on Technology Assessment

**************************************************************************
   Computer Mathematics in Education --- Enlightenment or Incantation ?
**************************************************************************
                        CME-EI, Workshop at CICM
 https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general
               August 17, 2018, RISC, Hagenberg, Austria
    https://www.cicm-conference.org/2018/cicm.php?event=&menu=general
**************************************************************************

Important dates:

  Deadline for submissions:    20. May 2018
  Notification of acceptance:  17. June 2018
  Workshop day:                17. Aug 2018

Theme:

CICM gathers computer mathematicians, and this workshop questions the
impact of their doing on education. Computer Mathematics plays an
important role in education -- does this role tend towards enlightenment
of students or towards incantation by students ? So this workshop
adresses what "Intelligent" in the conference's title might mean:
raising   "enlightenment" (a misleading translation from German
"Aufklaerung") or   raising blind trust in technology and using tools
for kinds of   "incantation"?

Looking at the state of the art in educational use of mathematics
software we see: Computer Algebra Systems are used to widen application
areas of mathematics by uncaging students from tricky calculations --
and   by the way tend to shift formal mathematics into mystical
incantation.   Dynamic Geometry Systems appeal to students' intuition,
experts advocate   "geometrical proof" -- and by the way bypass the
challenge of   demonstrating reliability by mathematical proof. And last
not least a   "new generation of educational mathematics software" based
on   technologies from Computer Theorem Proving is announced while
respective   software for general mathematics education still seems
unavailable.

So this workshop will consider recent developments in Computer
Mathematics, discuss potential impact of respective tools and reconsider
developers' responsibility for such impact.

Topics of interest:

Interesting as discussion of "Enlightenment or Incantation" in
education   might be, it must start from concrete technologies:
  * Technologies for explanation, justification and reasoning,
  * tools built upon Computer Algebra, Dynamic Geometry, Computer
    Theorem Proving, etc,
  * case studies: areas of mathematics which particularly benefit from
    mechanical explanation, justification and reasoning,
  * evidence and proof in Dynamic Geometry Systems,
  * computer Algebra and reasoning,
  * automated generation of concrete examples from abstract concepts,
  * SW mechanisms which make mathematical concepts transparent to
    users,
  * SW as models of mathematics (interactive, complete and
    transparent?).

And from there ask questions like:
  * Where does Computer Mathematics tend towards "enlightenment"?
  * Where does Computer Mathematics tend towards "incantation"?
  * How does increasing use of software tools affect mathematics
    education?
  * How do software tools affect young people's interest in MINT
    studies?


Submissions:

Authors should prepare their papers in one column style of CEUR-WS
  http://ceur-ws.org/Vol-XXX/samplestyles/.
There are two categories of submissions:
  * Regular papers describing developed work with theoretical results
    (upto 15 pages)
  * Short papers on experience reports, tools or work in progress with
    preliminary results or just preparations for discussion (upto 6
    pages).
Submission in PDF at https://easychair.org/conferences/?conf=cmeei18.

Programme Committee:

  Karl-Josef Fuchs, University of Salzburg
  Zoltan Kovacs, Private University of Education Diocese Linz
  Walther Neuper, Graz University of Technology
  Barbara Sabitzer, Johannes Kepler University Linz
  Wolfgang Schreiner, Johannes Kepler University Linz

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

May 2018
April 2018
March 2018
February 2018
January 2018
November 2017
September 2017
June 2017
May 2017
March 2017
February 2017
November 2016
October 2016
September 2016
May 2016
April 2016
March 2016
April 2015
January 2015
December 2014
October 2014
May 2014
April 2014
March 2014
February 2014
January 2014
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
December 2012
September 2012
June 2012
April 2012
February 2012
January 2012
December 2011
November 2011
September 2011
July 2011
June 2011
April 2011
March 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
February 2008
December 2007
November 2007
October 2007
September 2007
August 2007
June 2007
May 2007
March 2007
February 2007
January 2007
December 2006
November 2006
September 2006
August 2006
July 2006
February 2006
January 2006
August 2005
July 2005
February 2005
December 2004
September 2004
July 2004
June 2004
May 2004
April 2004
January 2004
October 2003
July 2003
May 2003
April 2003
February 2003
December 2002
October 2002
September 2002
August 2002
July 2002


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager