[Om] MSC for papers about MathML or OpenMath
Jacques Carette
carette at mcmaster.ca
Wed May 9 13:43:52 CEST 2012
On 09/05/2012 5:13 AM, Paul Libbrecht wrote:
>
> Considering MKM, as a conference series, is 10 years old, let's get
> shoes on for MKM topics to get into MSC 2020!
>
Good luck. Most mathematicians don't consider (most of) MKM to be
math. Math-related, sure, but not 'math'. Most MKM questions on math
web sites (like MathOverflow and math.stackexchange) get closed as
off-topic pretty quickly -- people are redirected to computer science sites.
Having said that, there are some small changes: the field of homotopy
type theory, which joins type theory, category theory and homotopy
theory as 'foundations' for both CS and Math is definitely causing some
mathematicians to take a fresh look at CS issues (at least in
programming languages) and consider them as serious.
Jacques
More information about the Om
mailing list