Submission Data for 2020-2021 CORE Conference Ranking Process International Conference on Mathematical Foundations of Programming Semantics

Submission Data for 2020-2021 CORE conference Ranking process International Conference on Mathematical Foundations of Programming Semantics

Bartek Klin

Conference Details

Conference

Title: International Conference on Mathematical Foundations of Programming Semantics Acronym : MFPS

Requested Rank

Rank: B

Primarily CS

Is this conference primarily a CS venue: True

Location

Not commonly held within a single country, set of countries, or region.

DBLP Link

DBLP url: https://dblp.org/db/conf/mfps/index.html

FoR Codes

For1: 4613 For2: SELECT For3: SELECT

Recent Years

Proceedings Publishing Style

Proceedings Publishing: journal Link to most recent proceedings: https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/347/suppl/C Further details: Proceedings published as volumes of Electronic Notes in Theoretical Computer Science, published by Elsevier.

Most Recent Years

Most Recent Year

Year: 2019 URL: https://www.coalg.org/calco-mfps-2019/mfps/ Location: London, UK Papers submitted: 20 Papers published: 15 Acceptance rate: 75 Source for numbers: https://www.coalg.org/calco-mfps-2019/mfps/mfps-xxxv-list-of-accepted-papers/

General Chairs

1 No General Chairs

Program Chairs

Name: Barbara KÃűnig Aﬃliation: University of Duisburg-Essen, Germany Gender: F H Index: 27 GScholar url: https://scholar.google.com/citations?user=bcM7IuEAAAAJ DBLP url:

Second Most Recent Year

Year: 2018 URL: https://www.mathstat.dal.ca/mfps2018/ Location: Halifax, Canada Papers submitted: 24 Papers published: 16 Acceptance rate: 67 Source for numbers: https://www.mathstat.dal.ca/mfps2018/preproc/

General Chairs

No General Chairs

Program Chairs

Name: Sam Staton Aﬃliation: University of Oxford Gender: M H Index: 17 GScholar url: DBLP url: https://dblp.org/pid/07/197.html

Third Most Recent Year

Year: 2017 URL: https://coalg.org/mfps-calco2017/ Location: Ljubljana, Slovenia Papers submitted: 30 Papers published: 16 Acceptance rate: 53 Source for numbers: https://coalg.org/mfps-calco2017/accepted-mfps.html

General Chairs

No General Chairs

Program Chairs

Name: Alexandra Silva Aﬃliation: University College London Gender: F H Index: 24 GScholar url: https://scholar.google.com/citations?user=Vgu38TgAAAAJ DBLP url:

Policies

Chair Selection: PC Chairs are selected by the Steering Committee, currently composed of: - Achim Jung, Birmingham, UK - Andrej Bauer, Ljubljana, Slovenia - Catherine Meadows, NRL, USA - Joel Ouaknine, Oxford, UK - Michael Mislove, Tulane, USA - Prakash Panangaden, McGill, Canada - Steve Brookes, CMU, USA No Policies.

(Senior) Program Committee

2 Link to (s)pc: https://www.monoidal.net/paris2020/mfps/ File: http://portal.core.edu.au/core/media/conf_submissions_spc_file/mfps-pc.txt H-index plot: http://portal.core.edu.au/core/media/conf_submissions_hindex_plots/hindex_buckets_1180.png Information Contained within this graph is derived using the Elsevier Scopus Database 2021.

Data and Metrics

Google Scholar Metrics

Sub-category url: https://scholar.google.com/citations?view_op=top_venues&hl=en&vq=eng_theoreticalcomputerscience Position in sub-category: 20+ Image of top 20: http://portal.core.edu.au/core/media/changes_h5/addrank1180_gscholar_minh5.png

3 No Google Scholar h5 index available for this conference Potential reason for no h5 index: Google Scholar does not calculate the h5 index for MFPS, probably because it does not recognize its proceedings among the volumes of the journal ENTCS where they are published. The h5-index of ENTCS itself is 18. Looking through the volumes as they are presented in Google Scholar, I have manually computed the h5-index of MFPS to be 13. The following papers contribute to the index: No. of citations: authors, ”title” (MFPS year) ======51: M. Pretnar, ”An introduction to algebraic effects and handlers” (2015) 46: JP. Bernardy et al., ”A presheaf model of parametric type theory” (2015) 24: S. Goncharov et al., ”Unguarded recursion on coinductive resumptions” (2015) 24: T. Sato, ”Approximate relational Hoare logic for continuous random samplings” (2016) 22: P. Dybjer, H. Moeneclaey, ”Finitary higher inductive types in the groupoid model” (2017) 20: N. Jansen et al., ”Conditioning in probabilistic programming” (2015) 20: M. Rennela, S. Staton, ”Classical control and quantum circuits in enriched category theory” (2017) 19: R. Rand, S. Zdancewic, VPHL: A verified partial-correctness logic for probabilistic programs (2015) 19: A. Bizjak, R. Mogelberg, ”A model of guarded recursion with clock synchronisation” (2015) 15: N. Ghani et al., ”Bifibrational functorial semantics of parametric polymorphism” (2015) 15: J. Hedges, ”Morphisms of open games” (2018) 14: P. da Rocha Pinto et al., ”Steps in modular specifications for concurrent modules” (2015) 13: A. Simpson, ”Category-theoretic structure for independence and conditional independence” (2017)

ACM Metrics

Not Sponsored by ACM

Aminer Rank

Not Listed in Aminer

Other Rankings

