* [Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE
@ 2016-06-21 8:45 Christophe Raffalli
0 siblings, 0 replies; only message in thread
From: Christophe Raffalli @ 2016-06-21 8:45 UTC (permalink / raw)
To: types-announce, caml-list, haskell, gdr-im; +Cc: Pierre Hyvernat
[-- Attachment #1: Type: text/plain, Size: 2050 bytes --]
LAST CALL FOR CONTRIBUTIONS
EXTENDED DEADLINE
Workshop PLRR 2016
Parametricity, Logical Relations & Realizability
September 2, Marseille, France
http://lama.univ-savoie.fr/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)
CONTRIBUTED TALKS
We solicit contributed talks based on extended abstracts of 2 pages.
Submission are handled by easychair:
https://easychair.org/conferences/?conf=plrr2016
IMPORTANT DATES
Submission of abstracts: June 15, 2016 (EXTENDED TO JULY 1, 2016)
Notification of acceptance: July 15, 2016
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: Digital signature --]
[-- Type: application/pgp-signature, Size: 181 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-06-21 8:45 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-06-21 8:45 [Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE Christophe Raffalli
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).