November 14 - 16, 2010, Kolkata
Organized by
in collaboration with
Centre for Cognitive Science, Jadavpur University
and
Indian Institute of Bio-Social Research and Development (IBRAD)
Venue: IBRAD (Google map)(Zoomed-in map with Guest House Ashirbad Inn)
Prafulla Kanan
VIP Road, Kestopur
Kolkata - 700101
Programme Schedule:
* All talks include a discussion time of 5 minutes.
|
Date |
11am - 12pm |
|
12:15pm - 1:15pm |
|
2:15pm - 3:15pm |
3:15pm - 4:15pm
|
|
4:30pm - 5:30pm
|
||
|
14th Nov |
|
11:30 -12 |
Tea
/
Coffee
Break |
R. Ramanujam (IMSc, Chennai)
Logic on Trees |
L
U
N
C
H |
Supratik Chakraborty (IIT Bombay)
Finite model theory
|
Md. Aquil Khan (IMSc, Chennai) Co-algebra and Modal Logic |
Tea
/
Coffee
Break |
Abhishek Anant Nowbagh (Jadavpur University) A study on Gerhard Gentzen's first paper 'On the existence of independent axiom systems for infinite sentence systems' (1932) |
Nilanjan Das (Jadavpur University)
Reflections on the meaning of a sequent |
|
Inauguration |
||||||||||
|
15th Nov |
R. Ramanujam (IMSc, Chennai)
Logic on Trees |
Abhisekh Sankaran (IIT Bombay)
Finite model theory
|
Open Discussion on
"Should logic be Normative?" |
Benoit Razet (TIFR)
Kleene Algebra |
N. Raja (TIFR) |
|||||
|
16th Nov |
Somenath. Biswas (IIT Kanpur) Usage of certain generalized quantifiers in computational complexity
|
S.M. Srivastava (ISI, Kolkata)
Stochastic Kripke Models |
Amita Chatterjee (Presidency University)
Vagueness |
Sanjukta Basu (Rabindra Bharati University)
Vagueness |
|
|||||
Contacts:
Mihir K. Chakraborty --- mihirc4@gmail.com
Soma Dutta --- somadutta77@yahoo.co.in
Accommodation/Travel Support:
Calcutta Logic Circle, being an informal study and research group, is unable to provide travel and accommodation support,
but, if requested, can try to book suitable accommodation in Kolkata for the participant.
Lunch on the days of the academic program will be provided.
There is a registration fee of Rs. 200/=.