Dear all,

following the extremely fruitful meeting in Zurich, here is the revision of the proposed document. A few anticipations about the content:
You can directly interact with the LaTeX document if you like, though the pdf is attached as well.

The LaTeX document is available on a specific collaboration platform: www.writeLatex.com. It is possible to update the document, but I ask you to follow these simple instruction, to avoid to lose the control of the document. If you want to add a note, please use the \rem command, whose usage is described by the following example:

\rem{Augusto Ciuffoletti}{My comment goes here}

placed near the sentence you want to comment. A footnote will be generated ("My comment goes here"), signed with your id ("Augusto Ciuffoletti").

You can access the document here https://www.writelatex.com/26835vgbcrc without authentication needed. The browser window is divided into two parts: on one side you can edit the source, on the other you see the updated document view. You can also download the pdf or a zip of the current state of the document. There is no "revision history", so it is impossible to "undo" a change.
 
Augusto

--
Augusto Ciuffoletti
Dipartimento di Informatica
Università di Pisa
56100 - Pisa (Italy)