<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Dear all,<br>
<br>
I hope the following cfp is of interest to some of you,<br>
<br>
very best wishes,<br>
Liesbeth. <br>
<br>
<br>
Apologies for Multiple Postings<br>
--------------------------<br>
/Call for Papers/<br>
Second Symposium on History and Philosophy of Programming<br>
<br>
<a class="moz-txt-link-abbreviated"
href="http://www.computing-conference.ugent.be/hapop2">www.computing-conference.ugent.be/hapop2</a><br>
<br>
At AISB-50, Goldsmiths, London<br>
1-4, April 2014<br>
<br>
As part of the AISB-50 Annual Convention 2014 to be held at
Goldsmiths, University of London, on April 1st--4th 2014<br>
<br>
<a class="moz-txt-link-abbreviated"
href="http://www.aisb.org.uk/events/aisb14">www.aisb.org.uk/events/aisb14</a><br>
<br>
The convention is organised by the Society for the Study of
Artificial Intelligence and Simulation of Behaviour (AISB)<br>
<br>
<a class="moz-txt-link-freetext" href="http://www.aisb.org.uk/">http://www.aisb.org.uk/</a><br>
<br>
Overview<br>
The history and philosophy of computing only started to develop as
real disciplines in the ’80s and ’90s of the previous century, with
the foundation of journals (e.g. the IEEE Annals on the History of
Computing, Minds and Machines and the like) and associations
(SIGCIS, IACAP, . . . ), and the organization of conferences and
workshops on a regular basis. A historical awareness of the
evolution of computing not only helps to clarify the complex
structure of the computing sciences, but it also provides an insight
in what computing was, is and maybe could be in the future.
Philosophy, on the other hand, helps to tackle some of the
fundamental problems of computing. The aim of this symposium is to
zoom into one fundamental aspect of computing, that is the
foundational and the historical problems and developments related to
the science of programming. <br>
This is the Second Symposium on History and Philosophy of
Programming, following the first edition organized in 2012 at the
AISB/IACAP Joint Convention in Birmingham, UK. <br>
<br>
It is supported by the Commission on the History and Philosophy of
Computing (<a class="moz-txt-link-freetext"
href="http://www.hapoc.ugent.be/home">http://www.hapoc.ugent.be/home</a>).<br>
<br>
A historical awareness of the evolution of computing not only helps
to clarify the complex structure of the computing sciences, but it
also provides an insight in what computing was, is and maybe could
be in the future. Philosophy, on the other hand, helps to tackle
some of the fundamental problems of computing. The aim of this
symposium is to zoom into one fundamental aspect of computing, that
is the foundational and the historical problems and developments
related to programming. <br>
<br>
<br>
Topics of Interest<br>
That a logico-mathematical-physical object called program is so
controversial, even though its very nature is mostly hidden away, is
rooted in the range of problems, processes and objects that can be
solved, simulated, approximated and generated by way of its
execution. Given its widespread impact on our lives, it becomes a
responsibility of the philosopher and the historian to study the
science of programming. The historical and philosophical reflection
on the science of programming is the main topic at the core of this
workshop and we expect contributions (talks) in the following
aspects (and their connections):<br>
<br>
1. The history of computational systems, machines and programs <br>
2. Foundational issues and paradigms of programming <br>
3. Methodology of designing, teaching and learning programming <br>
<br>
We believe the scientific community needs a deep understanding and
critical view of the problems related to the scientific paradigm
represented by the science of programming. Possible and in no way
exclusive questions that might be of relevance to this Symposium
are:<br>
<br>
• What was and is the relation between hardware and software
developments? <br>
• How did the notion of ‘program’ changed since the 40s? <br>
• How important has been the hands-off vs. the hands-on approach
for the development of programming? <br>
• How did models of computability like Church’s lambda-calculus
influence the development of programming languages? <br>
• Is programming a science or a technology? <br>
• What are the novel and most interesting approaches to the
design of programs? <br>
• What is correctness for a program? Issues in Type-checking,
Model-checking, etc. <br>
• How do we understand programs as syntactical-semantical
objects? <br>
• What is the nature of the relation between algorithms and
programs? What is a program? <br>
• How can epistemology profit from the understanding of programs’
behavior and structure? <br>
• What legal and socio-economical issues are involved in the
creation, patenting or free-distribution of programs? <br>
• How is programming to be taught? <br>
<br>
<br>
Submission and Publication Details<br>
Submissions must be full (short) papers and should be sent via
EasyChair: <br>
<br>
<a class="moz-txt-link-freetext"
href="https://www.easychair.org/conferences/?conf=hapop2">https://www.easychair.org/conferences/?conf=hapop2</a><br>
<br>
<br>
Text editor templates from a previous convention can be found at:<br>
<br>
<a class="moz-txt-link-freetext"
href="http://www.aisb.org.uk/convention/aisb08/download.html">http://www.aisb.org.uk/convention/aisb08/download.html</a><br>
<br>
We request that submitted papers are limited to eight pages. Each
paper will receive at least two reviews. Selected papers will be
published in the general proceedings of the AISB Convention, with
the proviso that at least ONE author attends the symposium in order
to present the paper and participate in general symposium
activities. <br>
<br>
<br>
Important Dates<br>
<br>
Full paper submission deadline: <b>3 January 2014 </b><br>
Notification of acceptance/rejections: 6 February 2014 <br>
Final version of accepted papers: 24 february 2014 <br>
Convention: 1-4 April 2014 (symposium date tbc)<br>
<br>
<br>
Additional Information<br>
Please note that there will be separate proceedings for each
symposium, produced before the convention. Each delegate will
receive a memory stick containing the proceedings of all the
symposia. In previous years there have been awards for the best
student paper, and limited student bursaries. These details will be
circulated as and when they become available. Authors of a selection
of the best papers will be invited to submit an extended version of
the work to a journal special issue. <br>
<br>
Symposium organisers<br>
<br>
dr. Liesbeth De Mol<br>
<a class="moz-txt-link-abbreviated"
href="mailto:elizabeth.demol@ugent.be">elizabeth.demol@ugent.be</a><br>
UMR 8163 - Savoir, Textes, Languages<br>
Université de Lille 3 Bt.B4<br>
Rue du Barreau BP 60149<br>
59653 Villeneuve d’Ascq Cedex, France<br>
<br>
dr. Giuseppe Primiero<br>
<a class="moz-txt-link-abbreviated"
href="mailto:G.Primiero@mdx.ac.uk">G.Primiero@mdx.ac.uk</a><br>
website: <a class="moz-txt-link-freetext"
href="http://www.cs.mdx.ac.uk/people/giuseppe-primiero/">http://www.cs.mdx.ac.uk/people/giuseppe-primiero/</a><br>
Department of Computer Science<br>
Middlesex University<br>
the Borroughs <br>
NW4 4BT, London, UK<br>
<br>
<br>
Symposium Website:<br>
<a class="moz-txt-link-abbreviated"
href="http://www.computing-conference.ugent.be/hapop2">www.computing-conference.ugent.be/hapop2</a><br>
<br>
<br>
Programme Committee<br>
G. Alberts (Amsterdam) - TBC<br>
M. Campbell-Kelly (Warwick)<br>
L. Corry (Tel Aviv)<br>
L. de Mol (Lille)<br>
H. Durnova (Brno)<br>
R. Kahle (Lisbon)<br>
B. Loewe (Amsterdam)<br>
G. Primiero (Middlesex London) <br>
M. Tedre (Helsinki)<br>
R. Turner (Essex)
</body>
</html>