Professional Activities and Attended Events

Back to my homepage

If you have problems when downloading/reading the files in this page, please contact me; I will answer you as soon as possible!!

Professional Activities:

Visiting fellow at the Faculty of Engineering and Information of the university of Technology Sydney (Australia) in September - October 2010;
PC member of "CONCUR'10: the 21st conference on Concurrency Theory";
Invited tutorial at the workshop Qualitative and Quantitative Network Protocol Analysis, organized at Dagstuhl in Febraury 2010;
Invited lecturer in the international school BASICS’09, organized by the University of Shanghai in October 2009;
PC co-chair and organizer of the 16th workshop "EXPRESS'09: Expressiveness in Concurrency", co-located with CONCUR'09;
PC member of the 25th conference "MFPS XXV: Mathematical Foundations of Programming Semantics";
PC co-chair and organizer of the 15th workshop "EXPRESS'08: Expressiveness in Concurrency", co-located with CONCUR'08;
PC member of the workshop "PLID'08: Programming Language Interference and Dependence", co-located with SAS'08;
Visiting professor at the laboratory Preuves, Programmes et Systèmes (PPS) of the university “Paris Diderot” (Paris VII) in February 2008;
PC co-chair and organizer of the workshop "SecCo'07: Security Issues in Concurrency", co-located with CONCUR'07;
PC member and panelist of the workshop "EXPRESS'07: Expressiveness in Concurrency", co-located with CONCUR'07;
Invited speaker at the 1st Inter. Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'03);
Guest editor:
- Journal of Mathematical Structures in Computer Science, special issue on EXPRESS'09 (in preparation);
- Electronic Proceedings in Theoretical Computer Science (vol. 8), containing the proceedings of EXPRESS'09;
- Journal of Mathematical Structures in Computer Science (vol. 20, issue 1), special issue on EXPRESS'08;
- Electronic Notes in Theoretical Computer Science (vol. 242, issue 1), containing the proceedings of EXPRESS'08;
- Journal of Computer Security (vol. 18, issue 1), special issue on SecCo'07;
- Electronic Notes in Theoretical Computer Science (vol. 194, issue 1), containing the proceedings of SecCo'07.
Referee for the following journals: Theoretical Informatics and Applications, Bullettin EATCS, ACM TOPLAS, Acta Informatica, Information and Computation, Journal of Logic and Algebraic Programming, Theoretical Computer Science, International Journal of Foundations of Computer Science, Journal of Computer Security, Mathematical Structures in Computer Science, Nordic Journal of Computing, ACM Computing Surveys;
Referee for the following conferences/workshops: FST&TCS'02, ACM SAC'03, Foundations of Global Computing Workshop (2003), COORDINATION'04, CONCUR'04, FoSSaCS'05, COORDINATION'05, CSFW'05, CONCUR'05, EXPRESS'05, SECCO'05, ESOP'06, CSFW'06, COORDINATION'06, LICS'06, COORDINATION'07, CONCUR'07, EXPRESS'07, SECCO'07, FoSSaCS'08, COORDINATION'08, ICALP'08, ICLP’08, PerCom’09, ESOP’09, CONCUR'09, ESOP’10, FoSSaCS’10, CIAC’10.

Seminars:

at the Ecole polytechnique (Paris - France) and PPS at Paris VII (Paris - France): "Towards a unified approach to encodability and separation results for process calculi", February 2008;
at the Imperial college (London - UK), Ecole polytechnique (Paris - France) and PPS at Paris VII (Paris - France): "Comparing calculi for mobility via their relative expressive power", March 2007;
at the Ecole polytechnique (Paris - France): "Comparing communication primitives via their relative expressive power", March 2006;
at the department of Informatics, Univ. of Sussex (UK): "A Distributed Calculus for Role-Based Access Control", May 2004;
at the University of Milano: "Access Control in a Language with Distribution and Code Mobility", November 2002.

Ufficial Events:

