Seminar by Juan Cortés, LAAS-CNRS, Toulouse, France Title: Several stories about tripeptides: basic components for modeling flexible protein structures Summary: From a mechanical point of view, fragments of three consecutive amino acid residues (called tripeptides hereafter) are very interesting elements of polypeptide chains. Indeed, if we consider the bond torsion angles as the main degrees […]
L'invité du séminaire sera Alexei GRINBAUM, philosophe et physicien. Chercheur au laboratoire Larsim du CEA-Saclay, il est spécialiste de l’information quantique. Depuis 2003, il s'intéresse aux questions éthiques liées aux nouvelles technologies, notamment aux nanotechnologies, à l’intelligence artificielle et à la robotique. Il a été coordinateur pour la France de l’Observatoire européen des nanotechnologies et […]
Title : "Why reductions have to be synchronised in intersection (and union) typed lambda-calculi ?" Luigi Liquori, Inria Sophia-Antipolis Abstract: We present the ∆-calculus, an explicitly typed λ-calculus with strong pairs, projections and explicit type coercions. The calculus can be parametrized with different intersection type theories, as described in the Barendregt-Dekker-Statman book on λ-calculi with types, producing a family […]
Le prochain séminaire sera un peu particulier puisqu'il s'agira de la projection de l'exposé invité donné en septembre par Adi Shamir dans le cadre de la conférence Esorics 2019. The European Symposium on Research in Computer Security La projection aura lieu le jeudi 6 février, à 13h30, dans l'amphithéâtre du Loria. Titre : The Insecurity […]
Le prochain séminaire SSL sera donné par Emmanuel Thomé, de l'équipe CARAMBA le jeudi 12 mars, à 13h30, en salle A008. Titre : Large-scale computational records for public-key cryptography Résumé : Joint work with Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Paul Zimmermann. In December 2019 and February 2020, we completed several record computations […]
