Fields Logo

Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation

November 16-19, 2011
The University of Waterloo, Waterloo, Ontario, Canada

UW Logo

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

Young Researchers

Tutorial Speakers

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.


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.


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:


This workshop is sponsored by:



For more information, email

Other Related Conferences