[Caml-list] Call for participation to PLRR 2016 (hosted by CSL)

=======================================================================

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

=======================================================================