[082349872349872]

"Computer Science" comes in two flavours, systems and theory. Each of you is talking about a different flavour.

(most CS departments cater to a single flavour: yes, it would be easier for everyone involved if theoretical computer science was called "informatics", but that'd probably be funding-sub-optimal)

[cubefox]

But the logical abstraction is no less theoretical than other abstractions, even if it closer to practice. I don't understand why theoretical computer scientists ignore it.