ISSAC: International Symposium on Symbolic and Algebraic Computation

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2012 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ISSAC 2011 36th International Symposium on Symbolic and Algebraic Computation
Jun 8, 2011 - Jun 11, 2011 San Jose, California Jan 16, 2011 (Jan 8, 2011)
ISSAC 2010 35th International Symposium on Symbolic and Algebraic Computation
Jul 25, 2010 - Jul 28, 2010 Munich, Germany Jan 21, 2010 (Jan 14, 2010)
ISSAC 2009 International Symposium on Symbolic and Algebraic Computation
Jul 28, 2009 - Jul 31, 2009 Seoul, Republic of Korea Jan 24, 2009
ISSAC 2008 International Symposium on Symbolic and Algebraic Computation
Jul 20, 2008 - Jul 23, 2008 Linz/Hagenberg, Austria TBD
 
 

Present CFP : 2011

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

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

SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
RE 2017   Requirements Engineering
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
ICANN 2017   International Conference on Artificial Neural Networks 2017
SYNASC 2016   CFP 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 24-27, 2016, Timisoara, Romania
ARIN 2016   Second International Conference on Artificial Intelligence
EASL 2017   EACL 2017 Workshop on Symbolic and Deep Learning Approaches to the Analysis of Evaluative, Affective, and Subjective Language (EASL 2017)
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ISMSI 2017   International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence
EvoMUSART 2017   6th International Conference on Computational Intelligence in Music, Sound, Art and Design