HaPoC5: Special Issue

Computing in the world: A historical and philosophical analysis

Call for Papers
for a special issue of Interdisciplinary Science Reviews (ISR)

Guest Editor:
Mario Verdicchio
Researcher, School of Engineering, University of Bergamo, Italy

Journal Editor:
Willard McCarty
Professor emeritus, Dept. of Digital Humanities, King’s College, London, UK

Over the last half-century, computing has become ubiquitous in many parts of the world and in most if not all fields of endeavour. Almost no aspect of our lives remains unaffected. It is again time to take stock, but this time in such a way as to bring out and bring together differences and commonalities across the full range of disciplines. For this issue of Interdisciplinary Science Reviews (published by Taylor & Francis, https://www.tandfonline.com/toc/yisr20/current) the editors seek to publish articles in the physical, social and human sciences that demonstrate in their conjunction the genuinely meaningful interdisciplinarity of the digital machine.

As a methodological tool, the computer is obviously interdisciplinary – its ubiquity in research of all kinds makes the case. However, it has quite different effects from one discipline to the next. By design, a computer requires input in discrete binary terms and so raises the question of how this requirement differentially affects each area of work. Furthermore, we may argue, the remarkable, proven adaptability of computers to widely varying problems, degrees of complexity and experimental, even imaginative application evokes tendencies and affects practices differentially across the disciplines in which they are used. Some disciplines have become largely computational, or grown a computational branch; others, for which the tradeoff is less attractive, are resistant. Why? Compare, for example, physics, biology, sociology, literary studies, the arts.

Thus we welcome contributions from scholars wanting to participate in the debate concerning the effects of computers on their disciplines. We welcome articles with a particular focus on the relation between the conceptual and methodological framework of an area of expertise and the abstractions, analogies, encodings, models, simplifications and translations imposed by the data and operations of computing. Broad statements of what can and cannot be automated, and how automation affects research, are far less telling and useful than analyses based on examples of work in specific fields. We are looking for arguments backed up by details. Historical and philosophical approaches are of particular interest.

Timeline

Deadline for 300-word abstract submission: January 31st, 2020.
Abstracts notification: March 1st, 2020.
Deadline for 8000-word paper submission: June 28th, 2020.
Papers notification: September 28th, 2020.
Deadline for final version: December 31st, 2020.
Special issue release: 2021, Q1.

All correspondence to:
Mario Verdicchio
mario.verdicchio@unibg.it

workshop Formalization of proof, Formalization of programs, 18-19 december 2019, Paris

*Workshop announcement*

FORMALIZATION OF PROOFS, FORMALIZATION OF PROGRAMS,

Paris, December, 18-19 2019

Campus Lourcine, 1, rue de la Glacière (RER : Port Royal; Metro, ligne 7 : Les Gobelins; Metro, ligne 6 : Glacière)

Bâtiment 2, Salle 02-Gérard Lyon-Caen.

https://programme.hypotheses.org/ffium-programme-colloquium-formalization-of-proofs-formalization-of-programs

*Mercredi 18 décembre 2019*

9h30-10h45: Ursula Martin, What can studies of crowdsourcing tell us about mathematical practice?

10h45-11h: Coffe Break

11h-12h15: Gilles Dowek: The absoluity of logical truth challenged by proof formalization.

12h15- 14h00: Lunch

14h00-15h15: Gisele Secco, Diagrams and Programs in the First Proof of the Four-Color Theorem

15h15-16h30: Raymond Turner, Some Instances of Abstraction in Mathematics and Computer Science

16h30-16h45: Coffe Break

16h45-18h30: Table Ronde “What can be formalized?” with contributions from: Simone Martini, Baptiste Mélès, Maël Pégny, Maté Szabo

*Jeudi 19 décembre 2019*

9h30-10h45: Cliff Jones, Formalisation and Proof in Computing: A Personal View

10h45-11h00: Coffe Break

11h00-12h15: Assia Mahboubi, Verified Computations in Mathematical Proofs

12h15- 14h00: Lunch

14h00-15h15: Giuseppe Primiero, Value-sensitive co-design for resilient software systems

15h15-15h30: Coffe Break

15h30-16h45: Alberto Naibo, Formalizing constructions and proofs in Euclid’s geometry

16h45-18h: Cyrille Imbert, Vincent Ardourel, Program verification in the empirical science: formal methods for all?

The workshop intends to reconsider the relations or lack thereof between Computer science and mathematics. Whereas, originally, mathematics was used to provide a disciplinary identity to computing, today, this is clearly no longer the case, and this makes urgent to rethink the possible relations between the two fields. The workshop aim to do it by studying notions and practices of formalization and computation in both contexts.

In order to register, please send a mail to maelpegny@gmail.com before 13 december 2019. *Registration is free but necessary.*

The workshop results from a collaboration between two ANR research projects:
the FFIUM Project (https://sites.google.com/view/ffium/accueil)
and the PROGRAMme project (https://programme.hypotheses.org/).

Organizors: Liesbeth De Mol, Gerhard Heinzmann, Alberto Naibo, Marco Panza.

Travel Grants to CLMPST2019

The Commission for the History and Philosophy of Computing has two grants to support travel of young and/or unfunded researchers to CLMPST2019 in Prague. Requirements are that

1. the applicants are PhD Students without funding and
2. that their research area is close to the History and Philosophy of Computing.

Each grant is for a total of 250USD.

We would like to receive applications via email at the address

info@hapoc.org

stating briefly position, affiliation and attaching (if available) the abstract of the contribution at CLMPST19, with a brief explanation of how it relates to the HaPoC area of interest.
Applications should be received no later than July 26th. Applications will be considered as they are received.

Simulations Special Issue – THE SOCIETAL AND ETHICAL DIMENSIONS OF COMPUTER SIMULATIONS [DEADLINE EXTENSION]

*** Please advertise widely — Apologies for crossposting ***

Simulations Special Issue [DEADLINE EXTENSION]
THE SOCIETAL AND ETHICAL DIMENSIONS OF COMPUTER SIMULATIONS (S18-2)

Guest Editors:
– Juan M. Durán (TU Delft)
– Jeroen van den Hoven (TU Delft)

Computer simulations are a fundamental method for the progress of scientific and engineering research. Jim Gray (2007) called them the third paradigm of research, along with theory, experiment and Big Data (the first, second and fourth paradigm respectively). While the specialised literature has extensively focused on epistemological, ontological and methodological issues of computer simulations (Humphreys, 2004, Winsberg, 2010, Morrison, 2015, Durán, 2018), less has been said on the social and ethical dimensions of computer simulations (Brey 1999, 2008, Tolk and Ören, 2017).

The purpose of the special issue “The societal and ethical dimensions of computer simulations” is to address core questions about the role and use of computer simulations in scientific and engineering practice, as well as their influence in society, democracy, and education, among other contexts. To this end, we invite philosophers, educators, sociologists, engineers, scientists and all researchers interested in studies on computer simulations to submit their work to this special issue (for a list of possible topics, see below).

This special issue of SIMULATION (http://journals.sagepub.com/home/sim) addresses critical concerns in the actual practice and use of computer simulations in scientific and engineering research. To this end, we invite researchers invested in answering these problems to submit to this special issue. Potential topics include, but are not limited to:

– Ethics:
• Code of conduct
• Bias simulations, democracy, and justice
• Irresponsible uses of results of simulations
• The profession of designing, programming, and using computer simulations

– Values for design:
• The accountability of designers, programmers, and users of computer simulations
• Responsible innovation with computer simulations
• Shaping policymaking in the light of computer-based research
• Values, uncertainties, and distrust in simulation models

– Education:
• Including methods from computer science in scientific and engineering curricula
• Educating engineers and scientists to simulate-first build-later

– The future of science and engineering:
• Computer simulations as the third paradigm of research
• New forms of scientific and engineering practice
• Computer simulations, AI, and Big Data: the new frontiers of science and engineering

Submission Guidelines: All papers should be developed, formatted and submitted based upon the editorial guidelines provided in the instructions for authors for “Simulation: Transactions of the Society for Modelling and Simulation International,” which can be accessed from (https://us.sagepub.com/en-us/nam/journal/simulation#submission-guidelines). The authors should choose the Article Type as “Special Issue “at the first step of the submission process and put “Special Issue: S18-2 THE SOCIETAL AND ETHICAL DIMENSIONS OF COMPUTER SIMULATION in the title and cover letter of your submissions. The process of review and publication is the same as the regular issue of “Simulation: Transactions of the Society for Modelling and Simulation International.”

Due Dates:

NEW submission deadline: September 30, 2019.

If you have questions, please contact: j.m.duran@tudelft.nl.

References:

Brey, Philip. 1999. “The Ethics of Representation and Action in Virtual Reality.” Ethics and Information Technology 1 (1). Kluwer Academic Publishers: 5–14.
Brey, Philip. 2008. “Virtual Reality and Computer Simulation.” In The Handbook of Information and Computer Ethics, edited by Kenneth Einar Himma and Herman T Tavani, 361–84.
Durán, Juan M. 2018. Computer Simulations in Science and Engineering. Concepts – Practices – Perspectives. Springer.
Humphreys, Paul W. 2004. Extending Ourselves: Computational Science, Empiricism, and Scientific Method. Oxford University Press.
Morrison, Margaret. 2015. Reconstructing Reality. Models, Mathematics, and Simulations. Oxford University Press.
Tolk, Andreas, Tuncer I Ören, eds. 2017. The Profession of Modeling and Simulation. Wiley.
Winsberg, Eric. 2010. Science in the Age of Computer Simulation. University of Chicago Press.

Dr. Juan M. Durán
TU Delft
Department of Values, Technology and Innovation
Faculty of Technology, Policy and Management
Jaffalaan 5
2628 BX Delft – B 4.310
The Netherlands
2019 Herbert A. Simon Award – IACAP
juanmduran.net – Academia.edu