[Publicity] Workshop on Software for Mathematical Reasoning: Call for Papers and Abstracts

[RISC Secretary]

Please let us draw your attention to the following

     ***** Workshop on Software for Mathematical Reasoning *****

that we are going to organize at this year's ICMS in Berlin!

Greetings,
Bruno, Temur, Tudor, and Wolfgang.

=======================================================================

                         Call for Papers / Abstracts

                              ICMS 2016 Session
               Software for Mathematical Reasoning and Applications
                   http://www.risc.jku.at/conferences/icms2016/

as part of
               The 5th International Congress on Mathematical Software (ICMS)
                             July 11 - 14 2016, Berlin
                               http://icms2016.zib.de

Organizers
==========
    Bruno Buchberger (RISC, JKU Linz, Austria)
    Tudor Jebelean (RISC, JKU Linz, Austria)
    Temur Kutsia (RISC, JKU Linz, Austria)
    Wolfgang Windsteiger (session manager) (RISC, JKU Linz, Austria)

Dates
=====
- Short abstract submission: 	March 31, 2016
- Extended abstract submission: April 21, 2016
- Organizers decision:          April 31, 2016
- Congress:                     July 11-14, 2016

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.

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 available during the meeting.
- A journal special issue consisting of full papers will be organized immediately
after the meeting, provided there are sufficiently many substantial submissions to the session.

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 by email to the session manager (wolfgang.windsteiger at risc.jku.at)
- For your submission use the latex template and the LNCS latex style.
- See the guidelines icms2016.zib.de/call-for-submission.html for the details.



-------------------------
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:
secretary at risc.jku.at

Please check before, if the mail was forwarded from other side.
-------------- next part --------------
Please let us draw your attention to the following

     ***** Workshop on Software for Mathematical Reasoning *****

that we are going to organize at this year's ICMS in Berlin!

Greetings,
Bruno, Temur, Tudor, and Wolfgang.

=======================================================================

                         Call for Papers / Abstracts

                              ICMS 2016 Session
               Software for Mathematical Reasoning and Applications
                   http://www.risc.jku.at/conferences/icms2016/ 

as part of
               The 5th International Congress on Mathematical Software (ICMS)
                             July 11 - 14 2016, Berlin
                               http://icms2016.zib.de

Organizers 
==========
    Bruno Buchberger (RISC, JKU Linz, Austria)
    Tudor Jebelean (RISC, JKU Linz, Austria)
    Temur Kutsia (RISC, JKU Linz, Austria)
    Wolfgang Windsteiger (session manager) (RISC, JKU Linz, Austria) 

Dates 
=====
- Short abstract submission: 	March 31, 2016
- Extended abstract submission: April 21, 2016
- Organizers decision:          April 31, 2016
- Congress:                     July 11-14, 2016

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.

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 available during the meeting.
- A journal special issue consisting of full papers will be organized immediately
after the meeting, provided there are sufficiently many substantial submissions to the session. 

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 by email to the session manager (wolfgang.windsteiger at risc.jku.at) 
- For your submission use the latex template and the LNCS latex style. 
- See the guidelines icms2016.zib.de/call-for-submission.html for the details.