Friends of Separation Logic

From Numerical Transition Systems
Revision as of 18:53, 19 March 2019 by Radu iosif (Talk | contribs)

Jump to: navigation, search

Friends of Separation Logic (FOSL) is an informal working group on topics related to Separation Logic (SL), such as:

  • extensions of SL and relations with other logics (first order, modal, etc.)
  • applications of SL to domains other than shape analysis
  • decidability and complexity of various fragments

People currently involved:

  • Stephane Demri, Alessio Mansutti (LSV, ENS de Cachan)
  • Etienne Lozes (I3S, University of Nice)
  • Denis Lugiez (LIF, University of Marseille)
  • Didier Galmiche, Daniel Mery, Dominique Larchey-Wendling (LORIA, University of Nancy)
  • Mihaela Sighireanu (IRIF, University of Paris Diderot)
  • Radu Iosif, Marius Bozga (VERIMAG, University of Grenoble)
  • Nicolas Peltier, Mnacho Echenim (LIG, University of Grenoble)

Meetings:

  • Cachan, April 29th and 30th