[TYPES/announce] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), CSL affiliated workshop

Christophe Raffalli Christophe.Raffalli at univ-savoie.fr
Wed May 18 04:59:18 EDT 2016


                        CALL FOR CONTRIBUTIONS

                          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
Notification of acceptance: July  1, 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 at univ-smb.fr

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: Digital signature
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160518/f9fee540/attachment.asc>


More information about the Types-announce mailing list