Physical Computation and Cognitive Science, vol. 12. Berlin Heidelberg: Springer, 2013.
,Programme HaPoC2
CfP HaPoP2
2nd Symposium on the History and Philosophy of Programming
http://www.computing-conference.ugent.be/hapop2
As part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014:
http://www.aisb.org.uk/events/aisb14
The convention is organised by the Society for the Study of Articial Intelligence and Simulation of Behaviour (AISB):
http://www.aisb.org.uk/.
SUBMISSION DETAILS
The programme will consist of two invited talks and up to 8 contributed talks. We cordially invite researchers working in a field relevant to the main topics of the conference to submit a full (short) paper via EasyChair:
https://www.easychair.org/conferences/?conf=hapop2
Text editor templates from a previous convention can be found here.
We request that submitted papers are limited to eight pages. Each paper will receive at least two reviews. Selected papers will be published in the general proceedings of the AISB Convention, with the proviso that at least ONE author attends the symposium in order to present the paper and participate in general symposium activities. The call for papers can be found here.
IMPORTANT DATES
Submission deadline: 3 January 2014
Notification: February 10 2014
Camera ready copies from authors + copyright forms: February 24 2014
INVITED SPEAKERS
Mark Priestley
Martin Loomes
PROCEEDINGS
There will be a separate proceedings for each symposium, produced before the Congress. Each delegate at the Congress will receive, on arrival, a memory stick containing the proceedings of all symposia.
Symposium on Mathematics and Computation: historical and epistemological issues
Special Session at the Congress on Logic and Philosophy of Science, UGent, 16-18 September 2013 on:
Mathematics and Computation: historical and epistemological issues (organised by Liesbeth De Mol)
Symposium on Proofs, programs, procedures: formal and epistemic issues
Special Session at the Congress on Logic and Philosophy of Science, UGent, 16-18 September 2013 on:
Proofs, programs, procedures: formal and epistemic issues (organised by Giuseppe Primiero)
2nd International Conference on the History and Philosophy of Computing
ENS, Paris, October 28-31, 2013
Turing in Context II
Royal Flemish Academy of Belgium for Sciences and Arts, Brussels, October 10-12, 2012
http://www.computing-conference.ugent.be/tic2
1st Symposium on the History and Philosophy of Programming
Birmingham University, July 5-6, 2011
http://www.computing-conference.ugent.be/hapop12
Turing in Context
King’s College, Cambridge, February 18-19, 2012
http://www.math.uni-hamburg.de/home/loewe/TiC@Kings/