* Middle Earth Programming Languages Seminar (MEPLS)
@ 2008-06-18 20:56 Emir Pasalic
0 siblings, 0 replies; 2+ messages in thread
From: Emir Pasalic @ 2008-06-18 20:56 UTC (permalink / raw)
To: prog-lang, caml-list, boost, oon-list, planetmde, haskell-cafe,
eCommerce List, gpce-news, aiia, amast, announce, announcements,
appiar, cgn-talk, clean-list, clp, compulog, compulognet-parimp,
compunode, compunode, concurrency, coq-club, cphc-conf, csl,
cs-logic, curry, dbworld, eapls, ecoop-info, forum, fsdm,
gnome-announce-list, gulp, haskell, lande, lcs, lfcs-interest,
logic-list, logic, mercury-ads, plt-scheme, pept,
python-announce-list, seworld, stratego, template-haskell,
theory-logic, types-wg, types
[-- Attachment #1: Type: text/plain, Size: 784 bytes --]
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.
[-- Attachment #2: Type: text/html, Size: 1114 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Middle Earth Programming Languages Seminar (MEPLS)
@ 2008-06-18 20:54 Emir Pasalic
0 siblings, 0 replies; 2+ messages in thread
From: Emir Pasalic @ 2008-06-18 20:54 UTC (permalink / raw)
To: prog-lang, caml-list, boost, oon-list, planetmde, haskell-cafe,
eCommerce List, gpce-news, aiia, amast, announce, announcements,
appiar, cgn-talk, clean-list, clp, compulog, compulognet-parimp,
compunode, compunode, concurrency, coq-club, cphc-conf, csl,
cs-logic, curry, dbworld, eapls, ecoop-info, forum, fsdm,
gnome-announce-list, gulp, haskell, lande, lcs, lfcs-interest,
logic-list, logic, mercury-ads, plt-scheme, pept,
python-announce-list, seworld, stratego, template-haskell,
theory-logic, types-wg, types
[-- Attachment #1: Type: text/plain, Size: 784 bytes --]
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.
[-- Attachment #2: Type: text/html, Size: 1114 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2008-06-18 20:56 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-06-18 20:56 Middle Earth Programming Languages Seminar (MEPLS) Emir Pasalic
-- strict thread matches above, loose matches on Subject: below --
2008-06-18 20:54 Emir Pasalic
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).