logo
analysis

Konferenzergebnisse (21)

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+24 mehr

ACM/SPEC International Conference on Performance Engineering (ICPE)

Rank: BOffline
Toronto, Canada
May 5, 2025 - May 9, 2025
Performance EngineeringSoftwareNetworks+6 mehr

International Conference on Logic Programming (ICLP)

Rank: AOffline
University of Calabria, Rende (CS), Italy
Sep 12, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 mehr

Digital Games Research Conference (DIGRA)

Rank: CHybrid
Malta
Jun 30, 2025 - Jul 4, 2025
Digital gamesgaming culturegame design+2 mehr

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

Rank: AOffline
Singapore
Oct 12, 2025 - Oct 18, 2025
programming systemslanguagesand environments+27 mehr

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 mehr

Real Time Systems Symposium (RTSS)

Rank: A*Offline
Boston, MA, USA
Dec 2, 2025 - Dec 5, 2025
Real-Time SystemsTime-Predictable ComputingTheory+35 mehr

International Symposium on Code Generation and Optimization (CGO)

Rank: AOffline
Sydney, Australia
Jan 31, 2026 - Feb 4, 2026
Code generationtranslationtransformation+37 mehr

Digital Audio Effects Conference (DAFX)

Rank: COffline
Ancona, Italy
Sep 2, 2025 - Sep 5, 2025
Digital Audio EffectsCaptureanalysis+24 mehr

International Conference on Multimedia Retrieval (ICMR)

Rank: BOffline
Chicago, USA
Jun 30, 2025 - Jul 3, 2025
Multimedia RetrievalMultimedia content-based search and retrievalMultimedia-content-based (or hybrid) recommender systems+52 mehr

International Conference on Compiler Construction (CC)

Rank: BOffline
Las Vegas, Nevada, United States
Mar 1, 2025 - Mar 2, 2025
Compilation and interpretation techniquesprogram representationanalysis+26 mehr

Design, Automation and Test in Europe Conference (DATE)

Rank: BOffline
Verona, Italy
Apr 20, 2026 - Apr 22, 2026
Electronic System DesignTestHardware Design+84 mehr