Annual Meet

on

Logic and its Applications

celebrating the Alan Turing Year

September 29, 30 and October 1, 2012, Kolkata

Organized by

CALCUTTA LOGIC CIRCLE

in collaboration with

School of 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

 

 10.30-11am

11am  - 12noon

12noon  - 12:15pm

12:15  - 1:15pm

1:15 - 2:15pm

 

 

  

 

September 29

I

n

a

u

g

u

r

a

t

i

o

n

 Chair: Mihir  Chakraborty

 

 

 

 

 

 

 

 

Tea/

Coffee Break

 Chair: Somenath Biswas

 

 

 

 

 

 

 

 

 

Lunch

 Chair: Aquil Khan

 

 

 

 

 

 

 

 

Tea/

Coffee Break

Chair: N Raja

  

 

TBA

 

 

Somenath Biswas        

(IIT Kanpur):

Naturalness of Turing machines

(abstract)

 

R  Ramanujam 

(IMSc Chennai):

Turing's thesis and termination verification

 (abstract)

 

 

 

 2:15  - 2:35pm 2:35  -2:55pm 2:55 -3:55pm

 

 4:10- 4:30pm 4:30- 4:50pm

Arun Kumar

 (IIT Kanpur):

Definable and rough sets in covering-based approximation spaces

Purbita Jana

(Calcutta University):

A Study on the Duality of Fuzzy Topological Systems

(abstract)

 

 

Dipendra Misra

(IIT Kanpur): Limits of Diagonalization

 (abstract)

 

Jayanta Sen

(Presidency University, Kolkata)

 

 Anirban Saha (Calcutta University)

 

September 30

 

Chair: Supratik Chakraborty

Chair: Amita  Chatterjee

Chair: Sujata Ghosh

Chair: R Ramanujam
12:15-12:45pm 12:45-1:15pm

2:15- 2:35pm

 

 2:35-2:55pm 2:55-3.15pm

3.15-4.15pm

 

 

4.30-5.30pm

 

Amita Chatterjee

(School of Cognitive Science, Jadavpur University)

 

 

Mihir Chakraborty

(School of Cognitive Science, Jadavpur University; ISI Kolkata):

Nest of the mistry-bird

(abstract)

 

 

 

Jayant Ganguly (Regional Science Centre, Kozhikode):

Abstraction and scientific understanding

(abstract)

 

Sourav Tarafdar

(Calcutta University)

 

 

A. Mani

(Calcutta University):

The development of my axiomatic approach to Granular RST
(abstract)

 

 

 

 

Soma Dutta

(IBRAD, Kolkata: Negation fragment of graded consequence: an algebraic study

(abstract)

 

 

 

Supratik Chakraborty 

(IIT Bombay):

Preservation under Substructures modulo Bounded Cores

(abstract)

 

 

Shyamanta M. Hazarika

(Tezpur University):

Qualitative Spatial Change in Mereotopology

(abstract)

 

October 1

 

Chair: Mohua Banerjee

 

Chair:  Ranjan Mukhopadhyay

  

Chair: Jayanta Sen

  

  

 

2:15-3:15pm

 

3:15-4:15pm

 

 

N. Raja

(TIFR Mumbai)

 

 

Partha Pratim Chakraborty

(IIT Kharagpur):

Use of formal logic in system level design

 

  

Sitabhra Sinha (IMSc Chennai):

Turing and the Science of Life

(abstract)

 

 

 

Sujata Ghosh

(ISI Chennai):

On interpolation theorem

(abstract)

 

 

 

Accommodation for outstation participants at:

Ashirbad Inn (map)

B.C. 74, Rabindra Pally, Kestopur

Kolkata - 700101
Ph. 033 25915682, +919339618323
 
CLC Contacts:

Mihir K. Chakraborty  (mihirc4@gmail.com)

Soma Dutta  (somadutta77@yahoo.co.in)

Contact for payment of registration fee at venue: 

Ranjan Mukhhopadhyay