Home About Subscribe Search Member Area

Humanist Discussion Group

< Back to Volume 32

Humanist Archives: March 6, 2019, 7:02 a.m. Humanist 32.518 - events: formal methods

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

        Date: 2019-03-05 12:57:39+00:00
        From: Troy Astarte (PGR) 
        Subject: Second CFP: History of Formal Methods 2019

Dear all,

This is a reminder about the History of Formal Methods 2019 workshop, to
be held in Porto this October. Full information is in the email below;
the key date is 30 April for submission of abstracts.


Troy Astarte

> On 16 Jan 2019, at 14:41, Troy Astarte (PGR)
> > wrote:
> *Call for papers: History of Formal Methods 2019 Workshop, 11th
> October 2019, Porto, Portugal (co-located with FM'19)*
> **
> We invite submissions to the HFM2019 workshop. 
> See the website
> (https://sites.google.com/view/hfm2019) for complete details and
> instructions on how to submit. Submission is via EasyChair
> (https://easychair.org/conferences/?conf=hfm2019).
> This is a workshop on the history of formal methods in computing. The
> aim is to bring together historians of computing, technology, and
> science with practitioners in the field of formal methods to reflect
> on the discipline's history. There will be a round of abstract
> submission prior to the workshop which will determine who is invited
> to give a presentation at the workshop. Afterwards, presenters may
> submit papers based on their presentations for inclusion in the
> workshop's proceedings.
> *Scope*
> The theme of the workshop is the history of formal methods in
> computing. By 'formal methods' we mean mathematical or logical
> techniques for modelling, specifying, and reasoning about aspects of
> computing. This could include programming language description,
> concurrency modelling, theorem proving, program specification and
> verification, or mathematical foundations of computing.
> Theoretical aspects of computing have been present almost since the
> beginning of electronic computers, and in various ways these
> techniques have evolved and changed, including into what are now
> called "Formal Methods". Such aspects have been instrumental in
> developing fundamental understanding of computation and providing
> techniques for rigorous development of software, but have not always
> had the desired impact on practical and industrial computing.
> This makes the field ripe for historical research and we invite
> submissions to our workshop which take a historical view of the topic.
> This may include discussion of developments of various formal methods,
> evolving agendas within the field, consideration of the effect of
> social and cultural factors, and evaluation of the way in which formal
> methods have impacted computing more broadly.
> The workshop is intended to be of interest to current researchers in
> formal methods and to be accessible to people without any historical
> background. It should also be a venue for historians of science whose
> work covers formal aspects of computing as we believe understanding
> the the history of the field brings greater clarity to current
> technical research. We encourage early stage researchers to try their
> hand at historical reflection and gain an idea of the field’s
> grounding; we invite historians to contribute to the history of formal
> methods; and we invite researchers who have worked in formal methods
> for whom an historical talk provides the opportunity to reflect on
> their field.
> *Submission information*
> Submissions prior to the workshop will take the form of abstracts no
> longer than 500 words. If references are required, these can be added
> as an optional PDF file (and do not count towards the word count). All
> abstracts will be reviewed by the program committee whose details can
> be found on the website; based on these reviews, a decision will be
> made on who to invite to present at the workshop.
> Following to the workshop, proceedings will be published (details of
> publisher to be finalised later). Please indicate during your
> submission if you wish for a paper to be considered for inclusion in
> the proceedings, select 'Yes' even if you are not totally certain. All
> papers submitted for the proceedings will be subject to peer review.
> *Important Dates*
>   * Call for papers: January 2019
>   * Submissions: 30 April 2019
>   * Notification of acceptance: 30 June 2019
>   * Presentations ready: 1 September 2019
>   * Workshop: 11th October 2019
>   * Papers for proceedings: 31 December 2019
> *Chairs*
> Troy Astarte
> Brian Randell
> (Newcastle University)
> sent by Troy Astarte on behalf of the HFM2019 Program Committee

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.