´ PARIS 13 - Institut Galil´ UNIVERSITE ee Laboratoire Analyse, G´ eom´ etrie et Applications, UMR 7539

Source URL: irma.math.unistra.fr

Cubic fourfolds Prime Fano fourfolds of degree 10 and index 2 On some Fano fourfolds Olivier DEBARRE

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Algebraic varieties
• Algebraic geometry
• Birational geometry
• Field theory
• Rational variety
• Cubic form

XCSP3 Competition 2018 – Results – http://www.cril.fr/XCSP18/ Christophe Lecoutre and Olivier Roussel

Source URL: www.cril.univ-artois.fr

• Software engineering
• Constraint programming
• Computer programming
• Programming paradigms
• Computing
• Declarative programming
• AMPL
• Constraint satisfaction problem

Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

Source URL: cubicle.lri.fr

• Theoretical computer science
• Logic in computer science
• Temporal logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Alt-Ergo
• Computation tree logic
• Model theory

Grivaux, Julien  Variation of the holomorphic determinant bundle. (English) Zbl
Math. Res. Lett. 20, No. 6, ). Let f : X → Y be a proper holomorphic submersion between complex manifolds an

Source URL: jgrivaux.perso.math.cnrs.fr

MOSCOW MATHEMATICAL JOURNAL Volume 16, Number 2, April–June 2016, Pages 275–298 PARABOLIC AUTOMORPHISMS OF PROJECTIVE SURFACES (AFTER M. H. GIZATULLIN) JULIEN GRIVAUX

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Mathematics
• Mathematical analysis
• Conformal geometry
• Mbius transformation
• Projective geometry
• DeligneLusztig theory
• Table of stars with Bayer designations

FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact K¨ ahler manifold X which is homeomorphic to Pn is isomorphic to Pn . This holds for a

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Cohomology theories
• Algebraic geometry
• Homological algebra
• Birational geometry
• Algebraic surfaces
• Cohomology
• Projective variety
• Hodge theory
• tale cohomology
• Kodaira dimension

Universit´e Paris Diderot U.F.R. de Math´ematique hh 8 mars 2011

Source URL: www.math.ens.fr

Introduction Towards a Practical attack Attack against TLS

Source URL: who.rocq.inria.fr

• Cryptography
• Stream ciphers
• Block cipher
• RC4
• Block size
• Triple DES
• ARIA
• M6
• Transport Layer Security
• Symmetric-key algorithm

LOGO CE_horizontal_FR_quadri

Source URL: ec.europa.eu