11am  - 12

12pm  - 12:15pm

12:15pm  - 1:15pm

1:15pm - 2:15pm

2:15pm  - 3:15pm

4:15pm  - 4:30pm

4:30pm  - 5:30pm

September 2

11:30-12

Tea/

Coffee Break

Nils Bulling (Clausthal University of Technology):

Comparing Semantics of Strategic Ability (abstract)(slides)

Lunch

2:15 - 2:45

Somenath Biswas              (IIT Kanpur):

Inferencing with 

Uncertainities

Tea/

Coffee Break

4.30-5

Inauguration

Abhisekh Sankaran       (IIT Bombay)

Sourav Tarafder (CU)

A. Mani (slides)

September 3

Mohua Banerjee    (IIT Kanpur):

Indiscernibility: a categorial study

Rineke Verbrugge (Groningen):

A bird's eye view on provability logic (abstract)(slides)

Pulak Samanta (BU):

Dependency and Consistency of Knowledges

Arun Kumar    (IIT Kanpur)

K. Ramasubramanian (IIT Bombay)

Kamal Lodaya (IMSc Chennai):

Locality and product (abstract)(slides)

September 4

Supratik Chakraborty  (IIT Bombay):

Syntax vs Semantics in First Order Logic: Łos-Tarski Theorem and Some Variants

Wesley Calvert (Southern Illinois University / IMSc Chennai):

Continuous first order logic (slides)

N. Raja (TIFR, Mumbai)

S.P. Suresh  (Chennai Mathematical Institute)

Sujata Ghosh (Groningen):

Games and logic: an interplay (abstract)