Skip to main content

Schedule

* All times are based on Canada/Eastern EST.

Monday

July 10

Tuesday

July 11

Wednesday

July 12

Thursday

July 13

Friday

July 14

08:30

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

Registration

09:00

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

Breakfast

09: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))

C1.1 Introduction to Applied Ontologies

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

    Conference

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 I

Self-introductions of attendees

    Flash Intros

12:00

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

C1.2 Ontological Analysis I

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

    Conference

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))

C1.3 Logical Foundations I

Writing first-order sentences Presented by Michael Gruninger

    Conference

14:45

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

C1.4 Ontological Analysis II

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

    Conference

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))

C1.5 Methods & Applications I

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

    Conference

16:45

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

Flash Intros II

Self-introductions of attendees

    Flash Intros

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
Run your next event
with Fourwaves