Statistics: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Geo Map
Region
#
EU - Europe
7296
NA - North America
20
AS - Asia, other
12
OC - Oceania
11
SA - South America
3
Unknown
21
Total
7363
Country
#
IE - Ireland
7093
AT - Austria
124
SE - Sweden
34
FR - France
32
US - United States of America
13
AU - Australia
7
CA - Canada
7
CN - China
7
GB - United Kingdom
6
NZ - New Zealand
4
other - Other Country
36
Total
7363
City
#
Dublin
7090
Vienna
117
Strasbourg
30
Beijing
6
Montreal
3
Žilina
3
Auckland
2
Hong Kong
2
Manchester
2
São Paulo
2
other
106
Total
7363
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2020
0 0
0 0 0 0
0 0 34 42
12 16
104
2021
0 0
0 1 4 0
3 1 6 3
7123 0
7141
2022
1 14
0 16 15 0
6 2 0 4
0 5
63
2023
4 1
2 0 0 0
1 2 0 1
2 1
14
2024
2 37
0 2 0 0
0 0 0 0
0 0
41
Ever
7363
Geo Map
Region | # |
---|---|
EU - Europe | 7296 |
NA - North America | 20 |
AS - Asia, other | 12 |
OC - Oceania | 11 |
SA - South America | 3 |
Unknown | 21 |
Total | 7363 |
Country | # |
---|---|
IE - Ireland | 7093 |
AT - Austria | 124 |
SE - Sweden | 34 |
FR - France | 32 |
US - United States of America | 13 |
AU - Australia | 7 |
CA - Canada | 7 |
CN - China | 7 |
GB - United Kingdom | 6 |
NZ - New Zealand | 4 |
other - Other Country | 36 |
Total | 7363 |
City | # |
---|---|
Dublin | 7090 |
Vienna | 117 |
Strasbourg | 30 |
Beijing | 6 |
Montreal | 3 |
Žilina | 3 |
Auckland | 2 |
Hong Kong | 2 |
Manchester | 2 |
São Paulo | 2 |
other | 106 |
Total | 7363 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2020 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 34 | 42 | 12 | 16 | 104 |
2021 | 0 | 0 | 0 | 1 | 4 | 0 | 3 | 1 | 6 | 3 | 7123 | 0 | 7141 |
2022 | 1 | 14 | 0 | 16 | 15 | 0 | 6 | 2 | 0 | 4 | 0 | 5 | 63 |
2023 | 4 | 1 | 2 | 0 | 0 | 0 | 1 | 2 | 0 | 1 | 2 | 1 | 14 |
2024 | 2 | 37 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 41 |
Ever | 7363 |