Message posted on 06/03/2019
Second CFP: History of Formal Methods 2019
Dear all, <br> <br>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. <br> <br>Call for papers: History of Formal Methods 2019 Workshop, 11th October 2019, Porto, Portugal (co-located with FM’19) <br> <br>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). <br> <br>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. <br> <br>Scope <br> <br>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. <br> <br>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. <br> <br>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. <br> <br>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. <br> <br>Submission information <br> <br>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. <br> <br>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. <br> <br>Important Dates <br> <br> <br> * Call for papers: January 2019 <br> * Submissions: 30 April 2019 <br> * Notification of acceptance: 30 June 2019 <br> * Presentations ready: 1 September 2019 <br> * Workshop: 11th October 2019 <br> * Papers for proceedings: 31 December 2019 <br> <br>Chairs <br>Troy Astarte <br>Brian Randell <br>(Newcastle University) <br> <br>sent by Troy Astarte on behalf of the HFM2019 Program Committee <br>_______________________________________________ <br>EASST's Eurograd mailing list <br>Eurograd (at) lists.easst.net <br>Unsubscribe or edit subscription options: http://lists.easst.net/listinfo.cgi/eurograd-easst.net <br> <br>Meet us via https://twitter.com/STSeasst <br> <br>Report abuses of this list to Eurograd-owner@lists.easst.netview formatted text
EASST-Eurograd
mailing list
30 recent messages
30 recent messages
- 29/03/2024 The Social Life of Creative Methods: An Interdisciplinary Workshop
- 29/03/2024 Call for Participation – PhD Summer School "Technography" (25 & 26 July, Dortmund, GER)
- 29/03/2024 CfP Before data, after platforms. Long trajectories of mobilities’ digitalisation T2M Conference in Leipzig
- 29/03/2024 Post-doctoral position in Gothenburg
- 29/03/2024 Vacancy: Postdoctoral researcher in the politics of EU sustainable agricultural and food policies (3 years)
- 29/03/2024 Open position: 4 year PhD in Technoscience, Materiality, & Digital Cultures at the University of Vienna
- 29/03/2024 Online lecture on 2 April 4-5PM by Hamza Hamouschene, Dismantling Green Colonialism: Energy and Climate Justice in the Arab Region
- 29/03/2024 Using Imposter Methods: An Interdisciplinary Workshop
- 29/03/2024 Open Access and free resources in AI, Digital Technologies and Society
- 29/03/2024 Online Short Course: An Introduction to (Ethical) Open Source Research Skills
- 26/03/2024 Job Offer - Experienced Scientist (m/f/d) in the field of Societal Futures
- 26/03/2024 ACM SIGCHI Sponsored: EICS 2024 Doctoral Consortium Support for Students
- 26/03/2024 Webinar recording now availabe: How to bring creativity to your research journey
- 25/03/2024 Invitation: Deep Tech & Society community
- 25/03/2024 List of books for review in ST&S, 2024 - Call for expressions of interest
- 23/03/2024 CFP: 4th Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2024)
- 23/03/2024 Reminder - call for abstracts: Foundational Challenges in Cosmological Studies of Black Holes (deadline: 31st March)
- 23/03/2024 FW: Postdoc and research assistant positions in Governance by Infrastructures at Aarhus University
- 21/03/2024 PhD position in STS: Collaboration, innovation and planning in regional energy transitions (NTNU)
- 21/03/2024 I: [CfP] AVI 2024 Workshop "Cyber Security Education for Industry and Academia" (CSE4IA'24)
- 21/03/2024 TATuP 33/1 (2024): new publication on "AI for decision support" online
- 21/03/2024 PhD studentship, Online Healthcare Feedback, Care and Complaint, University of Edinburgh
- 21/03/2024 Call for academic position: Design and Sustainable Futures.
- 21/03/2024 Opening for Professor in Sociology/STS in Gothenburg
- 21/03/2024 Postdoc Quantifying Dutch Historical Sustainability Trade-offs
- 21/03/2024 EASST/4S 2024: Short Story, Flash Fiction, and Poetry Competition - deadline 1 June 2024
- 19/03/2024 Research Sabbaticals (Fellowships) and Working Groups at the Center for Advanced Internet Studies (CAIS)
- 19/03/2024 Hau of Finance Online Seminar Series - “Mobilizing Capital in Communist Cuba” - StaĚŠle Wig, University of Oslo - 26.03.2024 @ 15h CET
- 19/03/2024 Call for Applications: FELLOWSHIPS at CAPAS 2025-2026
- 19/03/2024 IAS-STS Fellowship Program 2024/25