Logic List Mailing Archive

ISSAC 2012: Symbolic and Algebraic Computation

22-25 July 2012
Grenoble, France

===================================================

ISSAC 2012
Second Announcement

IMPORTANT NOTE: the deadline for full paper submissions
has been extended to January 16. Abstracts should still
be submitted before January 9.
International Symposium on Symbolic and Algebraic Computation
Grenoble, France, July 22-25, 2012
http://www.issac-conference.org/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.

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 (CaCoS)
will also take place after the conference, on July 26.


Important Dates
---------------

Abstract submission deadline:           Monday, January 9, 2012, 23:59 PST
Full paper submission FIRM DEADLINE:    Monday, January 16, 2012, 23:59 PST
Notification of acceptance/rejection:   Friday, March 16, 2012
Camera-ready copy due:                  Monday, April 30, 2012


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, Retired, Germany


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


Submission Instructions
-----------------------

ISSAC 2012 invites the submission of original research contributions
to be considered for publication and presentation at the conference.
Papers should not duplicate work published or submitted for
consideration elsewhere prior or in parallel to the ISSAC submission.

Papers must be in English and shall be reviewed by the Program
Committee and external referees. Submissions
cannot exceed 8 pages in the ACM sig-alternate.cls style
(see http://www.acm.org/sigs/publications/proceedings-templates)
or the acmconf style if you are using TeXmacs; if necessary,
they can have an appendix that may be read by the reviewers
and PC members, but which is not part of the Proceedings paper.
Papers labeled "extended abstracts" will not be accepted. Submission is
exclusively via EasyChair. At least one author of each accepted paper
must register for the conference to present the paper.


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.


Organizing Committee
--------------------

General Chair:              Joris van der Hoeven (CNRS, Ecole Polytechnique)
Program Committee Chair:    Mark van Hoeij (Florida State U.)
Local Arrangements Chair:   Jean-Guillaume Dumas (U. Grenoble)
Tutorials Chair:            Agnes Szanto (North Carolina State U.)
Poster Chair:               Bernard Mourrain (INRIA Sophia-Antipolis)
Software Exhibits Chair:    Francois Boulier (U. Lille 1)
Treasurer:                  Clement Pernet (INRIA, U. Grenoble)
Publicity Chair:            William Turner (Wabash College)
Webmaster:                  Pascal Giorgi (U. Montpellier 2)


Program Committee
-----------------

Saugata Basu (Purdue U., USA)
Laurent Busé (INRIA, France)
Frederic Chyzak (INRIA, France)
Harm Derksen (U. Michigan, USA)
Ioannis Emiris (U. Athens, Greece)
Patrizia Gianni (U. Pisa, Italy)
Mark Giesbrecht (U. Waterloo, Canada)
David Harvey (U. New South Wales, USA)
Mark van Hoeij (Florida State U., USA) - Chair
Michael Monagan (Simon Fraser U., USA)
François Lemaire (U. Lille, France)
Ziming Li (Chinese Academy of Science, China)
Luis M. Pardo (U. Cantabria, Spain)
Veronika Pillwein (RISC-Linz, Austria)
Gabriel Dos Reis (Texas A&M U., USA)
Damien Stehle (CNRS, France)
Arne Storjohann (U. Waterloo, Canada)
Jean-Claude Yakoubsohn (U. Paul Sabatier, France)
Chee Yap (New York U., USA)


Local Arrangements Committee
----------------------------

Sophie Azzaro (INRIA Grenoble, France)
Jean-Guillaume Dumas (U. Grenoble, France)
Laurent Fousse (U. Grenoble, France)
Antoine Girard (U. Grenoble, France)
Danièle Herzog (INRIA Grenoble, France)
Aude Maignan (U. Grenoble, France)
Clément Pernet (U. Grenoble/INRIA, France)
Jean-Louis Roch (U. Grenoble/INRIA, France)