"Accueil"

Description

After the informal "réalisabilité à Chambéry" meetings, (2008, 2009, 2010, 2011, 2012 and 2013) we try to broaden our audience and invite researchers, students and all other people interested in

• parametricity,
• logical relations,
• realizability

to attend this small workshop.

Being part of the bigger CSL conference brings some bigger organisational issues on our side, but the spirit stays the same: a small and informal (but serious) meeting.

Invited Speakers

• Neil Ghani (Strathclyde university, Glasgow)
• Nick Benton (Microsoft Research, Cambridge)

Call for Contribution

call for contributions

Submissions are handled by easychair.

Scientific Committee

• Pierre Hyvernat (université Savoie Mont Blanc, France)
• Rodolphe Lepigre (université Savoie Mont Blanc, France)
• Alexandre Miquel (universidad de la República, Uruguay)
• Christophe Raffalli (université Savoie Mont Blanc, France)
• Thomas Streicher (technische universität, Darmstadt, Germany)

Sponsors