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

## CIAC 2017 - 10th International Conference on Algorithms

Vom 26.05.2017 bis 28.05.2017 in Athens, Greece.

The 10th International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures.

URL der Tagung: http://www.corelab.ntua.gr/ciac2017

## GAP Days Spring 2017

Vom 29.05.2017 bis 02.06.2017 in RWTH Aachen, Germany.

During these GAP Days we want to concentrate on a somewhat technical topic in the core part of GAP: matrix objects.

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

## MEGA-2017: Effective Methods in Algebraic Geometry

Vom 12.06.2017 bis 16.06.2017 in Sophia Antipolis University, Nice, France.

This series of biennial international conferences, with a tradition dating back to 1990, is devoted to computational and application aspects of Algebraic Geometry and related topics, over any characteristics.

The conference will comprise invited talks, regular contributed talks, presentations of computations, and a poster session; the latter three are subject to a competitive submission process.

The conference will comprise invited talks, regular contributed talks, presentations of computations, and a poster session; the latter three are subject to a competitive submission process.

URL der Tagung: http://mega2017.inria.fr/

## CAI 2017 - 7th International Conference on Algebraic Informatics

Vom 25.06.2017 bis 28.06.2017 in Kalamata, Greece.

CAI 2017 will feature invited presentations and a selective five-track program of contributed papers describing original and unpublished research.

URL der Tagung: http://www.cargo.wlu.ca/CAI2017/

## CAI 2017 - 7th International Conference on Algebraic Informatics, Track 3 - Computer Algebra

Vom 25.06.2017 bis 28.06.2017 in Kalamata, Greece.

CAI 2017 will feature invited presentations and a selective five-track program of contributed papers describing original and unpublished research.

URL der Tagung: http://www.cargo.wlu.ca/CAI2017/

## Workshop Arithmetic Geometry and Computer Algebra

Vom 29.06.2017 bis 01.07.2017 in University Oldenburg, Germany.

The idea of the workshop is to bring together arithmetic geometers who use computer algebra in their research and experts in computer algebra who work on algorithms motivated by or used in arithmetic geometry. Besides talks about new and improved algorithms and their applications in arithmetic geometry, we will also have presentations by developers of some of the major computer algebra systems and libraries used in arithmetic geometry about recent functionality and future plans. There will be ample time for discussions and collaboration and for trying out and developing new functionality.

URL der Tagung: http://www.uol.de/math/wagca

## Foundations of Computational Mathematics (FoCM) 2017

Vom 10.07.2017 bis 19.07.2017 in University of Barcelona, Spain.

The computer has profoundly changed the relationship between mathematics and computation. Besides its invaluable role in numeric, symbolic, and experimental applications, computation is an important object of mathematical study in its own right and a fundamental theoretical tool. It is a source of new and exciting problems for mathematics. The FoCM conference, held every three years, covers the entire spectrum of mathematical computation.

URL der Tagung: http://www.ub.edu/focm2017

## 28th OpenMath Workshop

Vom 17.07.2017 bis 21.07.2017 in Edinburgh, UK.

