From: Jean-Vincent Loddo <Jean-vincent.Loddo@lipn.univ-paris13.fr>
To: Pierre-Louis Curien <Pierre-Louis.Curien@pps.jussieu.fr>,
Emmanuel Chailloux <Emmanuel.Chailloux@pps.jussieu.fr>,
Roberto Cosmo <dicosmo@pps.jussieu.fr>,
Pierre-Etienne.Moreau@loria.fr, Pierre.Weis@inria.fr, mbl@lri.fr,
Alain Frisch <Alain.Frisch@inria.fr>,
Judicael.Courant@imag.fr,
Philippe Narbel <philippe.narbel@labri.fr>,
Jean-Christophe.Filliatre@lri.fr, Manuel.Serrano@sophia.inria.fr,
Xavier Leroy <xavier.leroy@inria.fr>,
Michel Mauny <Michel.Mauny@inria.fr>,
Tom Hirschowitz <Tom.Hirschowitz@ens-lyon.fr>,
Delia Kesner <Delia.Kesner@pps.jussieu.fr>,
Benjamin.Werner@inria.fr, Jerome.Vouillon@pps.jussieu.fr,
Francesco Nardelli <Francesco.Zappa.Nardelli@ens.fr>,
danos@pps.jussieu.fr, Juliusz.Chroboczek@pps.jussieu.fr,
manoury@pps.jussieu.fr, Vincent.Balat@pps.jussieu.fr,
Sylvain.Baro@pps.jussieu.fr,
Francisco Alberti <f.alberti@noos.fr>,
Benjamin Werner <benjamin.werner@inria.fr>,
caml-list@inria.fr
Cc: Christophe Fouquere <Christophe.Fouquere@lipn.univ-paris13.fr>,
Jean-Vincent Loddo <Jean-vincent.Loddo@lipn.univ-paris13.fr>
Subject: Proposition de postdoc Paris-Pise
Date: Tue, 20 Feb 2007 20:16:08 +0100 [thread overview]
Message-ID: <200702202016.10782.loddo@lipn.univ-paris13.fr> (raw)
[-- Attachment #1: Type: text/plain, Size: 1399 bytes --]
Bonjour à tous,
Veuillez trouver ci-joint une proposition de Post-Doc (12-24 mois) à effectuer
au laboratoire LIPN de l'université Paris 13 et en partie à Pise au siège
d'une société italienne à partir (environ) de mai 2007.
La proposition est ouverte aux docteurs ayant réalisé leur thèse en France
dans un laboratoire ou unité mixte CNRS.
Le travail demandé concerne plusieurs aspects de la définition et de
l'implémentation (en OCaml) d'un langage dédié à la programmation de sites et
services web dans un style fonctionnel avec typage statique. Les détails de
la proposition sont développés dans le document attaché (cf fichier joint).
Les docteurs intéressés pourrons contacter
Christophe Fouquere (cf@lipn.univ-paris13.fr) ou Jean-Vincent Loddo
(loddo@lipn.univ-paris13.fr).
Merci de diffuser aux personnes et laboratoires intéressés par la thématique.
J.V. Loddo
============================================
Jean-Vincent Loddo
Maître de Conférence
LIPN - UMR 7030
Université Paris-Nord
F-93430 Villetaneuse
FRANCE
--------------------------------------------
tel : +33 1 49 40 36 84
fax : +33 1 48 26 07 12
e-mail : loddo@lipn.univ-paris13.fr
--------------------------------------------
Office location:
Bureau 207
Bât. A, 2-ème étage
LIPN - Institut Galilée
Université Paris-Nord
============================================
[-- Attachment #2: proposition-postdoc.pdf --]
[-- Type: application/pdf, Size: 97766 bytes --]
reply other threads:[~2007-02-20 19:13 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=200702202016.10782.loddo@lipn.univ-paris13.fr \
--to=jean-vincent.loddo@lipn.univ-paris13.fr \
--cc=Alain.Frisch@inria.fr \
--cc=Benjamin.Werner@inria.fr \
--cc=Christophe.Fouquere@lipn.univ-paris13.fr \
--cc=Delia.Kesner@pps.jussieu.fr \
--cc=Emmanuel.Chailloux@pps.jussieu.fr \
--cc=Francesco.Zappa.Nardelli@ens.fr \
--cc=Jean-Christophe.Filliatre@lri.fr \
--cc=Jerome.Vouillon@pps.jussieu.fr \
--cc=Judicael.Courant@imag.fr \
--cc=Juliusz.Chroboczek@pps.jussieu.fr \
--cc=Manuel.Serrano@sophia.inria.fr \
--cc=Michel.Mauny@inria.fr \
--cc=Pierre-Etienne.Moreau@loria.fr \
--cc=Pierre-Louis.Curien@pps.jussieu.fr \
--cc=Pierre.Weis@inria.fr \
--cc=Sylvain.Baro@pps.jussieu.fr \
--cc=Tom.Hirschowitz@ens-lyon.fr \
--cc=Vincent.Balat@pps.jussieu.fr \
--cc=caml-list@inria.fr \
--cc=danos@pps.jussieu.fr \
--cc=dicosmo@pps.jussieu.fr \
--cc=f.alberti@noos.fr \
--cc=manoury@pps.jussieu.fr \
--cc=mbl@lri.fr \
--cc=philippe.narbel@labri.fr \
--cc=xavier.leroy@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;
as well as URLs for NNTP newsgroup(s).