Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: ISSAC 2011: Second Announcement, and Submission Deadline Extension



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

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 Bu:rgisser, University of Paderborn, Germany.
Manuel Kauers, RISC, Johannes Kepler Universita: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)

В избранное