Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

Source URL: www.lsv.ens-cachan.fr

Foundations for Decision Problems in Separation Logic with General Inductive Predicates Timos Antonopoulos1 , Nikos Gorogiannis2 , Christoph Haase3∗ , Max Kanovich4 , and Jo¨el Ouaknine1 1

Source URL: www.lsv.ens-cachan.fr

ν-Petri Nets Fast-Growing Complexity Backward Coverability

Source URL: www.lsv.ens-cachan.fr

Compositional analysis of Boolean networks using local fixed-point iterations A. Le Co¨ent1 , L. Fribourg2 , and R. Soulat3 1 CMLA, ENS Cachan, CNRS, Universit´e Paris-Saclay 61 av. du Pr´esident Wilson, 94235 Cachan

Source URL: www.lsv.ens-cachan.fr

M´ ethodes Math´ ematiques pour la Physique ENS de Cachan,

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

Journées Apprentissages’2013 (JA’2013) Comment développer les capacités d’apprendre à apprendre ? Sous-titre : Métacognition et analyse cognitive : application aux stratégies pédagogiques Page web : http://w

Source URL: www.lsv.ens-cachan.fr

See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationSlideshow Dataset · February 2016 READS

Source URL: people.ee.ethz.ch

• Grandes coles
• Cachan
• Education in France
• cole Normale Suprieure
• Ens
• le-de-France

Enseignement Enseignement et sciences cognitives Entretien avec Alain Finkel Alain Finkel enseigne surtout les Sciences Cognitives appliquées aux Techniques d’Apprentissages à l’ENS Cachan. Il répond aux question

Source URL: www.lsv.ens-cachan.fr

École Normale Supérieure de Cachan Modélisation des phénomènes de la nature P. Gabriel

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

Brief Announcement: TheToolkit for Building Your Own Balls-into-Bins Algorithm Pierre Bertrand1 and Christoph Lenzen2 1 Ecole Normale Suprieure Cachan

Source URL: people.mpi-inf.mpg.de

• Algorithm
• Mathematical logic
• Theoretical computer science
• Time complexity
• Mathematics
• With high probability
• Computer science
• Applied mathematics
• Balls into bins
• EdmondsPruhs protocol