From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10000 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Jeremy Gibbons Newsgroups: gmane.science.mathematics.categories Subject: Call for participation - History of Formal Methods workshop at FM'19 - early reg deadline 10th Sep Date: Mon, 9 Sep 2019 19:02:59 +0100 Message-ID: Reply-To: Jeremy Gibbons Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="78740"; mail-complaints-to="usenet@blaine.gmane.org" Cc: Jeremy Gibbons To: Original-X-From: majordomo@rr.mta.ca Mon Sep 09 20:16:39 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1i7ODM-000KG0-1l for gsmc-categories@m.gmane.org; Mon, 09 Sep 2019 20:16:36 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:49242) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1i7OBL-0003hg-T3; Mon, 09 Sep 2019 15:14:31 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1i7O2G-00045Q-BQ for categories-list@rr.mta.ca; Mon, 09 Sep 2019 15:05:08 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10000 Archived-At: Dear all, Registration is now open for the workshop History of Formal Methods = 2019. You can see information and accepted talks on the website:=20 https://sites.google.com/view/hfm2019/home The area of formal methods is a central part of the theory of computing. = It grew out of work started in the 1960s to address errors in = programming, as well as to bring mathematical foundations into = computing. It has since become an important research area in its own = right. Some formal methods have pedigrees of more than fifty years; = others are very recent and will make their professional debuts elsewhere = at FM=E2=80=9919. Looking back over the history of formal methods shows = an intriguing research area with a complex intertwining of theory and = practice; a struggle between academic rigour and practical utility. One = key motif is a frustrating lack of uptake in industry and an = ever-increasing arsenal of tools to ease this. Now is a good time to explore the history of formal methods, to utilise = the first-hand retrospectives and experiences of ageing researchers who = participated, and to engage professional historians with the material. = The topic provides the opportunity to explore questions like the utility = of science, time versus money versus quality in software engineering, = relations between industry and academic, and many more. The papers = submitted to the workshop span a range of topics, including insider = stories and consideration from the outside. The workshop should have a mixed audience of both historians and = technical researchers: a key aim is to get formalists interested in = their history. In particular, I expect it will be of interest to the = Applied Category Theory community.=20 The workshop is part of the FM=E2=80=9919 World Congress and = registration is via that website:=20 http://formalmethods2019.inesctec.pt/?page_id=3D2363 It is vitally important that all registrants wanting to come to the = workshop state their intention to attend while registering for FM. This = should be done by selecting the workshop from the dropdown list if = registering for just one workshop; or for larger registrations, the free = text field should be used. If you have already registered for FM=E2=80=991= 9 but did not include this information, please email = contactfm2019@inesctec.pt.=20 THE EARLY REGISTRATION DEADLINE IS TOMORROW (Tuesday 10th)! Cheers, Jeremy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]