ИСТИНА

• Охват: Международная
• Даты проведения: 9-13 февраля 2015
• Место проведения: Schloss Dagstuhl – Leibniz Center for Informatics, Germany
• Организатор:
  Microsoft Corporation, Cornell University, University of Illinois – Urbana-Champaign, AT&T Labs Research
• Веб-сайт: http://www.dagstuhl.de/
• Описание конференции:

  The goal of this seminar was to bring together leading practitioners from the areas of formal methods, networking, programming languages, and security, to exchange ideas about problems and solutions, and begin the task of developing formal foundations for networks.

• Добавил в систему: Чемерицкий Евгений Викторович

Доклады:

• 2015 VERMONT -- a toolset for checking consistency of network configurations with formally specified packet forwarding policies (Устный)
• Автор: Чемерицкий Евгений Викторович