Version française
Home     About     Download     Resources     Contact us    
Browse thread
Middle Earth Programming Languages Seminar (MEPLS)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Emir Pasalic <emir.pasalic@l...>
Subject: Middle Earth Programming Languages Seminar (MEPLS)
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.