Are the formal sciences really sciences?

I'm a computer science (CS) student and I really like thinking about language and terminology. I recently started to read about epistemology and it was a very enriching experience. It made me wonder why such things aren't part of everyone's education. My question is related to the term "computer science" (which isn't a good name for the field honestly. In many European countries they use the term informatics or datalogy, since it's more related to information processing and computation and not really about computers) It's known that CS, as a field, does not use the scientific method, CS students could graduate without ever reading a scientific paper. CS is more concerned with algorithms, math and logic than to science. So to me it seemed evident that CS is not a science. But then I learned that some use the term Formal Sciences, which a "branch of science", to encompass fields like math, logic and computer science. But I failed to find a good definition for the term or an explanation why it even exists, and its connections to the scientific method. And what's more most mathematicians do not consider math as a science. So I find that interesting. I'm particularly interested in whether there's a consensus on this, or if it's a live debate. I still haven't started my journey into the philosophy of science; I wonder if it answers such questions? And any recommended readings would also be appreciated. Thank you.