Statistics: Formal Methods in System Design
Geo Map
Region
#
EU - Europe
18
NA - North America
5
AS - Asia, other
1
OC - Oceania
1
Total
25
Country
#
AT - Austria
7
US - United States of America
3
CA - Canada
2
DE - Germany
2
FI - Finland
2
GB - United Kingdom
2
IE - Ireland
2
SE - Sweden
2
NZ - New Zealand
1
RU - Russian Federation
1
other - Other Country
1
Total
25
City
#
Des Moines
3
Dublin
2
Helsinki
2
Vienna
2
Eichwalde
1
Iver
1
Marlow
1
Nizhniy Novgorod
1
Repentigny
1
Terrebonne
1
other
10
Total
25
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2020
0 0
0 0 0 0
0 0 0 0
0 1
1
2021
0 0
0 0 0 1
0 0 0 0
1 0
2
2022
0 2
0 0 1 0
5 0 1 0
0 0
9
2023
1 0
1 0 0 0
1 2 0 1
1 0
7
2024
0 5
0 1 0 0
0 0 0 0
0 0
6
Ever
25
Geo Map
Region | # |
---|---|
EU - Europe | 18 |
NA - North America | 5 |
AS - Asia, other | 1 |
OC - Oceania | 1 |
Total | 25 |
Country | # |
---|---|
AT - Austria | 7 |
US - United States of America | 3 |
CA - Canada | 2 |
DE - Germany | 2 |
FI - Finland | 2 |
GB - United Kingdom | 2 |
IE - Ireland | 2 |
SE - Sweden | 2 |
NZ - New Zealand | 1 |
RU - Russian Federation | 1 |
other - Other Country | 1 |
Total | 25 |
City | # |
---|---|
Des Moines | 3 |
Dublin | 2 |
Helsinki | 2 |
Vienna | 2 |
Eichwalde | 1 |
Iver | 1 |
Marlow | 1 |
Nizhniy Novgorod | 1 |
Repentigny | 1 |
Terrebonne | 1 |
other | 10 |
Total | 25 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2020 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
2021 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 2 |
2022 | 0 | 2 | 0 | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 0 | 0 | 9 |
2023 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 2 | 0 | 1 | 1 | 0 | 7 |
2024 | 0 | 5 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 |
Ever | 25 |