1. Hyderabad-Pune, Aug 29 – 2 Sept, 2005 4 th INDO-ITALIAN WEEK on New Perspectives in IT and Applications

2. INSTITUTIONS INVOLVED INSTITUTIONS INVOLVED - International Institute for Applicable Mathematics and Information Sciences (IIAMS) B.M. Birla Science Centre of Hyderabad – A.P. University of Udine – Italy Centre for Development of Adanced Computing (C-DAC) – Pune - EU: Economic Cross Cultural Programme (ECCP) - Italian Embassy – New Delhi

3. ACKNOWLEDGEMENTS -Dr. B.G.Sidharth Director General of B.M.Birla Science Centre, Hyderabad -Dr. Gastaldi Scientific Attaché of Italian Embassy -Ms. Thetis Tsitidou Programme Manager EU Cross-Cultural Economic Programme -Dr. C.S. Rao Advisor for IT to Chief Minister of Andhra Pradesh -Dr. S.Ramakrishna Director of C-DAC -Dr. D.Katre C-DAC

4. first EVENT 1 st Workshop on IT for Preservation and Dissemination of Cultural Heritage Hyderabad, August 29 - 30, 2005 Prof. F. Honsell Prof. S. Mason Dr. L. Borean Dr. P. Coppola Dr. A. Degano Dr. G. Kamalakar Dr. R. Ranon Dr. M. Veerender

5. second EVENT 4 th Workshop on IT for Education, Research and Technology Transfer Hyderabad, August 31, 2005 Prof. F. Honsell Prof. S. Mason Dr. S.C. Babu Dr. L. Borean Dr. P. Coppola Dr. R. Ranon Dr. U. Rao

6. third EVENT 6 th Summer School on New Perspectives in IT Hyderabad, August 30 – September 1, 2005 XML and digitization (8 hrs) Dr. P. Coppola Web3D Technologies and their use in education, learning and training (8 hrs) Dr. R. Ranon

7. fourth EVENT Workshop on IT for Cross Cultural Fertilization Pune, September 2, 2005 Prof. F. Honsell Prof. S. Mason Dr. L. Borean Dr. P. Coppola Dr. D. Katre

8. ICT for Cross Cultural Dissemination Results and Perspectives Furio Honsell Università di Udine & IIAMIS C-DAC Pune, September 1,2005

9. THE JOINT LABORATORY INTERNATIONAL INSTITUTE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES Inauguration: February 2005 VISION: Informatics and Applicable Mathematics as general sciences of problem-solving, computation, simulation, modeling, data mining, … can play the role of a lingua franca, a medium, for cross-disciplinary dialogue between sciences and humanities and for cross-cultural dialogue between Italy and India, a cultural heritage superpower, and an emerging IT superpower, as well as a cultural heritage superpower, joining forces

10. THE JOINT LABORATORY INTERNATIONAL INSTITUTE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES MISSION: foster and strengthen joint –research programmes –Education programmes provide a platform for –Industry-Academia interaction and technology transfer –cross-cultural dissemination and cross-cultural fertilization between Italy and India – Southern Europe and Southern India

11. INTERNATIONAL INSTITUTE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES ADVISORY BOARD –Prof. N. Ahuja, University of Illinois, Urbana Champaign –Dr. S.C. Babu, Director, CDAC, Hyderabad –Dr. S. Ramakrishna, Director, CDAC, Pune –Prof. R. Balasubramanian, Director, IMS, Chennai –Prof. M. Falaschi, University of Siena –Prof. Furio Honsell, Vice Chancellor University of Udine –Prof. Stefania Mason, University of Udine –Dr. Gangan Prathap, CMMACS, Bangalore –Dr. B.G.Sidharth, Diretor General, B.M. Birla Science Centre –Prof. C. Tasso, Dean Faculty of Science, University of Udine –Prof. R.Vemuri, University of California, Davies

12. 2 RESEARCH HUBS IIAMIS branch at UDINE UNIVERSITY – Udine ITALY IIAMIS branch at B.M.BIRLA Science Centre – Hyderabad A.P.

