Statistics: Conference Series: Formal Methods in Computer-Aided Design

From:   ever     To:   now     Change data

Geo Map

Region #
EU - Europe 13473
NA - North America 2973
AS - Asia, other 2211
AF - Africa 112
SA - South America 60
OC - Oceania 16
Unknown 242
Total 19087
Country #
AT - Austria 9768
US - United States of America 2845
FR - France 847
CN - China 808
DE - Germany 766
SG - Singapore 524
SE - Sweden 377
GB - United Kingdom 306
IN - India 258
RU - Russian Federation 257
other - Other Country 2331
Total 19087
City #
Vienna 2647
Ashburn 338
Council Bluffs 317
Helsinki 233
Strasbourg 232
Qingdao 220
Des Moines 130
Dublin 128
San Francisco 128
Mödling 105
other 12481
Total 16959


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2020 00 0000 00660624 455300 2039
2021 0268 338297341171 34515088918 754378 4048
2022 523528 456728464243 1420234124513044 74260 13000
Ever 19087