Author: Giuseppe Primiero

The Department of Computer Science at Middlesex University, together with the LEO Computers Society are looking for a PhD Candidate for a research project in the area of History and Philosophy of Computing. This will incorporate research into the objectives, design, construction and market penetration of the LEO I, II and III computers, developed by the catering firm J. Lyons and Co., and its subsidiary LEO Computers Limited – subsequently incorporated in different companies (English Electric LEO, English Electric Leo Marconi, ICL, Standard Telephones and Cables and finally Fujitsu).

Further details and instructions on how to apply available at

http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships/david-tresman-caminer-studentship-for-the-history-of-computing

CALL FOR PAPERS
Third symposium for History and Philosophy of Programming
June 25, 2016
CNAM, Paris, France
www.hapoc.org/hapop3

An affiliated event of
CiE 2016, Paris

We are happy to announce the third Symposium for the History and Philosophy of Programming. This symposium follows the
first and
second editions which were organized in 2012 and 2014 respectively. It is supported by the DHST/DLMPS Commission on the History and Philosophy of Computing and the
CNAM.

One major challenge throughout the history of programming is the development of an interface between humans, software and hardware. It has been the task of the so-called operating system to: maintain a file system; regulate access to resources; synchronize operations; etc. Today, Operating Systems are usually equipped with Graphical User interfaces (GUI) designed to give the “user” a “friendly” experience thus hiding – and sometimes even rendering inaccessible – much of the underlying structure and features of the computing machinery. In which way is this changing our relation to machines and what the unintended epistemic consequences are, is still to be assessed.

The aim of the current symposium is to offer an opportunity for historical and philosophical reflection on operating systems and the programs they coordinate. Our approach is interdisciplinarity and openness towards different fields relevant to HaPoC. We were and are strongly convinced that such trans- and interdisciplinarity is necessary if one wants to reflect on a discipline such as computer science with its multidimensional nature. The current symposium will be organized in a similar manner and invites researchers coming from a diversity of backgrounds, including historians, philosophers, logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically that of operating systems.

Topics of the symposium include but are not restricted to historical and philosophical reflections on:

• Origin, evolution and future of OSs
• Design and Epistemology of User Interfaces
• Principles of Data Access, Control and Sharing, especially in relation to OSs (e.g. the Bell-La Padula model)
• Privacy and Security in OSs
• Batch processing and time sharing systems
• Models, problems and techniques of concurrency, parallelism and distributed systems
• Open source vs corporate software
• Programming paradigms and techniques (e.g. pair-programming)

SUBMISSION DETAILS:

We cordially invite researchers working in a field relevant to the main topics of the symposium to submit an abstract of 500 words to:

https://easychair.org/conferences/?conf=hapop3

Abstracts must be written in English. Please note that the format of uploaded files must be .pdf or .doc.

In order to access the submission page, the creation of an EasyChair account will be required. Please notice that what is called “abstract” in the EasyChair “Title, Abstract and Other Information” section corresponds to the short abstract of this call, and what is called “paper” in the EasyChair “Upload Paper” section corresponds to the extended abstract of this call.

IMPORTANT DATES:

Submission deadline: March 31, 2016
Notification of acceptance: April 22, 2016

INVITED SPEAKERS:

Daniel Glazman (Disruptive Innovations)
Warren Toomey (Bond University, Australia)

SYMPOSIUM CHAIRS:
Liesbeth De Mol (CNRS, UMR8163), Raphaël Fournier-S’niehotta (CNAM), Baptiste Mélès (CNRS, UMR7117), Giuseppe Primiero (Middlesex University)

PROGRAMME COMMITTEE:

Maarten Bullynck (Université de Paris 8)
Martin Campbell-Kelly (University of Warwick)
Liesbeth De Mol (CNRS, UMR 8163 STL)
Gilles Dowek (INRIA, Laboratoire Spécification et Vérification)
Raphaël Fournier-S’niehotta (CNAM)
Jean-Baptiste Joinet (Université Jean Moulin)
Baptiste Mélès (CNRS, UMR 7117 Archives Henri-Poincaré)
Camille Paloque-Berges (CNAM)
Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne)
Tomas Petricek (University of Cambridge)
Giuseppe Primiero (Middlesex University)
Jacques Printz (CNAM)

This special issue initiates Philosophy and Technology’s new subject area on logic and technology by proposing to explore novel insights from the natural, yet in philosophical contexts still uncommon juxtaposition of logic and technology. Instead of considering questions regarding the philosophical relevance of how logic is applied in technology (as witnessed by the role of recursion theory, the foundation of computation, in logic), as a means to reason about technology (reasoning about programs, security, etc.), or even how technology is used to learn more about logic (e.g. with the help of theorem-provers), we suggest to explore how our thinking about logic can be shaped by our thinking about technology. This includes, first and foremost, the suggestion that we can see logic as a technology by avoiding the common restriction of technology to physical artefacts and the even more traditional restriction of logic to symbolically formulated deductive systems. Abstract or semantic artefacts are technologies, and logic is—like mathematics—a typical example of such a technology.

