hapop 2012 - Symposium on the History and Philosophy of Programming

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-AT-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)