Author: Giuseppe Primiero

Posted on

HaPoC Special Session at CLMPS15

The 15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS), one of the most important activities of the DLMPS (the Division of Logic, Methodology and Philosophy of Science), will be held in Helsinki from 3 to 8 of August 2015. The HaPoC Commission will be present at CLMPS with a Special Session on 7th of August, with the following programme (http://clmps2015.sched.org/?s=HaPoC):

—————
7 August

11:00 AM – 01:30 PM
Session 1:

Putting Mathematics into the Computer: Implementation and Epistemology in Early Automated Logic
Stephanie Dick, Harvard University

Defining the semantics of proof evidence
Dale Miller, Inria/Saclay and Lix

Formalism and Computations
Peter Koepke, University of Bonn

02:30 – 04:30 PM
Session 2:

The Church-Turing Theses
Oron Shagrir, University of Jerusalem

Extending ourselves: how software changes inquiry.
John Symons, University of Kansas

Competing Claims to Computing as a Discipline
Matti Tedre, Stockholm University

05:00 PM – 07:00 PM
Session 3:

Using History to Make Software More Tangible
Edgar Daylight, Universiteit Utrecht

How do we know that a statement true in Computer Science?
Gilles Dowek, Inria/Deducteam and Mooc Lab

Discussion
———————

Posted on

CiE 2015: Call for informal presentations

——————————————————————-
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 – July 3
http://fmi.unibuc.ro/CiE2015/
——————————————————————-

FUNDING DEADLINE APPROACHING
– ASL STUDENT TRAVEL GRANTS: March 28, 2015

SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: APRIL 24, 2015
——————————————————

CALL FOR INFORMAL PRESENTATIONS

There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow
for informal presentations that are prepared very shortly before the
conference and inform the participants about current research and work
in progress. The format of computer science conferences with
pre-conference proceedings is not able to accommodate this form of
scientific communication.

Continuing the tradition of past CiE conferences, also this year’s
CiE conference endeavours to get the best of both worlds. In addition
to the formal presentations based on our LNCS proceedings volume, we
invite researchers to present informal presentations. The length of
these presentations has previously been 25 minutes and we intend to
follow this tradition. For this, please send us a brief description
of your talk (between one paragraph and one page) by:

APRIL 24, 2015

Please submit your abstract electronically, via EasyChair
<https://easychair.org/conferences/?conf=cie2015>,

selecting the category “Informal Presentation”.

You will be notified whether your talk has been accepted for informal
presentation usually within a week or two after your submission.

If you intend to apply for the ASL Student Travel Award, you might
need us to confirm that your are going to give a presentation at
CiE 2015 (applications of students who are presenting get higher
priority). Therefore, we would like to ask you to submit your informal
presentations by March 25 so that we can send you the notification
before the ASL deadline of March 28.

FUNDING OPPORTUNITIES:

CiE 2015 has received funding from ASL (Association for Symbolic
Logic) and EATCS (European Association for Theoretical Computer
Science) that allows students who are members of ASL or EATCS and
want to attend CiE 2015 to apply for travel funds or a reduction of
the early registration fee.

Preference will be given to presenters of accepted papers.

Applications for ASL travel grants have to be addressed directly to
ASL, with a strict deadline of March 28, 2015.

Applications for EATCS travel grants have to be sent to
cie2015@fmi.unibuc.ro
prior to the early registration deadline.

Posted on

CfP: HaPoC 2015, 8-11 October 2015, Pisa

Call For Papers
HaPoC 3: Third International Conference for the History and Philosophy of Computing
8 — 11 October, 2015, Pisa
hapoc2015.di.unipi.it

The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

For HaPoC 2015 we welcome contributions from historians and philosophers of computing as well as from philosophically aware computer scientists and mathematicians. Topics include but are not limited to
• History and Philosophy of Computation (interpretation of the Church-Turing thesis; models of computation; logical/mathematical foundations of computer science; information theory…)
• History and Philosophy of Programming (classes of programming languages; philosophical status of programming…)
• History and Philosophy of the Computer (from calculating machines to the future of the computer; user interfaces; abstract architectures…)
• History and Epistemology of the use of Computing in the sciences (simulation vs. modelisation; computer-assisted proofs; linguistics…)
• Computing and the Arts: historical and conceptual issues (temporality in digital art; narration in interactive art work…)
• Social, ethical and pedagogical aspects of Computing (pedagogy of computer science; algorithms and copyright; Internet, culture, society…)

Our invited speakers are Nicola Angius (Università di Sassari, IT), Lenore Blum (Carnagie Mellon University, USA), David Allan Grier (IEEE & George Washington University, USA), Furio Honsell (Università di Udine, IT), Pierre Mounier-Kuhn (CNRS & Université Paris-Sorbonne, F), and Franck Varenne (Université de Rouen, F).

We cordially invite researchers working in a field relevant to the topics of the conference to submit a short abstract of approximately 200 words and an extended abstract of at most a 1000 words (references included) to www.easychair.org/conferences/?conf=hapoc2015

Abstracts must be written in English and anonymised. Please note that the format of uploaded files must be either .pdf or .doc. In order to access the submission page, 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.

Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org

A post-proceedings volume is going to appear in the IFIP Advances in Information and Communication Technology series, published by Springer.

IMPORTANT DATES:
Submission deadline: June 19, 2015
Notification of acceptance: July 19, 2015

The 2015 conference is located in Pisa, the cradle of Italian computer science: here the first Italian computers were designed in the mid-Fifties and the first Master course in informatics was established in 1969. The Museum of Computing Machinery, part of the University of Pisa, shows some artefacts from the early days of Italian CS, as well a selection of personal computing machines. Besides its artistic attractions, among them the world-famous leaning tower, during the days of the conference Pisa will host the Internet Festival, devoted to all the aspects of the net (www.internetfestival.it)

Posted on

7th Workshop on the Philosophy of Information

The Seventh Workshop on the Philosophy of Information, organised by the Society for the Philosophy of Information, Phyllis Illari (Science and Technology Studies, UCL) and Giuseppe Primiero (Computer Science, Middlesex University) with the support of the British Society for the Philosophy of Science will be held at UCL London on 30-31 March 2015 with the theme “Conceptual challenges of data in science and technology”. A programme of invited and contributed speakers, together with abstracts and logistic information is now available at

http://socphilinfo.org/workshops/wpi7

Posted on

2017 DHST prize for young scholars

INTERNATIONAL UNION OF THE HISTORY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY/
DIVISION OF HISTORY OF SCIENCE AND TECHNOLOGY (IUHPST/DHST)
2017 DHST PRIZE FOR YOUNG SCHOLAR

SCHEME
The International Union of the History and Philosophy of Science and
Technology, Division of History of Science and Technology (IUHPST/DHST) invites
submissions for the fourth DHST Prize for Young Scholars, to be presented in
2017. Initiated at the 22nd International Congress of History of Science in
2005 held in Beijing, the DHST Prize is awarded by the IUHPST/DHST every four
years to up to five young historians of science and technology for outstanding
doctoral dissertations, completed within last four years.

The 2017 DHST Prize does not specify distinct categories, but submissions must
be on the history of science or technology in any part of the world. The Award
Committee will endeavor to maintain the broadest coverage of subjects,
geographical areas, chronology and civilizations (African, American, Asian,
Islamic, Western and Ancient Civilisations, and others not included in the
above list).

Each Prize consists of a certificate, assistance with travel and accommodation
expenditures to the IUHPST/DHST Congress in Rio de Janeiro in August 2017 and a
waiver of registration fee. The winner of a prize whose thesis is relative to
Islamic science is also awarded the Ihsanoglu Prize given by ISAR Foundation.

AWARD COMMITTEE
The Committee is comprised of the DHST President, Vice-Presidents, Secretary
General, and distinguished specialists in specific fields.

COMPETITION CALENDAR
Submission deadline: 31 August 2016
Qualification examination and preliminary selection: September 2016
Award Committee online meeting: October-November 2016
Approval by DHST Council: December 2016
Award Ceremony: August 2017

CONDITIONS and APPLICATION
Eligibility: Applicants must have a doctoral degree in the history of science
or technology awarded no earlier than July 2012.
Language: Any dissertation in a language other than English must be accompanied
by a detailed summary in English of no more than 20 pages.
Application procedure: Applicants must submit online at:
http://hpdst.gr/youngscholarsprize, where they can also find additional
procedural details.