2017 Covey Award: Professor Raymond Turner

The International Association for Computing and Philosophy’s Covey Award recognizes senior scholars with a substantial record of innovative research in the field of computing and philosophy broadly conceived.

IACAP’s Executive Board is delighted to announce that Professor Raymond Turner will be presented with the Covey Award at IACAP 2017, June 26-28, Stanford University, where he will present the Covey Award Keynote Address.

Professor Turner is Professor Emeritus of Logic and Computation in the School of Computer Science and Electrical Engineering at the University of Essex, where he has served since 1985. Holding doctorates in Mathematical Logic and Theoretical Computer Science (Queen Mary College, London, 1973) and Philosophy (Bedford College, London, 1981). Professor Turner has also been a Sloan Research Fellow at the University of Massachusetts-Amherst (1982) and CSLI, Stanford University (1984). He was Visiting Professor and Research Fellow at the University of Texas-Austin (1984 and 1987) and Senior Research Fellow at the University of Massachusetts-Amherst (1984 and 1986). Currently he serves on the editorial board of the Journal of Logic and Computation and, for the Stanford Encyclopaedia of Philosophy, as Editor of Logic and Computation.

Professor Turner’s work in Theoretical Computing Science and the Philosophy of Computer Science has been field-defining and ground-breaking. His books include Computable Models (Springer 2010), Constructive Foundations for Functional Languages (McGraw Hill 1991), Truth and Modality for Knowledge Representation (MIT Press 1990), and Logics for Artificial Intelligence (Pitman, 1984). His publications include “A Theory of Properties”, (Journal of Symbolic Logic, 1987), “The Foundations of Specification” (Journal of Logic and Computation, 2005), “Type Inference for Set Theory” (Theoretical Computer Science, 2001), “Specification”, (Minds and Machines, 2011), “Programming Languages as Technical Artefacts”, (Philosophy and Technology, 2014), “Logics of Truth” (Notre Dame Journal of Formal Logic, 1990), and “The Philosophy of Computer Science”, (Stanford Encyclopaedia of Philosophy, 2013).

As Professor Turner describes his research,

The philosophy of computer science is concerned with those philosophical issues that arise from within the academic discipline of computer science. It is intended to be the philosophical endeavour that stands to computer science as philosophy of mathematics does to mathematics and philosophy of technology does to technology. Indeed, the abstract nature of computer science, coupled with its technological ambitions, ensures that many of the conceptual questions that arise in the philosophies of mathematics and technology have computational analogues. In addition, the subject will draw in variants of some of the central questions in the philosophies of mind, language and science.

In contrast, I take the central task of Theoretical Computing Science to be the construction of mathematical models of computational phenomena. Such models provide us with a deeper understanding of the nature of computation and representation. For example, the early work on computability theory provided a mathematical model of computation itself. Turing’s work is of fundamental importance here. Adapting Gödel’s diagonalization argument, he demonstrated that there are problems that do not admit of an algorithmic solution. He thus provided a mathematical model of computation that displayed its limitations. Later work on the semantics of programming languages enabled a precise articulation of the underlying differences between programming languages and led to a clearer understanding of the distinction between semantic representation and implementation. Early work in complexity theory supplied us with abstract notions which formally articulated informal ideas about the resources used during computation. I take this model building endeavour to be the central and fundamental role of theoretical computer science.

Please join us at IACAP 2017, June 26-28, Stanford University to congratulate Professor Turner on this well-deserved award.



Don Berkich
IACAP President

IACAP 2016 Keynote Address Videos

Our local hosts, Professors Marcello D’Agostino and Matteo D’Alfonso, have kindly provided video of the conference keynote addresses:

Videos courtesy of the Centro e-Learning d’Ateneo dell’UNiversità di Ferrara and Sara Gusberti, videographer.

IACAP 2016 Logistics and Lodging Information


(Please note that the conference schedule is currently being finalized and will be published as soon as it is available.)


IACAP 2016 will be held at the
Department of Economics and Management
Via Voltapaletto 11
44121 – Ferrara


From Bologna Airport to Ferrara Centre there is a shuttle (for 10 €): http://www.ferrarabusandfly.it/en/.

