The following message is a courtesy copy of an article that has been posted to comp.lang.ml,comp.lang.functional as well. Dear Colleagues, I would be most grateful if you would distribute the appended Call For Papers to your colleagues (and/or any mailing lists you see appropriate). Any help in distributing the Call For Papers would be most appreciated. Kindest regards, Juan Quintela CALL FOR PAPERS --------------- Eight International Conference on Computer Aided Systems Theory Formal Methods and Tools for Computer Science See the webpage at: http://azuaje.ulpgc.es/congresos/eurocast2001/ The topics for the workshop are: Workshop "FP" Contributions addressing to the following and similar issues: 1.Concurrency. Distributed and web applications. 2.Verification:tools and methods. 3.Persistence. 4.Typing and theoretical foundations. You only have to send one extended abstract before the: 31 October. -- In theory, practice and theory are the same, but in practice they are different -- Larry McVoy