[clean-list] Middle Earth Programming Languages Seminar (MEPLS)
Emir Pasalic
emir.pasalic at logicblox.com
Wed Jun 18 22:54:52 MEST 2008
This is a one-time announcement regarding the creation of a local
special interest group serving the Texas/Oklahoma/New Mexico area.
The goals of this group are:
- Bring together researchers, students, and practitioners
- Provide a local forum for sharing research and teaching ideas
- Cover topics such as programming languages, theorem proving,
formal methods, etc
To join this group, please sign up at the mailing list link available
at:
http://resource-aware.org/twiki/bin/view/ProgrammingLanguages/MEPLS
All future announcements relating to MEPLS will be made on this
mailing list.
After signing up, please take a look at the (brief) currently outline
for
the format of the next meeting. If you have any comments about the
plans, please email taha @ rice.edu.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20080618/9b2c6fe3/attachment.html
More information about the clean-list
mailing list