ADG 2010 - Munich
ADG 2010 - Munich
Différences entre les versions de « Discussion utilisateur:Schreck »
De ADG 2010 - Munich
| Ligne 1 : | Ligne 1 : | ||
Here is the actual version of the CFP | Here is the actual version of the CFP | ||
| − | _______________________________________________________ | + | _______________________________________________________ |
ADG 2010 - Munich | ADG 2010 - Munich | ||
_____________ | _____________ | ||
| Ligne 9 : | Ligne 9 : | ||
July 22-24 2010 | July 22-24 2010 | ||
https://lsiit.u-strasbg.fr/adg2010 | https://lsiit.u-strasbg.fr/adg2010 | ||
| − | ________________________________________________ | + | ________________________________________________ |
| − | ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the presention of research results and progress, and to the demonstration of software tools on the intersection between geometry and automated deduction.ADG organized a workshop every two years. The previous editions were held in Shanghaï (China) 2008, Pontevedra (Spain) 2006, Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000, Beijing (China) 1998, and Toulouse (France) 1996. | + | ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of |
| + | ideas and views, to the presention of research results and progress, and to | ||
| + | the demonstration of software tools on the intersection between geometry and | ||
| + | automated deduction.ADG organized a workshop every two years. The previous | ||
| + | editions were held in Shanghaï (China) 2008, Pontevedra (Spain) 2006, | ||
| + | Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000, | ||
| + | Beijing (China) 1998, and Toulouse (France) 1996. | ||
| − | The eighth workshop ADG 2010 will be hosted in Munich, Germany, by the Technical University Munich, from July 22 to July 24, 2010. The homepage for this edition is at the URL https://lsiit.u-strasbg.fr/adg2010 | + | The eighth workshop ADG 2010 will be hosted in Munich, Germany, by the |
| + | Technical University Munich, from July 22 to July 24, 2010. The homepage for | ||
| + | this edition is at the URL https://lsiit.u-strasbg.fr/adg2010 | ||
| − | ADG is now calling for contributions, in the form of extended abstracts or full papers (no page limits), to be submitted before February 01, 2010, via EasyChair. Notification of acceptance or rejection will be issued by March 15, 2010. | + | ADG is now calling for contributions, in the form of extended abstracts or |
| + | full papers (no page limits), to be submitted before February 01, 2010, via | ||
| + | EasyChair. Notification of acceptance or rejection will be issued by March 15, | ||
| + | 2010. | ||
| − | For comments or questions concerning this Call for Papers, please contact | + | For comments or questions concerning this Call for Papers, please contact |
| − | adg2010@easychair.org | + | adg2010@easychair.org |
| − | Important Dates | + | Important Dates |
| − | =============== | + | =============== |
| − | * Extended abstract/paper submission for presentation at the workshop: | + | * Extended abstract/paper submission for presentation at the workshop: |
February 01, 2010 | February 01, 2010 | ||
| − | * Notification of acceptance or rejection: | + | * Notification of acceptance or rejection: |
March 15, 2010 | March 15, 2010 | ||
| − | * Workshop taking place: | + | * Workshop taking place: |
July 22-24, 2010 | July 22-24, 2010 | ||
| − | Specific topics for ADG 2010 | + | Specific topics for ADG 2010 |
| − | ============================ | + | ============================ |
| − | The topics include but are not limited to | + | 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. | + | * 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 | + | * Symbolic and numeric methods for geometric computation, geometric constrain solving, automated generation/reasoning and manipulation with diagrams. |
| − | * Design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies. | + | * 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. | + | * Applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. |
| − | Submission Guidelines | + | Submission Guidelines |
| − | ======================== | + | ======================== |
| − | * Extended abstracts (or full papers if you wish). No page limits. | + | * 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. | + | * The extended abstracts (or the introduction of the full papers) must address the following aspects explicitly. |
| − | ** Problem: "What is the problem/question/objective?" | + | ** Problem: "What is the problem/question/objective?" |
| − | ** Motivation: "Why do we work on the problem? What is the importance?" | + | ** Motivation: "Why do we work on the problem? What is the importance?" |
| − | ** State of the Art: "What has been done already on the problem?" | + | ** State of the Art: "What has been done already on the problem?" |
| − | ** Contribution: "What is the main original contribution?" | + | ** Contribution: "What is the main original contribution?" |
| − | ** Main Idea: "What is the main idea underlying the contribution"? | + | ** Main Idea: "What is the main idea underlying the contribution"? |
| − | * Electronic submission as PDF is required. | + | * Electronic submission as PDF is required. |
| − | * It will be greatly appreciated if the submissions follow the standard Springer Proceedings format llncs.cls. | + | * It will be greatly appreciated if the submissions follow the standard Springer Proceedings format llncs.cls. |
| − | * Submit your contribution via our paper submission page at Easy Chair. | + | * Submit your contribution via our paper submission page at Easy Chair. |
| − | * If you have problems with the submission of your paper or questions concerning EasyChair, please contact adg2010@easychair.org | + | * If you have problems with the submission of your paper or questions concerning EasyChair, please contact adg2010@easychair.org |
| − | * Submit it by February 01, 2010. | + | * Submit it by February 01, 2010. |
| − | Refereeing | + | 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. | + | * 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 | + | 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. | + | * 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 2010 after the workshop. | + | * 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 2010 after the workshop. |
| − | * The full papers (submitted after the meeting) will be formally reviewed by PC members and external referees. | + | * 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. | + | * 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, and ADG 2004, and ADG 2006 appeared as LNAI 1360, LNAI 1669, LNAI 2061, LNAI 2930, LNAI 3763, and LNAI4869 respectively. | + | * The proceedings of ADG 1996, ADG 1998, ADG 2000, ADG 2002, and ADG 2004, and ADG 2006 appeared as LNAI 1360, LNAI 1669, LNAI 2061, LNAI 2930, LNAI 3763, and LNAI4869 respectively. |
Version du 2 décembre 2009 à 12:22
Here is the actual version of the CFP
_______________________________________________________
ADG 2010 - Munich
_____________
Eighth International Workshop
on
Automated Deduction in Geometry
July 22-24 2010
https://lsiit.u-strasbg.fr/adg2010
________________________________________________
ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the presention of research results and progress, and to the demonstration of software tools on the intersection between geometry and automated deduction.ADG organized a workshop every two years. The previous editions were held in Shanghaï (China) 2008, Pontevedra (Spain) 2006, Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000, Beijing (China) 1998, and Toulouse (France) 1996.
The eighth workshop ADG 2010 will be hosted in Munich, Germany, by the Technical University Munich, from July 22 to July 24, 2010. The homepage for this edition is at the URL https://lsiit.u-strasbg.fr/adg2010
ADG is now calling for contributions, in the form of extended abstracts or full papers (no page limits), to be submitted before February 01, 2010, via EasyChair. Notification of acceptance or rejection will be issued by March 15, 2010.
For comments or questions concerning this Call for Papers, please contact adg2010@easychair.org
Important Dates ===============
* Extended abstract/paper submission for presentation at the workshop:
February 01, 2010
* Notification of acceptance or rejection:
March 15, 2010
* Workshop taking place: July 22-24, 2010
Specific topics for ADG 2010 ============================ 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 constrain 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 ========================
* 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 llncs.cls.
* Submit your contribution via our paper submission page at Easy Chair.
* If you have problems with the submission of your paper or questions concerning EasyChair, please contact adg2010@easychair.org
* Submit it by February 01, 2010.
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 2010 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, and ADG 2004, and ADG 2006 appeared as LNAI 1360, LNAI 1669, LNAI 2061, LNAI 2930, LNAI 3763, and LNAI4869 respectively.
