Difference between revisions of "Friends of Separation Logic"
From Numerical Transition Systems
Radu iosif (Talk | contribs) (Created page with "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 (firs...") |
(No difference)
|
Revision as of 18:52, 19 March 2019
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, Alession 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 (programme)
