The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains (FOSSACS 2019)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Mnacho Echenim, Radu Iosif, Nicolas Peltier

Track

FOSSACS 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 11 Apr 2019 16:30 - 17:00 at SUN II - Verification (continued) Chair(s): Mikolaj Bojanczyk

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-17127-8_14

Mnacho Echenim

Radu Iosif

VERIMAG, CNRS, Université Grenoble-Alpes

France

Nicolas Peltier