logo
Certification

Conference Results (5)

Health Informatics Conference (HIC)

Rank: Australasian CHybrid
Marbella, Spain
Mar 2, 2026 - Mar 4, 2026
Big datanetworkingdata mining+21 more

International Conference on Advanced Communications and Computation (INFOCOMP)

Rank: UnrankedHybrid
Valencia, Spain
Apr 6, 2025 - Apr 10, 2025
Performance portabilityCloud computingHigh Performance Computing (HPC)+256 more

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

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsAIEconomics+26 more

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Lisbon, Portugal
Jul 20, 2026 - Jul 23, 2026
Formal StructuresComputationDeduction+39 more

Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS)

Rank: COffline
Liverpool, UK
Sep 2, 2026
Formal specificationCase studiesCertification+7 more