caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Martin Jambon <martin.jambon@ens-lyon.org>
To: "Zantema, H." <h.zantema@tue.nl>
Cc: Herman Geuvers <herman@cs.ru.nl>,
	 "appsem@tcs.informatik.uni-muenchen.de"
	<appsem@tcs.informatik.uni-muenchen.de>,
	"caml-list@inria.fr" <caml-list@inria.fr>,
	 "categories@mta.ca" <categories@mta.ca>,
	"concurrency@cwi.nl" <concurrency@cwi.nl>,
	 "haskell-owner@haskell.org" <haskell-owner@haskell.org>,
	"lics@informatik.hu-berlin.de" <lics@informatik.hu-berlin.de>,
	 "linear@cs.stanford.edu" <linear@cs.stanford.edu>,
	"logic@cs.stanford.edu" <logic@cs.stanford.edu>,
	 "types-announce@lists.seas.upenn.edu"
	<types-announce@lists.seas.upenn.edu>,
	"logic@math.uni-bonn.de" <logic@math.uni-bonn.de>
Subject: Re: [Caml-list] call for workshops RDP = RTA + TLCA
Date: Fri, 02 Nov 2012 09:10:55 -0700	[thread overview]
Message-ID: <5093F08F.8020908@ens-lyon.org> (raw)
In-Reply-To: <7DF2365FF07C0E4E89419D65CCC93C9E0196DA895E98@EXCHANGE11.campus.tue.nl>

May I ask conference promoters to be kind enough to at least include an 
informative subject line when they email random individuals and groups?

PLEASE INCLUDE THE FULL NAME OF YOUR OBSCURE CONFERENCE IN THE SUBJECT!

Thank you for your understanding,

Love,

Martin

On Fri 02 Nov 2012 02:25:55 AM PDT, Zantema, H. wrote:
> Call for Workshops RDP 2013: RTA + TLCA
>
> June 23 to June 28, 2013, Eindhoven, The Netherlands
>
>
> RDP 2013 http://www.win.tue.nl/rdp2013/ is the seventh edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences RTA (Rewriting Techniques and Applications), June 24-26, and TLCA (Typed Lambda Calculi and Applications), June 26-28.
>
> Workshop proposals for RDP 2013 are solicited for the days June 24 (Monday), June 25 (Tuesday), June 27 (Thursday) and June 28 (Friday).
>
> Both well-established workshops and newer ones are encouraged. Also system competition proposals are solicited.
>
> Due to the overlap with the conferences, workshops most related to TLCA are expected to be on June 24 and 25, and workshops most related to RTA are expected to be on June 27 and 28.
>
> If you want to organize a workshop, please send the following information to Hans Zantema h.zantema@tue.nl, no later than December 1, 2012:
> * Workshop title and description of the topic,
> * Names and affiliations of the organizers, and
> * Proposed workshop duration (from half a day to two days).
>
> Notification date: December 20.
>
> _________________________________________________________
> Prof Dr Hans Zantema
> Technische Universiteit Eindhoven / Radboud Universiteit Nijmegen Primary address: Department of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands
> e-mail: H.Zantema@tue.nl, homepage: www.win.tue.nl/~hzantema
> office: Metaforum room 7.067, tel: (040)2472749
>
>
>



      reply	other threads:[~2012-11-02 16:11 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <7DF2365FF07C0E4E89419D65CCC93C9E0196DA895D5B@EXCHANGE11.campus.tue.nl>
2012-11-02  9:25 ` Zantema, H.
2012-11-02 16:10   ` Martin Jambon [this message]

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=5093F08F.8020908@ens-lyon.org \
    --to=martin.jambon@ens-lyon.org \
    --cc=appsem@tcs.informatik.uni-muenchen.de \
    --cc=caml-list@inria.fr \
    --cc=categories@mta.ca \
    --cc=concurrency@cwi.nl \
    --cc=h.zantema@tue.nl \
    --cc=haskell-owner@haskell.org \
    --cc=herman@cs.ru.nl \
    --cc=lics@informatik.hu-berlin.de \
    --cc=linear@cs.stanford.edu \
    --cc=logic@cs.stanford.edu \
    --cc=logic@math.uni-bonn.de \
    --cc=types-announce@lists.seas.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).