FIT-Conference Hub

FIT-Conference Hub

Notifications

No new notifications.

Start:

End:

?Submission Date:

Rank:

Source:

Publisher:

Topics:

probabilistic

Field of Research:

Conference Results (7)

Sort by:

Events per page:

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline

University of Strathclyde, UK

Jun 16, 2025 - Jun 18, 2025

Algebra Systems theory and computational models System specification and verification+52 more

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BSpringer LNCS; 18 pages (regular), up to 18 pages (tool papers); double-blind (regular), single-blind (tool)

Venue TBD

Dec 1, 2026

Modeling and specification; finite-state infinite-state and parameterized systems; program analysis and software verification; hardware SoC+10 more

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

Semantics process algebras Petri nets+23 more

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

Dependable Software Engineering Requirements specification and analysis Formalisms for modeling+30 more

International Conference on Data Engineering (ICDE)

Rank: A*Offline

Montréal, Canada

May 4, 2026 - May 8, 2026

AI for Database Systems and Database Systems for AI Benchmarking Performance Modeling+38 more

IEEE International Conference on Data Science and Engineering (ICDSE)

Rank: National:IndiaOffline

Hong Kong SAR, China

May 19, 2025 - May 23, 2025

Data Engineering Data Management AI+40 more

International Conference on Management of Data (COMAD)

Rank: National: IndiaOffline

IISER Pune, Pune

Dec 17, 2025 - Dec 20, 2025

Data Science Data Management Data Mining+57 more