And here we see the problem with this particular way of splitting. Although I agree NeurIPS needs to be split up somehow.
Encrypting deep learning is problem for practical applications that require privacy. That's applied science.
Well machine learning is applied science. But inside there are theoretical work (like encrypted machine learning or optimization theory) and practical work (like text2speech, or other tasks)
Disagree. Theory is always interested in building better, simpler protocols, asking questions about lower bounds and possibility. See almost all of fundamental crypto research.
How do you suppose you're going to provide theoretical assurance of privacy and correctness without science?
I don't agree about this one. It does seem fundamental science to me.