13. PARTICIPATING INSTITUTIONS from ITALY –FRIULI INNOVAZIONE Udine Technology Transfer Centre –University of Siena –University of Torino –Scuola Normale Superiore Pisa –University di Bologna from INDIA –Centre for Development of Advanced Computing Hyderabad branch –Institute for Mathematical Sciences – Chennai –B.M.Birla Science and Technology Centre – Jaipur –Birla Institute of Technology, Mesra,Ranchi

14. RESEARCH PROGRAMME OF IIAMIS Web Technologies Applicable Mathematics Information Filtering Virtual Reality Verification and Validation Computational Physics IT for preservation of Cultural Heritage Human Computer Interaction Digital Museums, Virtual Laboratories

15. The activities leading to IIAMIS PhD Programme in Informatics and Applicable mathematics started in 2002, currently 7 students involved in the areas of Semantics, Virtual Reality Modeling, Self-organized Neural Networks, Data Acqusition and on-line processing Internationalized Master Universitario Degree in Information Technology Programme started in the academic year 02-03, 9 students involved in each of the 2 editions. Series of Summer Schools on New Perspectives in Informatics started in 2000, 20 participants in each of the 5 editions

16. The activities leading to IIAMIS Series of Indo-italian Workshop on IT: Education, Research and Technology Transfer started in 2002, 30 participants in each of the 3 editions Sixth International Conference on New Frontiers of Fundamental and Computational Physics - Udine September 2004 The actions were sponsored by B.M.Birla Science Centre, the University of Udine, the Italian Ministry of University and Research, the EU-India ECCP The latter two actions were carried out thanks to the support of the Italian Embassy in New Delhi

17. The activities leading to IIAMIS The initiative capitalized on the impact of the EU-India Cross-cultural Economic Programme project: Europe and India Past Present and Future (EU-India Economic Cross Cultural Programme) 1999-2001 partners: L.P. Tessitori Soc. Ind. Udine, B.M. Birla Science Centre, CISM Udine, OPFZ Arsenal Vienna, Udine University Udine University is currently leading another EU project: ICT for EU-India Cross-cultural dissemination 2004-2006 partners: B.M. Birla Science Centre, Universities of Udine, Genoa and Valencia Euindia.dimi.uniud.it

18. CURRENT ACTIVITIES OF THE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES Iternationalized PhD Programme in Informatics and Applicable Mathematics www.uniud.it/didattica/post_laurea/dottorato/ web.uniud.it/rice/dottass/dottorati.htm/ www.dimi.uniud.it/dottorato/informatica –Partners Univeristà di Udine Univeristà di Siena Istituto di Scienza e Tecnologia ellInformazione, Pisa Universitad Politecnica de Valencia B.M.Birla Science Centre C-DAC Hyderabad Branch INRIA Sophia Antipolis Université de Nice

19. CURRENT ACTIVITIES OF THE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES Iternationalized PhD Programme in Informatics and Applicable Mathematics TOPICS Immersive VR, Foundations of Computing, Formal Methods, Information Filtering, Web technologies, Computational Biotechnology, Artifical Vision, Mobile technologies, IT for preservation of Cultural Heritage, 1 position available for the Academic Year 2005-2006 New programme, funded by Italian Ministry, is about to start, prOviding more positions

20. CURRENT ACTIVITIES OF THE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES Internationalized Master Universitario Degree in Information Technology Programme –Partners: University of Udine, B.M.Birla Science Centre 20 positions available for the Academic Year 2005- 2006 (3 trainships in Italy available) http://hcilab.uniud.it/masterIT/ New Programme, funded by the Italian Minister is about to start, more fellowships available New Programme for young Indian Researchers, funded by the Italian Minister, is about to start

21. CURRENT ACTIVITIES OF THE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES Summer School on New Perspectives in Informatics Hyderabad Indo-italian Workshop on IT for Preservation and Dissemination of Cultural Heritage Hyderabad Indo-italian Workshop on IT for Education, Research and Technology Transfer Hyderabad Indo-italian Workshop on IT for Cross cultural dissemination Pune

