logo
Methods

Conference Results (4)

International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI)

Rank: BOffline
Swansea, United Kingdom
Aug 31, 2026 - Sep 3, 2026
Mobile Human-Computer InteractionMobile HCI technologysystems+15 more

Portuguese Conference on Artificial Intelligence (EPIA)

Rank: National: PortugalOffline
Faro, Portugal
Oct 1, 2025 - Oct 3, 2025
Artificial Intelligence in MedicineGenerative AIKnowledge Representation and Reasoning+18 more

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
Glasgow, United Kingdom
Jun 16, 2025 - Jun 20, 2025
Modal logicsProof systemsRelational systems+64 more

International Workshop on Formal Methods for interactive Systems (FMIS)

Rank: COffline
Rio de Janeiro, Brazil
Apr 12, 2026 - Apr 13, 2026
requirements formalization and formal specificationapproachesmethods+24 more