Dagstuhl Workshop on "Qualitative and Quantitative Network Protocol Analysis", organized at Dagstuhl in Febraury 2010 (see the web page);
16th Workshop on Expressiveness in Concurrency (EXPRESS'09) held in Bologna (Italy), September 2009 (see the web page);
25th Conference on Mathematical Foundations of Programming Semantics (MFPS XXV) held in Oxford (UK), April 2009 (see the web page);
4th Symposium on Teustworthy Global Computing (TGC'08) held in Barcelona (Spain), November 2008 (see the web page);
15th Workshop on Expressiveness in Concurrency (EXPRESS'08) held in Toronto (Canada), August 2008 (see the web page);
19th Conference on Concurrency Theory (CONCUR'08) held in Toronto (Canada), August 2008 (see the web page);
14th Workshop on Expressiveness in Concurrency (EXPRESS'07) held in Lisbon (Portugal), September 2007 (see the web page);
5th Workshop on Security Issues in Concurrency (SecCo'07) held in Lisbon (Portugal), September 2007 (see the web page);
Symposium on "Emerging Trends in Concurrency" held in Paris (France), November 2006 (see the web page);
13th Workshop on Expressiveness in Concurrency (EXPRESS'06) held in Bonn (Germany), August 2006 (see the web page);
9th European Joint Conferences on Theory and Practice of Software (ETAPS'06) held in Wien (Austria), April 2006 (see the web page);
32nd International Colloquim on Automata, Languages and Programming (ICALP'05) held in Lisboa (Portugal), June 2005 (see the web page);
7th Int. Conf. on Cordination Models and Languages (COORDINATION'05), held in Namur (Belgium), April 2005. (see the web page);
Foundations of Global Computing, seminar held in Dagstuhl (Germany), February 2005. (see the web page);
PhD defense, held in Florence (Italy), February 2005;
Foundations of Global Ubiquitous Computing Workshop (FGUC 2004) affiliated to CONCUR'04, held in London (UK), September 2004. (see the web page);
17th IEEE Computer Security Foundations Workshop (CSFW 2004) held in Pacific Grove (California - USA), June 2004. (see the web page);
The 2004 International Summer School on Software Security held in Eugene (Oregon - USA), June 2004 (see the web page);
Myths/Mykado/Dart joint Workshop held in Venice (IT), June 2004 (see the web page);
19th Annual ACM-SIGAPP Symposium on Applied Computing (SAC 2004) held in Nycosia (Cyprus), March 2004. (see the web page);
6th Int. Conf. on Coordination Models and Languages (COORDINATION'04) held in Pisa (Italy), February 2004. (see the web page);
Final NAPOLI Workshop held in Pisa (Italy), December 2003;
Three Months "Marie Curie" Fellowship spent in Brighton (UK), July-August-September 2003;
30th International Colloquim on Automata, Languages and Programming (ICALP'03) held in Eindhoven (Netherlands), June 2003 (see the web page);
2nd EATCS Workshop on Foundations of Global Computing (FGC'03) Affiliated to ICALP'03, June 2003 (see the web page);
1st International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'03) Affiliated to ICALP'03, June 2003 (see the web page);
Mykado/Myths joint Workshop held in Brighton (UK), June 2003 (see the web page);
1st International Conference on Security in Pervasive Computing (SPC'03) held in Boppard (Germany), March 2003 (see the web page);
"Types for Global Computing" Workshop held in Paris (France), January 2003 (see the web page);
1st Plenary MIKADO Workshop held in Florence (Italy), December 2002 (see the web page);
2nd AGILE Workshop held in Frauenchiemsee (Germany), September 2002. (see the web page);
3rd NAPI Workshop: MS Highwire held in Bologna (Italy), September 2002 (see the web page);
The 2002 Marktoberdorf International Summer School on Models, Algebras, and Logic of Engineering Software held in Marktoberdorf (Germany), August 2002 (see the web page);
1st NAPOLI Workshop held in Pisa (Italy), July 2002;
The 2002 Bertinoro International Summer School for Graduate Studies in Computer Science held in Bertinoro (Italy), May 2002 (see the web page);
5th European Joint Conferences on Theory and Practice of Software (ETAPS'02) held in Grenoble (France), April 2002 (see the web page);
Microsoft DotNet Crash Course held in Cambridge (UK), March 2002 (see the web page);
2nd NAPI Workshop held in San Miniato (Italy), February 2002 (see the web page).

Back to my homepage