Udine & India
Research projects in applicable mathematics and information sciences
Summer Schools on "New Perspectives in Informatics"
The Summer Schools in Informatics were targeted for junior researcher and graduate students and covered topics in Formal Methods, Global Computing, Virtual Reality Modeling Languages and Web Technologies.
The faculty included professors form Udine University, the B.M. Birla Science Centre, as well as the students involved in the PhD Programme.
The participants were, apart from junior researchers, senior students of BTech under the Jawaharlal Nehru Technological University and the Osmania University.
Eighth edition: 18-20 October 2011
Hyderabad, Jawaharlal Nehru Technological University
Teachers: Furio Honsell, Carlo Tasso, Roberto Ranon, Stefano Burigat, Lucio Ieronutti
Topics: Formal Methods; Advances of Artificial Intelligence in Web Technologies; Camera Control in Computer Graphics; Web3D Technologies in Learning, Education and Training: Motivations, Issues, Opportunities; Visualizing Information on Mobile Devices.
Seventh edition: 13-15 October 2010
Hyderabad, Jawaharlal Nehru Technological University
Teachers: Furio Honsell, Carlo Tasso, Marisa Michelini, Paolo Coppola, Lucio Ieronutti
Topics: Theories and Applications; The evolution of the Web, artificial intelligence, and innovative business processes; Automatic verification of web sites based on semantic constraints; Metalanguages for the Web; ICT for teaching/learning physics; A gentle introduction to 3D graphics with X3D.
Sixth edition: 19-21 October 2009
Hyderabad, B.M. Birla Science Centre
Teachers: Furio Honsell, Roberto Ranon, Andrea Baruzzo, Michele Baggi
Topics: New trends in game theory; A practical introduction to 3D interactive graphics with the X3D language; Tackling Software Fragility and Complexity: the Domain-Driven Design Approach, Validation and Filtering of XML Documents.
Fifth edition: 4-6 September 2008
Hyderabad, Jawaharlal Nehru Technological University
Teachers: Demis Ballis, Andrea Baruzzo, Moreno Falaschi, Maurizio Pighin, Carlo Tasso
Topics: Web 2.0, Artificial Intelligence and Adaptive Personalization; Software Modeling with UML; Validation of XML Documents; Automatic verification of web sites; Warehousing and elements of Data Mining.
Fourth edition: 3-5 October 2007
Hyderabad, Jawaharlal Nehru Technological University
Teachers: Paolo Coppola, Roberto Ranon
Topics: Web3D: technologies, standards and applications; XML and E-Contents.
Third edition: 4-6 October 2006
Hyderabad, B.M. Birla Science Centre
Teachers: Paolo Omero, Roberto Ranon, Carlo Tasso
Topics: Web3D: technologies, standards and applications; Web Personalization; From Information Systems to Knowledge Based Systems.
Second edition: 31 August-2 September 2005
Hyderabad, B.M. Birla Science Centre
Teachers: Paolo Coppola, Roberto Ranon
Topics: XML and digitization; Web3D Technologies and their use in education, learning and training.
First edition: 1-3 September 2003
Hyderabad, B.M. Birla Science Centre
Teachers: Furio Honsell
Topics: Interactive Theorems Proves for Software Certification; Formal Methods: Calculi for Mobility; Coalgebraic Semantics for Object Oriented Language.