CFP: Eight International Conference on Computer Aided Systems Theory
Juan J. Quintela
24 Oct 2000 06:48:25 +0200
The following message is a courtesy copy of an article
that has been posted to comp.lang.ml,comp.lang.functional as well.
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.
CALL FOR PAPERS
Eight International Conference on Computer Aided Systems Theory
Formal Methods and Tools for Computer Science
See the webpage at:
The topics for the workshop are:
Contributions addressing to the following and similar issues:
1.Concurrency. Distributed and web applications.
2.Verification:tools and methods.
4.Typing and theoretical foundations.
You only have to send one extended abstract before the:
In theory, practice and theory are the same, but in practice they
are different -- Larry McVoy