[TYPES/announce] Post-doc position at University of Glasgow, UK (PL theory, behavioural types)

e to use established idioms. By doing so we aim to deliver a step change in the engineering of reliable distributed software systems. The project is a collaboration between the University of Glasgow (Professor Simon Gay, Professor Phil Trinder and Dr Simon Fowler), the University of Oxfo

[TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH)

ijnck-Hughes, Cristian Urlea, Adriana Laura Voinea, Wim Vanderbauwhede "Classical Processes in modern dress" Vikraman Choudhury, Simon Gay "Complete Multiparty Session Type Projection with Automata" Felix Stutz "Labelled Tensor Types in Session Based Programming&quo

[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - final CFP

e) Diana Costa (University of Lisbon, Portugal) Simon Gay (University of Glasgow, UK) Luca Padovani (University of Camerino, Italy) Alceste Scalas (Technical University of Denmark) Nobuko Yoshida (University of Oxford, UK) Programme committee Diana Costa (University of Lisbon, Portugal) c

[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP

Castellani (INRIA Sophia Antipolis Méditerranée, France) Diana Costa (University of Lisbon, Portugal) Simon Gay (University of Glasgow, UK) Luca Padovani (University of Camerino, Italy) Alceste Scalas (Technical University of Denmark) Nobuko Yoshida (University of Oxford, UK) Programme committee D

[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - CFP

Castellani (INRIA Sophia Antipolis Méditerranée, France) Diana Costa (University of Lisbon, Portugal) Simon Gay (University of Glasgow, UK) Luca Padovani (University of Camerino, Italy) Alceste Scalas (Technical University of Denmark) Nobuko Yoshida (University of Oxford, UK) Programme committee D

[TYPES/announce] Postdoc position on session types for Erlang, University of Glasgow

to allow developers to continue to use established idioms. By doing so we aim to deliver a step change in the engineering of reliable distributed software systems. The project is a collaboration between the University of Glasgow (Professor Simon Gay and Professor Phil Trinder), Imperial College Lond

[TYPES/announce] Research Post in Session Types for Erlang at University of Glasgow, UK

/__;!!IBzWLUs!Fu1fb2pbqH8MvM1tgijq0XWGbKGCyJv-14oSkFa9qmfxv8TGYg6vWLJijHCYTooNdZTlmXArtI4PqA$ Full details below, Simon Gay = University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate

Re: [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland

;!!IBzWLUs!EA9riUAPC26JMnMljKkcqIGGp1S_froitFvaxNRG7aGpGIllGceEQPGUnJDvmXU0xBoJLoTt31uCcw$ Simon Gay On 13/12/2021 09:12, Simon Gay wrote: University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref: 074049 Grade 6/7: £29,614 - £33,309

[TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland

to allow developers to continue to use established idioms. By doing so we aim to deliver a step change in the engineering of reliable distributed software systems. The project is a collaboration between the University of Glasgow (Professor Simon Gay and Professor Phil Trinder), Imperial College Lond

[TYPES/announce] Academic positions in cybersecurity, University of Glasgow, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Glasgow - School of Computing Science Lecturer/ Senior Lecturer/ Reader in Cybersecurity Salary: Grade 7 (Lecturer) £35,845 - £40,322 Grade 8 (Lecturer) £44,045 - £51,034

[TYPES/announce] Academic job in Programming Language Foundations, University of Glasgow

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Glasgow - School of Computing Science Lecturer/ Senior Lecturer/ Reader in Programming Language Foundations Salary: Grade 7 (Lecturer) £35,845 - £40,322 Grade 8

[TYPES/announce] ICALP 2021 2nd Call for Participation

2021/registration/ for details. === ICALP 2021 Organizing Committee === Simon Gay, Conference Chair Oana Andrei Ornela Dardha Jessica Enright David Manlove Kitty Meeks Alice Miller Gethin Norman Sofiat Olaosebikan Michele Seveg

[TYPES/announce] ICALP 2021: Call for Student Volunteers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICALP 2021 is offering a student volunteer programme which offers free registration in exchange for technical assistance with running the sessions. Please check

[TYPES/announce] ICALP 2021 Call for Participation

ions. Please check http://easyconferences.eu/icalp2021/registration/ for details. === ICALP 2021 Organizing Committee === Simon Gay, Conference Chair Oana Andrei Ornela Dardha Jessica Enright David Manlove Kitty Meeks Alice Miller Gethin No

[TYPES/announce] Post-doc position in Programming Language Foundations at University of Glasgow

Associate to support the research of the Head of School, Professor Simon Gay, by collaboration on topics of mutual interest in the broad area of programming language foundations. The successful candidate will also be expected to contribute to the formulation and submission of research funding

[TYPES/announce] ICALP 2021 - Second Call For Papers

) * Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China) === ICALP 2021 Organizing Committee === Simon Gay, Conference Chair Oana Andrei Ornela Dardha Jessica Enright David Manlove Kitty Meeks Alice

[TYPES/announce] 3-year post-doc in Programming Language Foundations at University of Glasgow

Associate to support the research of the Head of School, Professor Simon Gay, by collaboration on topics of mutual interest in the broad area of programming language foundations. The successful candidate will also be expected to contribute to the formulation and submission of research funding

[TYPES/announce] ICALP 2021 Call for Papers

and Inria, Italy) * Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China) === ICALP 2021 Organizing Committee === Simon Gay, Conference Chair Oana Andrei Ornela Dardha Jessica Enright David Manlove

