GC 2015 Tentative Schedule
Monday 2nd February
|
08:00-09:00 |
Registration |
|
|
Chair: Dongming
Wang |
|
09:00-09:10 |
Opening |
|
09:10-09:55 |
Chee K. Yap:
Towards Soft Voronoi Diagrams |
|
10:00-10:25 |
Wei Su: Constructing Geometric Objects with Touch Input: Problems and
Solutions |
|
10:25-10:45 |
Break |
|
|
Chair: Chee K.
Yap |
|
10:45-11:30 |
Weiyin Ma: Subdivision-based Modelling for Design
and Analysis |
|
11:35-12:00 |
Liyong Shen: The Representations of Rational
Ruled Surfaces |
|
12:00-14:00 |
Lunch |
|
|
Chair: Weiyin Ma |
|
14:30-15:15 |
Pedro Quaresma: Geometric
Knowledge Management Common Formats & Querying |
|
15:20-15:45 |
Xiaoyu Chen: Towards an Open
Geometric Knowledge Base |
|
15:45-16:05 |
Break |
|
|
Chair: Pedro Quaresma |
|
16:05-16:50 |
Francisco Botana:
Some Computations That Current Dynamic Geometry Systems Cannot Do, Whereas
They Should |
|
16:55-17:20 |
Dan Song: Discovering Geometric Theorems from Images of
Diagrams |
|
18:00- |
Dinner |
Tuesday 3rd February
|
|
Chair: Pascal Schreck |
|
09:00-09:45 |
Hongbo Li: On Complete
Basis-Free Symbolic Manipulations of Quaternionic-Variable
Polynomials in Spatial Geometric Computing |
|
09:50-10:15 |
Yongbin Li: An Alternative Method for Computing
the Zariski Closure of a Regular Set |
|
10:15-10:35 |
Break |
|
|
Chair: Hongbo Li |
|
10:35-11:20 |
Jacques Fleuriot:
The Mechanization of Hilbert’s Grundlagen der Geometrie Revisited |
|
11:25-11:50 |
Wenya An: Searching for Geometric Theorems
Relevant to Input Diagrams (Progress Report) |
|
12:00-14:00 |
Lunch |
|
|
Chair: Jacques Fleuriot |
|
14:30-15:15 |
Siu-Wing Cheng: Reconstruction
of Smooth Surfaces and Manifolds |
|
15:20-15:45 |
Jing Yang: Improving Angular Speed Uniformity by Piecewise
Radical Reparameterization |
|
15:45-16:05 |
Break |
|
|
Chair: Siu-Wing Cheng |
|
16:05-16:50 |
Julien Narboux: Toward a Certified Encyclopedia of Geometry |
|
18:00- |
Dinner |
Wednesday 4th February
|
|
Chair: Jing Yang |
|
09:00-09:45 |
Pavel Pech: Exploring
Properties of Polygons Using Computer Algebra |
|
09:50-10:35 |
Pascal Schreck: Straightedge and
Compass Constructions: Algebraic and Logical Approaches |
|
10:35-10:55 |
Break |
|
|
Chair: Pavel Pech |
|
10:55-11:40 |
Jiansong Deng: Spline
Spaces over T-meshes |
|
11:40-12:00 |
Closing |
|
12:00-14:00 |
Lunch |