p4-announce@lists.p4.org

Announcements for P4.org

View all threads

CALL FOR (VIRTUAL) PARTICIPATION FoFoSDN 2020

HH
Hossein Hojjat
Tue, Oct 27, 2020 6:06 AM

==============================
CALL FOR (VIRTUAL) PARTICIPATION FoFoSDN  2020

1st Workshop on Formal Foundations of Software Defined Networks (FoFoSDN)
Held in conjunction with the 6th IEEE Conference on Network Function
Virtualization and Software Defined Networks

https://fofosdn.github.io

There is a growing need for tools and methodologies that provide rigorous
guarantees about performance, reliability, and security of Software Defined
Networking (SDN) and Network Function Virtualization (NFV). This workshop
aims at bringing together leading researchers and practitioners from the
fields of formal methods, networking, programming languages, and security,
to investigate the task of developing formal foundations for networks. This
year’s edition consists of six invited talks by renowned experts in the
field:

David Walker, Princeton University
Jennifer Rexford, Princeton University
Nate Foster, Cornell University
Nikolaj Bjørner, Microsoft Research
Paola Grosso, University of Amsterdam
Philip Brighten Godfrey, University of Illinois

=== Important dates ===

Workshop: 9 November 2020
Early bird registration deadline: 25 October 2020

We are happy to offer several participation grants to exceptional young
scientists. For application, please send your CVs and a short motivational
letter to the organizers no later than November 1st.

=== Organizers ===

Georgiana Caltais, University of Konstanz (e-mail: georgiana.caltais@uni-)
Hossein Hojjat, Tehran Institute for Advanced Studies (e-mail:
h.hojjat@teias.institute)
Mohammad Mousavi, University of Leicester (e-mail: mm789@leicester.ac.uk)

============================== CALL FOR (VIRTUAL) PARTICIPATION FoFoSDN 2020 1st Workshop on Formal Foundations of Software Defined Networks (FoFoSDN) Held in conjunction with the 6th IEEE Conference on Network Function Virtualization and Software Defined Networks https://fofosdn.github.io ============================== There is a growing need for tools and methodologies that provide rigorous guarantees about performance, reliability, and security of Software Defined Networking (SDN) and Network Function Virtualization (NFV). This workshop aims at bringing together leading researchers and practitioners from the fields of formal methods, networking, programming languages, and security, to investigate the task of developing formal foundations for networks. This year’s edition consists of six invited talks by renowned experts in the field: David Walker, Princeton University Jennifer Rexford, Princeton University Nate Foster, Cornell University Nikolaj Bjørner, Microsoft Research Paola Grosso, University of Amsterdam Philip Brighten Godfrey, University of Illinois === Important dates === Workshop: 9 November 2020 Early bird registration deadline: 25 October 2020 We are happy to offer several participation grants to exceptional young scientists. For application, please send your CVs and a short motivational letter to the organizers no later than November 1st. === Organizers === Georgiana Caltais, University of Konstanz (e-mail: georgiana.caltais@uni-) Hossein Hojjat, Tehran Institute for Advanced Studies (e-mail: h.hojjat@teias.institute) Mohammad Mousavi, University of Leicester (e-mail: mm789@leicester.ac.uk)