Difference between revisions of "Friends of Separation Logic"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 17: | Line 17: | ||
Meetings: | Meetings: | ||
| − | * Cachan, April 29th and 30th | + | * [[Cachan, April 29th and 30th]] |
Revision as of 18:54, 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, 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:
