Hacker News new | ask | show | jobs
Logical Foundations of Cyber-Physical Systems (Winter 2025) (symbolaris.com)
1 points by waldarbeiter 169 days ago