Email Gateway (Aug 19 2022 at 14:02): Email Gateway (Aug 19 2022 at 14:02):From: Makarius <makarius@sketis.net>
Call for Papers / Abstracts
ICMS 2014 Session
Software for Mathematical Theory Exploration
http://www.risc.jku.at/conferences/icms2014/MTE/MTE.html
as part of
The 4th International Congress on Mathematical Software
Satellite Conference of ICM2014
August 5-9 2014
Hanyang University, Seoul, Korea
==========
Organizers
==========
Organizer: Bruno Buchberger
Co-Organizer: Wolfgang Windsteiger
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University (JKU)
Schloss Hagenberg / Linz, Austria
=====
Dates
=====
Abstract submission deadline: March 31, 2014.
Extended Abstract submission deadline: April 30, 2014.
Notification of acceptance: May 15, 2014.
Workshop: August 5-9, 2014.
=============
Aim and Scope
=============
In recent years, research groups all over the world have started to develop
software for supporting the process of exploring mathematical theories in a
structured way. (Other names for this area are: mathematical knowledge
management, formal mathematics.) Progress in this area is based on advances in
automated reasoning and improvements in software and web technology.
Research in this area has the potential to revolutionize the way how
mathematical research, quality control in mathematics, archiving and
dissemination of mathematical knowledge, application of mathematics and
education in mathematics will be done in the future.
======
Topics
======
This session is a forum for reporting on
new features and techniques in existing systems for mathematical theory
exploration,
new systems for mathematical theory exploration, or
Examples of topics from these categories are
graphical and organizational tools for visualization of theories
and their dependencies,
application of theory exploration in semantic web technologies,
implications of theory exploration for archiving and quality
control in mathematics,
special reasoning techniques for special mathematical theories
(e.g. inductive theories, set theory, computer algebra algorithms),
application of theory exploration in software science (e.g. algorithm
verification and/or synthesis),
application of theory exploration for abstract sytate machine analysis,
application of theory exploration in the development of
Wolfram-Alpha-like web services,
applications in math text book writing and preparing lecture notes,
===========
Publication
===========
A short abstract will appear on the permanent conference web page
as soon as accepted.
An extended abstract will appear on the permanent conference web page
as soon as accepted. It will also appear on the proceedings that will be
distributed during the meeting.
A special issue of the Journal of Symbolic Computation (JSC) consisting of
full papers will be organized immediately after the meeting.
==========
Submission
==========
If you would like to give a talk at ICMS, you need to submit first a short
abstract and then later an extended abstract. See the guideline on the web
for the details.
After the meeting, the submission guidelines for a journal special issue will
be communicated to you by the session organizers.
Email Gateway (Aug 19 2022 at 14:16):From: Makarius <makarius@sketis.net>
[Apologies for multiple copies]
Dear colleague,
we would like to draw your attention to the
4th International Congress on Mathematical Software,
find the details below.
In particular, please note that
1) there are extended deadlines (April 30 for short abstract) and
2) we have arranged for a Special Issue of the
Journal of Symbolic Computation (JSC) for papers presented in
this session.
Best regards,
Bruno Buchberger & Wolfgang Windsteiger
Call for Papers / Abstracts
ICMS 2014 Session
Software for Mathematical Theory Exploration
http://www.risc.jku.at/conferences/icms2014/MTE/MTE.html
as part of
The 4th International Congress on Mathematical Software
Satellite Conference of ICM2014
August 5-9 2014
Hanyang University, Seoul, Korea
NOTE: Papers can be published in a special issue of the
Journal of Symbolic Computation (JSC)!
==========
Organizers
==========
Organizer: Bruno Buchberger
Co-Organizer: Wolfgang Windsteiger
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University (JKU)
Schloss Hagenberg / Linz, Austria
=====
Dates
=====
Abstract submission deadline: April 30, 2014.
Extended Abstract submission deadline: May 21, 2014.
Notification of acceptance: May 31, 2014.
Workshop: August 5-9, 2014.
=============
Aim and Scope
=============
In recent years, research groups all over the world have started to develop
software for supporting the process of exploring mathematical theories in a
structured way. (Other names for this area are: mathematical knowledge
management, formal mathematics.) Progress in this area is based on advances in
automated reasoning and improvements in software and web technology.
Research in this area has the potential to revolutionize the way how
mathematical research, quality control in mathematics, archiving and
dissemination of mathematical knowledge, application of mathematics and
education in mathematics will be done in the future.
======
Topics
======
This session is a forum for reporting on
new features and techniques in existing systems for mathematical theory
exploration,
new systems for mathematical theory exploration, or
Examples of topics from these categories are
graphical and organizational tools for visualization of theories
and their dependencies,
application of theory exploration in semantic web technologies,
implications of theory exploration for archiving and quality
control in mathematics,
special reasoning techniques for special mathematical theories
(e.g. inductive theories, set theory, computer algebra algorithms),
application of theory exploration in software science (e.g. algorithm
verification and/or synthesis),
application of theory exploration for abstract sytate machine analysis,
application of theory exploration in the development of
Wolfram-Alpha-like web services,
applications in math text book writing and preparing lecture notes,
===========
Publication
===========
A short abstract will appear on the permanent conference web page
as soon as accepted.
An extended abstract will appear on the permanent conference web page
as soon as accepted. It will also appear on the proceedings that will be
distributed during the meeting.
A special issue of the Journal of Symbolic Computation (JSC) consisting of
full papers will be organized immediately after the meeting.
==========
Submission
==========
If you would like to give a talk at ICMS, you need to submit first a short
abstract and then later an extended abstract. See the guideline on the web
for the details.
After the meeting, the submission guidelines for a journal special issue will
be communicated to you by the session organizers.
Last updated: Apr 19 2024 at 04:17 UTC