[Publicity] Deadline Extension: ICMS'18 Session on Software for Mathematical Reasoning and Applications

[RISC Secretary]

==============================================================
                      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/
==============================================================

IMPORTANT DATES
---------------
Short abstract submission:         April 14, 2018 (extended)
Extended abstract submission:      April 21, 2018
Organizers decision:               April 30, 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)


SUBMISSION GUIDELINES AND PUBLICATION
-------------------------------------
Level 1: Submit a short abstract at latest by April 14, 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 at 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.


---------------------------------------------------------------
If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secreatry at risc.jku.at

Note: Please check before if the mail was forwarded from other side.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserver.risc.jku.at/pipermail/publicity/attachments/20180323/a2fe134a/attachment.htm>
-------------- next part --------------
==============================================================
                     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/ 
==============================================================

IMPORTANT DATES
---------------
Short abstract submission:         April 14, 2018 (extended)
Extended abstract submission:      April 21, 2018
Organizers decision:               April 30, 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) 


SUBMISSION GUIDELINES AND PUBLICATION
-------------------------------------
Level 1: Submit a short abstract at latest by April 14, 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 at 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.