Humanist Discussion Group, Vol. 33, No. 206. Department of Digital Humanities, King's College London Hosted by King's Digital Lab www.dhhumanist.org Submit to: firstname.lastname@example.org  From: Troy Astarte
Subject: History of Formal Methods Workshop (52)  From: Anna Marie Roos Subject: Collecting and Collections: Digital Lives and Afterlives, 14-15 November 2019, The Royal Society, registration open (67) -------------------------------------------------------------------------- Date: 2019-08-20 15:35:48+00:00 From: Troy Astarte Subject: History of Formal Methods Workshop Dear all, Registration is now open for the workshop ‘History of Formal Methods 2019’. You can see information and accepted talks on the website: https://sites.google.com/view/hfm2019/home. The workshop is part of the FM’19 World Congress and registration is via that website: http://formalmethods2019.inesctec.pt/?page_id=2363. 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’19 but did not include this information, please email email@example.com. The area of formal methods is a central part of theoretical 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’19. 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. Best, Troy Astarte School of Computing Newcastle University — School of Computing, Newcastle University, 1 Science Square, Newcastle upon Tyne, NE4 5TG EMAIL = Brian.Randell@ncl.ac.uk PHONE = +44 191 208 7923 URL = http://www.ncl.ac.uk/computing/people/profile/brianrandell.html -------------------------------------------------------------------------- Date: 2019-08-20 09:39:32+00:00 From: Anna Marie Roos Subject: Collecting and Collections: Digital Lives and Afterlives, 14-15 November 2019, The Royal Society, registration open Collecting and Collections: Digital Lives and Afterlives The Royal Society 6-9 Carlton House Terrace, London SW1Y 5AG 14-15 November 2019 The shift from the disordered Kunstkammer or curiosity cabinet of the Renaissance to the ordered Enlightenment museum is well known. What has to be explored fully is the process through which this transformation occurred. Collective Wisdom, funded by an AHRC International Networking Grant, explores how and why members of the Royal Society, the Society of Antiquaries of London and the Leopoldina (in Halle, Germany) collected specimens of the natural world, art, and archaeology in the 17th and 18th centuries. In three international workshops, we are analysing the connections between these scholarly organisations, natural philosophy, and antiquarianism, and to what extent these networks shaped the formation of early museums and their categorisation of knowledge. Workshop III, concerning the afterlives, use and reconstruction of early modern collections is designed to benefit scholars interested in digital humanities. We will explore digital approaches to survey collections over time, assisted by the Royal Society-Google Cultural Institute partnership. How can we data-mine and use tools to integrate extant databases? How did the norms of early modern academies of scientific journal publication, priority of discovery and ‘matters of fact’ shape the organisation of knowledge? How do we consider those early modern models in digital reconstructions of early collecting? Speakers include: Min Chen (Oxford), Mary-Ann Constantine (Wales), Natasha David (Google), Michelle DiMeo (Hagley), Louisianne Ferlier (The Royal Society), Rainer Godel (Leopoldina), Rob Iliffe (Oxford), Neil Johnston (TNA), Suhair Khan (Google), Nigel Leask (Glasgow), Miranda Lewis (Oxford), Alice Marples (Oxford), Alessio Mattana (Turin), Brent Nelson (Saskatchewan), Julianne Nyhan (UCL), Torsten Roeder (Leopoldina), Anna Marie Roos (Lincoln), Giacomo Savani (University College Dublin), Cornelis Schilt (Oxford), Tom Scott (Wellcome), Aron Sterk (Lincoln), Matthew Symonds (CELL, UCL). £100 registration fee, full (includes lunches, coffees and music concert) £50 registration fee, students and concessions (includes lunches, coffees and music concert) Registration, programme, and abstracts: https://royalsociety.org/science-events-and-lectures/2019/11/collecting-and- collections/ Free registration for music concert following the workshop https://royalsociety.org/science-events-and-lectures/2019/11/collecting-for- charity/ For more information about the Collective Wisdom project see https://collectivewisdom.uoregon.edu/ Best wishes, Anna Marie Roos (PI) and Vera Keller (Co-I) _______________________________________________ Unsubscribe at: http://dhhumanist.org/Restricted List posts to: firstname.lastname@example.org List info and archives at at: http://dhhumanist.org Listmember interface at: http://dhhumanist.org/Restricted/ Subscribe at: http://dhhumanist.org/membership_form.php
Editor: Willard McCarty (King's College London, U.K.; Western Sydney University, Australia)
Software designer: Malgosia Askanas (Mind-Crafts)
This site is maintained under a service level agreement by King's Digital Lab.