If you need a car with driver from Bologna Airport (about 80 €) you can book it by Cosepuri:http://www.cosepuri.it/en/divisione-auto.

From all other Airports or Cities in Italy (Venice, Milan, Rome etc.) you should take the Shuttle to the closest Railway Station and from there a train to Ferrara.

There are two railways companies in Italy: Trenitalia (trip planner) and Italo (trip planner).


Ristorante “La Provvidenza
Corso Ercole I d’Este, 92,
44121 – Ferrara FE


Hotels Contact Rooms Rates
P.zza Repubblica, 5-Ferrara
Tel. 0532-201111
Mail: info@annunziata.it
(city tax euro 2,50)
Single room
Double for 1 person
Double room
Duchessa Isabella Tel. +39.0532.19.14.293
(city tax euro 2,50)
Single room
Double room
€ 104,00
€ 114,00
€ 124,00
Principessa Leonora
Via Mascheraio 39- Ferrara
Tel. 0532-1915190
Mail: info@principessaleonoraferrara.it
(city tax euro 2,50)
Single room
Double room
€ 89,00
€ 99,00
€ 109,00
Borgoleoni 18 Room & Breakfast
Via Borgo dei Leoni 18 – Ferrara
Tel. 0532-243128
E-Mail: info@borgoleoni18.it
Single room
Double room
€ 85
€ 95
€ 140
€ 240
Hotel Orologio
Via Darsena 67
Tel: +39 0532 769576
Fax: +39 0532 769544
Mail: info@hotelorologio.com
Single room
Double room
€ 80-140
€ 100-166
€ 115-120
€ 150-325
Corso Giovecca, 49-Ferrara
Tel. 0532-205456
Mail: info@hoteleuropaferrara.com
Single room
Double room
€ 52 -59,00
€ 62- 69,00
€ 75- 84,00
Hotel De Prati
Via Padiglioni 5- Ferrara
Tel. 0532-241905
Mail: info@hoteldeprati.com
Single room
Double room
€ 52,00
€ 72,00
€ 85,00
Hotel Carlton
Via Garibaldi 93 – Ferrara
Tel. 0532-211130
Mail: info@hotelcarlton.net
Single room
Double room
€ 54-64,00
€ 64-74,00
€ 74-80,00
Hotel Touring
Viale Cavour 11 – Ferrara
Tel. 0532-206200
Mail: info@hoteltouringfe.it
Single room
Double room
Hotel S.Stefano
Boccacanale di Santo Stefano, 21
http://www.hotelsantostefanofe.it/it/prezzi-camere-hotel-ferrara_5c6.html Single room
€ 38,- 60,00
€ 48-100,00
€ 78- 150,00
San Paolo
Via Baluardi 9
Tel. 0532-762040
Single room
Double for 1 person
Double room
€ 50.00
€ 60.00
€ 80.00
Bed and Breakfast Contact Rooms Rates
Locanda della Biscia
Via Palestro 57
http://www.locandadellabiscia.it/ Single room
Double room
Flat with kitchen
€ 40
€ 50
€ 60
Via Borso, 28
http://www.bbastrolabio-ferrara.it/index.html Single room
Double room
€ 35-40
€ 60-70
Avogli Trotti http://www.bedavoglitrotti.it/37-prezzi Double for 1 person
Double room
€ 50
€ 80
Alloggio 2.0 http://www.alloggio2punto0.it/ Double for 1 person
Double room
Flats for 2 people
€ 49
€ 59
€ 65
Foresterie/Guest House/Studentati Contact Rooms Rates
Guest House il Cenacolo
Giuseppe Fabbri 414
Single room with private bathroom
Double rooms with private bathroom
€ 32 per night (less than 4 nights, B&B service); € 28 per night (equal or more than 5 nights, B&B service)
€ 45 per night (less than 4 nights, B&B service); € 40 per night (equal or more than 5 nights, B&B service)
Students Hostel
Corso Biagio Rossetti n.24
+39 0532 20 11 58
+39 0532 21 74 39
  € 17-49 (different type of rooms)
