Mauro PICCOLO
Phd

RESEARCH:

• Interests: Semantics of programming languages
• Curriculum Vitae
  • In English: last update December 2009
  • In Italiano: ultimo aggiornamento Ottobre 2009
• Publications
• PhD Thesis

SLIDES AND NOTES:

• The linear pi-calculus [Slides]
• Piccola Introduzione alle Strutture di Eventi (versione preliminare in italiano)
• Processing programs: a linear case (updated)[Slides]
• Drafts

INSEGNAMENTO (solo italiano):

• Informatica - Corso di Laurea in Scienze Strategiche e delle Comunicazioni, Interfacoltà in Scienze Strategiche, Università di Torino
• Esercitazioni del corso di Sistemi di Elaborazione delle Informazioni I - Corso di Laurea in Scienze Strategiche e delle Comunicazioni, Interfacoltà in Scienze Strategiche, Università di Torino

EVENTS:

• TYPES 2008

PERSONAL:

• 27th November 2005: Monte Rua, Colli Euganei - Torreglia (PD) - Italy
  • Me and some friends near the retreat of Monte Rua [1], [2], [3]
• 12th April 2006: Val Galmarara , Altopiano di Asiago - Asiago (VI) - Italy
  • Bivacco Tre Fontane [1] , [2] , [3] , [4] , [5] , [6] , [7] , [8] , [9] , [10]
• 17th April 2006: Val Molini, Monti Berici - Zovencedo (VI) - Italy
  • Val Molini [1] [2] [3]
• 24th September 2006: Val Veneggia - Mulaz, Pale di San Martino - S. Martino di Castrozza (TN) - Italy
  • Passo Mulaz (2619 mt s.l.m.) [1] [2]
  • Monte Mulaz (2908 mt s.l.m.) [1] [2]
  • Passo Rolle, Pale di San Martino
• 4th November 2006: Monte della Madonna , Colli Euganei - Teolo (PD) - Italy
  • A view of Monte Venda
• Colli Euganei: Este (PD) - Italy
  • Archaeological garden: [1], [2]
• Tips and Tricks: