This volume presents the proceedings of the Third International Sanskrit C- putational Linguistics Symposium hosted by the University of Hyderabad, Hyderabad, IndiaduringJanuary15-17,2009.TheseriesofsymposiaonSanskrit Computational Linguistics began in 2007. The ?rst symposium was hosted by INRIA atRocquencourt, Francein October 2007asa partofthe jointcollabo- tion between INRIA and the University of Hyderabad. This joint collaboration expanded both geographically as well as academically covering more facets of Sanskrit Computaional Linguistics, when the second symposium was hosted by Brown University, USA in May 2008. We received 16 submissions, which were reviewed by the members of the Program Committee. After discussion, nine of them were selected for presen- tion. These nine papers fall under four broad categories: four papers deal with the structure of Pan - ini's Astad - hyay - - ?. Two of them deal with parsing issues, . .. two with various aspects of machine translation, and the last one with the Web concordance of an important Sanskrit text. Ifwelookretrospectivelyoverthelasttwoyears, thethreesymposiainsucc- sion have seen not only continuity of some of the themes, but also steady growth of the community. As is evident, researchers from diverse disciplines such as l- guistics, computer science, philology, and vy- akarana are collaborating with the . scholars from other disciplines, witnessing the growth of Sanskrit computational linguistics as an emergent discipline. We are grateful to S.D. Joshi, Jan Houben, and K.V.R. Krishnamacharyulu for accepting our invitation to deliver the invited speeches."

This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008 respectively.

The 11 revised full papers of the first and the 12 revised papers of the second symposium presented with an introduction and a keynote talk were carefully reviewed and selected from the lectures given at both events. The papers address several topics such as the structure of the Paninian grammatical system, computational linguistics, lexicography, lexical databases, formal description of sanskrit grammar, phonology and morphology, machine translation, philology, and OCR.

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn s achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The editors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.