The proposal to see logic as a technology emphasises the mutual interaction between technology and philosophy, but also addresses the deeper issue that the traditional scope of the philosophy of logic does not include influential uses and applications of logic in or related to computer science, economics, cognitive science, or linguistics, as central or essential uses of logic. Indeed, the exclusive focus on logic as a universally applicable standard for correct deductive reasoning, and the common suggestion that reasoning in the vernacular is the notional domain of application for deductive logic, blocks the development of a common understanding of logics as codifications of validity and of logics as formal modelling tools.

A general header under which we can study logics as technologies starts from the insight that logical systems and theories are (pick your preferred term) developed, engineered or designed, and are often so with a particular application in mind. Even when influenced or inspired by existing linguistic and inferential practices, they are rarely the result of merely extracting the formal structure of pre-existing rational ways of reasoning, arguing or communicating. Many of their properties are, instead, best seen as the result of design or modelling decisions.

Related worries about mainstream philosophy of logic have been voiced in many different contexts, and can be tied to lines of inquiry in neighbouring disciplines. With an explicit focus on logic, we find it whenever the practice of conceptual analysis is explicitly approached in terms of conceptual and scientific modelling (Floridi 2011, Löwe & Müller 2011), and requires us to think explicitly about practical and theoretical trade-offs (Shapiro 2014). The renewed interest in Carnapian explication (Carus 2008, Dutilh Novaes & Reck 2015) further underscores this general development in contemporary theoretical and formal philosophy, whereas insights from cognitive sciences have led to specific studies of mathematics (De Cruz & De Smedt 2010, Netz 1999, Widom & Schlimm 2012) and logic (Dutilh Novaes 2012) as cognitive technologies. Finally, a more critical side of this focus on how formal languages are constructed can be found in Stokhof and van Lambalgen’s recent analysis of the role of formal languages in contemporary linguistics.

TOPICS

We welcome papers that explore the potential connections between logic and technology, and further develop fruitful ways of technological thinking about logic. This includes, but is not restricted to contributions that fall in one of the following categories:

Insights drawn from the history of logic, and inquiries into the historical grounds for seeing logic as an abstract artefact.
Insights drawn from the philosophy of technology, and applications to logic of specific ways of looking at technology.
Insights from the philosophy of the formal sciences, and from science and technology studies, including the philosophy of modelling, and the practice and foundations of programming.

TIMETABLE

May 1, 2016: Deadline for paper submissions
July 1, 2016: Deadline reviews papers
September 1, 2016: Deadline revised papers
2016/17: Publication of the special issue

SUBMISSION DETAILS

To submit a paper for this special issue, authors should go to the journal’s Editorial Manager http://www.editorialmanager.com/phte/

The author (or a corresponding author for each submission in case of co- authored papers) must register into EM. The author must then select the special article type: “SI on Logic as Technology” from the selection provided in the submission process. This is needed in order to assign the submissions to the Guest Editors.

Submissions will then be assessed according to the following procedure:

New Submission => Journal Editorial Office => Guest Editor(s) => Reviewers => Reviewers’ Recommendations => Guest Editor(s)’ Recommendation => Editor-in-Chief’s Final Decision => Author Notification of the Decision. The process will be reiterated in case of requests for revisions.

For any further information please contact: Patrick Allo patrick.allo@oii.ox.ac.uk

ACM Workshop on Oral History, May 12-13, 2016

ACM History Committee

Call for Participation

The Association for Computing Machinery, founded in 1947, is the oldest and largest educational and scientific society dedicated to the computing profession, and today has more than 100,000 members around the world. The ACM History Committee is sponsoring an oral history workshop to help diffuse knowledge of professional oral history practices into ACM’s membership and others with an active interest in preserving our computing heritage through the medium of oral histories.

Applications are invited to a 1.5 day oral history workshop, to be held Thursday and Friday, May 12-13, 2016 at the University of North Carolina at Chapel Hill, North Carolina. For each successful application, one person’s expenses for workshop travel, lodging, and meals will be paid by the ACM History Committee. The workshop will be led by Mary Marshall Clark, director of the Columbia Center for Oral History (CCOH), see <http://library.columbia.edu/locations/ccoh.html>.

Practice and Tutorial

Who should attend? ACM members and others who are planning or actually doing oral history projects. The audience is people who are performing interviews for oral histories, or thinking about doing so. The workshop should be of special interest to ACM officers and staff, SIG leaders, historically minded ACM members, and others working on oral history projects. Priority will be given to ACM members and members of other national computer societies affiliated with the ACM, but some places have been reserved for non-affiliated individuals who are actively engaged in oral history projects.