22. CURRENT PROJECTS AT THE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES Design and implementation of a Students Careers Management System Generator Digital Library and annotated bibliography on the Indian Contribution to Modern Science Astronomy, Grammar, Mathematics, Medicine are the traditional topics, Informatics, as the general science of effective computation and not as mere technological tool, is the novel perspective Digital platforms for collections: e.g. art, science –Virtual Museums –Virtual Laboratories Intelligent Portals for Industry-Academia interaction: internships, technology transfer Digital Science and Technology Parks

23. The Problem of e-contents for cultural dissemination Turing Thesis applies to computable functions Is there an analogue for cognitive experiences such as those arising in art, learning, or in developing intuitions and skills? OUR TENET: Digital portals enhance significantly the dissemination, fruition, pooling, ultimately the experience, albeit virtual, of Collections, whether these be of artistic items, other artifacts, science experiments, etc Collections are extremely expressive of a given culture and worldview, and hence an excellent medium for cross-cultural dissemination, awareness and fertilization

24. Issues and Challenges in e-Contents How do we digitize homogeneously, heterogenous specimens? Which metadata are appropriate? –Books, and other written documents –Pictures, videos, … –Music and sound documents –Other pluridimensional artworks (e.g. sculptures, pottery, carpets, …) –Artifacts (uses) –Processes (e.g. dance, cooking, …) –Traditions –Knowledge (traditional medicine) – …

25. Issues and Challenges in e-Contents How do we render the objects: –History –Context in which it was produced and preserved –Use –… How can we take advantage of Immersive VR in order to restore or repair the object? How can we take advantage of Immersive VR in order to interact with the object? How can we take advantage on personalized intelligent filtering tools? …

26. Results: E-Dwara PORTAL The various prototype and experimental portals and platforms developed in the project have been merged in the E-Dvara PORTAL Interactive Immersive VR Accessible Customisable, flexible, extendable Multimedia Open Featuring intelligent filtering tools to overcome cognitive discomfort disorienting and information overloading

27. Perspectives Experiment, validate, disseminate, customise the portal among the various communities of developers and end-users currently involved in the projects: –for enhancing cross-cultural awareness, e.g. building virtual analogues of museums, collections at the University of Udine and B.M.Birla Science Centre –for enhancing the mission of the IIAMIS both in education, research and technology transfer

28. Perspectives The roots of Informatics in Indian linguistics –after Euclid and Panini by Frits Staal

29. A Computational (Informatical) investigation of Pāninis Astādhyāyī: a matrix representation of the Śivasūtras 1ai uN 2 rl K 3 e oN 4 ai auC 5haya va ra T 6 la N 7 ñaña ma na M 8 jha bhÑ 9gha dhadh S 10 ja ba ga da Ś 11kha pha chathadha cata V 12ka pa Y 13 śaśasa R 14ha L

30. A Computational investigation of Panini Astādhyāyī Sutra 6.1.77: iKo yaN aCi Intended meaning: i, u, r, and l are replaced by y,v,r,l respectively, in uninterrupted speech, if a heterogenous vowel follows E.g. sandhi –Dadhi atra dadhyatra –Madhu atra madhvatra

31. A Informatics investigation of Panini Astādhyāyī iK denotes the list i u r l yaN denotes the list ya va ra la aC denotes vowels All rules up to a given marker apply to the context in uninterrupted speech An earlier rule explicitly mentions homogenous vowels, so the context which applies is that of heterogenous vowels

32. A Informatics investigation of Panini Astādhyāyī List processing Static scoping in uninterrupted speech Nesting of contexts if a heterogenous vowel follows –A previous rule explicitly mentioned homogeneous vowels –Pānini: in case of conflict as to which rule applies the rule to apply is the last

