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 demonstrations
For 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