Email Gateway (Aug 22 2022 at 16:56): Email Gateway (Aug 22 2022 at 16:56):From: Temur Kutsia <kutsia@risc.jku.at>
==============================================================
CALL FOR ABSTRACTS
Software for Mathematical Reasoning and Applications
http://www.risc.jku.at/conferences/icms2018/
Session at the ICMS 2018
International Congress on Mathematical Software
South Bend (USA) Notre Dame, 24-27 July 2018
http://icms-conference.org/2018/
==============================================================
AIM AND SCOPE
In addition to traditional software for numerics and symbolics (in
algebra, analysis, combinatorics, etc.), more and more software for
automated reasoning based on sophisticated general and special reasoning
techniques with nice user interfaces enriches the possibilities of
working mathematicians, computer scientists and engineers. For this
session we welcome reports on
- new versions of automated reasoning software
- user interfaces for automated reasoning software
- new implementations of general and special reasoning techniques
- interaction of automated reasoning software with numerical and
algebraic software
- applications of automated reasoning in mathematics, computer
science, natural sciences, engineering, education, ...
- the use of automated reasoning in the build-up of formal
mathematical knowledge bases
- and related subjects.
ORGANIZERS
Bruno Buchberger (RISC, JKU Linz, Austria)
Tudor Jebelean (RISC, JKU Linz, Austria)
Temur Kutsia (RISC, JKU Linz, Austria)
Alexander Maletzky (RISC, JKU Linz, Austria)
Wolfgang Windsteiger (session manager) (RISC, JKU Linz, Austria)
IMPORTANT DATES
Short abstract submission: March 31, 2018
Extended abstract submission: April 21, 2018
Organizers decision: April 30, 2018
SUBMISSION GUIDELINES AND PUBLICATION
Level 1: Submit a short abstract at latest by March 31, 2018.
- It should be about 200 words.
- It must be in plain text (without using any mathematical symbols, etc).
- It must be submitted as an email attachment to the session manager:
wolfgang.windsteiger@risc.jku.at
- The organizers will make a decision within a week of submission.
- If accepted, then it will appear on the conference web page immediately.
- If the short abstract is accepted, you may want to proceed to level
2 (not mandatory).
Level 2: Submit an extended abstract at latest by April 21, 2018.
- It should be a PDF file at least 4 pages and at most 8 pages
submitted via EasyChair: https://easychair.org/conferences/?conf=icms2018
- It should follow the guideline:
http://icms-conference.org/2018/ICMS_Extended_Abstract_2018.pdf
- It should use the LaTeX template
http://icms-conference.org/2018/ICMS_Extended_Abstract_2018.txt and the
LNCS LaTeX style: http://icms-conference.org/2018/llncs.cls
- The organizers will make a decision at latest by April 30, 2018.
- If accepted, then it will appear on the conference web page immediately.
- If accepted, you will be asked to submit the LaTeX source files via
EasyChair by May 7, 2018.
- The paper will then be published in the conference proceedings. They
will appear as Springer Lecture Notes in Computer Science (LNCS).
Level 3: A special issue in some journal (e.g. the Journal of Symbolic
Computation) might be organized after the conference depending on the
number and the quality of Level 2 submissions.
Last updated: Apr 16 2024 at 08:18 UTC