[TYPES/announce] ProWeb20: Call for Papers

ission deadline: 15th January 2020 - Author notification: 15th February 2020 - Camera-ready version: 1st May 2020 ** Organizers ** - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland - Simon Fowler, University of Edinburgh, United Kingdom ** Program Committee ** - Saba Alimadadi, Simon

[TYPES/announce] ProWeb20: Final call for contributions

deadline: 15th January 2020 - Author notification: 15th February 2020 - Camera-ready version: 1st May 2020 ** Organizers ** - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland - Simon Fowler, University of Edinburgh, United Kingdom ** Program Committee ** - Saba Alimadadi, Simon

[TYPES/announce] ProWeb21 Call for Contributions

: 1st March 2021 - Camera-ready version: 1st May 2021 ** Organizers ** - Simon Fowler, University of Glasgow, Scotland, United Kingdom - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland

[TYPES/announce] ProWeb21: Deadline Extension (8th February)

March 2021 - Camera-ready version: 1st May 2021 ** Organizers ** - Simon Fowler, University of Glasgow, Scotland, UK - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland ** Program Committee ** - Andrea Gallidabino (USI Lugano, Switzerland) - Daniel Hillerström (University

[TYPES/announce] CfP: 16th Interaction and Concurrency Experience (ICE 2023)

...@math.cnrs.fr * Cinzia Di Giusto (Université Côte d’Azur, CNRS, FR) - cinzia.di-giu...@unice.fr * Simon Fowler (University of Glasgow, GB-SCT) - simon.fow...@glasgow.ac.uk * Larisa Safina (Inria, FR) - larisa.saf...@inria.fr === PROGRAM COMMITTEE === * Duncan Paul Attard (University

[TYPES/announce] 2nd CfP: 16th Interaction and Concurrency Experience (Revised deadlines & invited speaker)

and in preparation special issues of previous ICE editions is reported on the ICE website. === ICECREAMERS (PC co-chairs) === * Clément Aubert (Augusta University, USA) - aub...@math.cnrs.fr * Cinzia Di Giusto (Université Côte d’Azur, CNRS, FR) - cinzia.di-giu...@unice.fr * Simon Fowler (University

[TYPES/announce] PhD Studentships in PL at the University of Glasgow (Deadline: 31st July 2023)

$ For applicants wishing to research PL, this round of studentships is available for students wishing to study with Dr Blair Archibald or Dr Simon Fowler. Applicants will typically have a BSc (2:1 or above) or MSc in Computing Science, and will have had some exposure to the field of programming languages