Not aware of any other Rankings Conferences in area: LICS: IEEE Symposium in Logic in Computer Science POPL: ACM SIGPLAN Symposium on Principles of Programming Languages FoSSaCS: Foundations of Software Science and Computational Structures MFCS: International Symposium

4 on Mathematical Foundations of Computer Science FCT: International Symposium on Fundamentals of Computation Theory ***MFPS: International Conference on Mathematical Foundations of Programming Semantics CSL: Annual Conference on Computer Science Logic FST&TCS: Foundations of Software Technology and Theoretical Computer Science WoLLiC: Workshop on Logic, Language, Information and Computation SOFSEM: Current Trends in Theory and Practice of Computer Science

Top People Publishing Here name: Bart Jacobs justification: Member of Royal Netherlands Academy of Sciences, Academia Europaea, Dutch National Cybersecurity Council. Holder of an ERC Advanced Grant in 2013-17. Winner of the 2018 Brouwer Award. Google Scholar h-index = 46. https://www.cs.ru.nl/B.Jacobs/ Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 2 0 1 1 Attendance: SOMETIMES name: Gordon Plotkin justification: Fellow of the Royal Society. Member of Academia Europaea. Winner of the 2012 Milner Award, and 2014 EATCS Award. Winner of the ”LICS Test of Time” award in 2007, 2017 and 2019. Google Scholar h-index = 62. https://en.wikipedia.org/wiki/Gordon_Plotkin https://lics.siglog.org/archive/test-of-time-award.html Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 1 0 1 0 0 Attendance: SOMETIMES name: Prakash Panangaden justification: Founding chair of the ACM SIGLOG group. Fellow of the Royal Society of Canada. Winner of the ”LICS Test of Time” award in 2017. Google Scholar h-index = 46. https://en.wikipedia.org/wiki/Prakash_Panangaden Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 1 1 0 1 0 Attendance: SOMETIMES name: Vincent Danos justification: Directeur de Recherches at CNRS. Google Scholar h-index = 40. https://www.di.ens.fr/~danos/ Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 1 0 1 Attendance: OCCASIONALLY name: Kim G. Larsen justification: ERC Advanced Grant holder since 2015. Creator of the award-winning verification tool UPPAAL. Google Scholar h-index = 82. http://people.cs.aau.dk/~kgl/ Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 1 0 Attendance: OCCASIONALLY name: Lars Birkedal justification: Fellow of the ACM. Recipient of the Milner Award 2013. Editor-in-chief of Logical Methods in Computer Science. PC Chair of POPL 2020. Google Scholar h-index = 45. https://cs.au.dk/~birke/ Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 1 0 Attendance: OCCASIONALLY name: Alexandra Silva justification: Royal Society Wolfson Fellow. Winner of the Presburger Award 2017. Google Scholar h-index = 24. Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 1 0 1 0 0 Attendance: OCCASIONALLY name: Glynn Winskel justification: Professor at the University of Cambridge. Author of the widely used textbook ”Formal Semantics of Programming Languages”. Google Scholar h-index = 44. Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 1 0 0 Attendance: OCCASIONALLY name: Michael W. Mislove justification: Professor and Chair of the Department of Computer Science at Tulane University. Founder and Managing Editor of the Electronic Notes in Theoretical Computer Science. Editor of the Semantics Column of the quarterly ACM SIGLOG newsletter. Google

5 Scholar h-index = 21. Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 0 0 Attendance: ALWAYS name: . justiﬁcation: . Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 0 0 Attendance: OCCASIONALLY Where People Publish Top (Senior) Program Committee Members Generated Report Name: conf submissions top spc/addrank1180 top spc.csv WPP Report: http://portal.core.edu.au/core/media/conf_rank_report/addrank1180_spc_report.txt Graphs: http://portal.core.edu.au/core/media/conf_rank_graphs/addrank1180_spc_graph.png

Journal WPP Report: http://portal.core.edu.au/core/media/conf_rank_journal_report/addrank1180_spc_jnl_report.txt Reference item: \\ 2. Electron. Notes Theor. Comput. Sci. (entcs) ______

This journal was published at 18 times by 4 of 6 experts in the last 13 years.

The experts that publish at this journal are: Peter Selinger(8), Barbara Knig 0001(4), Catherine A. Meadows(2), Prakash Panangaden(6)

Top People Report Not providing Top People Report Other Information Comparator Comparison Comparator Workshop on Logic, Language, Information and Computation Explanation as to why conference is superior to comparator: MFPS has h5-index 13, whereas WOLLIC has h5-index 11. Signiﬁcantly more PC members of MFPS regularly publish at top A* conferences. Link to comparator report: http://portal.core.edu.au/core/media/conference_submission_2020/Data_Comparator_for_1180_309.pdf Comparator Foundations of Software Technology and Theoretical Computer Science Explanation as to why conference is superior to comparator: FST&TCS is a much bigger conference than MFPS (it accepts roughly 3 times as many papers), but both conferences have the same h5-index of 13. This shows that, although FST&TCS publishes a good share of excellent work, having a paper accepted to MFPS is on average a better achievement. Both conferences attract similar numbers of PC members who regularly publish at top A* conferences, but - again - MFPS achieves that with a signiﬁcantly smaller PC. Link to comparator report: http://portal.core.edu.au/core/media/conference_submission_2020/Data_Comparator_for_1180_311.pdf

6 Attachments

N/A

Proposers

First name: Bartek Last name: Klin Aﬃliation: University of Warsaw Email: [email protected]

Submitted By

Name: Klin Bartek Email: [email protected]