14-16 November 2010
Kolkata, India
Annual Meet of the Calcutta Logic Circle Sunday, November 14, 2010 to Tuesday, November 16, 2010 The Calcutta Logic Circle (http://home.iitk.ac.in/~mohua/CLC.html) announces its annual meet of 2010 (http://home.iitk.ac.in/~mohua/clc2010.htm), to be held at IBRAD, Kolkata, India from 14-16 November, 2010. As in previous years, eminent scholars and junior researchers from various institutes in India and abroad will participate and deliver lectures in the workshop. Detailed programme can be found here (http://home.iitk.ac.in/~mohua/clc2010.htm). CLC (http://home.iitk.ac.in/~mohua/CLC.html) is a research group in Kolkata, India comprising of members from various disciplines like Mathematics, Computer Science and Philosophy with a common interest of enhancing their knowledge in the versatile discipline of logic, and pursuing research in this direction. More information can be found here (http://home.iitk.ac.in/~mohua/CLC.html). Prior to the annual meet this year, there will be a one day seminar on logic on 12 November, 2010 at the Stat-Math unit (http://www.isical.ac.in/~statmath/) of the Indian Statistical Institute, Kolkata (http://www.isical.ac.in/). The programme is as follows: SEMINAR ON LOGIC November 12, 2010 Stat-Math Unit, Indian Statistical Institute, Kolkata 2.00 pm 3.00 pm: R. Ramanujam (IMSc) (http://www.imsc.res.in/~jam/), Strategies in infinite games. 3.00 pm 3.15 pm: Tea break 3.15 pm 4.15 pm: N. Raja (TIFR) (http://www.tcs.tifr.res.in/~raja/), Computer aided proofs. 4.15 pm 5.15 pm Benoit Razet (TIFR) (http://www.tcs.tifr.res.in/~razet/), Introduction to proof assistants. All the lectures will be held in: Room-L-infinity, fifth floor, A. N. Kolmogorov building.