<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
==============================================================<br>
CALL FOR ABSTRACTS<br>
Software for Mathematical Reasoning and Applications<br>
<a class="moz-txt-link-freetext" href="http://www.risc.jku.at/conferences/icms2018/">http://www.risc.jku.at/conferences/icms2018/</a><br>
<br>
Session at the ICMS 2018<br>
International Congress on Mathematical Software<br>
South Bend (USA) Notre Dame, 24-27 July 2018<br>
<a class="moz-txt-link-freetext" href="http://icms-conference.org/2018/">http://icms-conference.org/2018/</a> <br>
==============================================================<br>
<br>
IMPORTANT DATES<br>
---------------<br>
Short abstract submission: April 14, 2018 (extended)<br>
Extended abstract submission: April 21, 2018<br>
Organizers decision: April 30, 2018<br>
<br>
<br>
AIM AND SCOPE<br>
-------------<br>
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<br>
<br>
- new versions of automated reasoning software<br>
- user interfaces for automated reasoning software<br>
- new implementations of general and special reasoning techniques<br>
- interaction of automated reasoning software with numerical and
algebraic software<br>
- applications of automated reasoning in mathematics, computer
science, natural sciences, engineering, education, ...<br>
- the use of automated reasoning in the build-up of formal
mathematical knowledge bases<br>
- and related subjects.<br>
<br>
<br>
ORGANIZERS<br>
----------<br>
Bruno Buchberger (RISC, JKU Linz, Austria)<br>
Tudor Jebelean (RISC, JKU Linz, Austria)<br>
Temur Kutsia (RISC, JKU Linz, Austria)<br>
Alexander Maletzky (RISC, JKU Linz, Austria)<br>
Wolfgang Windsteiger (session manager) (RISC, JKU Linz, Austria) <br>
<br>
<br>
SUBMISSION GUIDELINES AND PUBLICATION<br>
-------------------------------------<br>
Level 1: Submit a short abstract at latest by April 14, 2018.<br>
<br>
- It should be about 200 words.<br>
- It must be in plain text (without using any mathematical
symbols, etc).<br>
- It must be submitted as an email attachment to the session
manager: <a class="moz-txt-link-abbreviated" href="mailto:wolfgang.windsteiger@risc.jku.at">wolfgang.windsteiger@risc.jku.at</a><br>
- The organizers will make a decision within a week of submission.<br>
- If accepted, then it will appear on the conference web page
immediately.<br>
- If the short abstract is accepted, you may want to proceed to
level 2 (not mandatory).<br>
<br>
Level 2: Submit an extended abstract at latest by April 21, 2018.<br>
<br>
- It should be a PDF file at least 4 pages and at most 8 pages
submitted via EasyChair:
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=icms2018">https://easychair.org/conferences/?conf=icms2018</a><br>
- It should follow the guideline:
<a class="moz-txt-link-freetext" href="http://icms-conference.org/2018/ICMS_Extended_Abstract_2018.pdf">http://icms-conference.org/2018/ICMS_Extended_Abstract_2018.pdf</a><br>
- It should use the LaTeX template
<a class="moz-txt-link-freetext" href="http://icms-conference.org/2018/ICMS_Extended_Abstract_2018.txt">http://icms-conference.org/2018/ICMS_Extended_Abstract_2018.txt</a> and
the LNCS LaTeX style: <a class="moz-txt-link-freetext" href="http://icms-conference.org/2018/llncs.cls">http://icms-conference.org/2018/llncs.cls</a><br>
- The organizers will make a decision at latest by April 30,
2018.<br>
- If accepted, then it will appear on the conference web page
immediately.<br>
- If accepted, you will be asked to submit the LaTeX source files
via EasyChair by May 7, 2018.<br>
- The paper will then be published in the conference proceedings.
They will appear as Springer Lecture Notes in Computer Science
(LNCS).<br>
<br>
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.<br>
<br>
<br>
---------------------------------------------------------------
<br>
If you do not wish to receive announcements from the
<br>
Research Institute for Symbolic Computation (RISC),
<br>
please send an e-mail to the following address:
<br>
<a class="moz-txt-link-abbreviated"
href="mailto:secreatry@risc.jku.at">secreatry@risc.jku.at</a>
<br>
<br>
Note: Please check before if the mail was forwarded from other side.
<br>
<br>
<br>
<div class="moz-forward-container">
</div>
</body>
</html>