Submission Data for 2020-2021 CORE conference Ranking process International Conference on Formal Structures for Computation and Deduction Delia Kesner Conference Details Conference Title: International Conference on Formal Structures for Computation and Deduction Acronym : FSCD Requested Rank Rank: A 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/fscd/index.html FoR Codes For1: 4613 For2: SELECT For3: SELECT Recent Years Proceedings Publishing Style Proceedings Publishing: series Link to most recent proceedings: https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16152 Further details: FSCD is currently associated with LIPIcsâĂŞLeibniz International Proceedings in Informatics, which is a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl âĂŞLeibniz Center for Informatics. NOTE: FSCD is a new conference, born in 2016 from the merger of RTA and TLCA, two well-established international conferences in theoretical computer science. FSCD is not currently in the CORE data base. More details on this topic can be found in section F2. Most Recent Years Most Recent Year Year: 2019 URL: http://easyconferences.eu/fscd2019/ Location: Dortmund, Germany Papers submitted: 70 Papers published: 30 Acceptance rate: 43 Source for numbers: https://fscd-conference.org/archive/archivebm 1 General Chairs Name: Jakob Rehof Affiliation: TU Dortmund - Germany Gender: M H Index: 30 GScholar url: https://scholar.google.co.il/citations?user=lhc6Jn4AAAAJ&hl=en DBLP url: https://dblp.org/pid/r/JakobRehof.html Program Chairs Name: Herman Geuvers Affiliation: U. of Nijmegen - Netherlands Gender: M H Index: 30 GScholar url: https://scholar.google.fr/citations?user=hbnF9xUAAAAJ&hl=en DBLP url: https://dblp.org/pid/47/2251.html Second Most Recent Year Year: 2018 URL: https://www.cs.le.ac.uk/events/fscd2018/ Location: Oxford - United Kingdom Papers submitted: 65 Papers published: 27 Acceptance rate: 42 Source for numbers: https://fscd-conference.org/archive/archivebm General Chairs Name: Paula Severi Affiliation: U. of Leicester - United Kingdom Gender: F H Index: 13 GScholar url: https://scholar.google.co.uk/citations?user=LjXQL-sAAAAJ&hl=en DBLP url: https://dblp.org/pid/61/5276.html Program Chairs Name: HÃľlÃĺne Kirchner Affiliation: INRIA - France Gender: F H Index: 30 GScholar url: DBLP url: https://dblp.org/pid/k/HKirchner.html Third Most Recent Year Year: 2017 URL: http://www.cs.ox.ac.uk/conferences/fscd2017/ Location: University of Oxford - United Kingdom Papers submitted: 77 Papers published: 29 Acceptance rate: 38 Source for numbers: https://fscd-conference.org/archive/archivebm General Chairs Name: Sam Staton Affiliation: University of Oxford - United Kingdom Gender: M H Index: 18 GScholar url: DBLP url: https://dblp.org/pid/07/197.html Program Chairs Name: Dale Miller Affiliation: INRIA - France Gender: M H Index: 54 GScholar url: https://scholar.google.co.uk/citations?hl=en&user=d9WopvMAAAAJ DBLP url: https://dblp.org/pid/m/DaleMiller.html 2 Policies Chair Selection: The quality of FSCD is undoubtedly determined by the scientific program of the conference, so the selection of the PC chair is an extremely important task for the FSCD steering committee (SC). The following personal and professional criteria are used to select FSCD PC Chairs: 1) Scientific standing: a person that has done outstanding work will be naturally associated to an excellent conference by the community. 2) Open mindedness: so that he/she inspires confidence among the members of the FSCD scientific community. 3) Organizational skills and experience: reliability to meet different deadlines (call for papers, invited speakers, distribution of work, discussion, etc). Previous experience as PC chair could be an important feature also. 4) Balance: it would be ideal to achieve a certain balance for years with respect to gender, scientific areas, nationalities/regions, and possibly others. 5) Willingness to Serve. The election process is organized in the following steps: NOMINATION STEP. Each steering committee member nominates up to 3 names. For each nominee, the steering committee member indicates her/his main research topics, includes a link to her/his web-page and a few sentences to support the nomination. The steering committee Chair collects all the answers and summarize all the nominations in a single text. The single text is then sent to the whole steering committee. DISCUSSION 1. A discussion about the first nomination list is open during one week. VOTE ROUND 1. Each steering committee member votes for THREE UNRANKED names from the list of nominees. The top three names will form the so-called SHORTLIST. DISCUSSION 2. A discussion about the SHORTLIST is open during one week. VOTE ROUND 2. Each steering committee member votes for a RANKING of the 3 names taken from the SHORTLIST. Borda count method is used to determine the elected PC Chair. Policy name: Code of Conduct Policy url: https://fscd-conference.org/organization/code-of-conduct (Senior) Program Committee Link to (s)pc: https://fscd2020.org/program-committee File: http://portal.core.edu.au/core/media/conf_submissions_spc_file/spc_tur0HFZ.txt H-index plot: http://portal.core.edu.au/core/media/conf_submissions_hindex_plots/addrank_hindex_buckets_1062.png Information Contained within this graph is derived using the Elsevier Scopus Database 2021. 3 Data and Metrics Google Scholar Metrics Sub-category url: https://scholar.google.com.au/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/addrank1062_gscholar_minh5.png 4 h5-index for this conference: 17 ACM Metrics Not Sponsored by ACM Aminer Rank Not Listed in Aminer Other Rankings Not aware of any other Rankings Conferences in area: LICS, POPL, ICFP, IJCAR, FSCD, CADE, FOSSACS, ESOP, CONCUR, CSL, MFCS, LPAR, WOLLIC, PPDP, ICTAC, LOPSTR, FSTTCS, APLAS, FroCoS Top People Publishing Here name: Frank Pfenning justification: h-index 64 https://scholar.google.com/citations?user=ghWKWBUAAAAJ&hl=en&oi=ao Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 2 0 0 0 0 Attendance: SOMETIMES name: Grigore Rosu justification: h-index 59 https://scholar.google.com/citations?user=yxpqbdQAAAAJ&hl=en&oi=ao Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 1 0 0 Attendance: SOMETIMES name: Dale Miller justification: h-index 54 https://scholar.google.com/citations?user=d9WopvMAAAAJ&hl=en PC Chair in 2017 Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 0 1 Attendance: OFTEN name: Tobias Nipkow justification: h-index 52 https://www.semanticscholar.org/author/T.-Nipkow/1679991 Invited Speaker in 2016 Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 0 1 Attendance: SOMETIMES name: Jan Willem Klop justification: h-index 49 https://scholar.google.com/citations?user=XNkLwOkAAAAJ&hl=en&oi=ao He does not attend any conference, and that since several years now. Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 1 0 0 Attendance: OCCASIONALLY name: Glynn Winskel justification: h-index 44 https://scholar.google.com/citations?hl=en&user=4G6EhwMAAAAJ Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 1 0 Attendance: SOMETIMES name: Andre Scedrov justification: h-index 43 https://scholar.google.com/citations?hl=en&user=F-kvxQoAAAAJ Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 1 0 Attendance: SOMETIMES name: GÃľrard Huet justification: h-index 38, https://scholar.google.com/citations?user=0kqdfWEAAAAJ&hl=en&oi=ao French Academy of Sciences Academia Europaea ACM Software System Award (2013) Herbrand Award (1998) http://pauillac.inria.fr/~huet/ 5 The name FSCD (”Formal Structures for Computation and Deduction”) of the conference, comes from an unpublished book of GÃľrard Huet. Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 0 0 1 Attendance: SOMETIMES name: Aart Middeldorp justification: h-index 36, https://scholar.google.com/citations?user=R9MO_3AAAAAJ&hl=en&oi=ao Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 0 0 3 1 1 Attendance: OFTEN name: Naoki Kobayashi justification: h-index 36, https://scholar.google.com/citations?user=bhZQ7FEAAAAJ&hl=en&oi=ao PC Chair in 2021 Paper counts: Most Recent: Second most recent: Third most recent: Fourth most recent: Fifth most recent: 3 0 0 1 0 Attendance: SOMETIMES Where People Publish Top (Senior) Program Committee Members Generated Report Name: conf submissions top spc/addrank1062 top spc.csv WPP Report: http://portal.core.edu.au/core/media/conf_rank_report/addrank1062_spc_report.txt Graphs: http://portal.core.edu.au/core/media/conf_rank_graphs/addrank1062_spc_graph.png Reference item: \\ 2. International Conference on Rewriting Techniques and Applications (RTA) __________________________________________________________________________ This conference was published at 11 times by 3 of 8 experts in the last 5 years. The experts that publish