[TYPES/announce] Lecturer / Senior Lecturer / Reader, University of Glasgow, School of Computing Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Lecturer / Senior Lecturer / Reader (equivalent to assistant / associate professor ) Full-time and open-ended Research and Teaching Grade 7/8/9 Salary £35,845 - £40,322/£44,045 -

[TYPES/announce] Research position / programming languages / University of Glasgow

opers – e.g. warning of potential issues – and to allow developers to continue to use established idioms. By doing so we aim to deliver a step change in the engineering of reliable distributed software systems. The project is a collaboration between the University of Glasgow (Professor Simon Ga

[TYPES/announce] Post-doc position at University of Glasgow, UK - PL foundations / session types

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ This position is of interest to Types subscribers. Simon Gay ] University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref

[TYPES/announce] Post-doc position in Programming Language Theory / Practice, Computing Science, University of Glasgow

he project, please contact Professor Simon Gay <simon@glasgow.ac.uk>. Online advert at jobs.ac.uk: http://www.jobs.ac.uk/job/BHP104/research-assistant-associate/ Online application system: https://www22.i-grasp.com/fe/tpl_glasgow01.asp?newms=jj=94334=14231 Closing date: 12 March 2018

[TYPES/announce] Academic position at University of Glasgow, Scotland (UK)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ For non-UK readers: the position of Lecturer corresponds to Assistant Professor, but note that this is a tenured position. ] University of Glasgow College of Science and Engineering

[TYPES/announce] 2nd International Summer School on Behavioural Types: Final Call

, to Simon Gay (simon@glasgow.ac.uk). If you want to request funding from COST Action IC1201 then please state this in your application. Any enquiries can also be sent to Simon Gay. Important dates --- Application deadline: 8th April Notification of acceptance: 15th April

[TYPES/announce] 2nd International Summer School on Behavioural Types

accommodation. Please send your CV, a statement of your current research topic and your interest in the summer school, and a supporting letter from your PhD supervisor or, in the case of early-career researchers, from a mentor, to Simon Gay (simon@glasgow.ac.uk). If you want to request funding from

[TYPES/announce] PhD studentship in Programming Languages at the University of Glasgow

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Glasgow College of Science and Engineering School of Computing Science Title: Theory, Design and Implementation of Programming Languages Supervisor: Dr Simon Gay A PhD

[TYPES/announce] CFP: PLACES 2015 Workshop

for pre-proceedings: Friday, 13th February 2015 Workshop date: Saturday, 18th April 2015 ** Programme Committee ** Simon Gay, University of Glasgow, UK (co-chair) Jade Alglave, University College London, UK (co-chair) Josh Berdine, Microsoft Research Cambridge, UK Stefan Blom

[TYPES/announce] CFP: PLACES 2015 workshop

