Tuesday, October 7, 2003 8:00 - 8:50 Breakfast and Registration 8:50 - 9:00 Opening remarks Brenda Latka, DIMACS Associate Director 9:00 - 10:00 Elements of computational metrology Vijay Srinivasan, IBM Research, New York, and Columbia University 10:00 - 10:30 Geometric tolerance analysis methods for imperfect-form assemblies Scott Pierce, M.I. Technologies, Georgia, and Georgia Tech. 10:30 - 11:00 Break 11:00 - 11:30 Outstanding problems in geometric constraint solving for CAD Meera Sitharaman, University of Florida 11:30 - 12:00 Immobilizing chains of hinged polygons Frank van der Stappen, Utrecht Univ., the Netherlands 12:00 - 12:30 On computing all immobilizing grasps of a simple polygon with few contacts Jae-Sook Cheong, Utrecht Univ., the Netherlands 12:30 - 2:00 Lunch 2:00 - 3:00 Applications of randomized motion planning in intelligent CAD Nancy Amato, Texas A&M Univ. 3:00 - 3:30 Why cutting path planning is different from robotic planning Sanjay Sarma, MIT 3:30 - 4:00 Computational geometry in design and manufacturing of free-form surfaces Yuan-Shin Lee, North Carolina State University 4:00 - 4:30 Break 4:30 - 5:00 Zigzag toolpath generation for sculptured surface finishing Debananda Misra, GE Global Research Center, India 5:00 - 5:30 Multiple clothing part placement Victor Milenkovic, University of Miami Wednesday, October 8, 2003 8:15 - 9:00 Breakfast and Registration 9:00 - 10:00 Fast discretized algorithms for arrangement computations Dinesh Manocha, University of North Carolina 10:00 - 10:30 Applications of computational topology of swept volumes Denis Blackmore, New Jersey Institute of Technology 10:30 - 11:00 Break 11:00 - 11:30 Mass properties of the union of millions of polyhedra Wm. Randolph Franklin, Rennsselaer Polytechnic Institute 11:30 - 12:00 Stochastic geometry for bio-medical CAD William Regli, Drexel University 12:00 - 12:30 Algebraic and geometric approximation of waves as Voronoi Diagrams in time Tony Woo, University of Washington 12:30 - 2:00 Lunch 2:00 - 3:00 Beyond geometry: Issues in product modeling Ram Sriram, National Institute of Standards and Technology 3:00 - 3:30 Theory of design Michael Leyton, DIMACS 3:30 - 4:00 Geometric algorithms for Layered Manufacturing: Part I Michiel Smid, Carleton Univ., Canada 4:00 - 4:30 Break 4:30 - 5:00 Geometric algorithms for Layered Manufacturing: Part II Ravi Janardan, University of Minnesota 5:00 - 5:30 Software error compensation of rapid prototyping Sanjay Joshi, Pennsylvania State University 6:15 - 8:00 DIMACS Dinner Thursday, October 9, 2003 8:15 - 9:00 Breakfast and Registration 9:00 - 10:00 Computing shapes and their features from point samples Tamal Dey, The Ohio State University 10:00 - 10:30 Reconstruction of a 3D object from a single freehand sketch Hod Lipson, Cornell University 10:30 - 11:00 Break 11:00 - 11:30 How to pick the right shape matching algorithm for your CAD data William Regli, Drexel University 11:30 - 12:00 Scale-space representations and their applications to 3D matching of solid models Ali Shokoufandeh, Drexel University 12:00 - 12:30 Geometric containment analysis for rotational parts Satyandra Gupta, University of Maryland 12:30 - 2:00 Lunch 2:00 - 3:00 Computational Line Geometry and Manufacturing Bahram Ravani, University of California, Davis 3:00 - 3:30 How to compute exactly and efficiently with quadric surfaces Nicola Wolpert, Max-Planck-Institut fuer Informatik, Saarbruecken, Germany 3:30 - 4:00 Subdivision-based representations for surface styling and design Ioana Boier-Martin, IBM Research, New York 4:00 - 4:30 Break 4:30 - 5:00 Sparseness in the implicit equation of rational parametric curves and surfaces Ilias Kotsireas, Wilfrid Laurier University, Canada 5:00 - 5:30 Detecting degenerate object configurations with the rational univariate reduction John Keyser, Texas A&M University