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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Ноябрь 2009   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
10.11.2009
01:58:22
01:59:54
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

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



Dear colleagues,

ISSAC 2010, the leading conference in computer algebra, will take place in
Munich, Germany, July 25-28, 2010. We have attached the "Call for Papers" and
ask for your submissions. Please distribute this information also to your
colleagues. The deadline for abstracts / submissions is January 14, 2010.
A "Call for Software Presentations" will also be distributed soon.

Please check the website www.issac-conference.org/2010 for conference
informations. Looking forward to a great conference in Munich!

The "Invited Speakers" and the "Tutorials" can be found here:
http://www.issac-conference.org/2010/invited-speakers/

If you are interested in receiving hardcopies of the poster (which can be
found on the website), please contact me with your full mailing address at
publicity2010@issac-conference.org

Best regards,
Peter Horn,
Publicity Chair ISSAC 2010
PS: Apologies for multiple copies.

-----------------------------------------------------------------

ISSAC 2010

International Symposium on Symbolic and Algebraic Computation
Munich, July 25-28, 2010

CALL FOR PAPERS

http://www.issac-conference.org/2010
-----------------------------------------------------------------

The International Symposium on Symbolic and Algebraic Computation is the
premier conference for research in symbolic computation and computer algebra.
ISSAC 2010 is the 35th meeting in the series. The conference traditionally
presents a range of invited speakers, tutorials, poster sessions and vendor
exhibits with a centre-piece of contributed research papers. ISSAC 2010 will
be hosted by the Technische Universita:t Mu:nchen.

ISSAC 2010 invites the submission of original research contributions to be
considered for publication and presentation at the conference. All areas of
computer algebra and symbolic mathematical computation are of interest. These
include, but are not limited to:

Algorithmic aspects:
* Exact and symbolic linear, polynomial and differential algebra.
* Symbolic-numeric, homotopy, perturbation and series methods.
* Computational geometry, group theory and number theory.
* Summation, recurrence equations, integration, solution of ODE & PDE.
* Symbolic methods in other areas of pure and applied mathematics.
* Theoretical and practical aspects, including general algorithms, techniques
for important special cases, complexity analyses of algebraic algorithms
and algebraic complexity.

Software aspects:
* Design of packages and systems.
* Data representation.
* Software analysis.
* Considerations for modern hardware, e.g., current memory and storage
technologies, high performance systems and mobile devices.
* User interface issues, including collaborative computing and new methods for
input and manipulation.
* Interfaces and use with systems for, e.g., document processing, 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 algorithms
or systems, use computer algebra in new areas or new ways or apply it in
situations with broad impact.


Submission Instructions
-----------------------
Papers must present original research and not duplicate work published or
submitted for consideration elsewhere. Paper submission is in two stages:
first the abstract is submitted by the abstract deadline and then the
associated paper may be submitted up to the paper deadline. Papers must be in
English and should not exceed 8 pages in the ACM sig-alternate.cls style,
found at http://www.acm.org/sigs/publications/proceedings-templates.
Submission is via EasyChair, at the web site
http://www.easychair.org/conferences/?conf=issac2010.

Papers will be reviewed by the Program Committee and external referees.
Authors will have an opportunity to respond to reviews before the acceptance
decisions are made. At least one author of each accepted paper must register
for the conference and present the paper.

http://www.issac-conference.org/2010/call-for-papers/


Important Dates:
----------------
Abstract submission: Thursday 14 January 2010
Paper submission: Thursday 21 January 2010
Reviews available: Thursday 25 March 2010
Author response period: 29-31 March 2010
Acceptance notification: Thursday 8 April 2010
Camera ready copy due: Thursday 6 May 2010

http://www.issac-conference.org/2010/important-dates/


Program Committee:
------------------
Chair: Stephen Watt, University of Western Ontario, Canada

Moulay Barkatou, Universite' de Limoges, France
Alin Bostan, INRIA, France
Chris Brown, US Naval Academy, USA
James Davenport, University of Bath, UK
Jean-Guillaume Dumas, Universite' Joseph Fourier, France
Wayne Eberly, University of Calgary, Canada
Bettina Eick, TU Braunschweig, Germany
Jean-Charles Fauge`re, UPMC and INRIA, France
Michael Kohlhase, Jacobs University, Germany
Laura Kova'cs, ETH Zu:rich, Switzerland
Ziming Li, Chinese Academy of Sciences, China
Elizabeth Mansfield, University of Kent, UK
B. David Saunders, University of Delaware, USA
E'ric Schost, University of Western Ontario, Canada
Ekaterina Shemyakova, RISC-Linz, Austria
Thomas Sturm, Universidad de Cantabria, Spain
Carlo Traverso, Universita` di Pisa, Italy
Kazuhiro Yokoyama, Rikkyo University, Japan
Lihong Zhi, Chinese Academy of Sciences, China

http://www.issac-conference.org/2010/committees/
В избранное