    |
   |
 Screen Reader |
Skip to Main Content |
Detail Technical Programme
5th Indian School on Logic and its Application
Jan 6
Week I
|
09:00 to 10:00 |
10:00 to 11:00 |
|
11:30 to 12:30 |
|
14:00 to 15:00 |
|
15:30 to 16:30 |
16:30 to 17:30 |
Monday |
Inaugural Session |
ML |
|
KRR |
|
FOL |
|
ML |
KRR (tutorial) |
Tuesday |
KRR |
ELGT |
|
ML |
|
FOL |
|
KRR |
ML |
Wednesday |
KRR |
KRR |
|
ELGT |
|
FOL |
|
ML |
ML |
Thursday |
W1 |
ELGT |
|
ELGT (tutorial) |
|
W2 |
|
W1 |
W3 |
Friday |
W1 |
ELGT |
|
W2 |
|
W2 |
|
W3 |
W3 |
Saturday |
W1 |
ELGT |
|
W2 |
|
|
|
|
|
Week II
|
09:00 to 10:00 |
10:00 to 11:00 |
|
11:30 to 12:30 |
|
14:00 to 15:00 |
|
15:30 to 16:30 |
16:30 to 17:30 |
Monday |
STMT |
STMT |
|
PNP |
|
W3 |
|
W4 |
STMT |
Tuesday |
STMT |
STMT |
|
PNP |
|
W3 |
|
W5 |
W5 |
Wednesday |
SD |
PNP |
|
W4 |
|
PNP (tutorial) |
|
W4 |
W5 |
Thursday |
SD |
PNP |
|
Student Presentation |
|
Student Presentation |
|
W4 |
W5 |
Friday |
SD |
PNP |
|
Closing Session |
|
|
|
|
|
Courses |
|
|
|
Workshops |
|
|
|
|
|
|
|
|
|
Legend |
Topic |
Speaker |
|
Legend |
Topic |
Organizer |
ML |
Modal Logic |
S P Suresh |
|
W1 |
Model Theory |
Rehana Patel |
KRR |
Knowledge Representation & Reasoning |
Chitta Baral |
|
W2 |
Inductive Logic |
Jeff Paris |
ELGT |
Epistemic Logic and Game Theory |
Rohit Parikh |
|
W3 |
Uncertainty and Reasoning |
Soma Dutta |
STMT |
Set Theory / Model Theory |
S M Srivastava |
|
W4 |
Proof Th. for Modal Logic |
Norbert Gratzl |
PNP |
Determinism vs. |
Johann A. Makowsky |
|
|
|
Olivier Roy |
SD |
Stone Duality |
Anil Seth |
|
W5 |
Natural Language Semantics |
Berit Gehrke |
FOL |
First Order Logic |
R. Ramanujam |
|
|
|
Isidora Stojanovic |
