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

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

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

Self-introductions of attendees

    Flash Intros

12:00 PM

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

C1.3 Logical Foundations I

Writing first-order sentences Presented by Michael Gruninger

    Conference

2:45 PM

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

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

C1.5 Methods & Applications I

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

    Conference

4:45 PM

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

Flash Intros II

Self-introductions of attendees

    Flash Intros

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