Submission Data for 2020-2021 CORE Conference Ranking Process International Conference on Formal Structures for Computation and Deduction

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 ﬁelds 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 Aﬃliation: 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 Aﬃliation: 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 Aﬃliation: 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 Aﬃliation: 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 Aﬃliation: 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 Aﬃliation: 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 justiﬁcation: 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 justiﬁcation: 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 at this conference are: Aart Middeldorp(8), Grigore Rosu(2), Jrgen Giesl(1)

In 2015, there were 5 publications by 3 experts: Aart Middeldorp, Grigore Rosu, Jrgen Giesl In 2016, there were 1 publications by 1 experts: Aart Middeldorp In 2017, there were 1 publications by 1 experts: Aart Middeldorp In 2018, there were 4 publications by 2 experts: Aart Middeldorp, Grigore Rosu

3 out of the 8 experts published at this conference in 1 or more years

6 2 out of the 8 experts published at this conference in 2 or more years 1 out of the 8 experts published at this conference in 4 or more years

Top People Report

Method of selection: The top people in our list were selected by combining different criteria: (1) Their work intersects the main topics of FSCD, they were found using specific labels on google scholar. This gives: label:specification and verification: Martin Abadi. label:programming languages: John C Mitchell, Philip Wadler, Benjamin Pierce, label:linear logic: Dale Miller. label:automated deduction: Frank Pfenning, Franz Baader, Nikolaj Bjorner. label:term rewriting: Deepak Kapur. label:formal methods: Grigore Rosu. label:theoretical computer science: Samson Abramsky. label:verification: Tobias Nipkow, Javier Esparza. label:logic: Jan Willem Klop. (2) They were recipients of the EATCS Award or the ACM Fellow. This gives: EATCS Awards: Dexter Kozen, Gordon Plotkin. ACM Fellow: Neil Jones. (3) They belong to the editorial board of the (CORE ranked A*) journal ACM Transactions on Programming Languages and Systems (TOPLAS), which is one of the top journals in our field. This gives: Nobuko Yoshida. (4) They were Program Committee Chairs of the (CORE ranked A*) Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), which is one of the top conferences in our field. This gives: Nachum Dershowitz, Prakash Panangaden. name h-index gscholar url Martin Abadi 91 https://scholar.google.com/citations?user=vWTI60AAAAAJ&hl=en John C Mitchell 89 https://scholar.google.com/citations?user=1_kJPIEAAAAJ&hl=en&oi=ao Philip Wadler 73 https://scholar.google.com/citations?hl=en&user=Iz-3VFQAAAAJ Benjamin Pierce 65 https://scholar.google.com/citations?hl=en&user=2kkddh0AAAAJ Frank Pfenning 64 https://scholar.google.com/citations?user=ghWKWBUAAAAJ&hl=en&oi=ao Franz Baader 62 https://scholar.google.com/citations?hl=en&user=dIVc_FYAAAAJ Gordon Plotkin 61 https://scholar.google.fr/citations?hl=en&user=0KiEfGcAAAAJ Grigore Rosu 59 https://scholar.google.com/citations?user=yxpqbdQAAAAJ&hl=en&oi=ao Samson Abramsky 59 https://scholar.google.com/citations?hl=en&user=L2vmD3MAAAAJ Keyword: Dexter Kozen 55 https://scholar.google.com/citations?hl=en&user=LV1qWjgAAAAJ Dale Miller 54 https://scholar.google.com/citations?user=d9WopvMAAAAJ&hl=en Deepak Kapur 54 https://scholar.google.com/citations?hl=en&user=U6XKBVIAAAAJ Nobuko Yoshida 53 https://www.semanticscholar.org/author/T.-Nipkow/1679991 Tobias Nipkow 52 https://www.semanticscholar.org/author/T.-Nipkow/1679991 Javier Esparza 51 https://scholar.google.com/citations?hl=en&user=c9qgPSYAAAAJ Neil Jones 51 https://scholar.google.com/citations?hl=en&user=2ADsKV4AAAAJ Jan Willem Klop 49 https://scholar.google.com/citations?user=XNkLwOkAAAAJ&hl=en&oi=ao Nikolaj Bjorner 47 https://scholar.google.com/citations?hl=en&user=kja6dIzH9GwJ Nachum Dershowitz 46 https://www.semanticscholar.org/author/N.-Dershowitz/1759551 Prakash Panangaden 46 https://scholar.google.fr/citations?user=IROzEKQAAAAJ&hl=en

Reference item: \\ 10. International Conference on Rewriting Techniques and Applications (RTA) ______

This conference was published at 6 times by 5 of 20 experts in the last 5 years.

The experts that publish at this conference are: Dale Miller 0001(1), Franz Baader(1), Jan Willem Klop(1), Grigore Rosu(2), Tobias Nipkow(1)

In 2015, there were 2 publications by 2 experts: Franz Baader, Grigore Rosu In 2016, there were 2 publications by 2 experts: Dale Miller 0001, Tobias Nipkow In 2018, there were 2 publications by 2 experts: Jan Willem Klop, Grigore Rosu

5 out of the 20 experts published at this conference in 1 or more years 1 out of the 20 experts published at this conference in 2 or more years WPP Report: http://portal.core.edu.au/core/media/conf_rank_report/addrank1062_top_people_report.txt Graphs: http://portal.core.edu.au/core/media/conf_rank_graphs/addrank1062_top_people_graph.png

