Zprávy od IMDEA Software Institute

The verification of concurrent systems with potentially infinite state spaces remains a recurring challenge in formal verification.

Tuesday, September 22, 2026.

Thursday, October 22, 2026.

Starting today, Monday, September 14, registration is open to attend the new edition of European Researchers’ Night in Madrid, which will take place next Friday, September 25.

Have you ever blocked a domain to protect yourself from a threat and ended up accidentally blocking thousands of legitimate users sharing that same infrastructure? This frequently happens when applying blocking rules on shared platforms, such as hosting providers, dynamic DNS (DDNS) services, or…

11:00am 302-Mountain View and Zoom3 (https://zoom.us/j/3911012202, password:@s3).

On June 18 and 19, Tarragona hosted the annual meeting of the SOMMa alliance’s Project Management Working Group. The event brought together project management staff from the Severo Ochoa and María de Maeztu centers and units of excellence. Representing the IMDEA Software Institute, which has held…

Monday, July 20, 2026, 11:00am 302-Mountain View and Zoom3 (https://zoom.us/j/3911012202, password:@s3).

Sunday, July 19, 2026, 11:00am 302-Mountain View and Zoom3 (https://zoom.us/j/3911012202, password:@s3).

Wednesday, September 30, 2026.