* All times are based on Canada/Eastern EDT.

    • Monday

    July 10

    Tuesday

    July 11

    Wednesday

    July 12

    Thursday

    July 13

    Friday

    July 14

    8:30

    Canada/Eastern
    08:30 - 09:00 EDT
    Marie-Victorin building (D6-D7)

    Registration

    9:00

    Canada/Eastern
    09:00 - 09:30 EDT
    Atrium (Faculty of Science - D8 building)

    Breakfast

    9:30

    Canada/Eastern
    09:30 - 10:00 EDT
    D7-2018 (Faculty of Sciences - Biology Department))

    Welcome I

    Frank Loebe welcomes you to the 2023 ISAO Summer School.

    10:00

    Canada/Eastern
    10:00 - 11:00 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C1.1 Introduction to Applied Ontologies

    Computational ontologies: What are they and why are they useful Presented by Nicola Guarino and Giancarlo Guizzardi

    11:00

    Canada/Eastern
    11:00 - 11:30 EDT
    D7-2018 (Faculty of Sciences - Biology Department))

    Coffee Break

    11:30

    Canada/Eastern
    11:30 - 12:00 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Flash Intros

    Flash Intros I

    Self-introductions of attendees

    12:00

    Canada/Eastern
    12:00 - 12:45 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C1.2 Ontological Analysis I

    No ontology without Ontology: The role of formal ontological analysis in ontology building Presented by Nicola Guarino

    12:45

    Canada/Eastern
    12:45 - 14:00 EDT
    Atrium (Faculty of Science - D8 building)

    Lunch

    14:00

    Canada/Eastern
    14:00 - 14:45 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C1.3 Logical Foundations I

    Writing first-order sentences Presented by Michael Gruninger

    14:45

    Canada/Eastern
    14:45 - 15:30 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C1.4 Ontological Analysis II

    The basic tools of formal ontological analysis. Presented by Nicola Guarino

    15:30

    Canada/Eastern
    15:30 - 16:00 EDT
    D7-2018 (Faculty of Sciences - Biology Department))

    Coffee Break

    16:00

    Canada/Eastern
    16:00 - 16:45 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C1.5 Methods & Applications I

    The landscape of biomedical ontologies and OBO Foundry ontologies Presented by Asiyah Yu Lin

    16:45

    Canada/Eastern
    16:45 - 17:15 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Flash Intros

    Flash Intros II

    Self-introductions of attendees

    17:15

    Canada/Eastern
    17:15 - 18:15 EDT
    D7-2018 (Faculty of Sciences - Biology Department))

    C1.6 Logical Foundations II

    Proofs and models Presented by Michael Gruninger

    19:00

    Canada/Eastern
    19:00 - 21:00 EDT
    Liverpool Billard Night Life

    Pub Quiz

    Activité sociale

    Powered by