October 30 - November 1, 2013, Kolkata
Organized by CLC
in collaboration with
School of Cognitive Science, Jadavpur University
Venue:
Auditorium, Department of Chemical Engineering,
Jadavpur University,
188 Raja S.C. Mullik Road,
Kolkata- 700032.
Technical sessions and list of speakers:
1. Non-classical logics and applications
Mihir Chakraborty (Jadavpur University & Indian Statistical Institute, Kolkata)
Shyamanta Hazarika (Tezpur University, Assam)
Mohua Banerjee (Indian Institute of Technology, Kanpur) (slides)
Jayanta Sen (Presidency University, Kolkata)
Pulak Samanta (Katwa College, Bardhaman)
Soma Dutta (The Institute of Mathematical Sciences, Chennai)
Arun Kumar (Indian Institute of Technology, Kanpur)
2. Cognition and Artificial Intelligence
Amitabha Mukerjee (Indian Institute of Technology, Kanpur)
Amita Chatterjee (Jadavpur University, Kolkata)
Lopamudra Choudhury (Jadavpur University, Kolkata)
Amit Sen (Katwa College, Bardhaman)
Smita Sirker (Jadavpur University, Kolkata) (slides)
Jayant Ganguly (Regional Science Centre, Calicut) (slides)
Rajesh Kumar Tavva (IIIT Hyderabad) (slides)
Javed Hassan (Jadavpur University, Kolkata)
3. Set theory, logic and algebra
Kamal Lodaya (The Institute of Mathematical Sciences, Chennai) (slides)
H. P. Sankappanavar (State University of New York, New Paltz)
Sanjukta Basu (Rabindra-Bharati University, Kolkata) (slides)
Supratik Chakraborty (Indian Institute of Technology, Bombay)
N. Raja (Tata Institute of Fundamental Research, Bombay)
Sujata Ghosh (Indian Statistical Institute, Chennai)
Yanjing Wang (Peking University and Indian Statistical Institute, Chennai) (slides)
Debirupa Basu (University of Calcutta)
Abhishek Sankaran (Indian Institute of Technology, Bombay) (slides)
Sourav Tarafder (University of Calcutta)
Anirban Saha (University of Calcutta)
Purbita Jana (University of Calcutta) (slides)
A. Mani (University of Calcutta) (slides)
4. Complexity and automata
S.P. Suresh (Chennai Mathematical Institute) (slides)
Programme Schedule:
| October 30 | October 31 | November 1 | ||
| 9.30-10 | Registration | |||
| 10-10.15 | Inauguration | 10-10.45 |
H. P. Sankappanavar: Interconnections between
Universal Algebra and |
Supratik Chakraborty: Some results on uniform generation and model counting |
| 10.15-11 | Amita Chatterjee | 10.45-11.05 |
Rajesh Kumar Tavva: Formal Grammar of Vaisesika Ontology |
Abhishek Sankaran:
Generalizations of the Los-Tarski |
| 11-11.15 | Tea | 11.05-11.25 |
Lopamudra Choudhury: Studies in Diagram Logic |
Sanjukta Basu: Problem of Non-existence: a Free Logic Approach |
| 11.15-11.35 | Mohua Banerjee: A logic for reasoning about incomplete knowledge |
11.25-11.40 |
Tea |
Tea |
| 11.35-11.55 |
Arun Kumar: Discrete duality and rough sets |
11.40-12 |
Purbita Jana: On Categorical Relationship
among various |
Soma Dutta: Different perspectives of
graded consequence: |
| 11.55-12.15 |
Jayant Ganguly: Representation of scientific knowledge vis-a-vis scientific progress |
12-12.45 |
Kamal Lodaya: Countifiers |
Shyamanta Hazarika: Defeasible Logic Programming
for Firewall |
| 12.15-12.30 | Tea
|
12.45-14.15 |
Lunch |
Lunch |
| 12.30-13.15 |
Amitabha Mukerjee: Language and Logic: an impending implicit Turn? |
14.15-15 |
S. P. Suresh: Primal infon logic: proof theory and effcient decidability |
Yanjing Wang: On Axiomatizations of Dynamic Epistemic Logic |
| 13.15-14.30 |
Lunch
|
15-15.20 |
Excursion |
A. Mani: Dialectics of Approximation
of |
| 14.30-15.15 |
Mihir Chakraborty: Pluralism in Mathematics |
15.20-15.40 |
Debirupa Basu: Logical Connectives of Imperative Logic: Formulated by Peter. B. M. Vranas |
|
| 15.15-15.35 |
Smita Sirker: Cultural Independence of Mathematics: A Fact or A Myth? |
15.40-15.55 |
Tea |
|
| 15.35-15.55 |
Amit Sen: Philosophical Foundations of Bohr-Einstein Controversy |
15.55-16.15 |
Sujata Ghosh: Forward and backward induction reasoning in games |
|
| 15.55-16.10 | Tea
|
16.15-16.35 |
Pulak Samanta: Consistency and Inconsistency
Degree based on |
|
| 16.10-16.55 | N. Raja
|
16.35-16.55 |
Javed Hassan: Whether analogical reasoning gives certain conclusion or not? |
|
| 16.55-17.15 |
Jayanta Sen: Connection between Linear logic and Rough logic |
16.55-17.15 |
Sourav Tarafder: A New Three-Valued Paraconsistent Logic |
|
| 17.10- 17.30 |
Anirban Saha: On algebraic structures
weaker than pre-rough |
|||
There will be a conference banquet on October 31.
Accommodation for outstation participants has been arranged at
2. M. N. Saha Guest House
Indian Association for the
Cultivation of Science
2A & 2B Raja S C Mullick Road,
Kolkata- 700032.
For google map with conference venue and guest house locations, click here
The CLC seminar will be preceded by the International Workshop on Diagram Logic and Cognition 2013, at the same venue, during 28-29 October, 2013.
For more information on this workshop, please visit http://www.cem.brighton.ac.uk/dlac2013/
Contacts for CLC meet:
Mihir K. Chakraborty --- mihirc4@gmail.com
Jayanta Sen --- jsen_01@yahoo.co.in
Sourav Tarafder --- souravt07@yahoo.com