In this talk, I will present SOFT, a tool for testing the interoperability of OpenFlow switches. Our key insight is in automatically identifying the testing inputs that cause different OpenFlow agent implementations to behave inconsistently. To this end, we first symbolically execute each agent under test in isolation to derive which set of inputs causes which behavior. We then crosscheck all distinct behaviors across different agent implementations and evaluate whether a common input subset causes inconsistent behaviors. Our evaluation shows that our tool identified several inconsistencies between the publicly available Reference OpenFlow switch and Open vSwitch implementations.

This is the kick-off meeting of the iJOIN EU FP7 project. It will consist of a series of presentations of work packages 2-4 intended to shape the first steps of the project. WP2-4 will be presented during 90 minute slots by each Work Package leader.

El próximo miércoles, 13 de noviembre, se celebra en la Escuela Politécnica Superior (Campus de Leganés) de la Universidad Carlos III de Madrid (UC3M), la próxima reunión de ESNOG/GORE (España Network Operators Group / Grupo de Operadores de Red Españoles), contando con el patrocinio de la Cátedra Telefónica de la UC3M y ESPANIX (Punto neutro Español de Internet). Es una jornada que tendrá en agenda una serie de conferencias y mesas redondas sobre Internet a nivel de red.

The future Internet needs to provide enough flexibility to allow the dynamic deployment of new network protocols, support heterogeneous end-systems, provide novel communication abstractions, and exhibit inherent security and manageability. In this talk, I present an overview of various technological drivers that shape current developments in network architecture research.

In this talk, I will discuss the complex relationship between the university research lab and the startup community and how it varies in different places. There will be some emphasis on software focused startups as these are quite special in terms of the low capital investment costs required to deliver an initial working product, but the talk will also consider the wider set of high tech startup enterprises, some of which are built on a deep understanding of a problem domain arising from substantial research. The talk will discuss the similarities and differences between the activities and skills of the research lab and the startup.

Con el título La Ciencia es mi Vida, entre las 19:00 y las 21:00 horas del viernes 28 de septiembre de 2012, se va a celebrar en la Residencia de Estudiantes de Madrid (calle Pinar 21-23) una mesa redonda que, moderada por el catedrático de Física Teórica Alfredo Poves, va a reunir a varios investigadores de los Institutos Madrileños de Estudios Avanzados (IMDEA).

Disculpa, pero esta entrada está disponible sólo en English.The design, standardization and future deployment of vehicular communications systems have been driven so far by safety applications. There are two more aspects of the vehicular networking that have increased their importance in the last years: Infotainment and traffic efficiency, as they can improve drivers' experience, making vehicular communications systems more attractive to end-users.

Institute IMDEA Networks annually holds a by-invitation-only thematic workshop in Madrid. The workshop accompanies a meeting of our Scientific Council comprised by prominent researchers. In addition to talks by Scientific Council members, the workshop includes invited talks by external experts in the research theme of the workshop. The goal of the 2012 workshop is to foster discussion on a critical aspect of research in networking: data.

Objectives of the meeting: Review status of the internal specifications milestones, synchronization intra and inter work packages and coordination for future work.