From: Emir Pasalic <emir.pasalic@logicblox.com>
To: prog-lang@diku.dk, caml-list@yquem.inria.fr,
boost@lists.boost.org, oon-list@oonumerics.org,
planetmde@imag.fr, haskell-cafe@haskell.org,
eCommerce List <eCommerce_List@noresponse.cl>,
gpce-news@cs.rice.edu, aiia@di.unito.it, amast@cs.utwente.nl,
announce@aosd.net, announcements@oopsla.acm.org,
appiar@ncc.up.pt, cgn-talk@yahoogroups.com, clean-list@cs.kun.nl,
clp@comp.nus.edu.sg, compulog@doc.imperial.ac.uk,
compulognet-parimp@dia.fi.upm.es, compunode@compulog.org,
compunode@dfki.de, concurrency@cwi.nl,
coq-club@pauillac.inria.fr, cphc-conf@jiscmail.ac.uk,
csl@dbai.tuwien.ac.at, cs-logic@cs.indiana.edu,
curry@informatik.rwth-aachen.de, dbworld@cs.wisc.edu,
eapls@jiscmail.ac.uk, ecoop-info@ecoop.org, forum@jsoftware.com,
fsdm@cs.uq.oz.au, gnome-announce-list@gnome.org,
gulp@di.unipi.it, haskell@haskell.org, lande@irisa.fr,
lcs@cis.upenn.edu, lfcs-interest@dcs.ed.ac.uk,
logic-list@cs.rice.edu, logic@theory.lcs.mit.edu,
mercury-ads@cs.mu.oz.au, plt-scheme@fast.cs.utah.edu,
pept@kb.ecei.tohoku.ac.jp, python-announce-list@python.org,
seworld@cs.colorado.edu, stratego@cs.uu.nl,
template-haskell@haskell.org, theory-logic@cs.cmu.edu,
types-wg@durham.ac.uk, types@cis.upenn.edu
Subject: Middle Earth Programming Languages Seminar (MEPLS)
Date: Wed, 18 Jun 2008 16:54:52 -0400 [thread overview]
Message-ID: <973710B7-FF8F-40BC-A5F9-5954C7E47B53@logicblox.com> (raw)
[-- 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 --]
next reply other threads:[~2008-06-18 20:56 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-18 20:54 Emir Pasalic [this message]
2008-06-18 20:56 Emir Pasalic
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=973710B7-FF8F-40BC-A5F9-5954C7E47B53@logicblox.com \
--to=emir.pasalic@logicblox.com \
--cc=aiia@di.unito.it \
--cc=amast@cs.utwente.nl \
--cc=announce@aosd.net \
--cc=announcements@oopsla.acm.org \
--cc=appiar@ncc.up.pt \
--cc=boost@lists.boost.org \
--cc=caml-list@yquem.inria.fr \
--cc=cgn-talk@yahoogroups.com \
--cc=clean-list@cs.kun.nl \
--cc=clp@comp.nus.edu.sg \
--cc=compulog@doc.imperial.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=compunode@compulog.org \
--cc=compunode@dfki.de \
--cc=concurrency@cwi.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=cs-logic@cs.indiana.edu \
--cc=csl@dbai.tuwien.ac.at \
--cc=curry@informatik.rwth-aachen.de \
--cc=dbworld@cs.wisc.edu \
--cc=eCommerce_List@noresponse.cl \
--cc=eapls@jiscmail.ac.uk \
--cc=ecoop-info@ecoop.org \
--cc=forum@jsoftware.com \
--cc=fsdm@cs.uq.oz.au \
--cc=gnome-announce-list@gnome.org \
--cc=gpce-news@cs.rice.edu \
--cc=gulp@di.unipi.it \
--cc=haskell-cafe@haskell.org \
--cc=haskell@haskell.org \
--cc=lande@irisa.fr \
--cc=lcs@cis.upenn.edu \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=logic-list@cs.rice.edu \
--cc=logic@theory.lcs.mit.edu \
--cc=mercury-ads@cs.mu.oz.au \
--cc=oon-list@oonumerics.org \
--cc=pept@kb.ecei.tohoku.ac.jp \
--cc=planetmde@imag.fr \
--cc=plt-scheme@fast.cs.utah.edu \
--cc=prog-lang@diku.dk \
--cc=python-announce-list@python.org \
--cc=seworld@cs.colorado.edu \
--cc=stratego@cs.uu.nl \
--cc=template-haskell@haskell.org \
--cc=theory-logic@cs.cmu.edu \
--cc=types-wg@durham.ac.uk \
--cc=types@cis.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).