@inproceedings{godziszewski14__comput_hardn_undec_senten_algor_learn_,
 title        = {Computational Hardness of Undecidable Sentences and Algorithmic Learnability},
 author       = {Godziszewski, Michał Tomasz},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-Godziszewski-paper.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}

@inproceedings{kadvany14__panin_,
 title        = {Panini's grammar is the earliest known computing language},
 author       = {Kadvany, John},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-Kadvany-paper.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}

@inproceedings{loomes14__progr_theor_scien_,
 title        = {Programming, Theories and Science},
 subtitle     = {A Retrospective Discussion},
 author       = {Loomes, Martin},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-Loomes-extabs.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}

@inproceedings{mawler14__techn_,
 title        = {Technosectarianism},
 subtitle     = {Applying Religious Metaphors to Programming},
 author       = {Mawler, Stephanie Stuart},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-Mawler-paper.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}

@inproceedings{petricek14__what_progr_languag_resear_learn_philos_scien_,
 title        = {What can Programming Language Research Learn from the Philosophy of Science?},
 author       = {Petricek, Tomas},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-Petricek-paper.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}

@proceedings{primiero14:_proceed_anniv_conven_aisb_,
 title        = {Proceedings of the 50th Anniversary Conventions of the AISB},
 subtitle     = {2nd Symposium on the History and Philosophy of Programming},
 editor       = {Primiero, Giuseppe and Mol, Liesbeth De},
 year         = {2014},
 tags         = {},
 address      = {Goldsmiths, University of London, UK},
 url          = {https://web.archive.org/web/20141230014543/http://doc.gold.ac.uk/aisb50/},
 url2         = {https://web.archive.org/web/20190115201026/http://www.aisb50.org/},
}

@inproceedings{primiero14__introd_,
 title        = {Introduction},
 author       = {Primiero, Giuseppe and de Mol, Liesbeth},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-primiero-introduction.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}

@inproceedings{pristley14__makin_,
 title        = {Making a place for programmers},
 author       = {Pristley, Mark},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-Pristley-extabs.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}

@inproceedings{white14__elusiv_low_level_,
 title        = {The Elusive Low Level},
 author       = {White, Graham},
 year         = {2014},
 tags         = {},
 pdf_locked   = {False},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_14/AISB50-S13-White-paper.pdf},
 crossref     = {primiero14:_proceed_anniv_conven_aisb_},
}