Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2008-06-18 (20:56)
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  

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  
the format of the next meeting.  If you have any comments about the
plans, please email taha @