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



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.