Co-located with CICM 2017. OpenMath is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation (http://www.w3.org/TR/MathML), the standard for mathematical formulae on the Web.

Topics we expect to see at the workshop include

Topics we expect to see at the workshop include

- Case Studies of Software using or processing OpenMath
- Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2
- Further convergence of OpenMath and MathML 3
- Reasoning with OpenMath
- OpenMath on the Semantic Web
- New OpenMath Content Dictionaries.

URL der Tagung: http://cicm-conference.org/2017/cicm.php?event=openmath

## ACA 2017 - 23th Conference on Applications of Computer Algebra

Vom 17.07.2017 bis 21.07.2017 in Jerusalem, Israel.

The ACA - Applications of Computer Algebra - conference series is devoted to promoting all kinds of computer algebra applications, and encouraging the interaction of developers of computer algebra systems and packages with researchers and users (including scientists, engineers, educators, and mathematicians). Topics include, but are not limited to, computer algebra in the sciences, engineering, communication, medicine, pure and applied mathematics, education and computer science.

URL der Tagung: http://www.aca2017.jct.ac.il/

## CICM 2017 - Conferences on Intelligent Computer Mathematics

Vom 17.07.2017 bis 21.07.2017 in University of Edinburgh, Scotland.

Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas.

URL der Tagung: http://www.cicm-conference.org/2017

## PASCO 2017: 8th International Workshop on Parallel Symbolic Computation

Vom 23.07.2017 bis 24.07.2017 in Technical University of Kaiserslautern, Germany.

PASCO is a series of workshops dedicated to the promotion and advancement of parallel algorithms and software in all areas of symbolic mathematical computation. The 8th International Workshop on Parallel Symbolic Computation (PASCO) is the latest instance in a series of workshops dedicated to the promotion and advancement of parallel algorithms and software in all areas of symbolic mathematical computation.

URL der Tagung: http://sigsam.org/PASCO/2017/

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

Vom 25.07.2017 bis 28.07.2017 in University of Kaiserslautern, Germany.

The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computation and computer algebra. ISSAC 2017 will be the 42nd 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.

URL der Tagung: http://www.issac-conference.org/2017

## SC^2 2017 - Second International Workshop on Satisfiability Checking and Symbolic Computation

Vom 29.07.2017 bis 29.07.2017 in University of Kaiserslautern, Kaiserslautern, Germany.

Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems; more recent developments in the area of Satisfiability Checking are starting to tackle similar problems but with different algorithmic and technological solutions. The two communities share many central interests, but researchers from these two communities rarely interact. Also, the lack of common or compatible interfaces of tools is an obstacle to their fruitful combination. Bridges between the communities in the form of common platforms and road-maps are necessary to initiate an exchange, and to support and direct their interaction. The aim of this workshop, along the SC-square H2020 FETOPEN Coordination and Support Activity project, is to provide a time to discuss, share knowledge and experience across both communities.

The workshop is open for submission and participation to everyone interested in the topics, whether they are members or associates of the SC-square H2020 FETOPEN CSA project or not.

The workshop is open for submission and participation to everyone interested in the topics, whether they are members or associates of the SC-square H2020 FETOPEN CSA project or not.

URL der Tagung: http://www.sc-square.org/CSA/workshop2.html

## SC^2 2017 - Summer School 2017

Vom 31.07.2017 bis 04.08.2017 in MPI Informatics, Saarbrücken, Germany.

The school introduces graduate students and researchers from academia and industry into research and methodology in both Satisfiability Checking (SAT/SMT) and Symbolic Computation with one focus on their interconnections. It combines a thorough introduction into the theory of both fields with lectures on state-of-the-art software systems and their implementation. This is supplemented with presentations by lecturers from industry discussing the practical relevance of the topics of the school.

URL der Tagung: http://www.sc-square.org/CSA/school/

## SIAM AG17 - SIAM Conference on Applied Algebraic Geometry

Vom 31.07.2017 bis 04.08.2017 in Georgia Institute of Technology, Atlanta, Georgia, USA.

The purpose of the SIAM Activity Group in Algebraic Geometry is to bring together researchers who use algebraic geometry in industrial and applied mathematics. "Algebraic geometry" is interpreted broadly to include at least: algebraic geometry, commutative algebra, noncommutative algebra, symbolic and numeric computation, algebraic and geometric combinatorics, representation theory, and algebraic topology. These methods have already seen applications in: biology, coding theory, cryptography, combustion, computational geometry, computer graphics, quantum computing, control theory, geometric design, complexity theory, machine learning, nonlinear partial differential equations, optimization, robotics, and statistics.

We welcome participation from both theoretical mathematical areas and application areas not on this list which fall under this broadly interpreted notion of algebraic geometry and its applications.

We welcome participation from both theoretical mathematical areas and application areas not on this list which fall under this broadly interpreted notion of algebraic geometry and its applications.

URL der Tagung: https://www.siam.org/meetings/ag17/submissions.php

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

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

The MACIS Conference 2017 is organized by SBA 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.