Zprávy od IMDEA Software Institute

Resetovat filtr

Resetovat filtr

Uložené filtry

Pro ukládání filtrů se prosím přihlaste.

Řazení
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).
Španělsko
IMDEA Software Institute
Pavithra Prabhakar
IT průmysl, Technologie, Věda a výzkum
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…
Španělsko
IMDEA Software Institute
Autor neuveden
Mezinárodní organizace, Konference a veletrhy, Věda a výzkum
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).
Španělsko
IMDEA Software Institute
Autor neuveden
IT a komunikace, Univerzity, Věda a výzkum
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).
Španělsko
IMDEA Software Institute
Autor neuveden
IT a komunikace, Univerzity, Věda a výzkum
Training session on IP protection
Training session on IP protection
17.7.2026 14:38

Training session on IP protection

Wednesday, September 30, 2026.
Španělsko
IMDEA Software Institute
Autor neuveden
Technologie, Další vzdělávání, Právo
Řazení