BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
BEGIN:VEVENT
UID:152@lincs.fr
DTSTART;TZID=Europe/Paris:20140409T140000
DTEND;TZID=Europe/Paris:20140409T150000
DTSTAMP:20170313T171308Z
URL:https://www.lincs.fr/events/case-reliable-software-transactional-netwo
 rking/
SUMMARY:The Case for Reliable Software Transactional Networking
DESCRIPTION:Software-defined networking (SDN) is a novel paradigm that
 outsources the control of packet-forwarding switches to a set of software
 controllers. The most fundamental task of these controllers is the correct
 implementation of the network policy\, i.e.\, the intended network
 behavior. In essence\, such a policy specifies the rules by which packets
 must be forwarded across the network. We initiate the study of the SDN
 control plane as a distributed system.We introduce a formal model
 describing the interaction between the data plane and a distributed control
 plane (consisting of a collection of fault-prone controllers). Then we
 formulate the problem of consistent composition of concurrent network
 policy updates. The composition is enabled via a transactional interface
 with all-or-nothing semantics\, which allows us to reason about
 possibilities and impossibilities in controller synchronization.
CATEGORIES:Seminars,Youtube
LOCATION:LINCS Meeting Room 40\, 23\, avenue d'Italie\, Paris\, 75013\,
 France
GEO:48.8283983;2.3568972000000485
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=23\, avenue d'Italie\,
 Paris\, 75013\, France;X-APPLE-RADIUS=100;X-TITLE=LINCS Meeting Room
 40:geo:48.8283983,2.3568972000000485
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20140330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR