Schedule
* All times are based on Canada/Eastern EDT.
8:30 AM
Canada/Eastern
9:00 AM
Canada/Eastern
Breakfast
9:30 AM
Canada/Eastern
Welcome I
Frank Loebe welcomes you to the 2023 ISAO Summer School.
10:00 AM
Canada/Eastern
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
Coffee Break
11:30 AM
Canada/Eastern
Flash Intros I
Self-introductions of attendees
12:00 PM
Canada/Eastern
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
Lunch
2:00 PM
Canada/Eastern
C1.3 Logical Foundations I
Writing first-order sentences Presented by Michael Gruninger
2:45 PM
Canada/Eastern
C1.4 Ontological Analysis II
The basic tools of formal ontological analysis. Presented by Nicola Guarino
3:30 PM
Canada/Eastern
Coffee Break
4:00 PM
Canada/Eastern
C1.5 Methods & Applications I
The landscape of biomedical ontologies and OBO Foundry ontologies Presented by Asiyah Yu Lin
4:45 PM
Canada/Eastern
Flash Intros II
Self-introductions of attendees
5:15 PM
Canada/Eastern
C1.6 Logical Foundations II
Proofs and models Presented by Michael Gruninger
7:00 PM
Canada/Eastern
Pub Quiz
Activité sociale
