This is the CSRankings output for logic and formal verification for the last 10 years, worldwide:
For the International Conference on Computer Aided Verification (CAV), the results are more of a mixed bag, with 4 out of the top 10 highest impact universities (including the top spot) being in the US rather than Europe. For Logic in Computer Science (LICS), the highest impact universities are almost exclusively in Europe. Beyond the top 10, rankings are mostly filled with European universities for both publications.
For most other areas, the top 10 highest impact universiries are almost exclusively in the US (if not top 20 and beyond).
I am curious to know why that is. Why does most research for that particular area of Computer Science take place in Europe, whereas most other research takes place in the US?
It is possible that the premise of this question is false and maybe I am not using the correct tool or metrics. However, my general research on this subject seems to verify (pun intended?) that this is indeed the case, with most well known centers being in Oxford, Paris, Warsaw, the Max Planck Institute etc. Also, I am not implying anything about the quality of the research (for which I don't know anything about since I don't practice in that field) only that the quantity seems to be mostly centered in Europe.