33. A Informatics investigation of Panini Astādhyāyī Substitution iK is replaced by yaN if aC follows iK+ gen yaN + nom aC + loc N[x/M] iK aC[iK/yaN]

34. Final Comments Both Euclid and Panini highly valued simplicity, optimality, independence and self-consistency in their systems Panini made use of at least two metalevels –Rules for deriving rules –Implementing rules

35. Final Comments What can be said about data compression in Panini? Are Paninis sutras influenced by mnemotechnics? Both Euclid and Panini –did not adress time related issues –address subject matters which ultimately formalize some intution or skill, be it language or geometry, which are somewhat innate or capable of becoming non directly conscious –Euclids appears more abstract

36. B.M.BIRLA SCIENCE CENTRE – HYDERABAD UNIVERSITY OF UDINE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES 3 rd INDO-ITALIAN SUMMER SCHOOL on PERSPECTIVES IN INFORMATICS Models and Metamodels for Computation Honsell, Di Zanutto, Maraspin (Udine University) - 10 hrs –Computer Aided Formal Reasoning –Logical Frameworks –Agent and Process Calculi for Mobility –Interactive Theorem Provers –Computer Supported Collaborative Work –Digital Platforms

37. Virtual Reality Modeling: Subhramanian, Vijay Kumar (B.M. Birla Science Centre and Udine University) –10 hrs –Virtual Reality Modeling Languages –A tool for modeling architectural content in 3D web sites –A Case Study on Navigation Aids for 3D envitonments

38. B.M.BIRLA SCIENCE CENTRE – HYDERABAD UNIVERSITY OF UDINE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES WEDTHURFRI 10.00-11.30Computer Aided Forrmal Reasoning FH VRML V+S 12.00-1.30Logical Frameworks FH VRML V+S 2.30- 4.00Calculi for mobility FH VRML V+S 4.30-6.00Navigation Aids V+S Interactive Theorem Proving FH Architectural Content in 3D V+S

39. B.M.BIRLA SCIENCE CENTRE – HYDERABAD UNIVERSITY OF UDINE INSTITUE FOR APPLICABLE MATHEMATICS AND INFORMATION SCIENCES

40. Models and Metamodels for Computation 4 lectures: Honsell, Redamalla (University of Udine, BM Birla Science Centre) Lambda Calculus, Higher Order Type Theory, Logical Frameworks Processes and Agent Calculi for mobility: pi calculus, ambient calculus Coalgebraic semantics for OOL Interactive Theorem proving for Software Certification and Verification using COQ

41. Virtual Reality Modeling 6 lectures: Subramanian, Veejay Kumar (University of Udine, BM Birla Science Centre) Virtual Reality Modeling Languages Developing 3D websites A case study in Navigation Aids: Principles and Applications

42. Our vision A University as a strategic institution for the development of the region and its community (innovative) knowledge and human capital have become the strategic resources for sustainable economic growth

43. 3 challenges Technology Globalisation (globalism,glocalism) Competition Distributed learning Internationalization Partnership and alliances But we have to innovate our mentality, and often be brave enough to invent the rules along the way

44. PROGRAM WEDTHURFRI 10.30-11.30ReviewCOQ H+R 12.00-1.30Formal Methods H M. Calculi H Nav. Aids S 2.30- 4.00VRML V Coalgebras R Nav Tool V 4.30-6.00VRML V+SVRML S 3D pipeline S

45. Università degli Studi di Udine Three deeply integrated missions – higher education – research – service to our community: for the social and cultural development and the transfer of technological innovation to the industrial system over 10.000 laurea degrees awarded since our foundation in 1978

46. Università degli Studi di Udine Fully implemented the Bologna and Sorbonne Agreements since the academic year 2000-2001 Laurea (bachelor) 3 years degree First level Master 1 year degree Laurea Specialistica 2 years degree Second level Master 1 year degree PhD 3 years degree

47. 1978: 1 faculty/schools ( Foreign Languages ) 607 students 27 professors and assitants 34administrative and technical staff 2002: 10 faculties/schools 15.635 students 637 professors and researchers 457 administrative and technical staff Università degli Studi di Udine

