ADG 2016
ADG 2016
Différences entre les versions de « Accueil »
De ADG 2016
| (21 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | |||
| − | + | <center> | |
| + | <span style="font-size: 250%; font-family: Garamond; border: "><big>ADG 2016</big> | ||
| + | - ''Strasbourg''</span> | ||
| − | + | <big><big> | |
| − | + | Eleventh International Workshop<br> | |
| − | + | on<br> | |
| − | + | Automated Deduction in Geometry<br> | |
| − | + | </big> | |
| + | June 27-29 2016 | ||
| + | </big> | ||
| + | </center> | ||
| + | <br><br> | ||
| + | |||
| + | |||
| + | '''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.<br><br> | ||
| + | The previous ten workshops were held in Coimbra 2014, Edinburgh 2012, Munich 2010, Shanghaï 2008, Pontevedra 2006, Gainesville 2004, Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.<br><br> | ||
| + | The eleventh workshop ADG 2016 took place in Strasbourg, France, <br> | ||
| + | |||
| + | [[Fichier:ADG-Picture.jpg|800px|sans_cadre|centré]] | ||
| + | |||
| + | |||
| + | '''Proceedings'''<br> | ||
| + | |||
| + | The informal proceedings are available on HAL open archive:<br> | ||
| + | [[Image:ADG2016-Cover.png|600px|link=https://hal.inria.fr/hal-01334334]] | ||
| + | |||
| + | '''Post-Proceedings'''<br> | ||
| + | We will invite authors of outstanding contributions to submit full articles for the post-proceedings, they will be published in Springer [http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence].<br> | ||
| + | [[Image:LNAI-Logo.png|right|link=http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0]]<br /> | ||
| + | <br /> | ||
| + | |||
| + | |||
| + | '''Contact''' | ||
| + | <br> | ||
| + | adg2016@easychair.org | ||
| + | <br><br> | ||
| + | |||
| + | |||
| + | [[Image:Logo-uds-couleur.png|120px|left|link=http://www.unistra.fr/]][[Image:LogoCNRS.jpeg|60px|right]] | ||
Version actuelle datée du 2 juillet 2016 à 15:19
ADG 2016 - Strasbourg
Eleventh International Workshop
on
Automated Deduction in Geometry
June 27-29 2016
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 previous ten workshops were held in Coimbra 2014, Edinburgh 2012, Munich 2010, Shanghaï 2008, Pontevedra 2006, Gainesville 2004, Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.
The eleventh workshop ADG 2016 took place in Strasbourg, France,
Proceedings
The informal proceedings are available on HAL open archive:
Post-Proceedings
We will invite authors of outstanding contributions to submit full articles for the post-proceedings, they will be published in Springer Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence.
Contact
adg2016@easychair.org
