posted by user: issacconference || 4627 views || tracked by 7 users: [display]

ISSAC 2011 : 36th International Symposium on Symbolic and Algebraic Computation

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Symbolic and Algebraic Computation
 
Link: http://www.issac-conference.org/2011
 
When Jun 8, 2011 - Jun 11, 2011
Where San Jose, California
Abstract Registration Due Jan 8, 2011
Submission Deadline Jan 16, 2011
Notification Due Mar 10, 2011
Final Version Due Mar 31, 2011
Categories    computer algebra   symbolic computation   algorithms   software
 

Call For Papers

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

ISSAC 2011
Second Announcement, and Submission Deadline Extension

International Symposium on Symbolic and Algebraic Computation
San Jose, California, June 8-11, 2011
http://www.issac-conference.org/2011/

Member of ACM Federated Computing Research Conference
http://acm.org/fcrc/

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

The International Symposium on Symbolic and Algebraic Computation
(ISSAC) is the premier conference for research in symbolic computation
and computer algebra. ISSAC 2011 is the 36th 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 2011 is affiliated with the 2011 International Workshop on
Symbolic Numeric Computation (SNC 2011) which will be held on June
79, 2011 as another member of the ACM FCRC.


Important Dates

Abstract submission deadline: Saturday, Jan. 8, 2011, 23:59 PST
Full paper submission deadline: Sunday, Jan. 16, 2011, 23:59 PST (EXTENDED)
Notification of acceptance/rejection: Monday, March 10, 2011
Camera-ready copy due: Thursday, March 31, 2011


Invited and Tutorial Speakers

Two invited plenary speakers are scheduled during the main program on
June 9-11:
Victor S. Miller, Center for Communications Research, Princeton, USA.
Gilles Villard, CNRS, Lyon, France.

Three tutorial sessions are organized on Wednesday, June 8, by the
following speakers:
Peter Bürgisser, University of Paderborn, Germany.
Manuel Kauers, RISC, Johannes Kepler Universität, Austria.
Agnes Szanto, North Carolina State University, USA.


Submission Instructions

ISSAC 2011 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.
Submission is in two stages: first the abstract is submitted by the
abstract deadline, then the full paper may be submitted up to the
(new) paper deadline. Due to the tight schedule this year, no further
deadline extension is possible.

Papers must be in English and shall be reviewed by the Program
Committee and external referees. Authors may be asked to respond to
reviews shortly before acceptance decisions are made. Submissions
cannot exceed 8 pages in the ACM sig-alternate.cls style (see
http://www.acm.org/sigs/publications/proceedings-templates); 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: Eric Schost (U. Western Ontario)
Program Committee Chair: Ioannis Emiris (U. Athens)
Local Arrangements Chair: Emil Volcheck (NSA)
Tutorials Chair: Mark Giesbrecht (U. Waterloo)
Poster Chair: Manuel Kauers (RISC Linz)
Software Exhibits Chair: Mike Stillman (Cornell U.)
Proceedings Editor: Anton Leykin (Georgia Tech)
Treasurer: Werner Krandick (Drexel U.)
Fundraiser: Ilias Kotsireas (Wilfrid Laurier U.)
Publicity Chair: Jean-Guillaume Dumas (U. Joseph Fourier)
Webmaster: Guillaume Moroz (INRIA Nancy)


Program Committee

Hirokazu Anai (Kyushu U.) Marc Moreno Maza (U. Western Ontario)
Dario Bini (U. Pisa) Mohab Safey El Din (U.Pierre & Marie Curie)
John Cannon (U. Sydney) Josef Schicho (RICAM Linz)
Ioannis Emiris (U. Athens), Chair Rafael Sendra (U. Alcala)
Gabriela Jeronimo (U. Buenos Aires) Agnes Szanto (NCSU)
Pascal Koiran (ENS Lyon) Nobuki Takayama (Kobe U.)
Gregoire Lecerf (Ecole Polytechnique) Ashish Tiwari (SRI International)
Wen-Shin Lee (U. Antwerp) Sergey Tsarev (Siberian Federal U.)
Hongbo Li (Chinese Sciences Academy) Elias Tsigaridas (U. Aarhus)
Kurt Mehlhorn (MPI Saarbruecken) Jan Verschelde (UIC)

Related Resources

EXPLAINS 2024   1st International Conference on Explainable AI for Neural and Symbolic Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
GECCO 2024   Genetic and Evolutionary Computation Conference
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
WADT 2024   27th International Workshop on Algebraic Development Techniques
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
NCTA 2024   16th International Conference on Neural Computation
ACM-Ei/Scopus-CMLDS 2024   2024 International Conference on Computing, Machine Learning and Data Science (CMLDS 2024)
ICAISC 2024   International Conference on Artificial Intelligence and Soft Computing
ACM-Ei/Scopus-SCDMC 2024   2024 International Conference on Soft Computing, Data Mining and Cybersecurity (SCDMC 2024)