48. Our numbers 10 faculties 44 laurea degrees (both old and Bachelor) 10 masters 18 laurea specialistica 31 specialization schools (in Medicine, Veterinary Medicine, History of Art) 21 PhD courses … over 18.000 people involved (including professors, permanent and temporary researchers, technical and adminstrative staff, languages teachers, PhD and ordinary students…)

49. Our Masters Information Technology Euroculture European Tranport Law Environment and Life Crop technology Language and Cultural Mediation for large social events Handicap e-learning Management of turistic enterprises

50. The distributed Campus of the University of Udine Udine (Friuli VG region) Pordenone (Friuli VG region) Gorizia (Friuli VG region) Cormòns (Friuli VG region) Gemona (Friuli VG region) Mestre (Veneto region) 34 Mbit radiowave backbone connection (mainly for tele-tutoring, e-counselling, e-etc)

51. Our international connection Proactive in implementing the Bologna Declaration and build a European Area of HE Over 80 MoUs with other universities all over the world, for mobility of students and teaching staff Were involved in various TEMPUS projects for offering advice in restructuring university offices Around 3% of our students take advantage of Socrates mobility programmes

52. Key-concepts in internalization Develop joint degrees and coordinated curriculm planning Mobility and exchange of students Stay abroad becomes an integral part of the home studies Comparability and compatibility of of academic programs (ETCS) Common degrees

53. BM Birla Science Centre and University of Udine IT initiatives PhD in Computer Science 2 modalities Master in IT – 60 credits possibly including 6 months internship in Italy

54. The consortia and partnerships Friuli Innovazione – together with Agemont, Assindustria, CRF, CRUP Bank: for the transfer of the technological innovation to the local industrial sector Friuli Formazione – together with Udines Chamber of Commerce: for permanent and continuing education CIRMONT – together with INRM: for the technological innovation in the Mountain Regions

55. The Faculties/Schools Foreign Languages Engineering Agricultural studies Science Humanities Medicine Economy and Business Educational Sciences Veterinary Medicine Law

56. The PhD Programmes Computer science, Mathematics Life Sciences:2 Medicine and Surgery: 2 Agriculture and Veterinary Science: 5 Civil Engineering: 2 Mechanical and Electronic engineering: 3 Economical Sciences and Statistics: 3 History of Art, Languages : 8

57. Innovative Courses Public Relations and Central-Eastern European Languages Management engeneering Food Technologies Computer Science Preservation of cultural Artifacts Transplants, tele-medicine Banking and Finance Animal health International transport law

58. Research 28 Departments (50 laboraories) 5 Interdepartmental Centres: CIRD ( EDUCATION ), CIFRA ( ENVIRONMENT ), CARTESIO ( TEINFORMATION SYSTEMS ), CIFI ( FLUIDDYNAMICS ), CIRF ( FRIULiAN LANGUAGE and CULTURE ), International Centre on Multilingualism Experimental Farm (ca 1000 ha) Clinical Hospital (10 clinics, 312 beds) Centre of di excellency MATI on human physiology ( muscular palsticity under stress, aging, microgravity, training )

59. The numbers of our research 99 active MIUR projects (of which 21 are coordinated nationally) 29 UE projects 26 projects: ASI, MIPA, MAE, FSE 25 deposited patents: –8 commercially utilized –20 since 1999

60. Research Active european contracts: Accrescere il potenziale umano – VPQ1 Agricoltura e pesca - IVPQ5 Life Natura2 Cooperazione con i Paesi dell'Est – IVPQ1 Energia e ambiente – VPQ2 Lingue minoritarie1

61. La ricerca Contratti europei attivi: Qualità della vita e gestione delle risorse bio. 3 Risorse genetiche in agricoltura Società dell'informazione – VPQ5 Tecnologie dell'informazione – IVPQ 1 Tecnologie industriali e dei materiali – IVPQ4 Ricerca socio-economica finalizzata - IVPQ1

