Alan Turing: “He figured out everything that computers do today!”
Twitter Hashtag: #TuringBlrVenue: MRD Auditorium, Main Building, PESIT campus
22-23 June, 2012
Department of Computer Science, PES Institute of Technology,
Ring Road, Banashankari 3rd Stage, Bangalore 560085, India
*** Download printable brochure here ***
Chair: Dr. Kavi Mahesh, PESIT, Bangalore
Department of Computer Science, PES Institute of Technology, Bangalore
Theme: Here is a unique opportunity on the occasion of the birth centenary of the father of computer science, Alan Turing (born 23/06/1912) to take stock of the developments in the idea of computing and to assess the progress we have made in relation to Turing’s predictions. The two-day conference will celebrate Turing’s work and contributions to computing and the subsequent IT revolution while also revisiting its limitations pointed out by Turing and Gödel. In particular, the questions of whether, how and when computing machines and software programs will move to higher levels of intelligence and usability will be debated.
Special feature: Educational screening of the Alan Turing movie Codebreaker (82 min.) - under special arrangement from www.turingfilm.com (First time in India! Not yet released!!)
Who should attend?
Faculty and students as well as IT professional with a keen interest in information technology, computer science and the science of computing.
Registration: Now Open!
Register on-line by filling out the form below. Confirm by mailing a demand draft for the appropriate amount payable in Bangalore to "The Principal, PESIT" at the address:
Industry / general public: Rs. 1000/-
Academic faculty: Rs. 500/-
- Special student rate: Rs. 250/-
Last date for registration: June 15, 2012 (extended!)
The Principal (Turing Conference Registration)
PES Institute of Technology
Ring Road, Banashankari 3rd Stage
Bangalore 560085 India
Contact: Dr. Kavi Mahesh, email@example.com, +91 98452 90073
Friday 22 June, 2012:
9:30 am – 10:00 am: Registration and welcome
10:00 am – 10:45 am: Inauguration and Multimedia Presentation
10:45 am – 11:00 am: Coffee break
11:00 am – 12:15 pm: Turing Machines, Computers and Computability Dr. Kavi Mahesh, Professor, Centre for Ontological Engineering, Computer Science Department, PES Institute of Technology, and Principal Consultant, Knowledge Management, Infosys Ltd.
This talk introduces the idea of an abstract computing machine and demonstrates the workings of a Turing machine. It illustrates the concept of a stored-program computer which Turing introduced in his Universal Computing Machine. The last part of the talk focuses on limitations of the very idea of computing, the halting problem of Turing machines and its relation to Gödel’s incompleteness, Cantor's diagonalization as well as recursively enumerable languages.
12:15 pm – 1:00 pm: Alan Turing’s Contributions: Numbers, Computing and Intelligence
Dr. J. K. Suresh, Vice President and Research Fellow, Education and Research, Infosys Ltd.
Alan Turing was a towering personality of the last century whose pioneering work in areas as diverse as logic, mathematics and cryptology laid the basis for the evolution of the modern computer that continues to transform our world in important and exciting ways to this day. In this session, we pay homage to Turing through an account that emphasizes his solution for an important class of problems in mathematics termed the decision problem, and how that forms the basis of the computer as we know it today. First, we summarize the developments in abstract mathematics of the 19th century leading up to the Hilbert problems and Russell’s paradox; Next, we describe the work of Gödel and Turing and the stunning effect their results had for all of mathematics. Finally, we concisely cover the life and times of Turing with brief references to his work on code breaking, morphogenesis and artificial intelligence and end with the tragic circumstances of his untimely death.
1:00 pm – 2:00 pm: Lunch break
2:00 pm – 3:00 pm: Alan Turing’s Contributions: Numbers, Computing and Intelligence (continued)
Dr. J. K. Suresh
3:00 pm – 3:30 pm: Tea break
3:30 pm – 4:30 pm: Turing, Computation and Complexity
Dr. V. Vinay, Chairman, Limberlink Technologies Pvt Ltd and Chennai Mathematical Institute
4:30 pm – 5:15 pm: Parallel Computing: Today and Tomorrow
Dr. N. Sarat Chandra Babu, Executive Director, CDAC Bangalore
Saturday 23 June, 2012:
9:00 am – 9:30 am: Registration and welcome
9:30 am – 11:00 am: Keynote: The Enigma
11:00 am – 11:30 am: Coffee break
11:30 am – 1:00 pm: Computer programming as a science: Past, present and future
Dr. Sriram Rajamani, Assistant Managing Director, Microsoft Research India.
Most people think about computer programming as learning various languages like C or Java or C# or Python, and getting a job to write such programs, and make money for a living. In this talk, we will study programs as mathematical objects, ones that can be designed and analyzed in a principled manner, and as a topic of deep scientific enquiry, with several practical implications to industrial practice in software testing and software reliability. In particular, we will talk about the dream of using computers to reason about computer programs themselves, Turing’s result on the undecidability of the halting problem and how it devastated this dream, and how practical progress has been made in spite of Turing’s result.
1:00 pm – 2:00 pm: Lunch break
2:00 pm – 3:30 pm: Language Processing is Ambiguity Processing
Dr. Pushpak Bhattacharya, Professor, Computer Science Department, Indian Institute of Technology-Mumbai
In this talk which is highly apt for the Centenary of Turing who was very interested in language- Turing test being a language based interaction- we present various cases of ambiguity in language. We discuss computational ways of tackling lexical (word) and structural (syntax) ambiguity. Both these problems need investigations into and investment in algorithms and knowledge sources. We end the talk with our work on word sense disambiguation in multilingual resource constrained scenario which is the situation in India. In particular, we show that languages can help each other when it comes to disambiguation.
3:30 pm – 4:00 pm: Tea break
4:00 pm – 5:00 pm: Panel discussion: The State of Computing: What Lies Ahead
Dr. Swami Manohar is Managing Director, Limberlink Technologies Pvt Ltd
5:00 pm - 5:30 pm: High Tea
5:30 pm - 7:00 pm:
Educational screening of the movie Codebreaker
(82 min.) - under special arrangement from www.turingfilm.com
This feature length drama-documentary records the brilliance – and the destruction – of one of the 20th century’s greatest minds… Alan Turing, the genius British mathematician who was instrumental in breaking the German Naval Enigma code during World War II saving millions of lives. He was also the visionary scientist who gave birth to the computer age, pioneered artificial intelligence, and was the first to investigate the mathematical underpinnings of the living world. Turing is one of the great original thinkers of the 20th century who foresaw the digital world in which we now live. In the eyes of many scientists today, Turing sits alongside Isaac Newton, Albert Einstein and Charles Darwin at the table of scientific greats.