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 Affiliation: 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 Affiliation: 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 Affiliation: 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: . justification: . 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