logo
Testing

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

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 その他

Formal Methods in Computer-Aided Design (FMCAD)

Rank: BOffline
Menlo Park, California, USA
Oct 6, 2025 - Oct 10, 2025
Formal MethodsHardware VerificationSystem Verification+4 その他

International Conference on Evaluation and Assessment in Software Engineering (EASE)

Rank: AOffline
Istanbul Technical University, Istanbul, Turkey
Jun 17, 2025 - Jun 20, 2025
Evaluation and Assessment in Software EngineeringMeta-scienceResearch methods+29 その他

International Symposium on High Performance Computer Architecture (HPCA)

Rank: A*Offline
Sydney, NSW, Australia
Jan 31, 2026 - Feb 4, 2026
Processormemoryand storage systems architecture and microarchitecture+27 その他

ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)

Rank: AOffline
Singapore
Oct 12, 2025 - Oct 18, 2025
programming systemslanguagesand environments+27 その他

ACM International Symposium on Computer Architecture (ISCA)

Rank: A*Offline
Waseda University, Tokyo, Japan
Jun 21, 2025 - Jun 25, 2025
Processormemoryand storage systems architecture+33 その他

International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

Rank: AOffline
Rio de Janeiro, Brazil
TBD
Software Engineering for Adaptive and Self-Managing SystemsFoundational conceptsSelf-* properties+34 その他

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 その他

International Conference on Dependability of Computer Systems (DEPCoS)

Rank: National: PolandOffline
Brunow Palace, Lower Silesia, Poland
Jun 30, 2025 - Jul 3, 2025
Dependability of Computer SystemsDependable and timely results from quantitative and qualitative data using precise and AI models and algorithmsTheory and Practice of Dependability+69 その他

International Conference on Dependable, Autonomic and Secure Computing (DASC)

Rank: COffline
Hakodate City, Hokkaido, Japan
Oct 21, 2025 - Oct 24, 2025
Self-OrganizationOrganic ComputingCognitive Computing+40 その他

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Rank: AOffline
Turin, Italy
Apr 11, 2026 - Apr 16, 2026
specification and verification techniquessoftware and hardware verificationanalytical techniques for real-time+16 その他

ACM Conference on Embedded Software (EMSOFT)

Rank: Journal publishedOffline
Taipei, Taiwan
Sep 28, 2025 - Oct 3, 2025
Embedded Software SystemsEmbedded Distributed SystemsNetworked Systems+39 その他