: Saturday, 18th April 2015 ** Programme Committee ** Simon Gay, University of Glasgow, UK (co-chair) Jade Alglave, University College London, UK (co-chair) Josh Berdine, Microsoft Research Cambridge, UK Stefan Blom, University of Twente, Netherlands Nathan Chong, University

[TYPES/announce] Summer School on Behavioural Types

interest in the summer school, and a supporting letter from your PhD supervisor or, in the case of early-career researchers, from a mentor, to Simon Gay (simon@glasgow.ac.uk). If you want to request funding from COST Action IC1201 then please state this in your application. Any enquiries can also

[TYPES/announce] First International Summer School on Behavioural Types

researchers, from a mentor, to Simon Gay (simon@glasgow.ac.uk). If you want to request funding from COST Action IC1201 then please state this in your application. Any enquiries can also be sent to Simon Gay. Important dates --- Application deadline: 4th April Notification of acceptance

[TYPES/announce] BEAT II: Final Call For Papers

, Malta) Tihana Galinac Grbac(University of Rijeka, Croatia) Simon Gay (chair) (University of Glasgow, UK) Vaidas Giedrimas(Šiauliai University, Lithuania) Thomas Hildebrandt (IT University of Copenhagen, Demark) Einar Broch Johnsen (University of Oslo, Norway) Georgia

[TYPES/announce] Post-doc positions and PhD studentship in Glasgow

, for more details of the project or advice on PhD applications. Simon Gay University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref: 003919 Grade 6/7: £26,264 - £29,541 / £32,267 - £36,298 per

[TYPES/announce] PLACES 2013 Deadline Extension and Final CFP

Swamy, Microsoft Research, US Wim Vanderbauwhede (co-chair), University of Glasgow, UK Hugo Torres Vieira, Universidade de Lisboa, Portugal Nobuko Yoshida (co-chair), Imperial College London, UK ** Organizing Committee ** Alastair Beresford, University of Cambridge, UK Simon Gay, University

[TYPES/announce] Kohei Honda

of us personally; for our field, in which Kohei was so active; and of course especially for Nobuko. Simon Gay Dr Simon GaySchool of Computing Science Senior Lecturer in Sir Alwyn Williams Building

[TYPES/announce] Final CFP: PLACES 2012

, University of London, UK Simon Gay, University of Glasgow, UK (co-chair) Lee Howes, AMD Paul Kelly, Imperial College London, UK (co-chair) Anton Lokhmotov, ARM David Pearce, Victoria University of Wellington, New Zealand Franz Puntigam, Technical University of Vienna, Austria Nikhil Swamy, Microsoft

[TYPES/announce] PLACES 2012: 2nd Call For Papers

, UK Simon Gay, University of Glasgow, UK (co-chair) Lee Howes, AMD Paul Kelly, Imperial College London, UK (co-chair) Anton Lokhmotov, ARM David Pearce, Victoria University of Wellington, New Zealand Franz Puntigam, Technical University of Vienna, Austria Nikhil Swamy, Microsoft Research, USA Ana

[TYPES/announce] PLACES 2012 Call For Papers

Alastair Donaldson, Imperial College London, UK Stephen Fink, IBM T. J. Watson Research Center, USA Kohei Honda, Queen Mary, University of London, UK Simon Gay, University of Glasgow, UK (co-chair) Lee Howes, AMD Paul Kelly, Imperial College London, UK (co-chair) David Pearce, Victoria University

[TYPES/announce] Lectureship in formal modelling and analysis at University of Glasgow

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] As part of the Scottish Informatics and Computer Science Alliance (SICSA) initiative, there are three vacancies for lecturers in the Department of Computing Science, University of

[TYPES/announce] PLACES'09 Accepted Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ PLACES is an ETAPS workshop. Several of the papers have a type-theoretic dimension. SG ] Accepted papers at PLACES'09 (Programming Language Approaches to Concurrency and

[TYPES/announce] Post-doc position in Glasgow

RESEARCH ASSOCIATE (GRADE 7) £29,139 - £32,796 REF: 13576/DPO/A3 We are seeking to appoint a Research Associate to work on the EPSRC-funded project Engineering Foundations of Web Services: Theories and Tool Support. This is a collaborative project between the University of Glasgow (Dr Simon Gay