The BSc Degree in Computer Science at Middlesex University London launches from the Academic Year 2015/16 a Module for third year students in History and Philosophy of Computing. The Module will be lead by Giuseppe Primiero and the Handbook, including syllabus, reading materials and details of coursework can be found at https://www.academia.edu/15576158/CSD3203_History_and_Philosophy_of_Computing_Module_Handbook
Workshop on Ada Lovelace’s legacy at Oxford
Texts and contexts: the cultural legacies of Ada Lovelace
“That brain of mine is more than merely mortal; as time will show.”
A workshop for graduate students and early career researchers
Tuesday 8 December 2015
Mathematics Institute and St Anne’s College, Oxford
The m athematician Ada Lovelace (1815-1852), daughter of poet Lord Byron, is
celebrated as a pioneer of computer science. The notes she added to her
translation of Luigi Menabrea’s paper on Charles Babbage’s analytical engine
(1843) are considered to contain a prototype computer program. During her
short life, Lovelace not only contributed original ideas to the plans for
this early computer; she also imagined wider possibilities for the engine,
such as its application to music, and meditated on its limitations. Lovelace
leaves a legacy not just as a computer scientist, but also as a muse for
literary writers, a model to help us understand the role of women in science
in the nineteenth century, and an inspiration for neo-Victorian and
steampunk traditions.
As part of the University of Oxford’s celebrations to mark the 200th
anniversary of Lovelace’s birth, this one-day workshop will bring together
graduates and early career researchers to discuss t he varied cultural
legacies of this extraordinary mathematician. The day will feature an expert
panel including graphic novelist Sydney Padua and biographer Richard Holmes,
as well as a keynote address from Professor Sharon Ruston, Chair in
Romanticism in the Department of English and Creative Writing at Lancaster
University.
The day will conclude with a reception and buffet when there will be
opportunities to meet with speakers from the Ada Lovelace 200 Symposium,
which will also take place in the Mathematics Institute on the following two
days (9-10 December). Researchers from all disciplines are invited to submit
proposals for papers on the influences of Lovelace’s work, on topics
including, but not limited to, literature, history, mathematics, music,
visual art, and computer science. This might include:
* Lovelace’s place in the study of the history of science;
* Lovelace and women in scie nce in the nineteenth century;
* Early nineteenth-century scientific networks, including Lovelace’s
relationship with such individuals as Charles Babbage and Mary Somerville.
We also encourage papers which consider other scientific networks from this
period, beyond Lovelace’s circle;
* Lovelace and discussions about the role of the imagination in
scientific practice in the nineteenth century;
* Lovelace as translator and commentator;
* Mathematics and music, and the musical possibilities Lovelace
envisaged for Babbage’s engine;
* Lovelace’s own textual legacies, such as her correspondence,
childhood exercises and mathematical notes held in the Bodleian;
* Lovelace’s technological legacies, from her seminal work on
Babbage’s Analytical Engine to her impact on computer programming today;
* Lovelace’s role in the steampunk tradition, from Gibson and
Sterling’s The Difference Engine to Sydney Padua’s The Thrilling Adventures
of Lovelace and Babbage, and neo-Victorian fashion;
* Efforts and activities to commemorate and memorialise Lovelace, from
the recent Google Doodle to the annual Ada Lovelace Day.
Proposals, not exceeding 250 words, for 15-minute papers should be submitted
to adalovelaceworkshop@ell.ox.ac.uk
2015. Those who are accepted to speak at this graduate workshop will also be
offered free registration for the Ada Lovelace 200 Symposium taking place on
the following two days.
Full professorship EHT Zürich for history of computer science
The Department of Humanities, Social and Political Sciences at ETH Zurich (www.gess.ethz.ch) invites applications for a professorship of History of Exact Sciences and also invites applicants specializing in the field of computer science.
For more information, see: http://www.facultyaffairs.ethz.ch/facultypositions/Prof_History_Exact_Sciences
HaPoC DLMPST Commission
The General Assembly of the Division of Logic, Methodology and Philosophy of Science held in Helsinki on 06 August 2015 during its 15th Congress has approved the request of the DHST HaPoC Commission to become an Inter-Division Commission. The GA has also approved a motion to change the name of DLMPS to DLMPST: Division of Logic, Methodology and Philosophy of Science and Technology. This website will be updated accordingly very soon!
Call Postdoc Position at University of Pretoria
CALL for APPLICATIONS: POSTDOCTORAL FELLOWSHIP
UNIVERSITY OF PRETORIA / CENTRE FOR ARTIFICIAL INTELLIGENCE RESEARCH, SOUTH AFRICA
This is a call for a postdoctoral position at the Department of Philosophy at the University of Pretoria (UP). Please see the University’s website (http://www.up.ac.za) and click on Postdoctoral Fellows for more
information.
We are specifically interested in someone who will be able to contribute to research in the intersection between knowledge representation from a computer science point of view and knowledge representation issues in philosophy of
science. The successful applicant will have a joint postdoc in Philosophy at the University of Pretoria and the Centre for Artificial Intelligence Research (CAIR), with a strong possibility of a salary topup funded by CAIR (http://www.cair.za.net).
Please notify Emma Ruttkamp-Bloem at emma.ruttkamp-bloem@up.ac.za and Thomas Meyer at tmeyer@cs.uct.ac.za BEFORE 17 August if you are intending to apply. (Note the university closing date for applications is 28 August.)
News from DHST
We are happy to let you know that the website of the 25th ICHST, which will take place in Rio de Janeiro, 23-29
July 2017 is now online at:
http://www.ichst2017.sbhc.org.br/
This is the main conference organized by DHST (Division for the History of Science and Technology) . The Congress organisers have also issued the first Circular of the Congress. It can be downloaded from the DHST Website:
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGhzdHdlYi5vcmd8d3d3fGd4OjE0NWU4ODJhZDZlZDc0ZGU
As for each Congress in the ICHST series, commissions are expected to submit at least one symposium to the Congress. If any of our members would be interested in proposing a HAPoC-relevant symposium please do not hesitate to contact us at hapoc@info.org
Anuj Dawar on ‘Is Computer Science a Science?’
Anuj Dawar (Cambridge University) answers the old question: ‘Is Computer Science a Science?’
http://education.cambridge.org/uk/whats-new/thought-leadership/2015/7/is-computer-science-a-science
HaPoC3 List of Accepted Papers
The list of Accepted Papers for the Third International Conference on the History and Philosophy of Computing (Pisa, 8-11 October 2015) is now available at
http://hapoc2015.sciencesconf.org/conference/hapoc2015/pages/accepted_1.html
Kalmar and Peter: Undecidability as a Consequence of Incompleteness
“Kalmar and Peter: Undecidability as a Consequence of Incompleteness”, Computability in Europe, vol. Beckmann, Mitrana, and Soskova (eds) – Evolving Computability, 11th Conference of CiE, Bucharest, 2015. Springer, pp. 343-352, 2015.
,Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
“Haskell before Haskell: an alternative lesson in practical logics of the ENIAC”, Journal of Logic and Computation, vol. 25, pp. 1011-1046, 2015. http://dx.doi.org/10.1093/logcom/exs072
,