ERGO students residences
City center (different parts)
https://servizionline.er-go.it/alloggi/borsino?SEDE_ERGO=fe Single room with private bathroom
Double rooms with private bathroom
€ around 30 (different type of rooms)
Booking online

IACAP 2016 Submission Notification Deadline Updated

Please note that extending the due date for paper submissions from 11 January 2016 to 1 February 2016 made it necessary to likewise extend the notification deadline from 25 February 2016 to 15 March 2016. The program committee appreciates your patience as we strive to complete the review process.

“Computing and Philosophy: Selected Papers from IACAP 2014”, Vincent C. Müller, ed.

IACAP is proud to announce the Synthese Library publication of selected papers from IACAP 2014, Thessaloniki under the editorial direction of Vincent C. Müller.

“Computing and Philosophy: Selected Papers from IACAP 2014”

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) – a conference tradition of 28 years. The theme of the papers is the two-way relation between computing technologies and philosophical questions: Computing technologies both raise new philosophical questions, and shed light on traditional philosophical problems. The chapters cover: 1) philosophy of computing, 2) philosophy of computer science & discovery, 3) philosophy of cognition & intelligence, 4) computing & society, and 5) ethics of computation.

The 2016 Simon Award: Marcin Milkowski

The Herbert A. Simon Award for Outstanding Research in Computing and Philosophy recognizes scholars at an early stage of their academic career who are likely to reshape debates at the nexus of Computing and Philosophy by their original research.

It is with great pleasure the IACAP Board announces that Professor Marcin Milkowski has won the 2016 Simon Award for his significant contributions to the foundations of computational cognitive neuroscience.

