Emilio’s web page. Welcome!

Supporting FoCo@UoL

Please sign this petition to support the group of foundation of computing of the University of Leicester: the management of the University is trying to invest in AI at the expenses of research in the foundation of computer science.

Former members of the school (including me) have signed this public letter.

Hiring: 2-years Post-doc position at GSSI

The call is here. We’re looking for a postdoc funded by the It-Matters project. If interested, get in touch with Luca Aceto, or with Omar Inverso, or else with me.

Please sign this petition…it’s almost certainly in your own interest

Highlights Recent talks Details Supporing FoCo@UoL: petition Supporing FoCo@UoL: public letter BehAPI IT-Matters ChorGram ICE-TCS / GSSI seminars Supporting Frontiers Take also a look at this TEDx talk ASYDE 2020 September 15, 2020 Invited talk at ASYDE 2020. DisCoTec 2020 June 15, 2020 An invited tutorial at DisCoTec 2020. COORDINATION 2020 June 16, 2020 A presentation at COORDINATION 2020. FCUL/NOVA February 26, 2020 I gave this talk at FCUL (14/2) and NOVA (26/2). Associate Professor Gran Sasso Science Institute Viale F. Crispi, 7 67100 L'Aquila (Italy) Office: Palazzo Mariani P1-N Office Hours: always keen to meet; just drop me an email to fix a meeting. email ['.'/'dot'] +39 0862 428 0312

Ongoing teaching

• About to introduce a few core modules for next term
• Immigration course on FM: the material is on ‘classroom’

News about eM February 15, 2021: Support my former colleagues at UoL January 26, 2021: PRINing is over January 14, 2021: 1st msg of the year! PRINing. Happy 2021 December 15, 2020: the LMCS volume for the special issue of COORDINATION 2019 is now available December 07, 2020: Working on a project application and a couple of papers November 18, 2020: We'll be soon hiring: 2-years post-doc! November 18, 2020: The paper on PomCho is online! November 13, 2020: Last lecture of the FM immigration course done...it has been cool November 13, 2020: JLAMP paper on (de)composition of global types published November 12, 2020: The wrestlilng with the Italian abilitation process is overvlc /tmp/zoom_0.mp4 !	Events DisCoTec 2021 (deadline: Abstract 3/2/21 & paper 23/4/21) CONCUR 2021 ECOOP (deadline: 11/01/21) ICALP (deadline: 12/02/21) LICS (deadline: 25/01/21) ICE 2021 ISoLA ASYDE 2020	Fun & not so fun stuff Phil’s Rogaway insightful lament about CS & societies Globalisation and research…be careful Italian research is not so bad after all This video is somehow related to research Having fun with regex Frustrated authors Another one about peer reviewing… Lectures on Marx’s Capital V. 1 by David Harvey