Conference Location (for accomodation see below):





The 16th International Conference on Runtime Verification will be held in the Residencia de Estudiantes  of CSIC (Consejo Superior de Investigaciones Científicas), in Calle Pinar, 21, which is in the neighborhood  of El Viso, in a very centric location in Madrid. The Residencia is located right next to the Museo Nacional de Ciencias Naturales.

The Residencia is a “European Heritage Label” site, granted by the significant role that it has played in the history and culture of Europe. It is an internationally renowned institution which encouheritagerages exchange, dialogue and understanding among different generations and cultures in disciplines such as the arts, humanities and sciences.


A bit of history

The Residencia was built in 1913, embodying ideas advocated by the Institución Libre de Enseñanza, following the Mudéjar style and functionality as guiding principles. On March 28, 2001 the Residencia completed the architectural remodeling of its facilities.

Between 1910 and 1936, the Residencia embraced European culture and maintained a steady dialogue with universities and international institutions, encouraging cultural and scientific exchange. It strongly encouraged the constant dialogue between Science and the Arts, welcome the avanpabellonest-garde ideas from abroad, and became the focal point for spreading modernity in Spain.

Some of its residents were among the leading figures of Spanish culture in the twentieth century, such as the poet Federico García Lorca, the painter Salvador Dalí, the film maker Luis Buñuel, and the Nobel Prize winner, scientist Severo Ochoa. Writers and artists such as Miguel de Unamuno, Alfonso Reyes, Manuel de Falla, Juan Ramón Jiménez, José Ortega y Gasset, Pedro Salinas, Blas Cabrera, Eugenio d´Ors and Rafael Alberti were frequent visitors.

The Residencia was also a forum foAlbert Einstein durante su estancia en Madrid, delante del Museo Nacional de Ciencias Naturales, probablemente camino de la cercana Residencia de Estudiantes, donde pronunció una conferencia sobre la teoría de la relatividad, marzo de 1923. Archivo General de la Administración. Alcalá de Henares, Madridr discussion and dissemination of intellectual ideas in Europe. Many prominent figures came to the Residencia for that purpose, people such as Albert Einstein, Paul Valéry, Marie Curie, Igor Stravinsky, John M. Keynes, Alexander Calder, Walter Gropius, Henri Bergson and Le Corbusier.

Today, the Residencia continues to be a prestigious international institution which promotes communication between different disciplines, and where artists and intellectuals from all over the world can stay. The various activities which it currently organises are orientated around two main aims: to regain, conserve and share the memory of the Spanish Silver Age (1868-1936); and to be a meeting place which looks to the future and pays special attention to innovations in all areas of modern-day culture. For these reasons, the Residencia de Estudiantes is a leading international centre for the research, study, and sharing of scientific and artistic life of contemporary Europe.

How to get to Madrid and The Residencia

You can find The Residencia in google maps.


By Air, Metro and Train

Madrid Airport is a main hub in Europe with direct flights from many European and American cities. It is possible to reach the airport directly by Metro and train (with a direct connection to Nuevos Ministerios). A taxi (10km) should cost no more than 30 EUR.

Metro: Nuevos Ministerios (L6, L8, L10), Republica Argentina (L6), Gregorio Marañon (L10) Train: Nuevos Ministerios


The Residencia has maintained its function as an accommodation site, with hotel standards of quality, but only for scholars, scientists and artists. We have reserved a number of rooms at The Residencia for attendants of RV16. If you prefer this option  you can request a reservation in the registration process following the “Registration” tab in this website or the following the web-based registration form. Once the reservation at The Residencia is confirmed back by email you will pay upon your visit separately as for any conventional hotel.

Alternative accommodation options

We have also locked a limited number of rooms at special prices at the following hotels

  • Hotel NH Balboa (4*)

Núñez de Balboa, 112 28006 Madrid (less than 10 min walk)

To reserve, send an email to the hotel at <> indicating as reservation code “18117845″. You will receive a response with instructions about how to complete the reservation.

Price: (between 95 and 128 per night depending on the day)

  • Hotel Miguel Angel (5*)

C/ Miguel Ángel 29-31 – 28010 Madrid (less than 8 min walk)

To reserve, follow one of the links: RV ENG (in English), or RV SPA (in Spanish).

Price: (around 132 per night)

  • Expedia or similar websites

Madrid in general, and the area of the city where The Residencia is in particular, are very safe places. Any hotel within walking distance will be a good option and many travel websites (including expedia, travelocity,, etc) offer deals regularly. The metro system is also very efficient, and google maps calculates routes using metro quite accurately, so areas in the nearby vicinity are also good alternatives.