|
On 3/3/14, 8:18 AM, Grant Holland
wrote:
I worked for some of the best computer companies around over the next many years (Univac, Sun Microsystems, (with) Seymour Cray, others) and saw nothing but a steady decline in the centrality of mathematics.It seems to me what matters is not the centrality of mathematics in computer science but its absolute activity over time (even if it is becoming more dilute in the larger `craft' population of workers). For example, here's a graph of papers received vs. accepted from the federated conference on computer science. https://fedcsis.org/resources/reports/FedCSIS_2013_raport_en.pdf Not all of the sub-conferences at that meeting would be on formal methods. These meetings would be more formal than, say, an Apple or Microsoft Developer conference.  Marcus |
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
