Weekly seminars
CLC organizes weekly study sessions every Monday at the School of Cognitive Sciences, Jadavpur University, Kolkata. Previously these weekly sessions were held every Saturday in the Dept. of Pure Mathematics, University of Calcutta, Kolkata, till the year 2009. Some of the topics discussed over the years in the weekly meet of the group are:
Lattice theory, Group theory, Category theory, Recursive function theory, Complexity theory, Model theory, Proof theory, Gödel's incompleteness theorems, Intuitionistic logic, Philosophy of intuitionistic mathematics and logic, Set-theoretic paradoxes and the theory of types, Modal logic: different systems, Different types of semantics: algebraic, Kripke, Beth, quantified modal, Axiomatic set theory, Non-classical set theories, Paraconsistent set theories, Game theory, Topology via Logic, Universal algebra, Many-valued logic, Linear logic, Fuzzy set theory and fuzzy logic, Rough set theory and rough logic, Different systems of paraconsistent logic, Lambda calculus, Knowledge representation in higher-order logic, Theories of meaning and truth etc.
For more details click here.
Weekly virtual meets
Since September 2020, CLC is organizing weekly seminars online.
Every Tuesday at 6:30 pm (IST).
Zoom meeting link: https://us02web.zoom.us/j/86929417128?pwd=UDkxSHU4SWtCZysrNFpSOTJZTEltUT09
Meeting ID: 869 2941 7128
Passcode: 815260
Ongoing lecture:
Topological Representation of double Boolean algebras, by Prosenjit Howlader (Started since 30 August, 2022).
Previous lectures:
A formalism to specify instructions inspired by the Indian philosophy Mīmāṁsā, by Bama Srinivasan (26 July - 16 August, 2022)
Abstract: Pūrva-Mīmāṁsā, one of the schools of Indian philosophical systems provides an exhaustive and systematic method of interpreting Vedas, which are otherwise difficult to comprehend. A handful of these methods have been used to derive a logical formalism that caters towards computational
applications. Based on this work, the talk is organized in three parts. The first part of the talk will provide an overview of some of the tenets of Mīmāṁsā.
The second part of the talk will deal with the logical formalism inspired from these tenets and the third part will focus on the elaboration of computational
applications, where the logical formalism is found to be beneficial.
Lecture 1, Lecture 2, Lecture 3, Lecture 4.
Science in Wartime, by Kamal Lodaya (15 March, 2022).
Abstract: Nuclear weapons were developed by scientists during World War II. They were used by the United States who wanted to defeat Japan. What did famous scientists like Albert Einstein think as they were being developed?
Blum-Shub-Smale Machines, by Kamal Lodaya (15 February - 01 March, 2022).
Abstract: Following course notes by Janos Makowsky (2000s), the Tarski-Seidenberg algorithm (1950s) for checking satisfiability of a first-order logic sentence over the signature of arithmetic interpreted on the model of real numbers is presented, using machines developed by Blum, Shub and Smale (1990s).
Lecture 1, Lecture 2, Lecture 3.
Introduction to Forcing, by Anusha Bhattacharya (20 July, 2021 - 25 January, 2022):
Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5, Lecture 6, Lecture 7, Lecture 8, Lecture 9, Lecture 10 & 11, Lecture 12 & 13.
Topology via logic and its generalizations, by Purbita Jana (4 May - 13 July, 2021): Part-1, Part-2, Part-3.
Set theory: classical vs. non-classical, by Sourav Tarafder (9 February - 8 June, 2021).
A bit of modal model theory, by Sujata Ghosh (3 November, 2020 - 29 January, 2021).
Neural symbolic integration for solving Sudoku and other problems, by Sandip Paul (20 October, 2020).
Neural networks case study I: speech recognition, by Pinaki Chakraborty (13 October, 2020).
Reasoning and representation in Artificial Intelligence, by Soma Dutta:
Lecture-1 (1 September, 2020), Lecture-2 (8 September, 2020), Lecture-3 (15 September, 2020),
Lecture-4 (22 September, 2020), Lecture-5 (29 September, 2020), Lecture-6 (7 October, 2020).