62. Excellencies Public Relations and Central-Eastern European Languages Logistics and industrial management, (micro)mechanics, energy, environment technologies (waste management, recycling), geographical information systems (GIS) Food Technologies, genomics, agronomy, ecology, environmental certification, bioremediation, Information filtering, V&V, Operations Research, WEB technologies Sound and image restoration, paper technologies, archaeology Transplants, tele-medicine Observatory on economic convergence of CE Europe, Banking Techniques, Enterprise strategies in industrial districts Fish pathology, nutrition European transport law, Communitary Law

63. Relations between Universities and private enterprises Applied vs Industrial research criticalities –communication: expertise vs problems –objectives: methodologies vs realizations –behaviour: dissemination vs privacy –different time scales and horizons –SMEs, districts

64. University- private enterpresise relations: perspectives in Udine University-Industry Mixed Laboratories First mile incubators, to encourage new/student entrepreneurship Techno-seed Science Park – Knowledge and Technology district

65. University-Industry new perspectives in Udine Logistics and production managemnt Metallurgy Environment technologies Food processing Information management Web technologies Rapid prototyping

66. IT in Udine Udine University was the 5 th University in Italy to establish a course in Computer Science, after Pisa, Torino, Bari, Salerno Currently we have 2+2 courses in the field –Computer Science –Web Technologies and Multimedia –Multimedia Sciences and Technologies –Public Relations curriculum

67. e-activities in Udine Mission Activities –Network based services to students: Online payments (tuition fees) Examination-cycle Students Identification card Information services (curricula) –E-learning remote lectures and consultations –E-library Online Public Access Catalogue Automated Loan procedures Online access to CE-Rom archives Online magazines and reviews

68. e-activities in Udine Information and cognitive filtering –Web personalization: the infofactory project HCI –3D Web sites –Virtual reality –Information visualization, visual data mining –Wireless Web, mobile devices E-governement: –Civic portal design (with local authorities) –Online museums: adaptive interfaces –Web portal of the Public Library Serives of the FVG Region

69. e-activities in Udine E-commerce –Adaptive interfaces –Wireless system interfaces E-learning –Software and design specifications –Distance learning for Public Safety Corps E-health –National network in telepathology –Quality assessment of remotely acquired images –Call centre for telecare –Online localization of emergency services –Online clinical records

70. Informatics in Udine Verification and Vlidation –Software dependability Theoretical Computer Science –Language Theory, Type Theory, Semantics –Algorithms –Foundations and models of Computation Neural networks –Image processing

71. Mountain regions and their criticalities handicaps vs advantages of: reduced accessibility : –marginality, isolation, population decrease –lack of infrastructures but –resistance to homologation and cultural mass- globalization, –quality of life is potentially better –Possibility of learning from the experience of others in the area of environment sustainable growth

72. Mountain Regions In the knowledge and digital information society and economy. –It can play major roles (e.g. free-time economy) –Increase its attractiveness IT technologies and e-enabled activities can reduce the impact of its handicaps, capitalizing precisely on its reduce accessibility Human capital and network infrastructure for building a net-community active in the net-economy : e- governement, distance learning, remote sensing, distance e-services, distance e-work, teleassistance, e-commerce promotion, animation

73. E-Mountain Region projects –Advanced internet applications –3D websites for tourism promotion –Applications for preservation and study of mopuntain environment –GIS –Intelligent system for integrating and assessing satellite and aerial images with image and temporal databases for environment monitoring and natural disaster prevention –telemedicine

74. A case for Verification and Validation Life, environment or business critical software applications Digital woes: e.g. Y2K, Ariane, Patriot failures, Pentium Bug, bugs in mass produced software or widely distributed software Rigorous validation using logic based formal methods

75. A case for non-technological skills in IT-enabled activities Before hardware innovation we need innovation in mentality and consequently in the software design Simplification, reorganization, reengineering, reinventing Goal is bridging distance, non-hierarchical structures, interactive Standards, codes in Udine we are (preparing to) form such human, social, design skills