logo
Real-Time

カンファレンス検索結果 (5)

International Conference on Advanced and Trusted Computing (ATC)

Rank: COffline
Rende, Italy
Sep 7, 2026
Secure and Responsible AI SystemsPrivacy-Preserving Learningand Machine Unlearning+21 その他

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Statistical and probabilistic analysisSynthesisPerformance estimation and analysis of other non-functional properties+49 その他

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026 - Sep 4, 2026
Semanticsprocess algebrasPetri nets+23 その他

International Symposium on Software Engineering: Theories, Tools, and Applications (SETTA)

Rank: National:ChinaOffline
St Catherine's College, University of Oxford, Oxford, United Kingdom
Dec 1, 2025 - Dec 3, 2025
design and implementationModel checkingtheorem proving+30 その他

Eurosys Conference (EuroSys)

Rank: AOffline
Rotterdam
Mar 30, 2025 - Apr 3, 2025
Operating systemsDistributed systemsCloud computing and datacenter systems+18 その他