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

Система компьютерной алгебры GAP: ISSAC 2011



ISSAC 2011
First Announcement and Call for Papers

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.


Important Dates

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


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 paper deadline.

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 labelled "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 (IRCCyN)


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)


--
Ioannis Z. Emiris, Professor
Department of Informatics and Telecommunications
Univeristy of Athens, Panepistimiopolis 15784 Greece
Tel/fax +30-210-727-5105/5114, http://www.di.uoa.gr/~emiris/

В избранное