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
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