Workshop topics and activities include: [a] developing an oral history program; [b] presentation and training on oral history processes and principles; [c] hands-on exercises interviewing each other; [d] analysis and discussion of the exercises; [e] how to analyze results, findings and evaluate an oral history project; [f] practical considerations: lessons learned and best practices; and [g] ample networking time, including lunches and the workshop dinner. Participants will leave with a “tool kit” of practical, useful procedures as well as insight into professional oral history practices.
Small workshop format will permit maximum hands-on experience and personal interaction. We are planning for 16 participants.

The ACM History Committee will fund travel, hotel and meals for accepted invitees. Applicants should send a 2-page CV as well as a 250-word proposed project and/or oral history interest description that [a] explains the significance of a proposed oral history project (if applicable), potential uses of the techniques learned, and its importance; and [b] affirms your willingness to participate fully in the 1.5 day agenda.

Project proposals are due by Friday, January 15, 2016. Proposals should be submitted as a single pdf-format document to . Notification of project acceptance will be made within eight weeks. (Questions about the workshop or requests for clarification may be directed, at any time, to .)

————————————————
Call for applications CiE Women in Computability grants
————————————————

It is well known that women are underrepresented in certain fields of computability. Since 2007, the Association CiE has taken the intiative to encourage female participation and to discuss the issue of Women in Computability by organizing the annual
Women in Computability programme. We are happy to announce that for CiE 2016 the
ACM’s Women in Computing will sponsor this programme which includes the WiC workshop and dinner, the mentorship program and travel grants for young female researchers. More details can be found
CIE2016/Women-in-Computability.phhere.

There are four grants available of up to 250 EUR for junior female researchers who want to participate in CiE 2016. Applications for this grant should be sent to Liesbeth De Mol (firstname.lastname@univ-lille3.fr) before 1 May 2016 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2016.

CiE 2016: final CfP EXTENDED DEADLINE
——————————————————-
FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)

CiE 2016: Pursuit of the Universal

Paris, France

June 27 – July 1st, 2016

http://lipn.univ-paris13.fr/CIE2016/

IMPORTANT DATES:

EXTENDED Submission deadline for LNCS: January 10, 2016
Notification of authors: March 20, 2016
Deadline for final revisions: April 17, 2016

CiE 2016’s Motto is: “Pursuit of the Universal”. This year’s conference will
open with a special tribute session that CiE society is dedicating to the
former CiE president, Barry Cooper who unexpectedly passed away on October
26th 2015. Barry was originally scheduled as a plenary speaker at this year’s
conference.

The year 2016 brings the eightieth anniversary of the publication of Alan
Turing’s seminal paper featuring the Universal Turing Machine. Just as the
semantics of the machine gave rise to Incomputability, and pointed to future
directions in proof theory, AI, generalized computability, the underlying role
of typed information and natural language, and the computability and
definability underpinning bioinformatics: so our conference subtitle honors
Turing’s role in anticipating the quest for universal computational frameworks
across a wide spectrum of scientific and humanist disciplines.

CiE 2016 is the twelfth conference organized by CiE (Computability in Europe),
a European association of mathematicians, logicians, computer scientists,
philosophers, physicists and others interested in new developments in
computability and their underlying significance for the real world. Previous
meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007),
Athens (2008), Heidelberg (2009), Ponte Delgada (2010), Sofia (2011),
Cambridge (2012), Milan (2013), Budapest (2014) and Bucharest (2015).

TUTORIAL SPEAKERS:

Bernard Chazelle (Princeton University)
Mikolaj Bojanczyk (University of Warsaw)

INVITED SPEAKERS:

Janet Abbate (Virginia Tech)
Natasha Alechina (University of Nottingham)
Vasco Brattka (Universität der Bundeswehr München)
Steffen Lempp (University of Wisconsin)
André Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)

SPECIAL SESSIONS:

Computable and constructive analysis (organizers: Daniel Graça, Elvira Mayordomo)
Computation in bio-chemical systems (organizers: Alessandra Carbone, Ion Petre)
Cryptography and information theory (organizers: Danilo Gligoroski, Carles Padro)
History and philosophy of computing (organizers: Liesbeth de Mol, Giuseppe Primiero)
Symbolic dynamics (organizers: Jarkko Kari, Reem Yassawi)
Weak arithmetics (organizers: Lev Beklemishev, Stanislas Speranski)

Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:

