From: Christophe Raffalli <raffalli@univ-savoie.fr>
To: types-announce@lists.seas.upenn.edu, caml-list@inria.fr,
haskell@haskell.org, gdr-im@gdr-im.fr
Cc: Pierre Hyvernat <Pierre.Hyvernat@univ-savoie.fr>,
Rodolphe Lepigre <Rodolphe.Lepigre@univ-savoie.fr>
Subject: [Caml-list] Call for participation to PLRR 2016 (hosted by CSL)
Date: Thu, 28 Jul 2016 12:52:48 +0200 [thread overview]
Message-ID: <20160728105248.GF2154@delli7.univ-savoie.fr> (raw)
[-- Attachment #1: Type: text/plain, Size: 1939 bytes --]
=======================================================================
CALL FOR PARTICIPATION
Workshop PLRR 2016
Parametricity, Logical Relations & Realizability
September 2, Marseille, France
http://lama.univ-savoie.fr/~hyvernat/PLRR2016
Satellite workshop - CSL 2016
http://csl16.lif.univ-mrs.fr/
BACKGROUND
The workshop PLRR 2016 aims at presenting recent work on parametricity,
logical relations and realizability, and encourage interaction between
those communities.
The areas of interest include, but are not limited to:
* Kleene's intuitionistic realizability,
* Krivine's classical realizability,
* other extensions of the Curry-Howard correspondence,
* links between forcing and the Curry-Howard correspondence,
* parametricity,
* logical relations,
* categorical models,
* applications to programming languages.
INVITED SPEAKERS
Neil Ghani (University of Strathclyde)
Nick Benton (Microsoft Research, Cambridge)
PROGRAM
It is available at
http://www.lama.univ-smb.fr/plrr2016/program.html
REGISTRATION
via the main CSL 2016 website:
http://csl16.lif.univ-mrs.fr/
VENUE
Collocated with CSL 2016, hosted by Aix-Marseille Université. Both the
main conference and its satellite workshops will be held in the city
center campus of the Faculty of Science (Central Building).
SCIENTIFIC COMMITTEE
Pierre Hyvernat (Université Savoie Mont Blanc)
Rodolphe Lepigre (Université Savoie Mont Blanc)
Alexandre Miquel (Universidad de la República, Montevideo)
Christophe Raffalli (Université Savoie Mont Blanc)
Thomas Streicher (Technische Universität Darmstadt)
CONTACT
Pierre.Hyvernat@univ-smb.fr
=======================================================================
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 181 bytes --]
reply other threads:[~2016-07-28 10:52 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=20160728105248.GF2154@delli7.univ-savoie.fr \
--to=raffalli@univ-savoie.fr \
--cc=Pierre.Hyvernat@univ-savoie.fr \
--cc=Rodolphe.Lepigre@univ-savoie.fr \
--cc=caml-list@inria.fr \
--cc=gdr-im@gdr-im.fr \
--cc=haskell@haskell.org \
--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).