ISSAC

International Symposium on Symbolic and Algebraic Computation

• Home
• Program
• Papers
• Posters
• Soft. demo
• Proceedings
• Committees
• Tutorials
• Invited
• Satellite workshops
• Local Information

Sponsored by:

ANR-09-JCJC-0098-01

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, tutorials, poster sessions, software demonstrations and vendor exhibits with a centerpiece of contributed research papers.

 

ISSAC 2012 was held on July 22-25, 2012 in Grenoble, France

 

Distinguished paper award

• Akos Seress (Construction of 2-Closed M-Representations).

Distinguished student paper awards

• Wei Zhou (Computing Minimal Nullspace Bases) with George Labahn and Arne Storjohann.
• Romain Lebreton (Algorithms for the Universal Decomposition Algebra) with Éric Schost.

Distinguished poster award

• Louise Huot, Jean-Charles Faugère, Pierrick Gaudry and Gwénaël Renault (Fast Change of Ordering with Exponent Omega).

Distinguished software presentation award

• Anja Korporal, George Regensburger and Markus Rosenkranz (Symbolic computation for ordinary boundary problem in MAPLE).

Two additional awards, sponsored and chosen by the Fachgruppe Computeralgebra, and unrelated to the official conference organization, were given to:

Best Poster:

• R. Lebreton, E. Mehrabi and E. Schost

Best Software Presentation:

• R. Pearce and M. Monagan

 

Important dates

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.

Invited speakers

The conference features three invited talks by the following speakers:

• Frits Beukers, University of Utrecht, Netherlands
• Marie-Francoise Roy, University of Rennes, France
• Volker Strassen, University of Konstanz (retired), Germany

more info

Tutorials

Three tutorial sessions are organized on Sunday, July 22, by the following
speakers:

• Viktor Levandovskyy, RWTH Aachen University, Germany
• Pascal Koiran, ENS de Lyon, France
• Seth Sullivant, North Carolina State University, USA

more info

Satellite workshops

• A satellite MaGiX workshop on language and graphical interface design
  for computer algebra systems will be organized after the conference,
  on July 26-27.
• A second satellite workshop on Categorical Computer Science and Proof Assistants (CaCoS) will also take place after the conference, on July 26.

more info

Previous editions

• ISSAC 2011, San Jose, California, USA
• ISSAC 2010, Münich, Germany
• ISSAC 2009, Seoul, Korea
• ISSAC 2008, Linz, Austria
• ISSAC 2007, Waterloo, Canada
• All past editions