7-10 November 2011
Gent, Belgium
Second announcement
International Conference
History and Philosophy of Computing
Celebrating the 75th anniversary of the famous 1936 Papers by A. Church,
E.L. Post and A.M. Turing
November 7 - 10, 2011
Gent University, Belgium
http://www.computing-conference.ugent.be
From 7-10 November 2011 the Centre for Logic and Philosophy of Science
organizes an International Conference on the History and Philosophy of
Computing.
Topics of the conference include:
* The birth, evolution and future of computation
* Philosophical, foundational and practical issues of
computability in logic, mathematics and computer science
* Computation in the sciences
INVITED SPEAKERS:
Bill Aspray (University of Texas)
Martin Davis (New York University)
Fairouz Kamareddine (Heriot-Watt University Edinburgh)
Sybille Krämer (Freie Universität Berlin)
Giovanni Sambin (Universita' di Padova)
Raymond Turner (University of Essex)
Stephen Wolfram (Wolfram Research)
SUBMISSIONS
We plan to have up to 30 contributed papers to be presented at the
conference. We welcome contributions from logicians and philosophers or
historians of science as well as from philosophically aware computer
scientists and mathematicians. Authors should submit an electronic
version of an extended abstract (approximately 1000 words) through
EasyChair. Submission will be open on when the Call for Papers is
launched on 15th March 2011.
CONFERENCE CHAIRS:
Liesbeth De Mol and Giuseppe Primiero
PROGRAMME COMMITTEE:
G. Alberts (Amsterdam)
S. Artemov (New York)
M. Campbell-Kelly (Warwick)
L. Corry (Tel Aviv)
M. Denecker (Leuven)
A. Eden (Essex)
L. Floridi (Oxford & Hertfordshire)
R. Kahle (Lisbon)
B. Loewe (Amsterdam)
J. Meheus (Ghent)
E. Myin (Antwerp)
S. Negri (Helsinki)
V. de Paiva (Palo Alto)
S. Smets (Groningen)
G. Sundholm (Leiden)
C. Toffalori (Camerino)
J.P. van Bendegem (Brussels)
M. van Dyck (Ghent)
B. van Kerkhove (Brussels & Hasselt)
E. Weber (Ghent)
SUPPORT
The International Association for Computing and Philosophy will fund a
$500 travel grant for an IACAP graduate student to attend. IACAP
graduate students who would like to apply for this grant need to send a
copy of their submission to Tony Beavers (executivedirector@ia-cap.org),
executive director of IACAP. More details for applications will be added
later. The Association also offers a 10% discount on the conference fee
for IACAP members.
Student members of the Association for Symbolic Logic also may apply for
travel grants. To be considered for a Travel Award, please (1) send a
letter of application, and (2) ask your thesis supervisor to send a
brief recommendation letter. The application letter should be brief
(preferably one page) and should include: (1) your name; (2) your home
institution; (3) your thesis supervisor's name; (4) a one-paragraph
description of your studies and work in logic, and a paragraph
indicating why it is important to attend the meeting; (5) your estimate
of the travel expenses you will incur; (6) (for citizens or residents of
the USA) citizenship or visa status; and (7) (voluntary) indication of
your gender and minority status. Women and members of minority groups
are strongly encouraged to apply. In addition to funds provided by the
ASL, the program of travel grants is supported by a grant from the US
National Science Foundation; NSF funds may be awarded only to students
at USA universities and to citizens and permanent residents of the USA.
Air travel paid for using NSF funds must be on a US flag carrier.
Application by email is encouraged; put "ASL travel application'' in the
subject line of your message. Applications should be received at least
three months prior to the meeting at the ASL Business Office: ASL, Box
742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604,
USA; Fax: 1-845-437-7830; email: asl@vassar.edu. Decisions will be
communicated at least two months prior to the meeting.
PROCEEDINGS
A selection of papers will be published as a Special Issue of the
Journal Philosophy & Technology (Springer)
More details on deadlines and submissions can be found at:
http://www.computing-conference.ugent.be
For requests and infos
computing.conference@ugent.be