ISSAC 2012
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2012 is the 37th meeting in the series, started in 1966 and held annually since 1981, in North America, Europe and Asia. The conference presents a range of invited speakers, tutorias, poster sessions, software demonstrations and vendor exhibits with a centerpiece of contributed research papers.
ISSAC 2012 will be held on July 22-25, 2012 in Grenoble, France
| When |
Jul 22, 2012 12:00 AM
to
Jul 25, 2012 12:00 AM |
|---|---|
| Where | Grenoble, France |
| Add event to calendar |
vCal
iCal
|
Conference topics
All areas of computer algebra and symbolic computation are of
interest. These include, but are not limited to:
- Algorithmic aspects: Exact and symbolic linear, polynomial and differential algebra. Symbolic-numeric, homotopy, and series methods. Computational geometry, group theory, number theory, quantifier elimination and logic. Summation, recurrence equations, integration, ODE& PDE. Theoretical and practical aspects, including algebraic complexity, and techniques for important special cases.
- Software aspects: Design of packages and systems, data representation. Parallel and distributed algebraic computing, considerations for modern hardware. User-interface issues, and use with systems for, e.g., digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiation.
- Application aspects: Applications that stretch the current limits of computer algebra, use it in new ways, or apply it in situations with broad impact, in particular to the natural sciences, life sciences, engineering, economics and finance, and education.