7 Other Information

Comparator Comparison

Comparator

Logic Programming and Automated Reasoning

Explanation as to why conference is superior to comparator: - Proceedings of LPAR in the series LNCS until 2015, then in EPiC Series in Computing, while proceedings of FSCD in LIPIcs, which is much more selective than both LNCS and EPIC. - (Average of) Acceptance rate of LPAR on the last three editions is 52, while the average acceptance rate of FSCD in the last three editions is 41. - The Conference Chair of LPAR is always the same, while the conference chair of FSCD systematically changes. Editions of LPAR are not necessarily annual (editions 2019, 2016, 2014, 2011, etc did not ﬁnally take place), while FSCD is an annual conference. Note: we computed Martin Davis’s (co-PC Chair of LPARâĂŹ2015) h-index by hand, because we could not ﬁnd this information on the web. Link to comparator report: http://portal.core.edu.au/core/media/conference_submission_2020/Data_Comparator_for_1062_272.pdf

Comparator

Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)

Explanation as to why conference is superior to comparator: -(Average of) Acceptance rate of ITP on the last three editions is 53, while the average acceptance rate of FSCD in the last three editions is 41. -(Average of) Submitted papers of ITP on the last three editions is 64, while the average of submitted papers of FSCD in the last three editions is 70. -(Average of) h-index of PC Chairs of ITP on the last three editions is 25, while the average of h-index of PC Chairs of FSCD in the last three editions is 38. Link to comparator report: http://portal.core.edu.au/core/media/conference_submission_2020/Data_Comparator_for_1062_304.pdf

Other Relvant Info

Other relevant information: FSCD is a new conference, born in 2016 from the merger of RTA and TLCA, two well-established international conferences in theoretical computer science: - RTA (Rewriting Techniques and Applications, https://dblp.org/db/conf/rta/index.html) ran biannually from 1985 to 1993, and annually from 1995 to 2015. It was consistently ranked A in CORE ( http://portal.core.edu.au/conf-ranks/2123/). - TLCA (Typed Lambda-Calculi and Applications https://dblp.org/db/conf/tlca/index.html) ran biannually from 1993 to 2015. It was not ranked in CORE.

8 Both conferences were internationally recognized in their respective communities and were organized in several different continents (Europe, North America, East Asia, South America). FSCD retains the international character of its predecessors but has the ambition of being more than just their union: its scope includes strictly more topics than those of RTA and TLCA, and the conspicuous number of satellite workshops regularly organized around FSCD (about a dozen) reflects an active community going beyond those of RTA and TLCA put together. The relative youth of FSCD has a negative impact on its quantitative indicators. In particular, its h5-index computed over 2015-2019 misses 2015, when FSCD did not exist yet, a year which would have been the ”heaviest” in terms of citations, especially in a theoretically-oriented, relatively specialized field such as that of FSCD, where the community and number of publications are not very large and the importance of a result might not be immediately picked up. Thus, Google Scholar currently gives FSCD an h5-index of 14, with zero citations from 2015. However, the fact that FSCD is the successor of both RTA and TLCA (a fact that the CORE 2018 ranking explicitly recognized by reporting RTA as ”now merged with FSCD”) led us to manually compute the h5-index as if FSCD already existed in 2015 and was equal to RTA+TLCA (in truth, as explained above, FSCD ¿ RTA+TLCA). This gave the following results: - the top 10 papers of FSCD 2016-2019 have at least 17 citations; - the top 5 papers of RTA 2015 have at least 17 citations ( https://www.irif.fr/~kesner/fscd/rta+tlca-2015.html); - the top 4 papers of TLCA 2015 have at least 17 citations ( https://www.irif.fr/~kesner/fscd/rta+tlca-2015.html). So, seen as a continuation of RTA+TLCA, over the years 2015-2019 FSCD has an h5-index of 17, which is the one we reported in Section C.1 of the submission form. (In fact, of the above 19 papers, only 4 have exactly 17 citations, so we are just ”3 papers short” of having an h5-index of 18). This same remarks also applies in section D1: we pasted the item that references the RTA conference, since FSCD is not currently in the CORE data base. The international standing of FSCD is also a bit tarnished by the short time frame considered in this submission: only European venues have been chosen so far, and Oxford even appears two years in a row, the second year being due to the colocation with FLoC (Federated Logic Conference), a large confederation of logic conferences, including e.g. LICS. In this respect, we would like to stress that the next two editions of FSCD are scheduled to be located outside of Europe: in Buenos Aires, Argentina (2021) and Haifa, Israel (2022, again as part of FLoC). Another aspect which we would like to clarify concerns the selection of the PC Chair and of the General Chair of FSCD. The latter, for us, is just the local organizer of the conference, whose primary role is logistic and not scientific, so we do not consider the h-index of the General Chair to be of great significance. For what concerns PC Chairs, since its inception the FSCD Steering Committee has been enforcing a policy of male-female alternation. While we do keep scientific standing as the primary requirement for selecting PC Chairs, it should be noted that our goal has been maximizing gender equality rather than quantitative indicators such as h-indices.

Attachments

N/A

Proposers

First name: Delia Last name: Kesner Aﬃliation: UniversitÃľ de Paris Email: [email protected]

Submitted By

Name: Kesner Delia Email: [email protected]