ADG 2010 - Munich
ADG 2010 - Munich
Différences entre les versions de « Call for Papers Post-Proceedings »
De ADG 2010 - Munich
Ligne 1 : | Ligne 1 : | ||
− | + | AUTOMATIC DEDUCTION IN GEOMETRY | |
+ | ADG 2010 | ||
+ | |||
+ | CALL FOR PAPERS, POST-CONFERENCE PROCEEDINGS | ||
+ | |||
+ | Important Dates: | ||
+ | |||
+ | |||
+ | Submission: 15 February 2011 | ||
+ | |||
+ | Author response: 1 April 2011 | ||
+ | |||
+ | Revised papers due: 1 May 2011 | ||
+ | |||
+ | Final Decision : 15 May 2011 | ||
+ | |||
+ | |||
+ | Presentation: | ||
+ | |||
+ | |||
+ | ADG is a 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 post-proceedings of ADG 2010 will be published in the LNAI series | ||
+ | by Springer-Verlag. You are invited to submit original research papers | ||
+ | (of 10-20 pages) for possible publication in the proceedings. Your | ||
+ | contributions have to be within the scope of ADG, but their contents | ||
+ | do not have to be related to a past presentation at ADG 2010. | ||
+ | Submissions which do not have been presented at ADG 2010 are welcome. | ||
+ | |||
+ | All the submissions will be formally reviewed according to the | ||
+ | usual standard of international conferences. The proceedings will be | ||
+ | edited by the PC chair. | ||
+ | |||
+ | Scope: | ||
+ | |||
+ | |||
+ | The topics 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 | ||
+ | |||
+ | Submission guidelines: | ||
+ | |||
+ | Please format your papers using LaTeX2e with the LNCS macros for | ||
+ | "Proceedings and Other Multiauthor Volumes" available at | ||
+ | http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 | ||
+ | and read carefully the instructions given therein. | ||
+ | |||
+ | To submit your paper please follow the instructions given here: | ||
+ | https://lsiit-cnrs.unistra.fr/adg2010/index.php/Main_Page | ||
+ | |||
+ | Program Committee: | ||
+ | |||
+ | |||
+ | Chair: Pascal Schreck (France) | ||
+ | |||
+ | * Hirokazu Anai (Japan) | ||
+ | * Francisco Botana (Spain) | ||
+ | * Jacques Fleuriot (United Kingdom) | ||
+ | * Xiao-Shan Gao (China) | ||
+ | * Predrag Janicic (Serbia) | ||
+ | * Deepak Kapur (USA) | ||
+ | * Ulrich Kortenkamp (Germany) | ||
+ | * Montserrat Manubens (Spain) | ||
+ | * Dominique Michelucci (France) | ||
+ | * Bernard Mourrain (France) | ||
+ | * Julien Narboux (France) | ||
+ | * Pavel Pech (Czech Republic) | ||
+ | * Tomás Recio (Spain) | ||
+ | * Georg Regensburger (Austria) | ||
+ | * Jürgen Richter-Gebert (Germany) | ||
+ | * Pascal Schreck (France) | ||
+ | * Meera Sitharam (USA) | ||
+ | * Thomas Sturm (Spain) | ||
+ | * Dongming Wang (China/France) | ||
+ | * Bican Xia (China) | ||
+ | |||
+ | Please feel free to contact us if you have any comments, suggestions, | ||
+ | and/or questions. We look forward to receiving your submissions. | ||
+ | |||
+ | With best wishes, | ||
+ | |||
+ | Pascal Schreck, Jürgen Richter-Gebert, Julien Narboux |
Version du 23 novembre 2010 à 11:21
AUTOMATIC DEDUCTION IN GEOMETRY ADG 2010
CALL FOR PAPERS, POST-CONFERENCE PROCEEDINGS
Important Dates:
Submission: 15 February 2011
Author response: 1 April 2011
Revised papers due: 1 May 2011
Final Decision : 15 May 2011
Presentation:
ADG is a 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 post-proceedings of ADG 2010 will be published in the LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for possible publication in the proceedings. Your contributions have to be within the scope of ADG, but their contents do not have to be related to a past presentation at ADG 2010. Submissions which do not have been presented at ADG 2010 are welcome.
All the submissions will be formally reviewed according to the usual standard of international conferences. The proceedings will be edited by the PC chair.
Scope:
The topics 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
Submission guidelines:
Please format your papers using LaTeX2e with the LNCS macros for "Proceedings and Other Multiauthor Volumes" available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and read carefully the instructions given therein.
To submit your paper please follow the instructions given here: https://lsiit-cnrs.unistra.fr/adg2010/index.php/Main_Page
Program Committee:
Chair: Pascal Schreck (France)
- Hirokazu Anai (Japan)
- Francisco Botana (Spain)
- Jacques Fleuriot (United Kingdom)
- Xiao-Shan Gao (China)
- Predrag Janicic (Serbia)
- Deepak Kapur (USA)
- Ulrich Kortenkamp (Germany)
- Montserrat Manubens (Spain)
- Dominique Michelucci (France)
- Bernard Mourrain (France)
- Julien Narboux (France)
- Pavel Pech (Czech Republic)
- Tomás Recio (Spain)
- Georg Regensburger (Austria)
- Jürgen Richter-Gebert (Germany)
- Pascal Schreck (France)
- Meera Sitharam (USA)
- Thomas Sturm (Spain)
- Dongming Wang (China/France)
- Bican Xia (China)
Please feel free to contact us if you have any comments, suggestions, and/or questions. We look forward to receiving your submissions.
With best wishes,
Pascal Schreck, Jürgen Richter-Gebert, Julien Narboux