* All times are based on Canada/Eastern EST.

    • Monday

    July 10

    Tuesday

    July 11

    Wednesday

    July 12

    Thursday

    July 13

    Friday

    July 14

    8:30 AM

    Canada/Eastern
    8:30 AM - 9:00 AM EDT
    Marie-Victorin building (D6-D7)

    Registration

    9:00 AM

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

    Breakfast

    9:30 AM

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

    Welcome I

    Frank Loebe welcomes you to the 2023 ISAO Summer School.

    10:00 AM

    Canada/Eastern
    10:00 AM - 11:00 AM 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 AM

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

    Coffee Break

    11:30 AM

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

    Flash Intros I

    Self-introductions of attendees

    12:00 PM

    Canada/Eastern
    12:00 PM - 12:45 PM 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 PM

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

    Lunch

    2:00 PM

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

    C1.3 Logical Foundations I

    Writing first-order sentences Presented by Michael Gruninger

    2:45 PM

    Canada/Eastern
    2:45 PM - 3:30 PM 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

    3:30 PM

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

    Coffee Break

    4:00 PM

    Canada/Eastern
    4:00 PM - 4:45 PM 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

    4:45 PM

    Canada/Eastern
    4:45 PM - 5:15 PM EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Flash Intros

    Flash Intros II

    Self-introductions of attendees

    5:15 PM

    Canada/Eastern
    5:15 PM - 6:15 PM EDT
    D7-2018 (Faculty of Sciences - Biology Department))

    C1.6 Logical Foundations II

    Proofs and models Presented by Michael Gruninger

    7:00 PM

    Canada/Eastern
    7:00 PM - 9:00 PM EDT
    Liverpool Billard Night Life

    Pub Quiz

    Activité sociale

    Powered by