<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">This is a one-time announcement regarding the creation of a local<br>special interest group serving the Texas/Oklahoma/New Mexico area.<br>The goals of this group are:<br><br> - Bring together researchers, students, and practitioners<br> - Provide a local forum for sharing research and teaching ideas<br> - Cover topics such as programming languages, theorem proving,<br>formal methods, etc<br><br>To join this group, please sign up at the mailing list link available at:<br><br><a href="http://resource-aware.org/twiki/bin/view/ProgrammingLanguages/MEPLS">http://resource-aware.org/twiki/bin/view/ProgrammingLanguages/MEPLS</a><br><br>All future announcements relating to MEPLS will be made on this<br>mailing list.<br><br>After signing up, please take a look at the (brief) currently outline for<br>the format of the next meeting. If you have any comments about the<br>plans, please email <a href="mailto:taha@rice.edu">taha @ rice.edu</a>.<br></body></html>