ImpaQ Ecosystem•Clarivate, Scopus & CORE Data
Clarivate WoS 2024 / 2025 Data
IMPAQ
MFPSComputer Science#Theory#CONF

International Conference on Mathematical Foundations of Programming Semantics

Indexed in CORE Rankings with rank B (ICORE2026).

Latest edition: Mathematical Foundations of Programming Semantics

Prestige Metrics & Badges

CORE Ranking2026
B
Theory of computation
CCF RankingChina CF
N/A
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric

Submission Deadlines & Live Countdown

Mathematical Foundations of Programming Semantics • Ljubljana University Slovenia(12 – 15 Jun, 2017)

Main Track
(conference)
Deadline: Mar 17, 2017
DEADLINE PASSED
Anywhere on Earth (UTC-12)

Submission Deadline Has Passed

Please check notifications or wait for the next conference edition.

Complete Track Deadlines
Track / RoundFormatAbstract DuePaper SubmissionRebuttal PeriodNotification DateCamera-Ready DueTime Remaining
Main Track
conferenceTBAMar 17, 2017—TBATBA
Passed

Multi-Source Prestige Rankings

Comparative classification across international academic evaluation bodies

Ranking SystemEvaluation BodyClassificationEdition / YearField / ScopePrestige Significance
CORE RankingComputing Research and Education Association of AustralasiaBYear 2026Theory of computationGood conference (Top 35%–40% globally)
CCF RankingChina Computer Federation (CCF)N/ACCF 2022 CatalogComputer ScienceImportant international conference
TH-CPLTsinghua UniversityN/ATH-CPL ListCS & EngineeringTsinghua Recommended Conference Publishing List
Qualis CAPESCAPES (Brazilian Ministry of Education)N/ASucupira / QualisCiência da ComputaçãoSouth American academic evaluation standard
COREAcademic AssociationBICORE2026GeneralInternational prestige ranking

Conference Editions Timeline

Locations, dates, proceedings, and historical tracks of past & future editions

1 editions
2017

Mathematical Foundations of Programming Semantics

Past
Ljubljana University, Slovenia
12 – 15 Jun, 2017

Access DBLP archives, Papers With Code, and official conference portals