HaPoC Events

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)

http://www.clps13.ugent.be/

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

Turing in Context

King's College, Cambridge, February 18-19, 2012
http://www.math.uni-hamburg.de/home/loewe/[email protected]/

Pages