Training Course in Logic for Biomedical Research
|
Wednesday, June 20 |
||
|
Morning |
Arrival |
|
|
12:15 |
Lunch |
|
|
14:30 |
Nigam Shah: Why Do Biomedical Researchers Need to Understand the Fundamentals of Logic and Reasoning? |
|
|
16:00 |
Coffee |
|
|
16:30 |
Barry Smith: An Introduction to Ontology for Biomedical Researchers |
|
|
18:00 |
Dinner |
|
|
19:30 |
Barry Smith: An Introduction to the Philosophy of Language for Biomedical Researchers |
|
|
Thursday, June 21 |
||
|
7:30 |
Breakfast Buffet |
|
|
8:45 |
Fabian Neuhaus: An Introduction to Classical Logic for Biomedical Researchers – Part 1 |
|
|
10:15 |
Coffee |
|
|
10:45 |
Fabian Neuhaus: An Introduction to Classical Logic for Biomedical Researchers – Part 2 |
|
|
12:15 |
Lunch |
|
|
14:30 |
Nigam Shah: An Introduction to OWL and Its Alternatives for Biomedical Research |
|
|
16:00 |
Coffee |
|
|
16:30 |
Nigam Shah: Varieties of Reasoning with Biomedical Data |
|
|
18:00 |
Dinner |
|
|
19:30 |
Barry Smith: An Introduction to Terminology for Biomedical Researchers |
|
|
Friday, June 22 |
||
|
7:30 |
Breakfast Buffet |
|
|
8:45 |
Alan Rector: An Introduction to Programming with OWL and its Problems |
|
|
10:45 |
Coffee |
|
|
11:15 |
Deborah McGuinness: The Evolving Semantic Web: Progress and Directions |
|
|
12:45 |
Lunch |
|
|
14:30-18:00 |
Debate on: Reasoning with Biomedical Information (with special reference to the roles of OWL and First-Order Logic)
|
|
|
16:00-16:30 |
Break |
|
|
19:00 |
Dinner |
|
|
Saturday, June 23 |
||
|
7:30 |
Breakfast Buffet/End |
|
Presentation slides are available: