From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 2B13ABB84 for ; Wed, 18 Jun 2008 22:56:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQCAAkTWUgmaAAeiGdsb2JhbACCPjWPUgEBAQ8gnx0 X-IronPort-AV: E=Sophos;i="4.27,667,1204498800"; d="scan'208,217";a="12257100" Received: from vpn.predictix.com (HELO email.predictix.com) ([38.104.0.30]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Jun 2008 22:56:13 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by email.predictix.com (Postfix) with ESMTP id E60A226283B6; Wed, 18 Jun 2008 16:56:12 -0400 (EDT) X-Virus-Scanned: amavisd-new at Received: from email.predictix.com ([127.0.0.1]) by localhost (email.predictix.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id nYp5bNFgXN4w; Wed, 18 Jun 2008 16:56:08 -0400 (EDT) Received: from [192.168.1.2] (64_30_165_56.hyperband.com [64.30.165.56]) by email.predictix.com (Postfix) with ESMTP id E485D26283E5; Wed, 18 Jun 2008 16:56:06 -0400 (EDT) Message-Id: <973710B7-FF8F-40BC-A5F9-5954C7E47B53@logicblox.com> From: Emir Pasalic 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 , 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 Content-Type: multipart/alternative; boundary=Apple-Mail-4--707909152 Mime-Version: 1.0 (Apple Message framework v924) Subject: Middle Earth Programming Languages Seminar (MEPLS) Date: Wed, 18 Jun 2008 16:54:52 -0400 X-Mailer: Apple Mail (2.924) X-Spam: no; 0.00; taha:01 taha:01 oklahoma:98 oklahoma:98 bin:01 bin:01 theorem:02 theorem:02 languages:03 languages:03 programming:03 programming:03 proving:05 proving:05 middle:94 --Apple-Mail-4--707909152 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit 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. --Apple-Mail-4--707909152 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: quoted-printable 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.
= --Apple-Mail-4--707909152--