Nachrichten von IMDEA Software Institute

Filter zurücksetzen

Filter zurücksetzen

Gespeicherte Filter

Um Filter zu speichern, melden Sie sich an.

Sortierung
From Symbolic Reachability to Inductive Invariants: Narrowing-Based Verification of Concurrent Systems
From Symbolic Reachability to Inductive Invariants: Narrowing-Based Verification of Concurrent Systems
15.10.2026 08:01

From Symbolic Reachability to Inductive Invariants: Narrowing-Based Verification of Concurrent Systems

The verification of concurrent systems with potentially infinite state spaces remains a recurring challenge in formal verification.
Spanien
IMDEA Software Institute
Autor nicht angegeben
IT und Kommunikation, Technologie, Wissenschaft und Forschung
  • Herunterladen
Better Approximation for Edge 2-Coloring on Bipartite Graphs
Better Approximation for Edge 2-Coloring on Bipartite Graphs
18.9.2026 14:23

Better Approximation for Edge 2-Coloring on Bipartite Graphs

Tuesday, September 22, 2026.
Spanien
IMDEA Software Institute
Autor nicht angegeben
IT und Kommunikation, Universitäten, Wissenschaft und Forschung
  • Herunterladen
Multi-stage Relational Programming
Multi-stage Relational Programming
18.9.2026 14:23

Multi-stage Relational Programming

Thursday, October 22, 2026.
Spanien
IMDEA Software Institute
Autor nicht angegeben
IT und Kommunikation, Universitäten, Wissenschaft und Forschung
  • Herunterladen
Registration opens for European Researchers' Night activities
Registration opens for European Researchers' Night activities
14.9.2026 13:32

Registration opens for European Researchers' Night activities

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.
Spanien
IMDEA Software Institute
Autor nicht angegeben
Technologie, Wissenschaft und Forschung, Sicherheit
  • Herunterladen
The paper “BlockMeNot” was a runner-up for the “Distinguished Paper Award” at USENIX 2026
The paper “BlockMeNot” was a runner-up for the “Distinguished Paper Award” at USENIX 2026
3.9.2026 12:56

The paper “BlockMeNot” was a runner-up for the “Distinguished Paper Award” at USENIX 2026

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…
Spanien
IMDEA Software Institute
Autor nicht angegeben
IT und Kommunikation, Wissenschaft und Forschung, Sicherheit
  • Herunterladen
Abstractions for Scalable Verification of AI-enabled Cyber-Physical Systems
Abstractions for Scalable Verification of AI-enabled Cyber-Physical Systems
3.8.2026 13:01

Abstractions for Scalable Verification of AI-enabled Cyber-Physical Systems

11:00am 302-Mountain View and Zoom3 (https://zoom.us/j/3911012202, password:@s3).
Spanien
IMDEA Software Institute
Pavithra Prabhakar
IT-Industrie, Technologie, Wissenschaft und Forschung
  • Herunterladen
IMDEA Software participates in the annual SOMMa project management meeting in Tarragona
IMDEA Software participates in the annual SOMMa project management meeting in Tarragona
3.8.2026 09:52

IMDEA Software participates in the annual SOMMa project management meeting in Tarragona

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…
Spanien
IMDEA Software Institute
Autor nicht angegeben
Internationale Organisationen, Konferenzen und Messen, Wissenschaft und Forschung
  • Herunterladen
Intersecting Dense Automata: Constructions, Complexity and Certificates
Intersecting Dense Automata: Constructions, Complexity and Certificates
20.7.2026 07:36

Intersecting Dense Automata: Constructions, Complexity and Certificates

Monday, July 20, 2026, 11:00am 302-Mountain View and Zoom3 (https://zoom.us/j/3911012202, password:@s3).
Spanien
IMDEA Software Institute
Autor nicht angegeben
IT und Kommunikation, Universitäten, Wissenschaft und Forschung
  • Herunterladen
Intersecting Dense Automata: Constructions, Complexity and Certificates
Intersecting Dense Automata: Constructions, Complexity and Certificates
20.7.2026 07:25

Intersecting Dense Automata: Constructions, Complexity and Certificates

Sunday, July 19, 2026, 11:00am 302-Mountain View and Zoom3 (https://zoom.us/j/3911012202, password:@s3).
Spanien
IMDEA Software Institute
Autor nicht angegeben
IT und Kommunikation, Universitäten, Wissenschaft und Forschung
  • Herunterladen
Training session on IP protection
Training session on IP protection
17.7.2026 14:38

Training session on IP protection

Wednesday, September 30, 2026.
Spanien
IMDEA Software Institute
Autor nicht angegeben
Technologie, Weiterbildung, Recht
  • Herunterladen
Sortierung