SCHEDULE: 8:00 - 9:30 Registration and breakfast 9:30 - 10:30 The Power of Examples: $\sqrt{2}+\sqrt{3}$ from Four Different Viewpoints, by Susan Landau 10:30 - 11:00 break 11:00 - 11:30 posters and demonstrations 11:30 - 12:30 Computing with large systems of linear Diophantine equations, by Mark Giesbrecht 12:30 - 2:30 Lunch 2:30 - 3:30 Theorem Prover Support for Computer Algebra Systems, by Robert L. Constable 3:30 - 4:00 break 4:00 - 5:00 posters and demonstrationsFor those who are interested, we will then organize groups to go to dinner at local restaurants.
Conference Officers: General organizer: Gene Cooperman Local arrangements chair: Gretchen Ostheimer Vendors and demonstrations chair: Giampiero Pecelli Northeastern University coordinator: Sergey Bratus Registration: Diane Burke Advisory board: Bob Caviness, Sam Dooley, David Saunders, Stephen Watt
Please note the other URL's