Marcella Anselmo (Università di Salerno)
Nathalie Aubrun (Ecole Normale Supérieure de Lyon)
Georgios Barmpalias (Chinese Academy of Sciences)
Marie-Pierre Beal (Université Paris-Est Marne-la-Vallée)
Arnold Beckmann (Swansea University)
Laurent Bienvenu (Université Paris 7), PC co-chair
Paola Bonizzoni (Università di Milano-Bicocca)
Alessandra Carbone (Université Pierre et Marie Curie)
Douglas Cenzer (University of Florida)
Liesbeth De-Mol (Université Lille 3)
David Doty (University of California Davis)
Jérôme Durand-Lose (Université d’Orléans)
Volker Diekert (Universität Stuttgart)
Martin Escardo (University of Birmingham)
François Fages (INRIA Paris-Rocquencourt)
Enrico Formenti (Université de Nice-Sophia Antipolis)
Daniela Genova (University of North Florida)
Noam Greenberg (Victoria University of Wellington)
Valentina Harizanov, (George Washington University)
Hajime Ishihara (Japan Advanced Institute of Science and Technology)
Natasha Jonoska (University of South Florida), PC co-chair
Jarkko Kari (University of Turku)
Lila Kari (University of Western Ontario)
Margarita Korovina (University of Manchester)
Marta Kwiatkowska (University of Oxford)
Karen Lange (Wellesley College)
Benedikt Löwe (Universiteit van Amsterdam)
Florin Manea (Kiel University)
Paulin de Naurois (Université Paris 13)
Keng Meng Selwyn Ng (Nanyang Technological University)
Arno Pauly (University of Cambridge)
Mario Perez-Jimenez (Universidad de Sevilla)
Ion Petre (Åbo Akademi University)
Mehrnoosh Sadrzadeh (Queen Mary University of London)
Alexis Saurin (Université Paris 7)
Shinnosuke Seki (The University of Electro-Communications Tokyo)
Paul Shafer (Ghent University)
Alexander Shen (Université Montpellier 3)
Alexandra Soskova (Sofia University)
Mariya Soskova (Sofia University)
Peter van Emde Boas (Amsterdam)

The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to computability for
presentation at the conference and inclusion in the proceedings at
https://www.easychair.org/conferences/?conf=cie2016

Papers must be submitted in PDF format, using the LNCS style (available at
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have
a maximum of 10 pages, including references but excluding a possible appendix
in which one can include proofs and other additional material.

Papers that build bridges between different parts of the research community
are particularly welcome.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

___________________________________

CiE 2016 http://lipn.univ-paris13.fr/CIE2016/

ASSOCIATION COMPUTABILITY IN EUROPE
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE Membership Application Form
http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE)
http://www.computability.de/journal/
CiE on FaceBook
https://www.facebook.com/AssnCiE
Association CiE on Twitter
https://twitter.com/AssociationCiE

The Journal History and Philosophy of Logic (Taylor & Francis) is publishing a Special Issue on “Logical Issues in the History and Philosophy of Computer Science”, edited by Liesbeth De Mol and Giuseppe Primiero. The issue contains articles presented at various HaPoC Events. The contents are all online now:

Liesbeth De Mol, Giuseppe Primiero
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
http://dx.doi.org/10.1080/01445340.2015.1084183

Edgar G. Daylight
Towards a Historical Notion of ‘Turing—the Father of Computer Science’
DOI:10.1080/01445340.2015.1082050

Selmer Bringsjord
A Vindication of Program Verification
DOI:10.1080/01445340.2015.1065461

Maarten Bullynck
Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming
DOI:10.1080/01445340.2015.1065459

Graham White
Hardware, Software, Humans: Truth, Fiction and Abstraction
DOI:10.1080/01445340.2015.1059992

Felice Cardone
Continuity in Semantic Theories of Programming
DOI:10.1080/01445340.2015.1054576

HOPOS 2016 Call for Submissions
June 22-25, 2016, Minneapolis, Minnesota, USA
http://hopos2016.umn.edu/

Keynote Speakers

Karine Chemla, REHSEIS, CNRS, and Université Paris Diderot

Thomas Uebel, University of Manchester

HOPOS: The International Society for the History of Philosophy of Science will hold its eleventh international congress in Minneapolis, on June 22-25, 2016. The Society hereby requests proposals for papers and for symposia to be presented at the meeting. HOPOS is devoted to promoting research on the history of the philosophy of science. We construe this subject broadly, to include topics in the history of related disciplines, including computing, in all historical periods, studied through diverse methodologies. In order to encourage scholarly exchange across the temporal reach of HOPOS, the program committee especially encourages submissions that take up philosophical themes that cross time periods. If you have inquiries about the conference or about the submission process, please write to Maarten van Dyck: maarten.vandyck [at] ugent.be.

SUBMISSION DEADLINE: January 4, 2016

To submit a proposal for a paper or symposium, please visit the conference website: http://hopos2016.umn.edu/call-submissions