CFP: Eight International Conference on Computer Aided Systems Theory

[Juan J. Quintela]

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