| Important Dates |
| Symposium: |
14-16 Jan 2011 |
| Workshop
Proposal Submission: |
14 Sept 2010 |
| Workshop Notification: |
30 Sept 2010 |
Regular Paper
Submission:
(Extended hard deadline) |
14 Sept 2010
28 Sept 2010 |
| Acceptance
Notification: |
14 Nov 2010 |
| Early
Registration: |
7 Dec 2010 |
| Camera Ready Submission: |
7 Dec 2010 |
| Presentation Submission: |
7 Dec 2010 |
|
| Quick Links |
|
|
| Contact Us |
|
|
| Legacy |
|
|
|
 |
|
Keynote and Plenary Speeches |
• Dr. Ravi Kothari: [Keynote] Pattern Analysis and Machine Intelligence 
Dr. Ravi Kothari
Associate Director - Services, IBM Research - India
Chief Architect, Bharti Account
Member, IBM Academy of Technology and Technology Council
Title: Emergent intelligent behavior of biological systems in design of artificial systems
Venue and Time: Gargi Hall, 14:00 - 15:00, 14 January 2011
Abstract: Many biological systems solve complex problems through local interactions amongst relatively simple entities. In this talk, we analyze this emergent intelligent behavior and motivate the design of artificial systems that can solve complex problems without central command and control.
Biography: Ravi Kothari started his professional career as an Assistant Professor in the Department of Electrical and Computer Engineering and Computer Science (ECECS) at the University of Cincinnati, Cincinnati, OH (USA) where he later became a tenured Associate Professor and Director of the Artificial Neural Systems Laboratory. His work has focused on pattern recognition, machine learning, self-organization, mathematical modeling, adaptation, and application of these technologies to various areas and has resulted in about 100 publications.
Since 2002, he has been with IBM Research - India where he plays a dual role -- as the Associate Director of IBM Research - India and as the IBM Chief Architect of the Bharti Account.
Dr. Kothari has served as an Associate Editor of the IEEE Transactions on Neural Networks, IEEE Transactions on Knowledge and Data Engineering, Pattern Analysis and Applications (Springer) as well as on the program committees of various conferences. He is an IEEE Distinguished Visitor (2003–2005 and 2006-2009) and is a member of the IBM Academy of Technology. He also serves on the Technical Council of the IBM Academy of Technology. He received the 2008 IBM Gerstner Award for Client Excellence - one of IBM's most prestigious awards.
• Dr. Monojit Choudhury: [Keynote] Web, Multimedia, Computers and Embedded Systems
Dr. Monojit Choudhury
Multilingual Systems Group at Microsoft Research Lab India
Title: Building Machines that Understand Human Languages: How far are we?
Venue and Time: Gargi Hall, 10:00 - 11:00, 14 January 2011
Abstract: Ever since the dawn of computer science it has been a dream to build computers that can pass the Turing Test, that is, to build machines that can understand and converse with us in our own language. Although we are still very far from realizing this dream, today Natural Language Technology (NLT) is matured enough to provide us with jazzy applications such as smart spelling and grammar checkers, summarization tools, question answering and machine translation systems, to name a few. Still there are several unsolved problems and gigantic engineering challenges for NLT. In this talk I will give a bird’s eye view of what is NLT, what makes it hard, what are the current trends and challenges, and what are the next big things in the horizon. I will also touch upon the state-of-the-art in Indian Language Technology.
Biography: Dr. Monojit Choudhury is a Researcher is in the Multilingual Systems Group at Microsoft Research Lab India. His research interests span theoretical and engineering aspects of complex systems and computational linguistics. In a research career of eight years he has more than 40 publications in International journals and conferences, and has made significant contributions to Indian language technology. Dr. Choudhury has received his PhD and B.Tech degrees from Indian Institute of Technology Kharagpur. He is also a recipient of the Young Scientist Award by Indian Science Congress Association.
• Dr. Ansuman Banerjee: [Keynote] VLSI Design and Automation
Dr. Ansuman Banerjee
Assistant Professor
Advanced Computing and Microelectronics Unit
Indian Statistical Institute, Kolkata 700108
Title: Increasing dynamic assertion-based verification productivity with formal techniques for compositional coverage analysis
Venue and Time: Gargi Hall, 10:00 - 11:00, 15 January 2011
Abstract: Capacity limitations continue to impede widespread adoption of formal property verification in the design validation flow of software and hardware systems. The more popular choice (at least in the hardware domain) has been dynamic property verification (DPV), which is a semi-formal approach where the formal properties are checked over simulation runs. DPV is highly scalable and can support a significantly richer specification language as compared to languages supported by formal property verification tools. Though the main limitations of DPV revolve around its dependence on the coverage of the relevant scenarios by simulation, there appears to be ample scope of addressing these issues through formal methods for coverage and consistency analysis. This talk will present some new methods and techniques in this direction that can aid DPV in becoming more effective in practice and more formal in nature. The talk will discuss some issues related to compositional verification with assertion reuse and specification-directed DPV that can facilitate faster convergence of the verification cycle in an effective manner..
Biography: Ansuman Banerjee is an Assistant Professor at the Advanced Computing and Microelectronics Unit, Indian Statistical Institute Kolkata. His research interests include design automation for embedded systems, hardware/software verification, VLSI CAD, and automata theory. Specifically, his research objective is focused on developing tools, techniques and methodologies for specification analysis, automated software debugging, functional test generation and formal / semi-formal verification for embedded systems.
Ansuman received his B.E. from Jadavpur University, and M.S. and Ph.D. degrees from the Indian Institute of Technology Kharagpur -- all in Computer Science. Prior to joining Indian Statistical Institute, he spent about 6 months at the National University of Singapore as a research fellow and about three years at Interra Systems India Pvt. Ltd. He has published one book chapter and more than 20 research articles in premier journals and conferences.
• Kristen Fitzpatrick: [Plenary] IEEE University Partnership Program
Kristen Fitzpatrick
IEEE University Partnership Program Manager
Title: IEEE University Partnership Program
Venue and Time: Kalidas Auditorium, 18:00 - 19:00, 14 January 2011
Biography: Kristen Fitzpatrick joined the IEEE in 2005, after completing her MLIS at Rutgers, where
she worked as an information literacy instructor and at numerous reference desks, and
received the school’s award for outstanding service. She holds an English degree from
Lafayette College and received an MBA from Rutgers-Newark in 1984, working as a
financial writer (annual reports/business plans) in Manhattan for the remainder of the
decade.
At IEEE she manages the University Partnership Program, developing stronger
relationships with student leaders, librarians, and faculty at 17 partner schools in the US,
China and India: https://www.flickr.com/photos/ieee-upp/sets/.
She has chaired numerous committees for the New Jersey chapters of the Special
Libraries Association and the American Society for Information Science and Technology,
served as Treasurer of the Rutgers-SCILS Alumni Association, the Friends of the
Westfield Memorial Library and currently, the Omicron Chapter of Beta Phi Mu
International Honor Society.
|
|
 |
|
IEEE|
IIT Kharagpur Student Branch | IEEE Kharagpur | IIT Kharagpur | Webmaster | Contact Us
|
|
