From: "Jean-Christophe Filliâtre" <Jean-Christophe.Filliatre@lri.fr>
To: Vincent Balat <Vincent.Balat@pps.jussieu.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] [Re: First OCaml meeting in Paris ?] at ENST
Date: Fri, 21 Dec 2007 20:14:22 +0100 [thread overview]
Message-ID: <476C108E.4030906@lri.fr> (raw)
In-Reply-To: <200712211810.55595.balat@pps.jussieu.fr>
Vincent Balat a écrit :
> The 26th of january is the first day of JFLA, (a french conference on
> functional programming, where many ocaml hackers go).
> http://jfla.inria.fr/2008/index.html
> So I guess this is not a good date for the ocaml meeting ... or many of us
> won't be able to attend the meeting.
It is right that it clashes with JFLA. But the first two days at JFLA
are devoted to lectures, so some people do not attend JFLA all 4 days
but only the last two. Since Sylvain already booked a room at ENST, may
be we could first ask people not able to attend the meeting because of
JFLA to react immediately, so that we know how many they are (including
yourself, of course).
> Why not take the time to organize the event? And invite a few speakers
> and give them a few months to prepare their talks?
We could do both :-) First a rather informal meeting on Jan 26, and
later a more formal conference with invited speakers.
--
Jean-Christophe Filliâtre
http://www.lri.fr/~filliatr/
next prev parent reply other threads:[~2007-12-21 19:14 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-12-21 15:29 First OCaml meeting in Paris ? David Teller
2007-12-21 16:03 ` [Re: First OCaml meeting in Paris ?] at ENST Sylvain Le Gall
2007-12-21 16:53 ` [Caml-list] " Berke Durak
2007-12-21 17:10 ` Vincent Balat
2007-12-21 19:14 ` Jean-Christophe Filliâtre [this message]
2007-12-22 8:25 ` Sylvain Le Gall
2007-12-22 17:11 ` [Caml-list] " Hezekiah M. Carty
2007-12-22 17:17 ` Sylvain Le Gall
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=476C108E.4030906@lri.fr \
--to=jean-christophe.filliatre@lri.fr \
--cc=Vincent.Balat@pps.jussieu.fr \
--cc=caml-list@inria.fr \
/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