Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation November 16-19, 2011 The University of Waterloo, Waterloo, Ontario, Canada

Hybrid symbolic-numeric computation methods have been gaining considerable prominence recently. Algorithms have been developed that improve numeric robustness using symbolic techniques. Semidefinite programming is being employed in solving finding real roots of polynomials systems. Traditionally symbolic algorithms have seen speed improvements from adaptation of numeric methods. There is an emerging approach of characterizing, locating, and solving ``interesting nearby problems''. Many novel techniques have been developed in these complementary areas, but there is a general belief that a more overarching understanding and approach will foster future progress.

Problems we are interested in are driven by applications in control theory, dynamic modelling of large-scale continuous and hybrid discrete-continuous dynamical systems, model simplification, computational physics, dynamics, and robotics. Emphasis will be given to validated (certified) outputs via algebraic and exact techniques, error estimation, interval techniques or global optimization strategies based on semidefinite programming and exact sums-of-squares.

This workshop will follow up on the exciting SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, held in November 2010. It will provide a forum for researchers on all sides of hybrid symbolic-numeric computation.

Abtracts are linked from each talk, and a complete list can be found here. The tentative workshop schedule is available here.

Invited Speakers

• Laurent Bernardin, Maplesoft, Canada – Symbolic Computing in Modeling and Simulation
• Xiao-Wen Chang, McGill University, Canada – Lattice Reduction and Preconditioning
• Annie Cuyt, Universiteit Antwerpen (CMI), Belgium – Sparse Interpolation and Signal Processing
• Maryam Fazel, University of Washington, USA – Strong Conditions for Recovering Low-rank Matrices
• Wayne Hayes, University of California Irvine, USA – Shadowing as a measure of backward error in numerical simulations
• Hoon Hong, North Carolina State University, USA – Hybrid Method for Solving Bivariate Polynomial System
• Ken Jackson, University of Toronto, Canada – Validated Methods for Initial Value Problems for Ordinary Differential Equations
• David Jeffrey, University of Western Ontario, Canada – Stieltjes Integrals and Completely Monotonic Functions
• Erich Kaltofen, North Carolina State University, USA – What is hybrid symbolic-numeric computation?
• Wen-shin Lee, Universiteit Antwerpen (CMI), Belgium – Multivariate Prony's Method
• Kosaku Nagasaka, Kobe, Japan – A Symbolic-Numeric Approach to Gröbner Basis with Inexact Input
• Tateaki Sasaki, Tsukuba University, Japan – Approximate Gröbner Bases and Two Applications
• Adam Strzebonski, Wolfram Research, USA – Solving equations and inequalities using validated numeric methods
• Gilles Villard, ENS Lyon, France – Some numerical considerations for lattice basis reduction
• Stephen Watt, University of Western Ontario, Canada – Approximate polynomials and definite integrals
• Hitoshi Yanami, Fujitsu Laboratories, Japan – A quantifier elimination algorithm based on symbolic-numeric cylindrical algebraic decomposition

Young Researchers

• Aurélien Greuet, SALSA Team (INRIA/CNRS/UPMC/LIP6) and Université de Versailles, France – Polar Varieties and Global Optimization Problem
• Feng Guo, Chinese Academy of Sciences, Beijing, China and NC State University, USA – Certifying degree lower bounds for the Hilbert-Artin representation of positive semidefinite rational functions
• Bingyu Li, Northeast Normal University, Changchun, China – On the Condition Number of the Total Least Squares Problem
• Daniel S. Roche, US Naval Academy, USA – Stable Sparse Interpolation with Fewer Samples
• Olivier Ruatta, Université de Limoges, France – On two different problems and methods for approximate GCD
• Dan Steffy, Zuse Institute Berlin, Germany and Oakland University, USA – Exact solutions to mixed-integer linear programming problems
• Katya Vladislavleva, Evolved Analytics, Belgium – Symbolic regression for modeling complex continuous and discrete- continuous systems
• Min Wu, East China Normal University, Shanghai, China – Exact Safety Verification of Hybrid Systems via Symbolic-Numeric Method

Tutorial Speakers

• Anton Leykin, Georgia Tech, USA – Numerical Algebraic Geometry
• Steve Vavasis, University of Waterloo, Canada – Condition numbers in the solution of polynomial equations

Tutorials will be appropriate for graduate students and researchers looking to explore some conference themes in depth.

Titles and abstracts for all talks are being posted here as they become available.

Program and Schedule

The conference will be held in room DC1302 on the main floor of the William G. Davis Centre. Registration, breaks, and reception will be in DC 1301, or the "fishbowl", the big glass-enclosed room on the main floor. See below for directions to the conference site.

The program will be comprised of tutorials, invited senior speakers, invited early career speakers. There will also be time and opportunity
for interaction and collaboration.

Registration

The workshop is free to attend, but we request that you please register as soon as possible so that we can arrange refreshments and facilities. To register please fill out the form at the bottom of this page.

Posters and Software Demonstrations

Proposals are invited for poster presentations and software demonstrations on topics related to symbolic-numeric methods.

Venue, Parking, Directions and Travel

This workshop will be held in room DC1302 on the main floor of the Davis Centre on the main campus of the University of Waterloo. Directions to the campus and a campus map can be found here. The Davis Centre is on the east side of campus, and is labelled DC on the map. Visitor parking is available at K Lot, OV or X Lot (north of the Davis Centre) and costs $5.

US Citizens should note that under the newest provisions of the Western Hemisphere Travel Initiative you will need a valid US passport to return to the United States (even if traveling by car).

Some useful (but slightly out of date) information on travel to Waterloo by air and ground is available on the ISSAC 2007 page.

There are plenty of interesting restaurants near campus, and in Uptown Waterloo. A mini-guide is found here.

Accommodation

A number of reasonably priced hotels are in the University of Waterloo area, many of which have a "University of Waterloo rate" (just ask). Some possibilities are:

• St. Paul's Guest Rooms – a number of pleasant hotel rooms are available on the UW campus at reasonable cost.
• Waterloo Hotel – beautifully refurbished hotel in the centre of uptown Waterloo. Pleasant 2km walk to campus
• Waterloo Inn – nice modern hotel in north Waterloo. 4km north of campus.
• Destination Inn Waterloo – hotel 5km north of campus.
• Comfort Inn Waterloo – hotel 3 km east of campus.
• Best Western St Jacobs Country Inn – very nice hotel near farmer's markets. 6km north of campus.

Sponsors

This workshop is sponsored by:

• The Fields Institute
• The Cheriton School of Computer Science, University of Waterloo
• The Faculty of Mathematics, University of Waterloo
• Maplesoft Inc.
• Wolfram Research

Organizers

• Mark Giesbrecht (Organizing Chair), University of Waterloo, Canada
• Erich Kaltofen, North Carolina State University, USA
• George Labahn, University of Waterloo, Canada
• Daniel Lichtblau, Wolfram Research, USA
• Lihong Zhi, Chinese Academy of Sciences, China

Contact

For more information, email fields-hybrid-2011@uwaterloo.ca

Other Related Conferences

• SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, November 17-19, 2010
• SNC 2011, June 7-9, 2011
• ISSAC 2011, June 8-11, 2011
• SIAM Conference on Applied Algebraic Geometry, October 6-9, 2011

---