September 18 - 20, 2009, Kolkata
Organized by
in collaboration with
Centre for Cognitive Science, Jadavpur University
Indian Institute of Bio-Social Research and Development (IBRAD)
and
Japan Advanced Institute of Science and Technology (JAIST)
Venue: IBRAD (Google map)
Prafulla Kanan
VIP Road, Kestopur
Kolkata - 700101
Programme Schedule:
|
|
11am - 12:30pm |
12:30pm - 12:45pm |
12:45pm - 1:30pm |
1:30pm - 2:30pm |
2:30pm - 3:45pm |
3:45pm - 4pm |
4pm - 5pm |
5pm - 5:30pm |
||
|
|
2pm - 2:30pm |
|||||||||
|
18/09/09 |
|
|
|
|
Inauguration |
Paul Egre |
Tea/ Coffee break |
H. Ono |
Jayanta Sen |
|
|
19/09/09 |
H. Ono |
Tea/ Coffee break |
N. Raja
|
Lunch |
2:30pm - 3:15pm |
3:15pm - 3:45pm |
Tea/ Coffee break |
Paul Egre |
A. Mani
|
|
|
Ranjan Mukhopadhyay
|
Manidipa Sanyal
|
|||||||||
|
20/09/09 |
H. Ono |
Tea/ Coffee break |
Mohua Banerjee
|
Lunch |
Kamal Lodaya
|
Tea/ Coffee break |
Paul Egre |
Soma Dutta |
||
* All talks include a discussion time of 5 minutes.
Speakers and Topics:
Hiroakira Ono (JAIST, Ishikawa): Substructural Logics (Abstract) (Slides and reference material)
Paul Egre (Institut Jean-Nicod, CNRS, Paris): Vagueness and non-transitivity in epistemic logic (Abstract) (Slides)
Jayanta Sen (Presidency College, Kolkata): Relationships of some algebras and logics
N. Raja (TIFR, Mumbai): The impact of Computers on the notion of proof
Ranjan Mukhopadhyay (Visva-Bharati, Santiniketan): Constraints on the formulation of Natural Deduction Rules
Manidipa Sanyal (Calcutta University): Inconsistent Beliefs: A challenge to belief revision
A. Mani (Calcutta Mathematical Society): Possible Definitions of a Granule in General Rough Set Theory
Kamal Lodaya (IMSc, Chennai): Collecting garbage concurrently (but correctly) (Abstract) (Slides)
Mohua Banerjee (IIT, Kanpur): Logics for some 'dynamic spaces': a study in Rough Set Theory
Soma Dutta (IBRAD, Kolkata): Proof theoretic properties from the perspective of graded consequence
Photographs
Contacts:
Mihir K. Chakraborty --- mihirc99@yahoo.co.in
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 by end-August, can try to book suitable accommodation in Kolkata for the participant.
Lunch on the days of the academic program will be provided.
There is no registration fee.