October 17 - 19, 2014, Kolkata
Organized by
in collaboration with
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
Contacts:
Mihir K. Chakraborty --- mihirc4@gmail.com
Sourav Tarafder --- souravt09@gmail.com
Programme
Tutorials First order logic Logics and algebras Speakers: Mihir K. Chakraborty Mohua Banerjee School of Cognitive Science
Jadavpur University, KolkataDepartment of Mathematics and Statistics
IIT KanpurModal logic Epistemic logic and Philosophical issues Speakers: Sujata Ghosh Ramesh Chandra Das Computer Science Unit
Indian Statistical Institute, ChennaiRetired Professor, Department of Philosophy
Utkal University
Lectures Student Sessions Md. Aquil Khan (IIT Indore): Logics for some dynamic spaces (Abstract) Bhargav Bhatt (IIT Kanpur): Dependence Logic Arun Kumar (IIT Kanpur): Algebras of definable and rough sets in quasi order-based approximation spaces (Abstract) Md. Javed Hassan N. Raja (TIFR, Mumbai) Purbita Jana (University of Calcutta): Categorical relationships of (fixed and variable basis) fuzzy topological systems on fuzzy sets with (fixed and variable basis) fuzzy topological spaces on fuzzy sets and underlying algebras Abhisekh Sankaran (IIT Bombay): A generalization of the Łos-Tarski preservation theorem over classes of finite structures (Abstract) Anuj Kumar More (IIT Kanpur): Subobject Classifiers and Class of Morphisms Maya Saran (Ashoka University, Rajiv Gandhi Education City): Sigma-ideals of compact sets: a conjecture (Abstract) Anirban Saha Sourav Tarafdar (St. Xaviers College, Kolkata) Click here for final schedule. Accommodation/Travel SupportCalcutta 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 and tea/coffee will be provided during the academic program.