EUROCAST 2001
February 19-23, 2001
Casa de Colon, Las Palmas de Gran Canaria
Canary Islands, Spain
Formal Methods and Tools for Computer Science
This is the 8th International Conference on Computer Aided Systems
Theory. Visit the Website at
http://www.ulpgc.es/congresos/eurocast2001
to get the full details.
Four Workshops are scheduled: (best to check the Web site for the
details of Workshop topics)
Workshop "CAST": Computer Aided Systems Theory/Technology
Chairman: Professor Franz Pichler, Johannes Kepler University, Linz
Workshop "ASM": Abstract State Machines
Chairman: Professor Uwe Glasser, Heinz Nixdorf Institut, Paderborn
Workshop "CAL": Computer Algebra Algorithms
Chairman: Professor Bruno Buchberger, Johannes Kepler University, Linz
Workshop "FP": Functional Programming and I Calculus
Chairman: Professor Jose Luis Freire-Nistal, Universidade Da Coruna.
The EUROCAST Conferences are very well organised; several interesting
and enjoyable events are organised for your pleasure, usually funded by
various government and industry groups; good hotels in Las Palmas at
very reasonable prices for Conference attendees; nice beach and cafes where
you can have your in-depth scientific discussions; well attended; you may
even get into the Mardi Gras spirit; and papers published in
Springer-Verlag LNCS.
Mark this event in your calendar NOW! It's for YOU!
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|