1 July - 31 December 1995

**Organisers**: S Abramsky (*Imperial College, London*), G Kahn (*INRIA, Sophia-Antipolis*), J C Mitchell (*Stanford*), A M Pitts (*Cambridge*)

- 0900-0945 Registration, coffee
- 0945-1000 Welcome
- 1000-1100 Anthony BLOCH, University of Michigan "Discrete computations and smooth Hamiltonian and gradient flows"
- 1100-1200 Abbas EDALAT, Imperial College London "Dynamical systems, measures and fractals via domain theory"
- 1200-1300 Lunch
- 1300-1430 Free period
- 1430-1530 Prakash PANANGADEN, McGill University "Formal Feynman diagrams and proof normalization in linear logic"
- 1530-1600 Pawel SIWAK, Poznan University of Technology "Filter automata and their particles"
- 1600-1630 Jeremy GUNAWARDENA, BRIMS HP Labs Bristol "Digital circuits and nonexpansive maps"
- 1630-1700 Tea
- 1700-1800 INSTITUTE SEMINAR --- for a general scientific audience (not part of the workshop but participants might be interested) Paul FIFE, University of Utah "The peculiar dynamics of the Kahn-Hilliard equation"

- 0900-1000 Steve SMALE, UC Berkeley "Blum-Shub-Smale theory"
- 1000-1100 Mike SHUB, IBM Yorktown Heights "Complexity and Bezout's Theorem"
- 1100-1130 Coffee
- 1130-1230 Mikhail GROMOV, IHES Paris Title to be announced
- 1230-1330 Jacques SAKAROVITCH, LITP Paris "On the writing of numbers"
- 1330-1430 Lunch
- 1430-1600 Free period
- 1600-1630 Tea
- 1630-1700 Sergei TSAREV, Krasnoyarsk "Factorization of linear ODEs: old (mathematical) results and their modern computer echo"
- 1700-1730 Yuliy BARYSHNIKOV, University of Hull "Complexity of trajectories in rectangular billiards"
- 1800-1930 RECEPTION at Cambridge University Press

- 0900-1000 Eric GOUBAULT, ENS Paris "Scheduling problems and homotopy theory"
- 1000-1100 Sergio RAJSBAUM, UNAM Mexico "Algebraic topology and distributed computing"
- 1100-1130 Coffee
- 1130-1230 Yves LAFONT, University of Marseille "Homological methods and word problems"
- 1230-1330 Vaughan PRATT, Stanford University "Computational and dynamical interpretations of mathematical structures"
- 1330-1430 Lunch
- 1430-1600 Free period
- 1600-1630 Tea
- 1630-1700 Michael MANTHEY, Aalborg University "Distributed computation and the twisted isomorphism"
- 1700-1730 Mike ATKINSON, University of St-Andrews "The combinatorics of abstract data types"
- 1730-1800 Ursula MARTIN, University of St-Andrews "Termination and invariants"

- 0900-1000 Jean-Yves GIRARD, University of Marseille "Geometry of proofs"
- 1000-1100 Gianfranco MASCARI, University of Rome "Dynamics of Computational Processes"
- 1100-1130 Coffee
- 1130-1230 John BAEZ, UC Riverside "n-categories in logic, topology and physics"
- 1230-1330 Peter FREYD, University of Pennsylvania "Computer science contradicts mathematics"
- 1330-1445 Lunch
- 1445-1515 Michael SINTZOFF, Catholic University of Louvain "Invariance, termination and time refinement in structured dynamical systems"
- 1515-1615 Richard JOSZA, University of Plymouth "Quantum computation and Shor's factoring algorithm"
- 1630-1730 Peter FREYD, TTBA
- 1930 for 2000 WORKSHOP DINNER at the Newton Institute (Thanksgiving dinner)

- 0900-0930 Peter GIBLIN, University of Liverpool "Recent work of Izumaya and Sano on affine differential geometry in the plane"
- 0930-1000 Benoit DUBUC, McGill University "From curve complexity to perceptual grouping"
- 1000-1100 Henk HEIJMANS, CWI Amsterdam "Theoretical aspects of morphological image processing"
- 1100-1130 Coffee
- 1130-1230 Guillermo SAPIRO, HP Labs Palo Alto "Geometric flows: theory and applications in computer vision and image processing"
- 1230-1330 Peter OLVER, University of Minnesota "Differential invariants in computer vision"
- 1330-1430 Lunch