logo
probabilistic

Resultados de Congresos (7)

IEEE International Conference on Data Science and Engineering (ICDSE)

Rank: National:IndiaOffline
Hong Kong SAR, China
May 19, 2025 - May 23, 2025
Data EngineeringData ManagementAI+40 más

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
Jan 12, 2026
Modeling and specification; finite-stateinfinite-state and parameterized systems; program analysis and software verification; hardwareSoC+10 más

International Conference on Management of Data (COMAD)

Rank: National: IndiaOffline
IISER Pune, Pune
Dec 17, 2025 - Dec 20, 2025
Data ScienceData ManagementData Mining+57 más

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026
Semanticslogicsverification and analysis of concurrent systems; models (abstract machines+23 más

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 más

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 AIBenchmarkingPerformance Modeling+38 más

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 EngineeringRequirements specification and analysisFormalisms for modeling+30 más