4-7 Oct 2017
Brno, Czech Republic
Second Call for Papers4th International Conference on History and Philosophy of Computinghttps://hapoc2017.sciencesconf.org/Masaryk University Brno4-7 October 2017 held under the auspices of theDHST/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 ubiquitysince the late 20th century has increased the number and impact of several of the original questions raised by earlycomputer scientists and practitioners: questions about their expected and intended behaviour, as Alan Turing didwhen asking whether machines can think; questions about their ontology, as John von Neumann did when askingwhat the computer and the human brain have in common; questions about their role in performing human tasks, asNorbert Wiener did when asking whether automatic translation is possible. With new technologies, the need forrethinking formal and technological issues is crucial. HaPoC conferences aim to bring together researchers exploring the various aspects of the computer fromhistorical or philosophical standpoint. The series aims at an interdisciplinary focus on computing, rooted inhistorical and philosophical viewpoints. The conference brings together researchers interested in the historicaldevelopments of computing, as well as those reflecting on the sociological and philosophical issues springingfrom 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 asfrom philosophically aware computer scientists and mathematicians. We also invite contributions on the use ofcomputers in art. As HaPoC conferences aim to provide a platform for interdisciplinary discussions amongresearchers, 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-Turingthesis, formal systems for distributed, cloud and secure computing, semantic theories of programminglanguages, ...)- Philosophy of computing (computer as brain / mind, epistemological issues, ...)Computation in the sciences (computer experiments and simulations, computer-aided systems forteaching 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 shortabstract 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 2017Notifications of acceptance: July 2016 Accepted 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 beconsidered. 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 EasternEurope on 3 October 2017, organized by Mate Szabó (see the link in the left column for more details).Accompanying cultural programme will include: the remake of the 1968 Brno exhibition Computer Graphic(featuring Frieder Nake and others), the first computer art exhibition in Eastern Europe, preceding CyberneticSerendipity by several months, Live coding performance (inspired by the Exhibition Computer Graphic), theconcert 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