ABCDEFGH
1
2
To assist the community in collaborating to prepare a submission to retain the current rank we have prepared this spreadsheet where interested parties can provide their details.
3
 Parties should contact each other. ICORE will not contact people.
4
Conferences in the list that do not have a submission will be reviewed without the benefit of community input and decisions will be final.
5
6
People wishing to organise collaboration on additional submissions can add these on tab 2. DO NOT ADD ROWS ON THIS LIST
7
8
Confrence nameAcronymRankFOR1
FOR2
FOR3
Review reasonPeople willing to contribute
9
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
ITPA4613agreement 2023 to review all A ranked theory togetherITP steering committee chair: myreen@chalmers.se

ITP 指导委员会主席：myreen@chalmers.se
10
International Conference on Concurrency TheoryCONCURA46134606agreement 2023 to review all A ranked theory togetherCONCUR steering committee chair (w.j.fokkink@vu.nl)
11
International Symposium on Theoretical Aspects of Computer ScienceSTACSA4613agreement 2023 to review all A ranked theory togetherSTACS steering committee co-chairs (schmitz@irif.fr,thomas.schwentick@tu-dortmund.de)
12
International Symposium on Computational GeometrySoCGA4613agreement 2023 to review all A ranked theory togetherCG Steering Committee <socg-sc-24-26@listen.uni-bonn.de>
13
International Symposium on Algorithms and ComputationISAACA4613agreement 2023 to review all A ranked theory togetherISAAC SC chair Kazuhisa Makino <makino@kurims.kyoto-u.ac.jp>
14
Conference on Integer Programming and Combinatorial OptimizationIPCOA4613agreement 2023 to review all A ranked theory together
15
IEEE Conference on Computational ComplexityCCCA4613agreement 2023 to review all A ranked theory togetherCCF president Shachar Lovett (shachar.lovett@gmail.com) + CCF board as needed
16
European Symposium on AlgorithmsESAA4613agreement 2023 to review all A ranked theory togetherESA steering committee chair Simon Puglisi, simon.j.puglisi@gmail.com
17
Workshop on Algorithm Engineering and ExperimentsALENEXA4613agreement 2023 to review all A ranked theory together
18
International Workshop on Approximation Algorithms for Combinatorial Optimization Problems and International Conference on Randomization and Computation
APPROX/RANDOM
A4613agreement 2023 to review all A ranked theory togetherAPPROX&RANDOM steering committee representatives: Jarek Byrka, jby@cs.uni.wroc.pl and Dana Ron, danaron@tau.ac.il
19
Foundations of Software Science and Computational StructuresFOSSACSA46134612agreement 2023 to review all A ranked theory togetherFOSSACS steering committee (chair: andrzej.murawski@cs.ox.ac.uk)
20
Graph DrawingGDA4613agreement 2023 to review all A ranked theory togetherGD steering committee (chair: noellenburg@ac.tuwien.ac.at)
21
International Colloquium on Automata Languages and ProgrammingICALPA4613agreement 2023 to review all A ranked theory togetherSC steering committee chair Thore Husfeldt, thore@itu.dk (+ other SC members)
22
International Conference on Logic ProgrammingICLPA4613agreement 2023 to review all A ranked theory togetherENRICO PONTELLI - submitted (epontell@nmsu.edu)
23
International Symposium on Symbolic and Algebraic ComputationISSACA4613agreement 2023 to review all A ranked theory togetherSC committee chair Anton Leykin, leykin@math.gatech.edu (and other SC members)
24
Innovations in Theoretical Computer ScienceITCSA4613agreement 2023 to review all A ranked theory together
25
Logics in Artificial Intelligence, European ConferenceJELIAA46134602agreement 2023 to review all A ranked theory togetherJELIA steering committee (wolfgang.faber@aau.at and others)
26
International Symposium on Mathematical Foundations of Computer Science
MFCSA4613agreement 2023 to review all A ranked theory togetherSC chair Antonin Kucera, tony@fi.muni.cz
27
Theoretical Aspects of Rationality and KnowledgeTARKA4613agreement 2023 to review all A ranked theory togetherJoe Halpern (TARK general chair): halperbn@cs.cornell.edu
28
Computer Aided VerificationCAVA*46124613Has never had a full review
29
International Symposium on Formal MethodsFMA46124613Being reviewed due to being in group of A ranked theory conferencesFME board (board@fmeurope.org)
30
IEEE Computer Security Foundations SymposiumCSFA4604Has never had a full reviewCSF Steering Committee (chair: matteo.maffei@tuwien.ac.at)
31
Theory of Cryptography ConferenceTCCA46044613Has never had a full review
32
IEEE International Conference on Web ServicesICWSA4606Noted in 2023 to review again next round.Xiao Liu (xiao.liu@deakin.edu.au); Jun Shen (jshen@uow.edu.au)
33
ACM Conference on Embedded Networked Sensor SystemsSENSYSA*4606Noted in 2023 to review again next round.Ningning Hou (ningning.hou@mq.edu.au)
34
ACM Virtual Reality Software and TechnologyVRSTA46074608Noted in 2023 to review again next round.james.walsh@unisa.edu.au
35
European Conference on Software ArchitectureECSAA 46122018 and 2021 had some hesitation about leaving as A, and it was noted that it should be reviewed again.ECSA board (contact: Carlos.cuesta@urjc.es)
36
International Joint Conference on Autonomous Agents and Multiagent Systems
AAMASA*4602Has never had a full reviewIFAAMAS board (contact: Michael.winikoff@vuw.ac.nz)
37
Extending Database TechnologyEDBTA4605Has never had a full reviewEDBT board (contact: i.velegrakis@uu.nl)
38
Real Time Systems SymposiumRTSSA*4606Has never had a full reviewContact: Rob Davis and Liliana Cucu-Grosjean (TCRTS chair and vice-chair) [Emailed 22/12]
39
Information Processing in Sensor NetworksIPSNA*4606Should be reviewed together with Sensys as it is an A* in a similar area.Ningning Hou (ningning.hou@mq.edu.au)
40
ACM Symposium on Mobile Ad Hoc Networking and ComputingMobihocA4606Has never had a full review
41
IEEE VisualizationVISA4608VIS has never had a full review. It was actually a multiconference until 2021. The papers in TVCG will need to be entered manually for evaluation.Danish Computer-Science So
42
Measurement and Modeling of Computer SystemsSigmetricsA*4612Has never had a full review. It has a high % of papers with no citations after 4-5 yearsEC of ACM SIGMETRICS (Mor Harchol-Balter, Niklas Carlsson, and others)
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100