COMMUNIQUÉ DE PRESSE NATIONAL I PARIS I 10 OCTOBRELa médaille de l’innovation 2018 du CNRS est décernée à Valérie Castellani, Thierry Chartier et Daniel Le Berre Valérie Castellani, Thierry Chartier et Da

Source URL: www2.cnrs.fr

Proving Non-termination Using Max-SMT? Daniel Larraz1 , Kaustubh Nimkar2 , Albert Oliveras1 , Enric Rodr´ıguez-Carbonell1 , and Albert Rubio1 1 Universitat Polit`ecnica de Catalunya, Barcelona

Source URL: www.lsi.upc.edu

• Mathematical analysis
• Ergodic theory
• Differential topology
• Mathematics
• Computability theory
• Lie algebras
• Non-associative algebras
• Hopf decomposition
• Orbifold

Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1

Source URL: www.cs.man.ac.uk

• Computing
• Cross-platform software
• Logic in computer science
• Runtime verification
• Benchmark
• Standard Performance Evaluation Corporation
• Computer performance
• Java

Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list

Efficient Multi-Party Computation: from Passive to Active Security via Secure SIMD Circuits Daniel Genkin12 , Yuval Ishai1 , and Antigoni Polychroniadou3 1

Source URL: web.eecs.umich.edu

• Cryptographic protocols
• Mathematics
• Secure multi-party computation
• Linear algebra
• Valuation
• Linear combination
• Finite field

COLLOQUIUM Daniel Drimbe University of Regina Orbit equivalance superrigidity

Source URL: www.uregina.ca

Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science

Source URL: precision.moscito.org

• Mathematics
• Algebra
• Equations
• Linear algebra
• Monomial
• Ordinary differential equations
• Recurrence relation
• Equation solving
• Elementary algebra
• Equation
• System of linear equations
• Algebraic curve

Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation David Derler, Sebastian Ramacher, and Daniel Slamanig April 2017—FC 2017, Sliema, Malta

Source URL: david.derler.info

• Public-key cryptography
• Cryptography
• Homeomorphisms
• Homomorphic encryption
• Proxy re-encryption
• Digital signature
• Mathematics

Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening

Source URL: www.cs.ox.ac.uk

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Numerical linear algebra
• Eigendecomposition of a matrix
• Eigenvalues and eigenvectors
• Matrix
• State-space representation
• Lanczos algorithm
• Eigenvalue perturbation

HONG KONG INSTITUTE FOR MONETARY RESEARCH THE ROLE OF LOAN PORTFOLIO LOSSES AND BANK CAPITAL FOR ASIAN FINANCIAL SYSTEM RESILIENCE Daniel Rosch and Harald Scheule

Source URL: www.hkimr.org

• Economy
• Money
• Finance
• Actuarial science
• Systemic risk
• Financial risk
• Financial law
• Economic bubbles
• Credit risk
• Bank
• Value at risk
• Financial crisis of 20072008