@salmon-lemon.bsky.social
Was this recorded to YouTube ?
March 12, 2025 at 1:45 PM
Was this recorded to YouTube ?
the QIP recordings for the year 2024 is at www.youtube.com/@QIP2024/vid... , what about for this year of 2025 ?
QIP2024
www.youtube.com
February 26, 2025 at 1:58 PM
the QIP recordings for the year 2024 is at www.youtube.com/@QIP2024/vid... , what about for this year of 2025 ?
Would this plenary recordings be available to the public in open platform such as YouTube ?
February 25, 2025 at 2:31 AM
Would this plenary recordings be available to the public in open platform such as YouTube ?
There seems to be no way to register to attend the conference in this link : etaps.org/2025/confere...
TACAS 2025
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
etaps.org
January 21, 2025 at 3:00 PM
There seems to be no way to register to attend the conference in this link : etaps.org/2025/confere...