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.

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

3C in G Workshop on Computational Algebra

Vom 18.04.2017 bis 21.04.2017 in King's College, Cambridge, UK.

This workshop forms part of the Cambridge-Imperial-Warwick EPSRC-funded 5-year programme grant Classification, Computation, and Construction: New Methods in Geometry (3C in G). The aim of the meeting is to discuss current and future applications of computational algebra in mathematics, with a particular focus on geometry. The first day (Tuesday 18th) will be geared more towards young researchers, with a series of expository lectures, hands-on practical sessions, and short talks by graduate students. The main workshop will then run from Wednesday 19th to Friday 21st April.

East Coast Computer Algebra Day 2017

Vom 29.04.2017 bis 29.04.2017 in Wolfram Research in Champaign, Illinois, USA.

The East Coast Computer Algebra Day (ECCAD) is an annual one-day meeting for those interested in computer algebra and symbolic mathematical computation. It provides opportunities to learn and to share new results and current work in progress. The schedule includes prominent invited speakers along with contributed posters and software demonstrations. Plenty of time is allowed for unstructured interaction among the participants. Researchers, teachers, students, and users of computer algebra are all welcome! ECCAD-2017 will be hosted by Wolfram Research on Saturday, April 29, 2017

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.

Computing in Tropical Geometry

Vom 11.05.2017 bis 12.05.2017 in Zuse Institut Berlin, Germany.

The workshop aims at bringing together researchers working on computational tropical geometry and its applications, giving account on recent progress made in topics like tropical optimization, tropical combinatorics and applications of tropical geometry in algebraic geometry.

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.

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.

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.

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.

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.

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.

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.

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.

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/