Se realizará una actividad previa al Congreso, cuyas características son las siguientes:
| Taller sobre "Implementation of symbolic computation systems in Common Lisp". | ||||||
| Impartido por Francis Sergeraert del Institut Fourier (Grenoble). | ||||||
| Fecha: 11 de Septiembre de 2001. Hora : 16:00. | ||||||
| Título general: "Typing in Common Lisp with respect to Mathematics". | ||||||
| 1ª Conferencia: "Types, structures and classes in Common Lisp". | ||||||
| 2ª Conferencia: "How the Lisp typing strategy is used in the Kenzo program". | ||||||
| El evento tendrá lugar en: | ||||||
|
Los interesados en participar en el taller, pueden ponerse en contacto con la organización para acordar los aspectos correspondientes al alojamiento.