Keynotes & Lectures

Invited & Public Lectures

  • 2024
    The Locality Criterion

    ‘The Locality Criterion: what separates software architecture from detailed design’

    Invited presentation to ISO/IEC JTC1/SC7/WG42, Meeting #42, 11 November 2024

  • 2016
    The Singularity Controversy
    image
    ‘The Singularity Controversy: Three Years Later’

    London Futurists Meetup, London, UK

  • 2015
    The Ontology of Computer Programs
    image
    ‘The Ontology of Computer Programs’

    Computability group, Institute for Advanced Studies, Hebrew University of Jerusalem

  • 2015
    The Disruptive Potential of Artificial Intelligence
    image
    ‘The Imminent, The (Im-)possible, and the Irreversible: The Disruptive Potential of Artificial Intelligence’

    Computability group, Institute for Advanced Studies, Hebrew University of Jerusalem

  • 2013
    Singularity Hypotheses
    image
    Singularity Hypotheses: A Scientific and Philosophical Assessment

    Public lecture & book launch

    London Futurists, Birkbeck College, London

  • 2012
    Software Engineering in the 21st Century
    image
    Department of Computer Science, University of Toulouse (PDF)
  • 2012
    Codecharts: Specification and Verification of Software Design
    image
    Department of Computer Science, University of Manchester
  • 2011
    Scientific Notions of ‘Technological Singularity’
    image
    Humanity Plus London (UKH+)

  • 2005
    Israel 2005: A freethinker’s perspective
    image
    Center For Inquiry, SUNY Buffalo, NY

Keynotes

  • 2013
    Cyberpatterns Workshop
    image
    Security Pattern Assurance through Round-Trip Engineering

    2nd International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns. Oxford Brooks

  • 2013
    Developers Conference — DevCon1
    image
    Software Engineering of the 21st Century

    Developers Conference—DevCon1, University of Essex

  • 2006
    Society of Machines and Mentality
    image
    Problems in Software Ontology

    American Philosophers Association — APA, Eastern Division

  • 2005
    European Centre for Ontological Research
    image
    Towards an Ontology of Software

    Inaugural meeting, European Centre for Ontological Research—ECOR

Colloquia