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.

SCSS-2017 - The 8th International Symposium on Symbolic Computation in Software Science

Vom 06.04.2017 bis 09.04.2017 in Gammarth, Tunisia.

The purpose of SCSS 2017 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. SCSS 2017 solicits regular papers on all aspects of symbolic computation and their applications in software science.

Polynomial Computer Algebra 2017

Vom 17.04.2017 bis 22.04.2017 in Euler International Mathematical Institute, St. Petersburg, Russia.

The annual conference Polynomial Computer Algebra is devoted to polynomial algorithms in Computer Algebra. This field has a lot of applications both in theoretical and applied mathematics as well as in Computer Science. The conference PCA'2017 is the eighth in the series . The first one PCA'2008 commemorated Eugene Pankratiev who was a brilliant specialist in the field of Computer Algebra and Differential Algebra

Computeralgebra-Tagung der Fachgruppe

Vom 04.05.2017 bis 06.05.2017 in Kassel, Germany.

In Fortsetzung der erfolgreichen Tagungen 2003, 2005, 2009, 2012, 2014 in Kassel und 2007 in Kaiserslautern führt die Fachgruppe im Mai 2017 wieder eine derartige Tagung in Kassel durch. Ziel ist es, ein Forum zu bieten, das es erstens Nachwuchswissenschaftlern ermöglicht, ihre Ergebnisse vorzustellen, andererseits aber auch einige Hauptvortragende zu gewinnen, die übersichtsvorträge über wichtige Gebiete der Computeralgebra und über Computeralgebra-Software geben sollen.

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.

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.

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.

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.

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.

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.

CICM 2017 - Conferences on Intelligent Computer Mathematics

Vom 17.07.2017 bis 21.07.2017 in University of Edinbourgh, 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.

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.

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.

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.

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.

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.

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.