Il corso di Fondamenti e Linguaggi per la Programmazione Distribuita ha lo scopo di introdurre gli studenti ai fondamenti della programmazione distribuita ed a rilevanti linguaggi concorrenti e distribuiti non affrontati in altri corsi di programmazione e basati su paradigmi computazionali non imperativi. Nel corso prestera' particolare attenzione alle potenzialita' della nozione di Tipo in contesti concorrenti.