-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
210 lines (195 loc) · 14.1 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<title>HaPoP 2018 - Fourth Symposium on the History and Philosophy of Programming</title>
<meta name="description" content="HaPoP 2018 is the fourth edition of the Symposium on the History
and Philosophy of Programming, organised by HaPoC, Commission on the History and Philosophy of Computing">
<meta name="author" content="Tomas Petricek, Ursula Martin">
<meta name="twitter:card" content="summary" />
<meta name="twitter:site" content="@HaPoComputing" />
<meta name="twitter:creator" content="@HaPoComputing" />
<meta property="og:url" content="https://www.shift-society.org/hapop4/" />
<meta property="og:title" content="HaPoP 2018" />
<meta property="og:description" content="Fourth Symposium on the History and Philosophy of Programming" />
<meta property="og:image" content="https://www.shift-society.org/hapop4/img/logo-sq.png" />
<link href="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-beta/css/bootstrap.min.css" rel="stylesheet"
integrity="sha384-/Y6pD6FV/Vv2HJnA6t+vslU6fwYXjCFtcEpHbNJ0lyAFsXTsjBbfaDjzALeQsN6M" crossorigin="anonymous">
<script src="https://code.jquery.com/jquery-3.1.1.slim.min.js" integrity="sha384-A7FZj7v+d/sdmMqp/nOQwliLvUsJfDHW+k9Omg/a/EheAdgtzNs3hpfag6Ed950n" crossorigin="anonymous"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/tether/1.4.0/js/tether.min.js" integrity="sha384-DztdAPBWPRXSA/3eYEEUWrWCy7G5KFbe8fFjk5JAIxUYHKkDx6Qin1DkWx51bBrb" crossorigin="anonymous"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-alpha.6/js/bootstrap.min.js" integrity="sha384-vBWWzlZJ8ea9aCX4pEW3rVHjgjt7zpkNpZk+02D9phzyeVkE+jo0ieGizqPLForn" crossorigin="anonymous"></script>
<!--[if lt IE 9]>
<script src="https://cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.js"></script>
<![endif]-->
<link href="https://fonts.googleapis.com/css?family=EB+Garamond|Roboto" rel="stylesheet">
<style>
p, li { font-size:13pt; font-family:'Roboto'; }
h1, h2, h3, h4 { font-family:'EB Garamond'; }
.content h3 { font-size:20pt; margin:30px 0px 15px 0px; }
.content h4 { font-size:13pt; font-weight:bold; font-family:'Roboto'; }
.content li { margin-bottom:5px; }
.menu h3, .menu li { font-family:'Roboto'; font-size:12pt; }
.menu h3 { font-variant:small-caps; color:#808080; margin:0px 0px 10px 0px; }
.menu li { margin:0px 0px 3px 0px; padding:0px; list-style-type:none; }
.menu ul { margin:0px; padding:0px; }
ul.pg { list-style-type:none; margin-left:0px; padding-left:0px; }
ul.pg li { margin-left:0px; padding-left:30px}
header h1 { font-weight:700; font-size:32pt; margin-top:60px; }
header h2 { font-size:24pt; margin-bottom:30px; }
header p { font-size:16pt; font-family:'EB Garamond'; margin:0px; }
header { padding-bottom:60px; }
article { padding:40px 0px 200px 0px; }
article .content { padding-right:40px; }
.headerwrapper { background:#f0f0f0; }
a { color:red; }
a:hover { color:#ff5050; }
</style>
</head>
<body>
<div class="headerwrapper">
<header class="container">
<div class="row">
<div class="col col-sm-12">
<h1>HaPoP 2018</h1>
<h2>Fourth Symposium on the History and Philosophy of Programming</h2>
<p><strong>23 March 2018</strong>, Mathematical Institute, University of Oxford, United Kingdom</p>
<p>Colocated with <a href="https://www.bshm.ac.uk/events">BSHM Meeting on History of Computing</a>, 22 March 2018</p>
</div>
</div>
</header>
</div>
<article class="container">
<div class="row">
<div class="menu col col-12 col-md-3 col-lg-4 order-md-2 order-md-2 order-lg-2" style="padding-right:0px">
<div class="d-none d-md-block">
<img src="img/logo.png" class="img-fluid" style="max-width:160px;padding-bottom:40px" />
<h3>Post-proceedings</h3>
<ul style="margin-bottom:30px">
<li><a href="special-issue.html">Submit to a special issue of<br />Philosophy & Technology!</a></li>
</ul>
<h3>More information</h3>
<ul style="margin-bottom:30px">
<li><a href="index.html">Symposium home</a></li>
<li><a href="https://www.eventbrite.co.uk/e/42680725198">Symposium registration</a></li>
<li><a href="info.html">Local information</a></li>
<li><a href="pc.html">Programme committee</a></li>
<li><a href="attendees.html">List of attendees</a></li>
</ul>
<h3>Event partners</h3>
<ul style="margin-bottom:30px">
<li><a href="http://hapoc.org/">HaPoC Comission</a></li>
<li><a href="https://www.bshm.ac.uk">BSHM Society</a></li>
<li><a href="https://www.maths.ox.ac.uk/">Mathematical Institute</a></li>
</ul>
<h3>Past events</h3>
<ul>
<li><a href="http://www.hapoc.org/hapop3">HaPoP 2016, Paris</a></li>
<li><a href="http://www.computing-conference.ugent.be/hapop2">HaPoP 2014, London</a></li>
<li><a href="http://www.computing-conference.ugent.be/hapop12">HaPoP 2012, Birmingham</a></li>
</ul>
</div>
</div>
<div class="col col-12 col-md-9 col-lg-8 content">
<p>In a society where computers have become ubiquitous, it is necessary to develop a deeper
understanding of the nature of computer programs, not just from the technical viewpoint, but from
a broader historical and philosophical perspective. A historical awareness of the evolution of
programming not only helps to clarify the complex structure of computing, but it also provides
an insight in what programming was, is and could be in the future. Philosophy, on the other hand,
helps to tackle fundamental questions about the nature of programs, programming languages and
programming as a discipline.</p>
<p>HaPoP 2018 is the fourth edition of the Symposium on the History and Philosophy of Programming,
organised by HaPoC, <a href="http://www.hapoc.org">Commission on the History and Philosophy of
Computing</a>. As in the previous editions, we are convinced that an interdisciplinary approach is
necessary for understanding programming with its multifaceted nature. As such, we welcome
participation by researchers and practitioners coming from a diversity of backgrounds, including
historians, philosophers, computer scientists and professional software developers.</p>
<!-- <h3>Programming and scientific progress</h3> -->
<p>In addition to submissions in a wide range of areas traditional for HaPoP (outlined below), we
especially welcome submissions that explore the nature of scientific progress with respect to
computer programming as a discipline.
We are interested in investigations concerning the methodology of computer programming, whether it
follows a form of scientific method that allows it to increase its problem solving ability, whether
its development more is akin to science, engineering or rather art, and what examples from the history of programming
can be provided to support either argument.</p>
<h3>Special journal issue: Computing and programming in context</h3>
<p>
We now welcome submissions to a special issue of the <a href="https://link.springer.com/journal/13347">Philosophy and Technology</a> journal
that follows the HaPoP4 symposium and HaPoC4 conference. Please see
<a href="special-issue.html">Computing and programming in context – The interplay between logic, science, technology and society</a>
for more information and consider submitting a paper by <strong>1 October 2018</strong>.
We welcome papers based on contributions to HaPoP4 and HaPoC4, as well as contributions
not appearing in the aforementioned conferences.</p>
<h3>Registration and co-located events</h3>
<p>The symposium is on Friday (March 23), and is co-located with a meeting
History of Computing beyond the Computer on Wednesday afternoon and Thursday, (March 21-22),
organised by the British Society for the History of Mathematics, which hosts a full day
of invited talks closely related to HaPoP. We are also organising a dinner at <a href="https://www.nuffield.ox.ac.uk/the-college/conferences-and-catering/rooms-and-facilities/fellows-dining-room/">Nuffield College</a> on Thursday,
(March 22), before the HaPoP symposium and we are considering an informal
meeting on Saturday, (March 24), to provide space for informal discussion
and collaboration.</p>
<p>To register and express interest in participation, please see the following links:</p>
<ul>
<li><strong>HaPoP 2018 symposium and dinner registration (March 22 and March 23)</strong>.
To attend <a href="https://www.eventbrite.com/e/hapop-2018-fourth-symposium-on-the-history-and-philosophy-of-programming-tickets-42680725198">HaPoP symposium and dinner, click here</a>.
Symposium ticket is available for £40 and symposium ticket with college dinner is available for £100.
Partners are welcome at the college dinner, but need to book a dinner ticket through the above link.
</li>
<li><strong>History of Computing beyond the Computer (March 21 and March 22)</strong>.
For more information about the co-located event organised by the British Society for the History
of Mathematics, as well as registration, <a href="https://www.eventbrite.co.uk/e/the-history-of-computing-beyond-the-computer-tickets-40057294446">see the BSHM registration page</a>.
</li>
<li><strong>Informal post-symposium meeting (March 24)</strong>.
To provide a space for informal discussion following the symposium, we booked a room in
<a href="https://www.turlstreetkitchen.co.uk/">Turl Street Kitchen</a> on Saturday (March 24)
after the conference. The room is booked from 10:30am to 2:30pm. No registration is required,
you are welcome to stop by anytime during the morning and early afternoon and join us for
breakfast, coffee or lunch.
</li>
</ul>
<h3>Symposium programme</h3>
<p>The symposium will be taking place in the L4 room of the Oxford Mathematical institute. For more information
about the institute, how to get there and other information, please see the <a href="https://www.maths.ox.ac.uk/about-us/travel-maps">institute's about web page</a>.</p>
<h4>9:00 - 9:10: Welcome and introduction </h4>
<h4>9:10 - 10:25: People and organisations</h4>
<ul class="pg">
<li>9:10 - 9:45: <a href="abstracts/nofre.pdf">IBM and the Algol project: Exploring the challenges and dilemmas of early computer science research</a> (<a href="slides/nofre.pptx">slides</a>) - David Nofre</li>
<li>9:45 - 10:20: <a href="abstracts/castelle.pdf">Middleware's Presentism: Asynchrony, Flow, Finance, and the Enterprise</a> (<a href="slides/castelle.pdf">slides</a>) - Michael Castelle</li>
</ul>
<h4>10:20 - 10:50: Coffee break</h4>
<h4>10:50 - 12:35: Languages and paradigms</h4>
<ul class="pg">
<li>10:50 - 11:25: <a href="abstracts/ford.pdf">Babbage's presentation of the calculating machines: the mechanical notation</a> (<a href="slides/ford.pptx">slides</a>) - Susan Ford</li>
<li>11:25 - 12:00: <a href="abstracts/miller.pdf">Influences between logic programming and proof theory</a> (<a href="slides/miller.pdf">slides</a>) - Dale Miller</li>
<li>12:00 - 12:35: <a href="abstracts/lester.pdf">What can a 1980s BASIC programming textbook teach us today?</a> (<a href="slides/lester.pdf">slides</a>) - Martin Mariusz Lester</li>
</ul>
<h4>12:35 - 13:45: Lunch break</h4>
<h4>13:45 - 15:30: Programs and programming</h4>
<ul class="pg">
<li>13:45 - 14:20: <a href="abstracts/dobson-mosteirin.pdf">Moonbit</a> (<a href="slides/dobson-mosteirin.pptx">slides</a>) - James Dobson and Rena Mosteirin</li>
<li>14:20 - 14:55: <a href="abstracts/hill.pdf">The Phenomenology of Programming</a> (<a href="slides/hill.pdf">slides</a>) - Robin Hill</li>
<li>14:55 - 15:30: <a href="abstracts/salha.pdf">Programs as tools for knowledge</a> (<a href="slides/salha.pdf">slides</a>) - Henri Salha </li>
</ul>
<h4>15:30 - 16:00: Coffee break</h4>
<h4>16:00 - 17:10: Systems and concepts</h4>
<ul class="pg">
<li>16:00 - 16:35: <a href="abstracts/tucker.pdf">Theorising Data: A History of Abstract Data Types and their Specification</a> - John Tucker</li>
<li>16:35 - 17:10: <a href="abstracts/swidan-hermans.pdf">Common misconceptions and their implications for programming systems</a> (<a href="slides/swidan-hermans-1.pptx">slides</a>, <a href="slides/swidan-hermans-2.pptx">slides</a>) - Alaaeddin Swidan and Felienne Hermans</li>
</ul>
<h3>Support and contact</h3>
<p>The HAPOC Commission is kindly offering two grants for authors of papers presented at HaPoP 2018.
If you are the author of an accepted submission and require travel support, please see
<a href="http://www.hapoc.org/node/251">HAPOC grants for authors</a>.</li>
<p>HaPoP4 co-chairs are <a href="http://tomasp.net/academic">Tomas Petricek</a> and
<a href="https://www.cs.ox.ac.uk/people/ursula.martin/">Ursula Martin</a> and you can
find a list of <a href="pc.html">programme committee members</a> on a separate page.
If you have any questions regarding suitability of a topic or format of the extended
abstract, please contact Tomas at <a href="mailto:tomas@tomasp.net">tomas@tomasp.net</a>.
For quick questions, you can also use <a href="http://twitter.com/tomaspetricek">@tomaspetricek</a>
on Twitter.
</p>
</div>
</div>
</article>
</body>
</html>