Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ADG Post-Proceedings

Email Gateway (Aug 19 2022 at 09:59):

From: Laura Meikle <limeikle@gmail.com>
Call for Papers
Post-conference Proceedings
Automated Deduction in Geometry (ADG 2012)
http://dream.inf.ed.ac.uk/events/adg2012

OVERVIEW

ADG is a forum to exchange ideas and views, to present research results and
progress, and to demonstrate software tools at the intersection between
geometry and automated deduction.

The post-conference proceedings of ADG 2012 will be published in the
LNCS/LNAI series by Springer-Verlag. You are invited to submit original
research papers (of 10-20 pages) for possible publication. Your
contributions have to be within the scope of ADG, but their contents do not
necessarily have to be related to the presentations made at ADG
2012. Moreover, contributions from authors who were not present at ADG 2012
are also welcome.

All submissions will be formally reviewed according to the usual standard
of international conferences.

SCOPE

Relevant topics include (but are not limited to):

• polynomial algebra, invariant and coordinate-free methods, probabilistic,
  synthetic, and logical 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 modelling, CAGD/CAD, computer
  vision,
  robotics, and education.

SUBMISSION GUIDELINES

• We invite the submission of full papers from 10 to a maximum of 20 pages.

• The submissions should follow the standard LaTeX2e format for Springer
  LNCS Proceedings
  and Other Multiauthor Volumes available at
  http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.

• Electronic submission is required via EasyChair
  at https://www.easychair.org/conferences/?conf=lnaiadg2012.

• If you have any problems with the submission of your paper, or questions
  concerning
  ADG 2012 or EasyChair, please contact lnaiadg2012@easychair.org.

IMPORTANT DATES

• Paper submission: 17 February 2013.
• Notification of acceptance: 22 March 2013.
• Final paper submission: 5 April 2013.

EDITORS

• Tetsuo Ida, University of Tsukuba, Japan.
• Jacques Fleuriot, University of Edinburgh, UK.

PROGRAM COMMITTEE

• Tetsuo Ida, University of Tsukuba, Japan.
• Hirokazu Anai, Fujitsu Laboratories Ltd/Kyushu University, Japan
• Francisco Botana, University of Vigo, Spain.
• Xiaoyu Chen, Beihang University, China.
• Giorgio Dalzotto, University of Pisa, Italy.
• Jacques Fleuriot, University of Edinburgh, UK.
• Laureano Gonzalez-Vega, University of Cantabria, Spain.
• Hoon Hong, North Carolina State University, USA.
• Andres Iglesias Prieto, University of Cantabria, Spain.
• Predrag Janicic, University of Belgrade, Serbia.
• Deepak Kapur, University of New Mexico, USA.
• Ulrich Kortenkamp, Martin-Luther-Universitaet Halle-Wittenberg, Germany.
• Shuichi Moritsugu, University of Tsukuba, Japan.
• Julien Narboux, University of Strasbourg, France.
• Pavel Pech, University of South Bohemia, Czech Republic.
• Tomas Recio, University of Cantabria, Spain.
• Georg Regensburger, Inria Saclay Ile-de-France, France.
• Juergen Richter-Gebert, TU Munich, Germany.
• Pascal Schreck, University of Strasbourg, France.
• Meera Sitharam, University of Florida, USA.
• Thomas Sturm, Max Planck Institute, Germany.

Last updated: Nov 21 2024 at 12:39 UTC