15 minutes PRESENTATIONS:

Tuesday: 

Henner, Aaron I	       Co-Induction

Le Pendu, Paea J        Co-Induction

Rong, Jiawei	    Temporal Logic 

Courjaud, Marion    Temporal Logic

Viglino, Enrico C       Modal Logic and Intensional Logics 


Thursday:

Tenzing, Jigme	     Application of FOL 

Kay, Anthony W	    Fuzzy Logic

Qin, Han	     Fuzzy logic 

Keith, Daniel B	    Lambek calculus 

Hoehn, Jeremy J      Incompleteness