# Tagungsankündigungen bei SymbolicData

Diese Informationen werden über den SymbolicData Sparql-Endpunkt aus den SymbolicData Tagungsinformationen inferiert. Der Link in der Überschrift der jeweiligen Tagung verweist auf den Eintrag in der SymbolicData Datenbank.

## AMMCS-2017 - Applied Mathematics, Modeling and Computational Science

Vom 20.08.2017 bis 25.08.2017 in Waterloo, Ontario, Canada.

Minisymposium: Symbolic Methods in Code Generation and Programming Languages. Symbolic methods are increasingly finding a wide variety of applications in and around programming languages. Starting from their immensely successful use in generation of numerical codes, their applicability is widening to both code analysis (often through abstract interpretation) and even in certain phases of compilers themselves, as exemplified in recent probabilistic programming languages.

This session will bring together experts in symbolic computation along with programming languages experts to exchange ideas on the state of the art in this domain.

This session will bring together experts in symbolic computation along with programming languages experts to exchange ideas on the state of the art in this domain.

URL der Tagung: http://www.ammcs2017.wlu.ca/special-sessions/smcgpl/

## GAP Days Fall 2017

Vom 30.08.2017 bis 08.09.2017 in University Siegen, Germany.

The focus of the workshop will be on presenting research and development related to GAP.

URL der Tagung: http://gapdays.de/gapdays2017-fall/

## DART VIII - Differential Algebra and Related Topics

Vom 11.09.2017 bis 14.09.2017 in Johannes Kepler University, Linz, Austria.

The workshop series Differential Algebra and Related Topics brings together researchers in differential algebra, computer algebra, model theory, hamiltonian systems etc. interested in approaching problems about differential (as well as difference and integral) equations using algebraic methods. The 8th workshop in this series is organized by the Institute for Algebra at the Johannes Kepler University, Linz, Austria. The workshop program includes invited talks and a poster session.

URL der Tagung: http://www.algebra.uni-linz.ac.at/dart8/

## Workshop "Interactions with Lattice Polytopes"

Vom 14.09.2017 bis 16.09.2017 in Otto-von-Guericke-Universität Magdeburg, Germany.

This 3-day workshop will focus on the interactions of lattice polytopes with toric geometry, Mirror Symmetry, integer optimisation, commutative algebra, etc. Further details may be found on the conference website.

URL der Tagung: https://www.math.ovgu.de/Forschung/IAG/Diskrete_+Konvexe+und+Torische+Geometrie/ILP.html

## CASC-2017 - 19th International Workshop in Computer Algebra in Scientific Computing

Vom 18.09.2017 bis 22.09.2017 in Beijing, China.

The methods of Scientific Computing play an important role in the natural sciences and engineering. Significance and impact of computer algebra methods and computer algebra systems for scientific computing has increased considerably over the last decades.

The ongoing development of computer algebra systems, including their integration and adaptation to modern software environments, puts them to the forefront in scientific computing and enables the practical solution of many complex applied problems in the domains of natural sciences and engineering.

The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software.

The ongoing development of computer algebra systems, including their integration and adaptation to modern software environments, puts them to the forefront in scientific computing and enables the practical solution of many complex applied problems in the domains of natural sciences and engineering.

The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software.

URL der Tagung: http://www.casc.cs.uni-bonn.de/2017/

## SYNASC 2017 - 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Vom 21.09.2017 bis 24.09.2017 in West University of Timisoara, Romania.

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing is a international conference that aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing and to exhibit interesting applications of the areas both in theory and in practice. The choice of the topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary for accelerating the progress in making the computer a truly intelligent aid for mathematicians and engineers.

URL der Tagung: http://synasc.ro/2017/

## Workshop on commutative algebra

Vom 26.10.2017 bis 28.10.2017 in Univ. Osnabrück, Germany.

The workshop is devoted to Peter Schenzel, honoring his manifold contributions to our field.

## International Autumn School on Computational Number Theory

Vom 30.10.2017 bis 03.11.2017 in Izmir Institute of Technology, Turkey.

Aims:

- Introduce Master and PhD students to computational number theory.
- Teach some topics in modern number theory related to current research.
- Introduce the practical use of computer algebra systems for studying research questions in number theory.

- Areas: Modular forms, Diophantine equations, Galois representations, etc.

URL der Tagung: https://ascnt2017.wordpress.com/

## MACIS 2017 - 7th International Conference on Mathematical Aspects of Computer and Information Sciences

Vom 15.11.2017 bis 17.11.2017 in Technikum Vienna, Austria.

MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. It is broadly concerned with algorithms, their complexity and their embedding in larger logical systems. At the algorithmic level, there is the rich interplay along the Numerical/Algebraic/Geometric/Topological axes. At the logical level, there are issues of data organization, interpretation and associated tools. These issues often arise in scientific and engineering computation where we need experimental and case studies to validate or enrich the theory. MACIS is interested in outstanding and emerging problems in all these areas.

MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research. The MACIS Conference 2017 is organized by SBA Research.

MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research. The MACIS Conference 2017 is organized by SBA Research.

URL der Tagung: https://macis2017.sba-research.org/

## ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation

Vom 20.07.2018 bis 22.07.2018 in New York City, USA.

The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computation and computer algebra. ISSAC 2018 will be the 43nd meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations and vendor exhibits with a centerpiece of contributed research papers.

## ICMS - The 5th International Congress on Mathematical Software

Vom 24.07.2018 bis 27.07.2018 in South Bend, Indiana, USA.

The meeting will provide researchers like yourself a forum for sharing challenges, achievements and progress in mathematical software research, design, development and use.

We welcome work on any aspect of mathematical software in any area of mathematics, science and engineering, and applications.

We welcome work on any aspect of mathematical software in any area of mathematics, science and engineering, and applications.