Truncating TLS Connections to Violate Beliefs in Web Applications Ben Smyth and Alfredo Pironti INRIA Paris-Rocquencourt, Paris, France August 16, 2013 Abstract

Source URL: www.bensmyth.com

Ballot secrecy and ballot independence: definitions and relations Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France

Source URL: www.bensmyth.com

Not quite synchronous enough Compositional invariant proofs of reactive systems in an interactive theorem prover (Isabelle/HOL) Timothy Bourke INRIA Paris-Rocquencourt

Source URL: synchron2014.inria.fr

“Refuting” Cantor Jaime Gaspar∗ 28 January 2014 The German mathematician Georg Cantor used his famous diagonal argument to prove his celebrated theorem showing that there is no bijection between the set of all natu

Source URL: jg.sdf.org

• Mathematics
• Mathematical logic
• Set theory
• Georg Cantor
• Bijection
• Rocquencourt
• Ordinal number
• Cardinal numbers

Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris

Source URL: www.cse.chalmers.se

Ecole CEA-EDF-INRIA "Nonsmooth dynamical systems. Analysis, control, simulation and applications" 29 mai – 2 juinMay 29 – June2, 2006 INRIA Rocquencourt, France

Source URL: www.inrialpes.fr

Measurements close to users Anna-Kaisa Pietilainen, Renata Teixeira MUSE Team Inria Paris-Rocquencourt www.usercentricnetworking.eu

Source URL: who.rocq.inria.fr

Programming and verifying a compiler with Coq: an experience report Xavier Leroy INRIA Paris-Rocquencourt Dependently Typed Programming 2008

Source URL: sneezy.cs.nott.ac.uk

The French Social Media Bank: a Treebank of Noisy User Generated Content Djamé Seddah1,2 Benoit Sagot1 Marie Candito1 Virginie Mouilleron1 Vanessa Combet1 (1) Alpage, Inria Paris-Rocquencourt & Université Parisr

Source URL: aclweb.org

Models of a Non-Associative Composition? Guillaume Munch-Maccagnoni Univ Paris Diderot, Sorbonne Paris Cité, PPS, UMR 7126 CNRS, PiR2, INRIA Paris-Rocquencourt, FParis, France. Abstract We characterise the polar

Source URL: guillaume.munch.name