[P4-announce] CALL FOR (VIRTUAL) PARTICIPATION FoFoSDN 2020

[Hossein Hojjat]

==============================
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.ho...@teias.institute)
Mohammad Mousavi, University of Leicester (e-mail: mm...@leicester.ac.uk)