CfPs Area of History and Philosophy of Computing
Dear all, this is a reminder for the forthcoming three deadlines for Call for Papers related to the area of the History and Philosophy of Computing. best wishes, Liesbeth (1) ------------------------------ Symposium on the History and Philosophy of Programming 5-6 July 2012 http://www.computing-conference.ugent.be/hapop12 part of AISB/IACAP World Congress 2012 - Alan Turing 2012 2-6 July 2012 We expect contributions about the following topics and their intersections: 1. The history of computational systems, machines and programs 2. Foundational issues and paradigms of programming (programming logics, semantics and proof-theories for distributed, secure, cloud, functional, object-oriented, etc.) SUBMISSION DETAILS: The programme will consists of 2 Invited Lectures and up to 8 Contributed Papers. It will takes place in the afternoon session of the 5th and the morning session of the 6th of July. We cordially invite researchers working in a field relevant to the main topics of the conference to submit an extended abstract of minimum 2 and maximum 5 pages to computing.conference@ugent.be Please mention "ABSTRACT HAPOP" in the subject line. Abstracts must be written in English. Please note that the format of submitted files must be .pdf or .rtf. Only unpublished material will be considered for presentation. IMPORTANT DATES: Submissions Deadline: 2 March 2012 Acceptance/rejection Decisions: 2 April 2012 Final versions of abstracts for inclusion in proceedings: 4 May 2012. Symposium: 5 July (afternoon) and 6 July (morning) (2) --------------------- Special Issue of Journal "History and Philosophy of Logic" TITLE: Logical Issues in the History and Philosophy of Computing GUEST EDITORS: Liesbeth De Mol& Giuseppe Primiero http://www.computing-conference.ugent.be/specialissues We solicit submissions of papers that combine both historical and systematic aspects of the computational sciences, in particular related to the logical and philosophical foundations of: computational systems and machines; models of computability; physical Church-Turing Thesis; semantic theories of programming languages; epistemology of computing. TIMETABLE: April 15, 2012: Deadline paper submission July 15, 2012: Deadline reviews papers October 15, 2012: Deadline revised papers 2013: Publication of the special issue SUBMISSION DETAILS: http://www.tandf.co.uk/journals/journal.asp?issn=01445340&linktype=44 and mention "Special Issue History and Philosophy of Computing in the subject line of your submission email. (3) ------------------------- Special Issue of Journal "Philosophy& Technology" TITLE: Trends in the History and Philosophy of Computing GUEST EDITORS: Liesbeth de Mol& Giuseppe Primiero http://www.computing-conference.ugent.be/specialissues We solicit submissions of papers that explore the philosophical relevance of issues in the technology and in particular that do so in a historical perspective. Areas of relevance are the birth, evolution and future of machines, algorithms and programs; the foundational and practical issues related to models of computability and programming languages; computer experiments and simulations, computer-aided systems, math- and engineering software, e-learning, scientific databases, computer and the arts. TIMETABLE: April 15, 2012: Deadline paper submission July 15, 2012: Deadline reviews papers September 15, 2012: Deadline revised papers 2013: Publication of the special issue SUBMISSION DETAILS: http://www.editorialmanager.com/phte/ and select "Special Issue History and Philosophy of Computing" from the Type of Submission menu.
participants (1)
-
Liesbeth De Mol