From: Johan Jeuring <J.T.Jeuring@uu.nl>
To: <acl2@utlists.utexas.edu>, ARCHIVES-FR <adbs-info@cru.fr>,
<agbkb@informatik.uni-bremen.de>, <agda@lists.chalmers.se>,
<appsem@lists.tcs.ifi.lmu.de>, <asl@vassar.edu>, <cade@itu.dk>,
<caml-list@inria.fr>, <ccl@ps.uni-sb.de>, <clp@comp.nus.edu.sg>
Subject: [Caml-list] CICM 2012: Programme details on-line, last call for participation
Date: Mon, 2 Jul 2012 16:21:35 +0200 [thread overview]
Message-ID: <9C86F650-AAAE-49F0-899D-5BD139F1C71F@uu.nl> (raw)
In-Reply-To: <F142D1D4-431A-464F-B013-0DF5DDBD0677@uu.nl>
The detailed programme of CICM 2012 is now on-line.
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=detailed-programme
If you want to attend CICM 2012, and haven't registered yet, please do so as soon as possible:
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration
Johan Jeuring
General program chair for CICM 2012
prev parent reply other threads:[~2012-07-02 14:21 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-21 12:56 [Caml-list] CICM 2012: Call " Johan Jeuring
2012-06-11 14:27 ` [Caml-list] CICM 2012: 2nd Call for participation; early registration deadline approaching Johan Jeuring
2012-07-02 14:21 ` Johan Jeuring [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=9C86F650-AAAE-49F0-899D-5BD139F1C71F@uu.nl \
--to=j.t.jeuring@uu.nl \
--cc=acl2@utlists.utexas.edu \
--cc=adbs-info@cru.fr \
--cc=agbkb@informatik.uni-bremen.de \
--cc=agda@lists.chalmers.se \
--cc=appsem@lists.tcs.ifi.lmu.de \
--cc=asl@vassar.edu \
--cc=cade@itu.dk \
--cc=caml-list@inria.fr \
--cc=ccl@ps.uni-sb.de \
--cc=clp@comp.nus.edu.sg \
/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