[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