Logic List Mailing Archive

HaPoC 2017: History & Philosophy of Computing, Brno (Czech Republic)

Third Call for Papers
4th International Conference on History and Philosophy of Computing
https://hapoc2017.sciencesconf.org/
Masaryk University Brno
4-7 October 2017

held under the auspices of the DHST/DLMPS Commission for the History and 
Philosophy of Computing (HaPoC) www.hapoc.org

In their societal impact, computers have grown way beyond 
their roots in mathematics and logic. Their ubiquity since the late 20th 
century has increased the number and impact of several of the original 
questions raised by early computer scientists and practitioners: questions 
about their expected and intended behaviour, as Alan Turing did when 
asking whether machines can think; questions about their ontology, as John 
von Neumann did when asking what the computer and the human brain have in 
common; questions about their role in performing human tasks, as Norbert 
Wiener did when asking whether automatic translation is possible. With new 
technologies, the need for rethinking formal and technological issues is 
crucial.HaPoC conferences aim to bring together researchers exploring the 
various aspects of the computer from historical or philosophical 
standpoint. The series aims at an interdisciplinary focus on computing, 
rooted in historical and philosophical viewpoints. The conference brings 
together researchers interested in the historical developments of 
computing, as well as those reflecting on the sociological and 
philosophical issues springing from the rise and ubiquity of computing 
machines in the contemporary landscape.For HaPoC 2017 we welcome 
contributions from logicians, philosophers and historians of computing as 
well as from philosophically aware computer scientists and mathematicians. 
We also invite contributions on the use of computers in art. As HaPoC 
conferences aim to provide a platform for interdisciplinary discussions 
among researchers, contributions stimulating such discussions are 
preferable. Topics include but are not limited to:- History of computation 
(computational systems, machines, mechanized reasoning, algorithms and 
programs, communities of computing and their paradigms,...)

- Foundational issues in computer science and computability (models of 
computability, Church-Turing thesis, formal systems for distributed, cloud 
and secure computing, semantic theories of programming languages, ...)

- Philosophy of computing (computer as brain / mind, epistemological 
issues, ...)

- Computation in the sciences (computer experiments and simulations, 
computer-aided systems for teaching and research, ...)

- Computer and the arts (temporality in digital art; narration in 
interactive art work, speculative software, programming as a deferred 
action, computing and affect, performativity of code, eristic of HCI, 
...)We cordially invite researchers working in a field relevant to the 
main topics of the conference to submit a short abstract of approximately 
200 words and an extended abstract of at most a 1000 words (references 
included)Submit through EasyChair at 
https://easychair.org/conferences/?conf=hapoc2017

Deadline for abstracts and extended abstracts: 15 May 2017

Notifications of acceptance: July 2016Accepted papers will be presented in 
30 minute slots including discussion. Abstracts must be written in 
English. Please note that the format of uploaded files must be in .pdf. 
Submissions without extended abstract will not be considered.*NEW*

A selection of revised contributions to the Conference will be published 
in a Special Issue of Philosophy & Technology (Springer). A second 
special issue focusing on historical aspects will be announced later.

*NEW*Conference fee: EUR 150, including welcome reception and conference 
dinner.The conference will be preceded by a special workshop on the 
reception of Hilbert's axiomatic method in Eastern Europe on 3 October 
2017, organized by Mate Szabó. Accompanying cultural programme will 
include: the remake of the 1968 Brno exhibition Computer Graphic 
(featuring Frieder Nake and others), Live coding performance (inspired by 
the Exhibition Computer Graphic), the concert Exposition of New Music 
(contemporary music), and field recordings of Brno (student project).
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam