Home | About | Subscribe | Search | Member Area |
Humanist Discussion Group, Vol. 32, No. 518. Department of Digital Humanities, King's College London Hosted by King's Digital Lab www.dhhumanist.org 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. Best, 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.