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

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

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


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


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

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

Статистика

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

Система компьютерной алгебры GAP - Automated Deduction in Geometry (ADG)


This CFP is sent on behalf of Giorgio Dalzotto (Italy).

Automated Deduction in Geometry (ADG)
Announcement and Call for Papers

East China Normal University
Shanghai (China)

September 22-24, 2008

The workshop ADG is a leading international forum to exchange ideas and
views, to present research results and progress, and to demonstrate
software tools on the intersection between geometry and automated
deduction. The main objective of this workshop is to
encourage/promote/guide research efforts in the area in an informal
setting.

The previous six workshops were held in Pontavedra (2006), Gainesville
(2004), Linz (2002), Zurich (2000), Beijing (1998), and Toulouse (1996).
The seventh workshop ADG 2008 will be hosted by East China Normal
University (ECNU) on its campus in Shanghai, China, from 22nd to 24th
September 2008.

For detailed information about the workshop, please visit
http://adg2008.redlog.eu

Do not reply to this email. Instaed, please direct your questions and
comments to publicity at adg2008 dot redlog dot eu. Please forward this Call for
Papers to possibly interested colleagues.

We apologize if you received multiple copies of this email.


Call for Papers
================

ADG is now calling for contributions, in the form of extended abstracts or
full papers (no page limits), to be submitted before June 10, 2008, via
EasyChair http://www.easychair.org/conferences/?conf=adg2008 .
Notification of acceptance or rejection will be issued by July 10, 2008.

The submitted contributions will be subject to a summary review by the
Program Committee, bearing in mind that this first review is mainly for
presentation at the workshop, NOT for publication (which will be
considered after the workshop).

See below for further details.

Program Committee
------------------
Thomas Sturm, Chair (Germany)
Hirokazu Anai (Japan)
Francisco Botana (Spain)
Christopher Brown (USA)
Giorgio Dalzotto (Italy)
Jacques Fleuriot (United Kingdom)
Xiao-Shan Gao (China)
Hoon Hong (USA)
Deepak Kapur (USA)
Manuel Kauers (Austria)
Montserrat Manubens (Spain)
Pavel Pech (Check Republic)
Tomas Recio (Spain)
Georg Regensburger (Austria)
Juergen Richter-Gebert (Germany)
Pascal Schreck (France)
Meera Sitharam (USA)
Dongming Wang (China/France)
Min Wu (China)
Bican Xia (China)
Zhenbing Zeng (China)

Specific topics for ADG 2008 include (but are not limited to)
--------------------------------------------------------------

Polynomial algebra, invariant and coordinate-free methods, probabilistic,
synthetic, and logic approaches, techniques for automated geometric
reasoning from discrete mathematics, combinatorics, and numerics. 
Symbolic and numeric methods for geometric computation, geometric
constraint solving, automated generation/reasoning and manipulation with
diagrams. Design and implementation of geometry software, special-purpose
tools, automated theorem provers, experimental studies. Applications of
ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics,
and education.

Important Dates
----------------
Extended abstract/paper submission for presentation at the workshop:
* June 10, 2008
Notification of acceptance or rejection:
* July 10, 2008
Workshop taking place:
* September 22-24, 2008

Submission Guidelines
----------------------
Extended abstracts (or full papers if you wish). No page limits.

The extended abstracts (or the introduction of the full papers) must
address the following aspects explicitly.

* Problem: "What is the problem/question/objective?
* Motivation: "Why do we work on the problem? What is the importance?"
* State of the Art: "What has been done already on the problem?"
* Contribution: "What is the main original contribution?"
* Main Idea: "What is the main idea underlying the contribution"?

Electronic submission as PDF is required.

It will be greatly appreciated if the submissions follow the standard
Springer Proceedings format llncs2e (see
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 for more
information and download of the LaTeX and TeX style files).

Submit your contribution via our paper submission page at EasyChair:
http://www.easychair.org/conferences/?conf=adg2008

If you have problems with the submission of your paper or questions
concerning EasyChair, please contact support at adg2008 dot redlog dot eu

Submit it by June 10, 2008.

Refereeing
-----------

The submitted contributions will be subject to a summary review by the
Program Committee, bearing in mind that this first review is mainly for
presentation, NOT for publication.

Publication
------------

Extended abstracts or full papers accepted for presentation at the
workshop will be available during the meeting, published as an internal
document for the participants. We plan to ask the authors of the extended
abstracts (and possibly full papers) accepted for presentation at the
workshop to submit their full and/or revised papers for publication in
some formal proceedings of ADG 2006 after the workshop.  The full papers
(submitted after the meeting) will be formally reviewed by PC members and
external referees. It is expected that the accepted full papers will be
published as a special issue of some journal or in the Springer Lecture
Notes in Artificial Intelligence (LNAI) series. The proceedings of ADG
1996, ADG 1998, ADG 2000, ADG 2002, ADG 2004, and ADG 2006 appeared as
LNAI 1360, LNAI 1669, LNAI 2061, LNAI 2930, LNAI 3763, and LNAI 4869
respectively.
В избранное