Professor Milkowski (http://marcinmilkowski.pl/) serves as associate professor in the Institute of Philosophy and Sociology of the Polish Academy of Sciences. He is currently a managing editor of Przegląd Filozoficzno-Literacki (Philosophical-Literary Review). From 2005 to 2011, he served on the executive board of the Center for Philosophical Research, a new, independent scientific organisation that includes philosophers and scholars in humanities.

Professor Milkowski wrote his dissertation Konstrukcja umysłu. Intuicje zdrowego rozsądku a naturalizm w filozofii umysłu Daniela Dennetta (“Mind Design. Common-sense intuitions vs. naturalism in Daniel Dennett’s philosophy of mind”) under the supervision of Jacek Hołówka in Institute of Philosophy at Warsaw University. He received habilitation in Poland on the basis of his 2013 Explaining the Computational Mind (MIT Press, Cambridge, Mass.). His recent publications include:

  • 2015. Satisfaction conditions in anticipatory mechanisms. Biology & Philosophy, (February).
  • 2015. Function and causal relevance of content. New Ideas in Psychology, 1–9.
  • 2015. Explanatory completeness and idealization in large brain simulations: a mechanistic perspective. Synthese.
  • 2015. Evaluating Artificial Models of Cognition. Studies in Grammar, Logic, and Rhetoric, 40(1), 43–62.
  • 2014. Social intelligence: how to integrate research? A mechanistic perspective. In A. Herzig & E. Lorini (Eds.), Proceedings of the European Conference on Social Intelligence (ECSI-2014) (pp. 117–127).
  • 2014. Perspektywy ewolucjonistyczne w badaniach społecznych. In M. Gdula & L. M. Nijakowski (Eds.), Oprogramowanie rzeczywistości społecznej (pp. 185–208). Warszawa: Wydawnictwo Krytyki Politycznej.
  • 2014. Is the mind a Turing Machine? How could we tell? In A. Olszewski, B. Brożek, & P. Urbańczyk (Eds.), Church’s Thesis. Logic, Mind, and Nature (pp. 305–333). Kraków: Copernicus Center Press.
  • 2014. Computational Mechanisms and Models of Computation. Philosophia Scientiæ, 18(3), 215–228.
  • 2014. Computation and Multiple Realizability. In V. C. Mueller (Ed.), Fundamental Issues of Artificial Intelligence. Berlin – Heidelberg: Springer.

Professor Milkowski will give the Simon Award Keynote Address at IACAP 2016 June 14-17, University of Ferrara, Italy. Please join us in congratulating Professor Milkowski on this well-deserved award.

Call for Nominations: The Simon Award

The Executive Board of the International Association for Computing and Philosophy–which will present Jack Copeland the 2016 Covey Award at IACAP 2016, June 14-17, University of Ferrara, Italy–seeks nominations for the Simon Award.

The Herbert A. Simon Award for Outstanding Research in Computing and Philosophy recognizes scholars at an early stage of their academic career who are likely to reshape debates at the nexus of Computing and Philosophy by their original research.

Recent Simon Award winners include:

2015: Michael Rescorla (University of California-Santa Barbara)
2014: Gualtiero Piccinini (University of Missouri-St. Louis)
2013: Judith Simon (IT University Copenhagen & University of Vienna)
2012: Patrick Allo (Oxford Internet Institute)
2011: John Sullins (Sonoma State)
2010: Mariarosaria Taddeo (Oxford Internet Institute)

Nominations for the Simon Award may be proposed either by academic institutions or by colleagues with some expertise in computing and philosophy.

To nominate, please send names and website URLs (or CVs) to: Don Berkich <berkich@gmail.com> by 1 November 2015.

For more information about IACAP 2016, including paper and symposium submission deadlines and links, please see


2016 Covey Award: Jack Copeland

The Covey Award recognizes senior scholars with a substantial record of innovative research in the field of computing and philosophy broadly conceived.

The IACAP Board is delighted to announce that Professor Jack Copeland will be presented with the Covey Award at IACAP 2016 in Ferrara, Italy, where he will present the Covey Award Keynote Address.

Jack Copeland FRS NZ is Distinguished Professor in Arts at the University of Canterbury, New Zealand, where he is Director of the Turing Archive for the History of Computing. He is also Honorary Research Professor of Philosophy at the University of Queensland, Australia, and in 2012 was Royden B. Davis Visiting Chair of Interdisciplinary Studies in the Department of Psychology at Georgetown University, Washington DC. In 2013-14 he was Visiting Professor of Information Science at Copenhagen University. He co-directs the Turing Centre at the Swiss Federal Institute of Technology (ETH), Zurich.

A Londoner by birth, Jack earned a D.Phil. in mathematical logic from the University of Oxford, where he was a student of Turing’s great friend Robin Gandy.

His books include The Essential Turing (Oxford University Press), Colossus: The Secrets of Bletchley Park’s Codebreaking Computers (Oxford University Press), Alan Turing’s Electronic Brain (Oxford University Press), Computability: Turing, Gödel, Church, and Beyond (MIT Press), Logic and Reality (Oxford University Press), and Artificial Intelligence (Blackwell). He has published more than 100 journal articles on the philosophy and history of computing, and on mathematical and philosophical logic. Oxford University Press published his highly accessible paperback biography Turing in October last year. He is currently co-authoring a book on the philosophy and cognitive science of religion, to be published by Blackwell-Wiley in the US and UK in 2016, and his co-authored The Turing Guide will appear with Oxford University Press in 2016.

Jack has been script advisor, co-writer, and scientific consultant for a number of documentaries on Turing. One of these, the BBC’s Code-Breakers: Bletchley Park’s Lost Heroes, won two BAFTAs (British Academy of Film and Television Arts awards) in 2012, and was listed as one of the year’s three best historical documentaries at the 2013 Media Impact Awards in New York City. A European TV documentary about Turing for which he was script consultant and ‘talking head’ won the audience’s Best Documentary prize at the 2015 FIGRA European film festival, and the film was also selected to represent the European Arte TV channel in Tokyo at the 2015 annual international TV festival INPUT. His Stanford University Lecture ‘Turing: Pioneer of the Information Age’ has received more than 60,000 views on YouTube to date (www.youtube.com/watch?v=p7Lv9GxigYU) and his MIT lecture’Alan Turing: Codebreaker and AI Pioneer’ is ranked by iTunes as the No. 1 video web resource on Turing (video.mit.edu/watch/alan-turing-codebreaker-and-ai-pioneer-9212/). Jack received the Scientific American Sci/Tech Web Award for his on-line archive www.AlanTuring.net).