Logic List Mailing Archive

HaPoC-4: History and Philosophy of Computing

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