Home About Subscribe Search Member Area

Humanist Discussion Group

< Back to Volume 33

Humanist Archives: Aug. 21, 2019, 6:10 a.m. Humanist 33.206 - events: formal methods; collecting & collections

                  Humanist Discussion Group, Vol. 33, No. 206.
            Department of Digital Humanities, King's College London
                   Hosted by King's Digital Lab
                Submit to: humanist@dhhumanist.org

    [1]    From: Troy Astarte 
           Subject: History of Formal Methods Workshop (52)

    [2]    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 contactfm2019@inesctec.pt.

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.


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

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

£100 registration fee, full (includes lunches, coffees and music

£50 registration fee, students and concessions (includes lunches,
coffees and music concert)

Registration, programme, and abstracts:

Free registration for music concert following the workshop

For more information about the Collective Wisdom project see

Best wishes,
Anna Marie Roos (PI) and Vera Keller (Co-I)

Unsubscribe at: http://dhhumanist.org/Restricted
List posts to: humanist@dhhumanist.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.