Passer vers le contenu
Colloquium Jacques Morgenstern
Sciences et Technologies de l'Information et de la Communication
    • English
    • Français
Passer vers le contenu
  • Accueil
  • Agenda
  • Past talks
  • Contact
  • Accès
Home Articles balisés "birkedal"

Étiquette : birkedal

Lars Birkedal – An Introduction to Iris: Higher-Order Concurrent Separation Logic

September 23rd, 2021 – 11:00 am Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages. In this talk I will give an introduction to our research on Iris, a logical framework, implemented and verified in the Coq proof assistant, which can be…

Continue reading

  • Année

  • Orateurs

    Abadi Abiteboul Abramatic aceto Ané Ayache Azencott Baccelli Bajaj Bensoussan Bermond Bernhard Berry Berthoz Berthé Bijaoui birkedal Borodin Bouleau Bourdoncle Bournez Bousquet-Melou Brady Calzone Cani Cannings Carbone Cardelli Cardoso Chazelle Cortier Coullet Coutaz Cucker d'Aspremont Delahaye Demongeot De Reffye De Rose de Silva Diaconis Dowek Doyen Durand Efros El_Karoui Fagès Faugeras Ferrari Fink flache Flageolet Flandrin Fomin Foster Frégnac Gallagher Garnier Gaudry Gelenbe Goel Goles Gonthier Gouyon Gribonval Gruska Guang-Zhong Guerraoui Harel Hess Huet Huitema Kalman Kashefi Kermarrec Koiran Kwiatkowska Lang Laraki Laumond Lawall Lazdunski Leblond Le Bris Leroy Levitt Lions Liu Mackay Maillet-Contoz Mallat manolescu Mathieu Meyer Mirrahimi Molina Moy Muller Nelson Nival Nivat Noble Nolet Pachet Paulson Pawley Peyré Polthier Preparata Quarteroni Quiquater Salesin Sangiorgi Schabanel Schmid Selinger Serrano Shallit Shasha Shewchuk Siegel Silva Simplot-Ryl Slotine Smith Sorine Stern Stoufflet Stroustrup Stuart Szeliski Süsstrunk Talagrand Teller Terzopoulos Thalabard Thénié Towsley Valduriez Vallée Varenne Vetterli Wooders woods
Fonctionne avec Nirvana & WordPress.