Offerta formativa per l’anno 2007
Activities for year 2007

• Wireless mesh networks
  Prof. Prasant Mohapatra (Computer Science Department, University of California, Davis, CA)
  15 hours, 4 credits
  March 26 - March 29, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Diotisalvi 2, meeting room
  Contacts: Prof. Luciano Lenzini
• Formal verification of computer systems by theorem proving
  Dr. Holger Pfeifer (Faculty of Engineering and Computer Sciences, Institute of Artificial Intelligence, University of Ulm, Germany)
  16 hours, 4 credits
  March 27 - March 30, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Diotisalvi 2, meeting room
  Contacts: Prof. Cinzia Bernardeschi
• Design technologies for integrated circuits
  Prof. Giovanni De Micheli (Ecole Politechnique Fèdèrale de Lausanne, Lausanne, Switzerland)
  15 hours, 4 credits
  April 2 - April 4, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via G. Caruso 16, meeting room, ground floor
  Contacts: Prof. Luca Fanucci
• Requirements engineering: natural language requirements elicitation, specification and quality evaluation
  Dott. Giuseppe Lami (Istituto di Scienza e Tecnologie dell’Informazione “Alessandro Faedo”, Area della Ricerca di Pisa del CNR)
  15 hours, 4 credits
  April 16 - April 20, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Diotisalvi 2, meeting room
  Contacts: Prof. Luca Simoncini
• Introduction to organic semiconductors and applications
  Prof. Franco Cacialli (Department of Physics and Astronomy and London Centre for Nanotechnology, University College London, London, U.K.)
  20 hours, 5 credits
  May 14 - May 18, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Caruso 16, meeting room, ground floor
  Contacts: Prof. Andrea Nannini
• Event-driven communication in web application development
  Dott. Alessio Bechini (Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, Università di Pisa)
  10 hours, 3 credits
  June 25 - June 29, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Diotisalvi 2, meeting room
• Ultra-wide-band systems
  Prof. Werner Wiesbeck and Dipl.-Ing. Christian Sturm (Institut für Höchstfrequenztechnik und Elektronik, Universität Karlsruhe (TH))
  20 hours, 5 credits
  July 2 - July 5, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via G. Caruso 16, meeting room, ground floor
  Contacts: Prof. Giuliano Manara
• Network design and performance evaluation techniques
  Prof. Nelson L. S. da Fonseca (Institute of Computing, State University of Campinas, Brazil)
  20 hours, 5 credits
  September 3 - September 6, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Caruso 16, meeting room, ground floor
  Contacts: Prof. Stefano Giordano
• Introduction to ray methods for modeling the fields of antennas for modern aerospace and wireless applications
  Prof. Prabhakar H. Pathak (The Ohio State University ElectroScience Laboratory, Department of Electrical and Computer Engineering, Columbus, OH, USA)
  20 hours, 5 credits
  October 1 - October 4, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via G. Caruso 16, meeting room, ground floor
  Contacts: Prof. Giuliano Manara
• SPICE simulation for deep submicron IC's
  Prof. Andrei Vladimirescu (Department of Electrical Engineering and Computer Sciences, University of California at Berkeley)
  16 hours, 4 credits
  October 15 - October 19, 2007
  Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Caruso 16, meeting room, ground floor
  Contacts: Ing. Domenico Zito