[TYPES/announce] Post-doc position at University of Glasgow, UK (PL theory, behavioural types)
[ 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 Research Assistant / Associate Ref: 037408 Grade 6/7: £32,332 - £36,024 / £39,347 - £44,263 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems" (https://urldefense.com/v3/__https://epsrc-stardust.github.io/__;!!IBzWLUs!QjRFFiqaFuzZn7F8rXiErjIM2p_9xY6CwCMI-43nKESM0La6PtiMGVvBS9JslhIeRKrVKoAwpbYwCmyzeCVa7RHWj1-yJrMSO9Dr4jc$ ). The position is available from 1st June 2024 (or a date to be agreed) to 31st July 2026. The position is based in Glasgow, and working in the office at least three days per week is expected. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – 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 Gay, Professor Phil Trinder and Dr Simon Fowler), the University of Oxford (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services. *Principal Duties* The main achievement so far of the Glasgow part of the STARDUST project is the development of mailbox typing for a core actor language, published at ICFP 2023 (https://urldefense.com/v3/__https://simonjf.com/writing/pat.pdf__;!!IBzWLUs!QjRFFiqaFuzZn7F8rXiErjIM2p_9xY6CwCMI-43nKESM0La6PtiMGVvBS9JslhIeRKrVKoAwpbYwCmyzeCVa7RHWj1-yJrMSiYaF2Ek$ ). Mailbox types characterise the unordered contents of mailboxes and allow static detection of a range of errors related to the production and consumption of messages. The successful candidate will be responsble for further theoretical work on mailbox typing, in parallel with and in support of ongoing work on the design and implementation of a mailbox typing tool for Erlang/Elixir. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of behavioural types. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. The successful applicant will be part of the FATA Section and the Programming Languages Theme. FATA is a large, friendly, and active research group in theoretical computer science, including algorithms and complexity, programming language foundations and formal methods. The Programming Languages Theme comprises researchers intere
[TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30) https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!S3vZznm17P0ZgX8NrInT3hpmWjWRe7Hmj890M0lyNKkV0wHmpIgMhq1N0PaMDLhgxRZtl57lNHKqUPfnBQCoQKDWYk3puLITX8q13eU$ Affiliated with SPLASH 2023, Cascais, Portugal 22nd & 23rd October 2023 Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with "session types" in the title, and most programming language conferences now include several papers on session types each year. In terms of the technical focus, there have been continuing theoretical developments (notably the generalisation from two-party to multi-party session types by Honda, Yoshida and Carbone in 2008, and the development of a Curry-Howard correspondence with linear logic by Caires and Pfenning in 2010) and a variety of implementations of session types as programming language extensions or libraries, covering (among others) Haskell, OCaml, Java, Scala, Rust, Python, C#, Go. The workshop will celebrate 30 years of session types, present current research, and discuss future directions. KEYNOTE SPEAKER Nobuko Yoshida Christopher Strachey Professor of Computer Science University of Oxford, UK PANEL DISCUSSION "Future Directions for Session Types" Stephanie Balzer, Carnegie Mellon University, USA Luis Caires, Technical University of Lisbon, Portugal Ornela Dardha, University of Glasgow, UK Raymond Hu, Queen Mary University of London, UK CONTRIBUTED TALKS "A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes" Dimitrios Kouzapas, Demetrios G. Eliades, Christos Panayiotou "A silent semantics for isorecursive session types" Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos "Asynchronous and Synchronous Mixed Sessions" Kirstin Peters, Nobuko Yoshida "Behavioural up/down casting for statically typed languages" Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, Antonio Ravara "Benchmarks for Multiparty Session Types" Martin Vassor, Nobuko Yoshida "CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types" Jan de Muijnck-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" Luís Caires "Mechanising Multiparty Session Types: A Sound and Complete Projection" Marco Carbone "Multiparty Reactive Sessions" Ilaria Castellani, Cinzia Di Giusto, Jorge A. Pérez "Session-Based Typechecking for Elixir Modules Using ElixirST" Adrian Francalanza, Gerard Tabone "So what's the difference between a session type and an ordinary type anyway?" Frank Pfenning "The Concurrent Calculi Formalisation Benchmark" Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Martin Vassor, Nobuko Yoshida "The Expressiveness of Session Types" Jorge A. Pérez "Towards Session-Typed Consensus" Matthew Alan Le Brun, Ornela Dardha "Using Event Structures to model Multiparty Session Types: results and open problems" Ilaria Castellani, Paola Giannini "What we learned from writing a book about session types" Simon Gay, Vasco T. Vasconcelos ORGANISING COMMITTEE Marco Carbone (IT University of Copenhagen, Denmark) Ilaria 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 Diana Costa (University of Lisbon, Portugal) co-chair Ornela Dardha (University of Glasgow, UK) Mariangiola Dezani-Ciancaglini (University of Torino, Italy) Simon Gay (University of Glasgow, UK) co-chair Sung-Shik Jongmans (Open University of the Netherlands) Wen Kokke (Strathclyde University, UK) Rumyana Neykova (Brunel University, UK) Jorge Perez (University of Groningen, Netherlands) Kirstin Peters (University of Augsburg, Germany) Frank Pfenning (Carnegie Mellon University, USA) António Ravara (Universidade Nova de Lisboa and NOVA LINCS, Portugal) Peter Thiemann (University of Freiburg, Germany) Bernardo Toninho (Universidade Nova de Lisboa and NOVA LINCS, Portugal)
[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - final CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30) https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!QPJxtTmuOA-I_b7H0Bu97S62cdE2qyOALGowfXjTQAOV1oLjsCEu1RmK4HZwoaHsccv-yP2yA1IVbXgEgBPW6Qzxqt_AtPAwEakkroo$ Affiliated with SPLASH 2023, Cascais, Portugal 22nd & 23rd October 2023 Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with "session types" in the title, and most programming language conferences now include several papers on session types each year. In terms of the technical focus, there have been continuing theoretical developments (notably the generalisation from two-party to multi-party session types by Honda, Yoshida and Carbone in 2008, and the development of a Curry-Howard correspondence with linear logic by Caires and Pfenning in 2010) and a variety of implementations of session types as programming language extensions or libraries, covering (among others) Haskell, OCaml, Java, Scala, Rust, Python, C#, Go. We invite submissions to a workshop celebrating 30 years of session types. Submissions can be about any aspect of session types, including but not limited to the topics listed above. The programme will include invited talks, contributed talks, software demonstrations and a panel session. We call for three types of submission: - Research papers with a maximum length of 8 pages (excluding bibliography and appendices). Submitted research papers will be reviewed for novelty, clarity and technical soundness. They must not be submitted simultaneously for publication in other venues. Accepted research papers will appear in the workshop proceedings. - Talk proposals with a maximum length of 2 pages (excluding bibliography and appendices). Talk proposals can be for presentation of ongoing work, or for presentation of work that has already been published elsewhere. Proposals will be reviewed based on their likely interest as contributions to the workshop. Accepted talks will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. - Demo proposals with a maximum length of 2 pages (excluding bibliography and appendices). Demo proposals can be for any programming language, library, tool or other software that is based on session types. Accepted demos will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. Submissions must be formatted in EPTCS style and the proceedings will be published in EPTCS. Submission link: https://urldefense.com/v3/__https://easychair.org/my/conference?conf=st30__;!!IBzWLUs!QPJxtTmuOA-I_b7H0Bu97S62cdE2qyOALGowfXjTQAOV1oLjsCEu1RmK4HZwoaHsccv-yP2yA1IVbXgEgBPW6Qzxqt_AtPAwG74XDoc$ Keynote speaker Nobuko Yoshida, University of Oxford, UK Important dates Abstract registration deadline: 7 July 2023, AoE Submission deadline: 12 July 2023, AoE Notification: 18 August 2023 Final versions for the proceedings: 10 September 2023 Organising committee Marco Carbone (IT University of Copenhagen, Denmark) Ilaria 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 Diana Costa (University of Lisbon, Portugal) co-chair Ornela Dardha (University of Glasgow, UK) Mariangiola Dezani-Ciancaglini (University of Torino, Italy) Simon Gay (University of Glasgow, UK) co-chair Sung-Shik Jongmans (Open University of the Netherlands) Wen Kokke (Strathclyde University, UK) Rumyana Neykova (Brunel University, UK) Jorge Perez (University of Groningen, Netherlands) Kirstin Peters (University of Augsburg, Germany) Frank Pfenning (Carnegie Mellon University, USA) António Ravara (Universidade Nova de Lisboa and NOVA LINCS, Portugal) Peter Thiemann (University of Freiburg, Germany) Bernardo Toninho (Universidade Nova de Lisboa and NOVA LINCS, Portugal)
[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30) https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!W61Yj5vDnTOIWOovpk0pfoRSeW0vhB5ndcNlK_VuUk7wGBdtjX0z6i2kxB66L-SU3A6h7ht-cwilQ00SKtN5xhHGrncRVNa9ofS5JOA$ Affiliated with SPLASH 2023, Cascais, Portugal Dates to be confirmed within 22-27 October 2023 Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with "session types" in the title, and most programming language conferences now include several papers on session types each year. In terms of the technical focus, there have been continuing theoretical developments (notably the generalisation from two-party to multi-party session types by Honda, Yoshida and Carbone in 2008, and the development of a Curry-Howard correspondence with linear logic by Caires and Pfenning in 2010) and a variety of implementations of session types as programming language extensions or libraries, covering (among others) Haskell, OCaml, Java, Scala, Rust, Python, C#, Go. We invite submissions to a workshop celebrating 30 years of session types. Submissions can be about any aspect of session types, including but not limited to the topics listed above. The programme will include invited talks, contributed talks, software demonstrations and a panel session. We call for three types of submission: - Research papers with a maximum length of 8 pages (excluding bibliography and appendices). Submitted research papers will be reviewed for novelty, clarity and technical soundness. They must not be submitted simultaneously for publication in other venues. Accepted research papers will appear in the workshop proceedings. - Talk proposals with a maximum length of 2 pages (excluding bibliography and appendices). Talk proposals can be for presentation of ongoing work, or for presentation of work that has already been published elsewhere. Proposals will be reviewed based on their likely interest as contributions to the workshop. Accepted talks will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. - Demo proposals with a maximum length of 2 pages (excluding bibliography and appendices). Demo proposals can be for any programming language, library, tool or other software that is based on session types. Accepted demos will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. Submissions must be formatted in EPTCS style. We intend the proceedings to be published in EPTCS. Important dates Abstract registration deadline: 7 July 2023, AoE Submission deadline: 12 July 2023, AoE Notification: 18 August 2023 Final versions for the proceedings: 10 September 2023 Organising committee Marco Carbone (IT University of Copenhagen, Denmark) Ilaria 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 Diana Costa (University of Lisbon, Portugal) co-chair Ornela Dardha (University of Glasgow, UK) Mariangiola Dezani-Ciancaglini (University of Torino, Italy) Simon Gay (University of Glasgow, UK) co-chair Sung-Shik Jongmans (Open University of the Netherlands) Wen Kokke (Strathclyde University, UK) Rumyana Neykova (Brunel University, UK) Jorge Perez (University of Groningen, Netherlands) Kirstin Peters (University of Augsburg, Germany) Frank Pfenning (Carnegie Mellon University, USA) António Ravara (Universidade Nova de Lisboa and NOVA LINCS, Portugal) Peter Thiemann (University of Freiburg, Germany) Bernardo Toninho (Universidade Nova de Lisboa and NOVA LINCS, Portugal)
[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30) https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!WWB8agwnL4rzoqlKqN4YqYXXEl38QlsYNICmyheLYP_I25taKlpAfBsm6bm9Tr23hhhWbovjJnnxLg83FhV4TwYgBx6kz_LCZWUZAZs$ Affiliated with SPLASH 2023, Cascais, Portugal Dates to be confirmed within 22-27 October 2023 Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with "session types" in the title, and most programming language conferences now include several papers on session types each year. In terms of the technical focus, there have been continuing theoretical developments (notably the generalisation from two-party to multi-party session types by Honda, Yoshida and Carbone in 2008, and the development of a Curry-Howard correspondence with linear logic by Caires and Pfenning in 2010) and a variety of implementations of session types as programming language extensions or libraries, covering (among others) Haskell, OCaml, Java, Scala, Rust, Python, C#, Go. We invite submissions to a workshop celebrating 30 years of session types. Submissions can be about any aspect of session types, including but not limited to the topics listed above. The programme will include invited talks, contributed talks, software demonstrations and a panel session. We call for three types of submission: - Research papers with a maximum length of 8 pages (excluding bibliography and appendices). Submitted research papers will be reviewed for novelty, clarity and technical soundness. They must not be submitted simultaneously for publication in other venues. Accepted research papers will appear in the workshop proceedings. - Talk proposals with a maximum length of 2 pages (excluding bibliography and appendices). Talk proposals can be for presentation of ongoing work, or for presentation of work that has already been published elsewhere. Proposals will be reviewed based on their likely interest as contributions to the workshop. Accepted talks will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. - Demo proposals with a maximum length of 2 pages (excluding bibliography and appendices). Demo proposals can be for any programming language, library, tool or other software that is based on session types. Accepted demos will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. Submissions must be formatted in EPTCS style. We intend the proceedings to be published in EPTCS. Important dates Abstract registration deadline: 7 July 2023, AoE Submission deadline: 12 July 2023, AoE Notification: 18 August 2023 Final versions for the proceedings: 10 September 2023 Organising committee Marco Carbone (IT University of Copenhagen, Denmark) Ilaria 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 Diana Costa (University of Lisbon, Portugal) co-chair Ornela Dardha (University of Glasgow, UK) Mariangiola Dezani-Ciancaglini (University of Torino, Italy) Simon Gay (University of Glasgow, UK) co-chair Sung-Shik Jongmans (Open University of the Netherlands) Wen Kokke (Strathclyde University, UK) Rumyana Neykova (Brunel University, UK) Jorge Perez (University of Groningen, Netherlands) Kirstin Peters (University of Augsburg, Germany) Frank Pfenning (Carnegie Mellon University, USA) António Ravara (Universidade Nova de Lisboa and NOVA LINCS, Portugal) Peter Thiemann (University of Freiburg, Germany) Bernardo Toninho (Universidade Nova de Lisboa and NOVA LINCS, Portugal)
[TYPES/announce] Postdoc position on session types for Erlang, 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 Research Assistant / Associate Ref:077847 Grade 6/7: £29,614 - £33,309 / £36,382 - £40,927 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems". The project is funded until 30th September 2024 and the position is available from 1st May 2022. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – 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 Gay and Professor Phil Trinder), Imperial College London (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services. *Principal Duties* The successful candidates will be responsible for conducting research into the theory and practice of session types for actor languages, and for evaluating programming language designs and implementations in relation to realistic case studies provided by the industrial collaborators. The main line of work in Glasgow is the development of a session type system for Erlang. The first phase of the project has produced a session type system for a higher-order actor-based functional calculus, with a prototype implementation. The next phase will transfer these theoretical results into a session type system for Erlang, implemented as either a language extension or an external tool. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of session types. Experience with the theory and implementation of type systems in general is more important than specific knowledge of session types or actor languages. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. Information about the Programming Language research theme at the University of Glasgow: https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/resear
[TYPES/announce] Research Post in Session Types for Erlang at University of Glasgow, UK
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] An opportunity to do research into developing session types and associated tools for Erlang as part of the STARDUST project: https://urldefense.com/v3/__https://epsrc-stardust.github.io/__;!!IBzWLUs!Fu1fb2pbqH8MvM1tgijq0XWGbKGCyJv-14oSkFa9qmfxv8TGYg6vWLJijHCYTooNdZTlmXArtI4PqA$ Full details below, Simon Gay = University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref:077847 Grade 6/7: £29,614 - £33,309 / £36,382 - £40,927 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems". The project is funded until 30th September 2024 and the position is available from 1st May 2022. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – 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 Gay and Professor Phil Trinder), Imperial College London (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services. *Principal Duties* The successful candidates will be responsible for conducting research into the theory and practice of session types for actor languages, and for evaluating programming language designs and implementations in relation to realistic case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of session types. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. Information about the Programming Language research theme at the University of Glasgow: https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!Fu1fb2pbqH8MvM1tgijq0XWGbKGCyJv-14oSkFa9qmfxv8TGYg6vWLJijHCYTooNdZTlmXDshwkHRg$ *Coronavirus / COVID-19* Considering the current travel rest
Re: [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I'm sorry, the link to the advert and job application system should be: https://urldefense.com/v3/__https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=074049__;!!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 / £36,382 - £40,927 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems". The project is funded until 30th September 2024 and the position is available from 1st May 2022. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – 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 Gay and Professor Phil Trinder), Imperial College London (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services. *Principal Duties* The successful candidates will be responsible for conducting research into the theory and practice of session types for actor languages, and for evaluating programming language designs and implementations in relation to realistic case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of session types. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. Information about the Programming Language research theme at the University of Glasgow: https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!EA9riUAPC26JMnMljKkcqIGGp1S_froitFvaxNRG7aGpGIllGceEQPGUnJDvmXU0xBoJLoSglFCL9A$ *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remot
[TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland
[ 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 Research Assistant / Associate Ref:074049 Grade 6/7: £29,614 - £33,309 / £36,382 - £40,927 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems". The project is funded until 30th September 2024 and the position is available from 1st May 2022. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – 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 Gay and Professor Phil Trinder), Imperial College London (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services. *Principal Duties* The successful candidates will be responsible for conducting research into the theory and practice of session types for actor languages, and for evaluating programming language designs and implementations in relation to realistic case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of session types. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. Information about the Programming Language research theme at the University of Glasgow: https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!B-BdiIRqF-DoPBSKQ-jjcD3RGvFSx63pifNxg5ezRtTWMBfbTvG62N52OFbkZfTrznKNKP8E5IYvJw$ *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remotely if necessary. We will also be flexible about the starting date and working practices. *Further information* For informal enquiries or further information about the project, please contact Professor Simon Gay or Professor Phil Trinder . *Application details* Glasgow University online application system: https://urlde
[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 Grade 9 (Senior Lecturer / Reader) £52,560 - £59,135 per annum. The University of Glasgow, established in 1451, is a member of the UK's Russell Group of leading universities. The University is committed to enhancing its position as one of the world's great broad-based research-intensive universities. The School of Computing Science invites applications for the post of Lecturer / Senior Lecturer / Reader (based on experience and qualifications) in Cybersecurity. We are particularly interested in applicants with outstanding achievements in areas covering embedded and networked systems security and resilience, operating systems security, hardware security, data privacy, and cryptography. Applicants with expertise in formal approaches to security, including programming language approaches, are welcome. We have a long-standing record in areas spanning topics related to the security and resilience of networked systems, and the security and safety for Cyber-Physical Systems (CPS). We have expanded our portfolio into hardware security, software verification, IoT privacy as well as human-centered and usable security. We are currently hosting two out of the nine projects funded nationally by the UKRI digital security by design Industrial Strategy Challenge Fund (ISCF) in 2020 to explore hardware capabilities in designing secure systems. We have also recently been awarded five out of a total of eighteen projects from the 2nd Strategic Research Fund (SRF) Funding Call of the PETRAS National Centre of Excellence for IoT Systems Cybersecurity. We are hosting the Cyber Defence Lab, a unique laboratory facility providing exclusive access to a set of safety-critical network infrastructures, hosting data from digital twins of several UK critical infrastructures. You will develop, lead and sustain research of international standard in Computing Science; contribute to teaching, assessment, project supervision, and curriculum design at undergraduate and postgraduate levels; and participate in School management and organisation. For appointment at Reader you will have an outstanding track record of national and international distinction and leadership in research, including publications, income and awards, bringing external recognition and distinction to yourself and the University. Two positions are available. These positions are equivalent to US tenure track Assistant or Associate Professor. For further details please visit: https://urldefense.com/v3/__https://www.flipsnack.com/UofGRecruitment/lslr-in-cybersecurity-063667.html__;!!IBzWLUs!FM3O4BKycMScH-tQlob9HOYD2pF5Y1XR1idL3_Xvc8k9uez2btxYFSAH7HN_S2cU_pM16c5YgTmV-Q$ We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. We particularly welcome applications from women and other groups who are traditionally under-represented in Computing Science.
[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 (Lecturer) £44,045 - £51,034 Grade 9 (Senior Lecturer / Reader) £52,560 - £59,135 per annum. The University of Glasgow, established in 1451, is a member of the UK's Russell Group of leading universities. The University is committed to enhancing its position as one of the world's great broad-based research-intensive universities. Applications for the post are welcome in the area of Programming Language Foundations. Research in this area is situated within the Formal Analysis, Theory and Algorithms (FATA) Section and the Programming Languages Theme (https://urldefense.com/v3/__http://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!GRaKX9b4_HiLLGge8oOWfxclC_jy3OMPTz5Ouu2HoX6cOB9OW0QCrXQDyxvE5qu7pt8J52SEk1-dpg$ ) of the School of Computing Science. Current topics include programming language semantics and type systems, session types for concurrent and distributed systems, mechanised metatheory for programming languages, and quantum programming languages. A broader context is provided by collaboration with the Glasgow Systems Section (GLASS) on topics including actor languages, runtime systems, automatic parallelisation, and digital security by design. We also run the Programming Languages at University of Glasgow (PLUG) seminar series, participate in the Scottish Programming Languages Seminar (SPLS), contribute to the Scottish Programming Languages and Verification Summer School, and collaborate Europe-wide in the Behavioural API (BehAPI) network. The postholder will develop, lead and sustain research of international standard in Computing Science; contribute to teaching, assessment, project supervision and curriculum design at undergraduate and postgraduate levels; and participate in School management and organisation. For appointment at Reader you will have an outstanding track record of national and international distinction and leadership in research, including publications, income, and awards, bringing external recognition and distinction to yourself and the University. This position is equivalent to US tenure track Assistant or Associate Professor. For further details please visit: https://urldefense.com/v3/__https://www.flipsnack.com/UofGRecruitment/lslr-in-programming-language-foundations-063787.html__;!!IBzWLUs!GRaKX9b4_HiLLGge8oOWfxclC_jy3OMPTz5Ouu2HoX6cOB9OW0QCrXQDyxvE5qu7pt8J52Tgqq9sDA$ https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CII151/lecturer-senior-lecturer-reader-in-programming-language-foundations__;!!IBzWLUs!GRaKX9b4_HiLLGge8oOWfxclC_jy3OMPTz5Ouu2HoX6cOB9OW0QCrXQDyxvE5qu7pt8J52Q6Wb9IUg$ We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. We particularly welcome applications from women and other groups who are traditionally under-represented in Computing Science.
[TYPES/announce] ICALP 2021 2nd Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 48th International Colloquium on Automata, Languages and Programming ICALP 2021 online from the University of Glasgow, Scotland, 13-16 July 2021 https://easyconferences.eu/icalp2021/ ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). * Track A: Algorithms, Complexity and Games (PC Chair: Nikhil Bansal, CWI Amsterdam, Netherlands) * Track B: Automata, Logic, Semantics, and Theory of Programming (PC Chair: James Worrell, University of Oxford, UK) Invited Speakers Unifying Invited Speakers: Adi Shamir, Weizmann Institute of Science, Israel Toniann Pitassi, University of Toronto, Canada Andrei Bulatov, Simon Fraser University, Canada * Track A Invited Speakers: Keren Censor-Hillel, Technion, Israel David Woodruff, Carnegie Mellon University, USA * Track B Invited Speaker: Christel Baier, Technical University of Dresden, Germany == Contributed papers == http://easyconferences.eu/icalp2021/accepted/ Full schedule now available: http://easyconferences.eu/icalp2021/programme/ = Conference format = * Afternoons, European time, 13-16 July * Full-length invited talks * Contributed papers have 5-minute live talk, live Q, 25-minute video available in advance * Workshops: full day or two afternoons, European time, 11-12 July === Workshops - 11-12 July 2021 === * Algorithmic Aspects of Temporal Graphs IV Organisers: George B. Mertzios, Paul G. Spirakis, Eleni C. Akrida, Viktor Zamaraev http://community.dur.ac.uk/george.mertzios/Workshops/ICALP-21-Satellite/Temporal-Graphs-ICALP-2021.html * VEST: Verification of Session Types Organisers: Ornela Dardha, António Ravara https://sites.google.com/view/vest21/home * 2nd Workshop on Programming Research in Mainstream Languages (PRiML 2021) Organisers: Seyed Hossein Haeri, Paul Keir https://agozillon.github.io/PRiML/ (Limited number of free registrations sponsored by IOHK) * Graph Width Parameters: from Structure to Algorithms (GWP 2021) Organisers: Flavia Bonomo, Nick Brettell, Andrea Munaro, Daniel Paulusma https://homepages.ecs.vuw.ac.nz/~bretteni/GWP2021/ * Combinatorial Reconfiguration Organisers: Takehiro Ito, Jun Kawahara, Yoshio Okamoto https://core.dais.is.tohoku.ac.jp/en/report/event/detail/---id-27.html * Formal Methods Education Online: Tips, Tricks & Tools Organisers: Jan Křetínský, Maximilian Weininger, Thomas Zeume https://www7.in.tum.de/~kretinsk/fomeo.html * Flavours of Uncertainty in Verification, Planning and Optimization (FUNCTION) Organisers: Moritz Hahn, Nils Jansen, Gethin Norman https://function-2021.cs.ru.nl Registration http://easyconferences.eu/icalp2021/registration/ * Author registration until 15 June * Standard registration until 30 June * Late registration from 1 July * Low-cost registration for non-authors * Free registration for PhD students at Scottish universities, sponsored by SICSA (Scottish Informatics and Computer Science Alliance). Free registrations are limited to 2 author registrations and 30 non-author registrations, and will be allocated on a first-come-first-served basis. == Student volunteers == We have a student volunteer programme which offers free registration in exchange for technical assistance with running the sessions. 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 Norman Sofiat Olaosebikan Michele Sevegnani == Contact us == For enquiries on academic programme please contact: Local Organizing Committee Email: icalp2...@glasgow.ac.uk For enquiries, registration support, travel and logistics please contact: Easy Conferences Email: i...@easyconferences.eu Tel: +357 22 591 900 === Twitter Account === @ICALPconf https://twitter.com/ICALPconf
[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 http://easyconferences.eu/icalp2021/registration/ for details. The main duties of a student volunteer: - To provide support in technical sessions, either for the main conference or workshops or both. This mainly consists of helping presenters to work with the online conference platform. Training will be given. - To help with social sessions, in as-yet-unspecified ways – for example, helping to assign people to groups, or technical troubleshooting. - To answer queries from conference participants, passing such queries to members of the organising committee if necessary. The dates when you will be needed are as follows: - Morning of the 1st and afternoon of the 2nd July for conference rehearsal and training. - Tuesday 13th to Friday 16th July inclusive for the main conference - though you will only be asked to volunteer over two of these days. We will do our best to accomodate preferences in our scheduling. The benefits of volunteering: - Helping with a major event. - Experience for your CV. - Free registration for the conference, including access to social events and invited talks. However, you will not have a free choice of technical sessions because you will be assigned to certain sessions as a volunteer. - Camaraderie with fellow volunteers, and our gratitude - we are planning appreciation events for our student volunteers. If you are interested in volunteering, please see the draft job description, and email Dr Jess Enright (jessica.enri...@glasgow.ac.uk) to register your interest, including “ICALP Student Volunteer” in the subject line. Applications are open until sufficient volunteers are recruited, or until June 18th at the latest. You should be notified of the outcome of your application within 5 business days of your application.
[TYPES/announce] ICALP 2021 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 48th International Colloquium on Automata, Languages and Programming ICALP 2021 online from the University of Glasgow, Scotland, 13-16 July 2021 https://easyconferences.eu/icalp2021/ ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). * Track A: Algorithms, Complexity and Games (PC Chair: Nikhil Bansal, CWI Amsterdam, Netherlands) * Track B: Automata, Logic, Semantics, and Theory of Programming (PC Chair: James Worrell, University of Oxford, UK) Invited Speakers Unifying Invited Speakers: Adi Shamir, Weizmann Institute of Science, Israel Toniann Pitassi, University of Toronto, Canada Andrei Bulatov, Simon Fraser University, Canada * Track A Invited Speakers: Keren Censor-Hillel, Technion, Israel David Woodruff, Carnegie Mellon University, USA * Track B Invited Speaker: Christel Baier, Technical University of Dresden, Germany == Contributed papers == http://easyconferences.eu/icalp2021/accepted/ = Conference format = * Afternoons, European time, 13-16 July * Full-length invited talks * Contributed papers have 5-minute live talk, live Q, 25-minute video available in advance * Workshops: full day, European time, 11-12 July === Workshops - 11-12 July 2021 === * Algorithmic Aspects of Temporal Graphs IV Organisers: George B. Mertzios, Paul G. Spirakis, Eleni C. Akrida, Viktor Zamaraev http://community.dur.ac.uk/george.mertzios/Workshops/ICALP-21-Satellite/Temporal-Graphs-ICALP-2021.html * VEST: Verification of Session Types Organisers: Ornela Dardha, António Ravara https://sites.google.com/view/vest21/home * 2nd Workshop on Programming Research in Mainstream Languages (PRiML 2021) Organisers: Seyed Hossein, Paul Keir * Graph Width Parameters: from Structure to Algorithms (GWP 2021) Organisers: Flavia Bonomo, Nick Brettell, Andrea Munaro, Daniel Paulusma * Combinatorial Reconfiguration Organisers: Takehiro Ito, Jun Kawahara, Yoshio Okamoto https://core.dais.is.tohoku.ac.jp/en/report/event/detail/---id-27.html * Formal Methods Education Online: Tips, Tricks & Tools Organisers: Jan Křetínský, Maximilian Weininger, Thomas Zeume https://www7.in.tum.de/~kretinsk/fomeo.html * Flavours of Uncertainty in Verification, Planning and Optimization (FUNCTION) Organisers: Moritz Hahn, Nils Jansen, Gethin Norman https://function-2021.cs.ru.nl Registration http://easyconferences.eu/icalp2021/registration/ * Author registration until 15 June * Standard registration until 30 June * Late registration from 1 July * Low-cost registration for non-authors * Free registration for PhD students at Scottish universities, sponsored by SICSA (Scottish Informatics and Computer Science Alliance). Free registrations are limited to 2 author registrations and 30 non-author registrations, and will be allocated on a first-come-first-served basis. == Student volunteers == We have a student volunteer programme which offers free registration in exchange for technical assistance with running the sessions. 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 Norman Sofiat Olaosebikan Michele Sevegnani == Contact us == For enquiries on academic programme please contact: Local Organizing Committee Email: icalp2...@glasgow.ac.uk For enquiries, registration support, travel and logistics please contact: Easy Conferences Email: i...@easyconferences.eu Tel: +357 22 591 900 === Twitter Account === @ICALPconf https://twitter.com/ICALPconf
[TYPES/announce] Post-doc position in Programming Language Foundations at 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 Research Associate Ref: 051207 Grade 7: £35,845 - £40,322 per annum We have a position for a Research 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 proposals, in order to further develop the activity of the Programming Languages research theme within the School of Computing Science. The position is full time with funding up to 31st July 2024 in the first instance. You should have a PhD in some aspect of programming language foundations, or have equivalent research experience. You should have a track record of publication and communication of research results. Topics of interest include (but are not limited to): type systems, session types, mechanised metatheory, effect systems, semantic typing, formal semantics, design and implementation of experimental programming languages or tools. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. Programming language research in the School of Computing Science spans the FATA (Formal Analysis, Theory and Algorithms) and GLASS (Glasgow Systems Section) research sections and involves five academic staff with a current portfolio of five funded research projects. We have our own seminar series (PLUG) as well as contributing to FATA and GLASS seminars and the Scottish Programming Languages Seminar. *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remotely. We will also be flexible about the starting date and working practices. *Further information* For informal enquiries or further information, please contact Professor Simon Gay simon@glasgow.ac.uk. *Application details* Online advert at jobs.ac.uk: https://www.jobs.ac.uk/job/CEK204/research-associate Glasgow University online application system: https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=051207 Closing date: 25th March 2021 It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equality. The University of Glasgow, charity number SC004401.
[TYPES/announce] ICALP 2021 - Second Call For Papers
=== ICALP 2021 Programme Committees === Track A: Track A: Algorithms, Complexity and Games --- * Nikhil Bansal (CWI Amsterdam, Netherlands), Chair * Yossi Azar(Tel Aviv University, Israel) * Luca Becchetti(Sapienza University of Rome, Italy) * Aleksander Belov (University of Latvia, Latvia) * Eric Blais(University of Waterloo, Canada) * Niv Buchbinder(Tel Aviv University, Israel) * Kevin Buchin (TU Eindhoven, Netherlands) * Parinya Chalermsook (Aalto University, Finland) * Vincent Cohen-Addad (Google Research, Switzerland) * Shahar Dobzinski (Weizmann Institute, Israel) * Ran Duan (Tsinghua University, China) * Vida Dujmovic (University of Ottawa, Canada) * Yuval Filmus (Technion, Israel) * Samuel Fiorini(Université libre de Bruxelles, Belgium) * Andreas Galanis (University of Oxford, UK) * Mika Göös (EPFL, Switzerland) * Inge Li Gørtz (TU Denmark, Denmark) * Heng Guo (University of Edinburgh, UK) * Prahladh Harsha (TIFR, Mumbai, India) * Sungjin Im(UC Merced, USA) * Stacey Jeffery(CWI Amsterdam, Netherlands) * Iordanis Kerenidis(CNRS - Université Paris Diderot, France) * Michael Kapralov (EPFL, Switzerland) * Ravi Kumar(Google Research, USA) * Stefan Kratsch(HU Berlin, Germany) * Silvio Lattanzi (Google Research, Switzerland) * Shi Li (SUNY Buffalo, USA) * Konstantin Makarychev (Northwestern University, USA) * Marcin Mucha (University of Warsaw, Poland) * Wolfgang Mulzer (FU Berlin, Germany) * Jesper Nederlof (Utrecht University, Netherlands) * Aleksandar Nikolov(University of Toronto, Canada) * Neil Olver(LSE, UK) * Rasmus Pagh (IT University of Copenhagen, Denmark) * Merav Parter (Weizmann Institute, Israel) * Alexandros Psomas (Purdue University, USA) * Barna Saha (UC Berkeley, USA) * Thatchaphol Saranurak (University of Michigan, USA) * Rahul Savani (University of Liverpool, UK) * Mohit Singh (Georgia Tech, USA) * Sahil Singla (IAS/Princeton, USA) * Noah Stephens-Davidowitz (Cornell University, USA) * László Végh (LSE, UK) * Meirav Zehavi (Ben-Gurion University, Israel) Track B: Automata, Logic, Semantics, and Theory of Programming --- * James Worrell (University of Oxford, UK), Chair * Parosh Aziz Abdulla (Uppsala University, Sweden) * S. Akshay (Indian Institute of Technology Bombay, India) * Nathalie Bertrand (Inria Rennes, France) * Michael Blondin (Université de Sherbrooke, Canada) * Olivier Carton(IRIF, Université de Paris, France) * Corina Cîrstea(University of Southampton, UK) * Dana Fisman (Ben Gurion University, Israel) * Paul Gastin (LSV, ENS Paris-Saclay, France) * Stefan Göller (University of Kassel, Germany) * Radha Jagadeesan (DePaul University Chicago, USA) * Bakhadyr Khoussainov (University of Auckland, New Zealand) * Emanuel Kieroński (Wrocław University, Poland) * Bartek Klin (Warsaw University, Poland) * Barbara König (University of Duisburg-Essen, Germany) * Laura Kovacs (Vienna University of Technology, Austria) * Ugo Dal Lago (University of Bologna and Inria, Italy) * Christoph Löding (RWTH Aachen University, Germany) * Madhavan Mukund (Chennai Mathematical Institute, India) * Sebastian Maneth (University of Bremen, Germany) * Richard Mayr (University of Edinburgh, UK) * Annabelle McIver (Macquarie University, Australia) * Sophie Pinchinat (IRISA, Université de Rennes, France) * Cristian Riveros (Pontificia Universidad Católica de Chile, Chile) * Davide Sangiorgi (University of Bologna 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 Kitty Meeks Alice Miller Gethin Norman Sofiat Olaosebikan Michele Sevegnani
[TYPES/announce] 3-year post-doc in Programming Language Foundations at 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 Research Associate Ref: 045925 Grade 7: £35,845 - £40,322 per annum We have a position for a Research 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 proposals, in order to further develop the activity of the Programming Languages research theme within the School of Computing Science. The position is full time with funding up to 31st July 2024 in the first instance. You should have a PhD in some aspect of programming language foundations, or have equivalent research experience. You should have a track record of publication and communication of research results. Topics of interest include (but are not limited to): type systems, session types, mechanised metatheory, effect systems, semantic typing, formal semantics, design and implementation of experimental programming languages or tools. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. Programming language research in the School of Computing Science spans the FATA (Formal Analysis, Theory and Algorithms) and GLASS (Glasgow Systems Section) research sections and involves five academic staff with a current portfolio of five funded research projects. We have our own seminar series as well as contributing to FATA and GLASS seminars and the Scottish Programming Languages Seminar. *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remotely. We will also be flexible about the starting date and working practices. *Further information* For informal enquiries or further information, please contact Professor Simon Gay . *Application details* https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=045925 https://www.jobs.ac.uk/job/CDA606/research-associate Closing date: 18th January 2021 Interviews: 10th February 2021 It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equality. The University of Glasgow, charity number SC004401.
[TYPES/announce] ICALP 2021 Call for Papers
(Tel Aviv University, Israel) * Luca Becchetti(Sapienza University of Rome, Italy) * Aleksander Belov (University of Latvia, Latvia) * Eric Blais(University of Waterloo, Canada) * Niv Buchbinder(Tel Aviv University, Israel) * Kevin Buchin (TU Eindhoven, Netherlands) * Parinya Chalermsook (Aalto University, Finland) * Vincent Cohen-Addad (Google Research, Switzerland) * Shahar Dobzinski (Weizmann Institute, Israel) * Ran Duan (Tsinghua University, China) * Vida Dujmovic (University of Ottawa, Canada) * Yuval Filmus (Technion, Israel) * Samuel Fiorini(Université libre de Bruxelles, Belgium) * Andreas Galanis (University of Oxford, UK) * Mika Göös (EPFL, Switzerland) * Inge Li Gørtz (TU Denmark, Denmark) * Heng Guo (University of Edinburgh, UK) * Prahladh Harsha (TIFR, Mumbai, India) * Sungjin Im(UC Merced, USA) * Stacey Jeffery(CWI Amsterdam, Netherlands) * Iordanis Kerenidis(CNRS - Université Paris Diderot, France) * Michael Kapralov (EPFL, Switzerland) * Ravi Kumar(Google Research, USA) * Stefan Kratsch(HU Berlin, Germany) * Silvio Lattanzi (Google Research, Switzerland) * Shi Li (SUNY Buffalo, USA) * Konstantin Makarychev (Northwestern University, USA) * Marcin Mucha (University of Warsaw, Poland) * Wolfgang Mulzer (FU Berlin, Germany) * Jesper Nederlof (Utrecht University, Netherlands) * Aleksandar Nikolov(University of Toronto, Canada) * Neil Olver(LSE, UK) * Rasmus Pagh (IT University of Copenhagen, Denmark) * Merav Parter (Weizmann Institute, Israel) * Alexandros Psomas (Purdue University, USA) * Barna Saha (UC Berkeley, USA) * Thatchaphol Saranurak (University of Michigan, USA) * Rahul Savani (University of Liverpool, UK) * Mohit Singh (Georgia Tech, USA) * Sahil Singla (IAS/Princeton, USA) * Noah Stephens-Davidowitz (Cornell University, USA) * László Végh (LSE, UK) * Meirav Zehavi (Ben-Gurion University, Israel) Track B: Automata, Logic, Semantics, and Theory of Programming --- * James Worrell (University of Oxford, UK), Chair * Parosh Aziz Abdulla (Uppsala University, Sweden) * S. Akshay (Indian Institute of Technology Bombay, India) * Nathalie Bertrand (Inria Rennes, France) * Michael Blondin (Université de Sherbrooke, Canada) * Olivier Carton(IRIF, Université de Paris, France) * Corina Cîrstea(University of Southampton, UK) * Dana Fisman (Ben Gurion University, Israel) * Paul Gastin (LSV, ENS Paris-Saclay, France) * Stefan Göller (University of Kassel, Germany) * Radha Jagadeesan (DePaul University Chicago, USA) * Bakhadyr Khoussainov (University of Auckland, New Zealand) * Emanuel Kieroński (Wrocław University, Poland) * Bartek Klin (Warsaw University, Poland) * Barbara König (University of Duisburg-Essen, Germany) * Laura Kovacs (Vienna University of Technology, Austria) * Ugo Dal Lago (University of Bologna and Inria, Italy) * Christoph Löding (RWTH Aachen University, Germany) * Madhavan Mukund (Chennai Mathematical Institute, India) * Sebastian Maneth (University of Bremen, Germany) * Richard Mayr (University of Edinburgh, UK) * Annabelle McIver (Macquarie University, Australia) * Sophie Pinchinat (IRISA, Université de Rennes, France) * Cristian Riveros (Pontificia Universidad Católica de Chile, Chile) * Davide Sangiorgi (University of Bologna 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 Kitty Meeks Alice Miller Gethin Norman Sofiat Olaosebikan Michele Sevegnani
[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 - £51,034/£52,560 - £59,135 per annum Up to two positions are available Closing date: 2 October 2020 Applications are welcome in research areas that complement the existing strengths of the Formal Analysis, Theory and Algorithms section (FATA) and the Glasgow Systems Section (GLASS). Relevant topics include programming language foundations (including session types for concurrent and distributed systems) and formal methods (including process algebras, modelling and analysis of complex and reactive systems, model checking and bigraphs). The post-holder will develop, lead and sustain research of international standard in Computing Science; contribute to teaching, assessment, project supervision and curriculum design at undergraduate and postgraduate levels; and participate in School management and organisation. For appointment at Reader you will have an outstanding track record of national and international distinction and leadership in research, including publications, income, and awards, bringing external recognition and distinction to yourself and the University. Since 1957, when Glasgow became the first university in Scotland to have an electronic computer, we have built a reputation for the excellence of our Computing Science research and our graduates. Today, our School is one of the foremost in the UK, setting itself the highest standards in research, and research-led learning and teaching. In the UK's 2014 independent research exercise, we are rated top in Scotland for research impact with 68% of our impact judged world-leading and 32% internationally excellent. In the overall research ranking, our School was judged equal 16th amongst UK computer science departments, rising to 10th position on research volume with 84% of all research judged world-leading or internationally excellent. We are 6th in the UK on research intensity-weighted GPA rank order (GPA * % returned). Our School is ranked 7th in the UK in The Complete University Guide 2020. Glasgow Computing is renowned for research and teaching at the intersection of theoretical and applied Computing, and our undergraduate degree programmes are underpinned by a deep theoretical understanding. 93% of our undergraduates are in positive employment (91% in professional destinations) and have a 20% higher salary than the average (Destinations of Leavers from Higher Education 2016-17, DiscoverUni). For more information, including the job description, see: https://www.gla.ac.uk/explore/jobs, reference number 040665 https://www.gla.ac.uk/schools/computing/worldchangerswelcome https://www.gla.ac.uk/schools/computing/research/researchsections/fata-section For informal inquiries please contact Professor David Manlove (david.manl...@glasgow.ac.uk) Please note that the above positions require a Scottish Credit and Qualification Framework level 12 (PhD) or equivalent in Computing Science or closely related discipline, or equivalent as evidenced by relevant teaching experience. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. The University of Glasgow, charity number SC004401
[TYPES/announce] Research position / programming languages / University of Glasgow
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ This position might be of interest to list subscribers. ] University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref: 037408 Grade 6/7: £29,176 - £32,817 / £35,845 - £40,322 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems". The position is available for four years from 1st September 2020 or a date to be agreed. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – 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 Gay and Professor Phil Trinder), Imperial College London (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Lightbend, Quviq AB and Tata Consultancy Services. *Principal Duties* The successful candidates will be responsible for conducting research into the theory and practice of session types for actor languages, and for evaluating programming language designs and implementations in relation to realistic case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of session types. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remotely if necessary. We will also be flexible about the starting date and working practices. *Further information* For informal enquiries or further information about the project, please contact Professor Simon Gay or Professor Phil Trinder . *Application details* Online advert at jobs.ac.uk: https://www.jobs.ac.uk/job/BZP526/research-assistant-associate Glasgow University online application system: https://www.gla.ac.uk/it/iframe/jobs/ (enter reference 037408) Closing date: 27th April 2020 The University of Glasgow, charity number SC004401.
[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: 023680 Grade 6/7: £28,660 - £32,236 / £35,210 - £39,610 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the project "From Data Types to Session Types: a Basis for Concurrency and Distribution", which is a Programme Grant funded by EPSRC for 6 years from 20th May 2013. The position is available from 1st February 2019 or a date to be agreed, until the end of the project on 19th May 2020. *Project Description* Just as data types describe the structure of data, session types describe the structure of communication in concurrent and distributed systems. Our project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to realistic case studies. The project is joint between the University of Glasgow, the University of Edinburgh, and Imperial College London, and includes collaboration with Amazon, Cognizant, Red Hat, VMware and Estafet. *Principal Duties* The successful candidates will be responsible for conducting research on the theory of session types, for designing programming languages incorporating session types in order to support concurrent and distributed programming, and for evaluating programming language designs and implementations in relation to practical case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, a strong background in programming languages, including semantics, type systems and implementation, and strong programming and software engineering skills. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory of session types and linear logic. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. For informal enquiries or further information about the project, please contact Professor Simon Gay . Online advert at jobs.ac.uk: https://www.jobs.ac.uk/job/BOI966/research-assistant-associate Glasgow University online application system: https://www.gla.ac.uk/it/iframe/jobs/ (enter reference 023680) Closing date: Friday 4th January 2019 The University of Glasgow, charity number SC004401.
[TYPES/announce] Post-doc position in Programming Language Theory / Practice, Computing Science, 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 Research Assistant / Associate Ref: 020019 Grade 6/7: £28,098 - £31,604 / £34,520 - £38,833 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the project "From Data Types to Session Types: a Basis for Concurrency and Distribution", which is a Programme Grant funded by EPSRC for 6 years from 20th May 2013. The position is available for 1 year, from 1st May or a date to be agreed. *Project Description* Just as data types describe the structure of data, session types describe the structure of communication in concurrent and distributed systems. Our project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to realistic case studies. The project is joint between the University of Glasgow, the University of Edinburgh, and Imperial College London, and includes collaboration with Amazon, Cognizant, Red Hat, VMware and Estafet. *Principal Duties* The successful candidates will be responsible for conducting research on the theory of session types, for designing programming languages incorporating session types in order to support concurrent and distributed programming, and for evaluating programming language designs and implementations in relation to practical case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, a strong background in programming languages, including semantics, type systems and implementation, and strong programming and software engineering skills. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory of session types and linear logic. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. For informal enquiries or further information about the 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 The University of Glasgow, charity number SC004401. [University of Glasgow: The Times Scottish University of the Year 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 School of Computing Science Lecturer Ref: 018557 Grade 7/8 Salary Range £33,943 - £38,183 / £41,709 - £48,327 per annum The University of Glasgow seeks to appoint a Lecturer to pursue a world-class research programme in Computing Science within the topics of the Formal Analysis, Theory and Algorithms (FATA) section; to teach related topics in Computing Science at all undergraduate and postgraduate levels; and to carry out allocated administrative tasks. The School of Computing Science is one of the UK’s leading research departments and is expanding its academic staff across a range of areas. Its research is known for strong applications with significant impact, underpinned by rigorous foundations and methodologies. It has a record of successful intra-disciplinary collaboration across the School, and inter-disciplinary collaboration across and beyond the University. The research topics covered by the Formal Analysis, Theory and Algorithms section include: - algorithms and complexity; - formal modelling and model-checking; - programming language theory. The School seeks applications from outstanding candidates to develop and lead research of international standard in these or related topics. Academic staff who establish successful research programmes have excellent prospects for career development and promotion. Further information on the School of Computing Science can be found at: http://www.glasgow.ac.uk/computing/worldchangerswelcome For over 550 years, UofG has carried out world-changing research and boasts annual research grants and contracts income placing us within the top 10 UK universities. In REF2014, more than 80% of our research was assessed as being world-leading or internationally excellent, placing us 12th in the UK for research power. Closing date: 29 September 2017. Interviews will be held on 3 November 2017. Apply online at: www.gla.ac.uk/explore/jobs/ It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. The University of Glasgow, charity number SC004401.
[TYPES/announce] 2nd International Summer School on Behavioural Types: Final Call
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Funding available for students and early-career researchers from Europe. *** Application deadline: 8th April. -- SECOND INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES LIMASSOL, CYPRUS 27th JUNE - 1st JULY 2016 summerschool2016.behavioural-types.eu Organized by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY) -- Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative and communication-centred. Correctness and reliability of such systems depend on compatibility between components and services that are newly developed or may already exist. The consequences of failure are severe, including security breaches and unavailability of essential services. Current software development technology is not well suited to producing these large-scale systems, because of the lack of high-level structuring abstractions for complex communication behaviour. COST Action IC1201 uses behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. As a unifying structural principle it has the potential to transform the theory and practice of distributed software development. In order to train PhD students and early-career researchers in the theory and applications of behavioural types, the 2nd International Summer School on Behavioural Types will take place from 27th June to 1st July 2016, in Limassol, Cyprus. Lecturers and Provisional Topics - Massimo Bartoletti (University of Cagliari, Italy) Behavioural contracts - Laura Bocchi (University of Kent, UK) Multiparty session types - Luís Caires (Universidade Nova de Lisboa, Portugal) Linear logic and behavioural types - Ornela Dardha (University of Glasgow, UK) Introduction to session types - Raymond Hu (Imperial College London, UK) Practical programming with Scribble and session types - Vasco Vasconcelos (University of Lisbon, Portugal) Type-based tools: SePi and ParTypes - Philip Wadler (University of Edinburgh, UK) Title to be confirmed Full information will be updated at http://summerschool2016.behavioural-types.eu Application procedure - Places are limited. Applications will be evaluated by the organizing committee. Up to thirty participants (PhD students and early-career researchers) from COST countries (list available at www.cost.eu) can be funded by COST Action IC1201. Other participants may attend at their own expense; the cost is expected to be around 500 euros, including 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 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 Notification of funding: 15th April Summer school: 27th June - 1st July Organizing Committee Ilaria Castellani (INRIA Sophia Antipolis Méditerranée, France) Simon Gay (University of Glasgow, UK), Chair Thomas Hildebrandt (IT University of Copenhagen, Denmark) Hans Hüttel (Aalborg University, Denmark) Luca Padovani (University of Torino, Italy) Anna Philippou (University of Cyprus), Local Organiser António Ravara (Universidade Nova de Lisboa, Portugal) Vasco Vasconcelos (University of Lisbon, Portugal)
[TYPES/announce] 2nd International Summer School on Behavioural Types
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Funding available for students and early-career researchers from Europe. *** Application deadline: 8th April. -- SECOND INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES LIMASSOL, CYPRUS 27th JUNE - 1st JULY 2016 summerschool2016.behavioural-types.eu Organized by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY) -- Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative and communication-centred. Correctness and reliability of such systems depend on compatibility between components and services that are newly developed or may already exist. The consequences of failure are severe, including security breaches and unavailability of essential services. Current software development technology is not well suited to producing these large-scale systems, because of the lack of high-level structuring abstractions for complex communication behaviour. COST Action IC1201 uses behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. As a unifying structural principle it has the potential to transform the theory and practice of distributed software development. In order to train PhD students and early-career researchers in the theory and applications of behavioural types, the 2nd International Summer School on Behavioural Types will take place from 27th June to 1st July 2016, in Limassol, Cyprus. Lecturers and Provisional Topics - Massimo Bartoletti (University of Cagliari, Italy) Behavioural contracts - Laura Bocchi (University of Kent, UK) Multiparty session types - Luís Caires (Universidade Nova de Lisboa, Portugal) Linear logic and session types - Ornela Dardha (University of Glasgow, UK) Introduction to session types - Raymond Hu (Imperial College London, UK) Practical programming with Scribble and session types - Vasco Vasconcelos (University of Lisbon, Portugal) Type-based tools: SePi and ParTypes Full information will be updated at http://summerschool2016.behavioural-types.eu Application procedure - Places are limited. Applications will be evaluated by the organizing committee. Up to thirty participants (PhD students and early-career researchers) from COST countries (list available at www.cost.eu) can be funded by COST Action IC1201. Other participants may attend at their own expense; the cost is expected to be around 500 euros, including 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 COST Action IC1201 then please state this in your application. Any enquiries can also be sent to Simon Gay. Important dates --- Application deadline: 25th March Notification of acceptance: 15th April Notification of funding: 15th April Summer school: 27th June - 1st July Organizing Committee Ilaria Castellani (INRIA Sophia Antipolis Méditerranée, France) Simon Gay (University of Glasgow, UK), Chair Thomas Hildebrandt (IT University of Copenhagen, Denmark) Hans Hüttel (Aalborg University, Denmark) Luca Padovani (University of Torino, Italy) Anna Philippou (University of Cyprus), Local Organiser António Ravara (Universidade Nova de Lisboa, Portugal) Vasco Vasconcelos (University of Lisbon, Portugal)
[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 studentship is available in the theory, design and implementation of programming languages. This studentship is associated with the project From Data Types to Session Types: a Basis for Concurrency and Distribution (short title: ABCD), which is a Programme Grant funded by EPSRC for 5 years from 20th May 2013. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. *Project Description* Just as data types describe the structure of data, session types describe the structure of communication in concurrent and distributed systems. Our project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to realistic case studies. The project is joint between the University of Glasgow, the University of Edinburgh, and Imperial College London, and includes collaboration with Amazon, Cognizant, Red Hat, VMware, and the Ocean Observatories Initiative. The project includes a variety of work ranging from programming language semantics and type theory, through programming language design and implementation, to application and evaluation of new programming languages and language features. The exact work carried out during the PhD will depend on the interests and skills of the student. Further information about the ABCD project can be found on the EPSRC web site at http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K034413/1 and on the project web site at http://groups.inf.ed.ac.uk/abcd/ *Dates* The studentship is available with a starting date of 1st October 2015. The application deadline is 31st May. *Eligibility and application procedure* Candidates for this studentships must be either a UK citizen, or an EU citizen who has been resident in the UK for at least 3 years. Candidates must also have, or expect to obtain, at least an upper second class degree in computer science or a closely related subject. Candidates with a lower second class degree and an MSc will also be considered. Applications should be submitted through the University of Glasgow online application system: http://www.gla.ac.uk/research/opportunities/howtoapplyforaresearchdegree/ Please also contact Dr Simon Gay simon@glasgow.ac.uk to discuss your application. *Further Information* For informal enquiries or further information about the project, please contact Dr Simon Gay simon@glasgow.ac.uk. Closing date: 31st May 2015
[TYPES/announce] CFP: PLACES 2015 Workshop
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS PLACES'15 Programming Language Approaches to Concurrency and Communication-cEntric Software 18th April 2015, London, UK Affiliated to ETAPS http://places15.di.fc.ul.pt/ Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems is inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. ** Topics of Interest ** Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. ** Invited Speaker ** To be confirmed ** Submission Guidelines ** Submissions will be 6-page extended abstracts and can also include an appendix of up to 4 pages and should be submitted in PDF format by Monday 5th January (anywhere on Earth) using the EasyChair proceedings template available at: http://www.easychair.org/publications/?page=1594225690 Abstracts and papers should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=places15 Preliminary proceedings will be available at the workshop. A post-workshop proceedings will be published in EPTCS. We are considering the possibility of a special journal issue. The submission deadline is strict and will not be extended. Enquiries can be sent to the PC co-chairs. ** Important Dates ** Abstract submission deadline: Monday, 29th December 2014 Paper submission deadline: Monday, 5th January 2015 Notification: Wednesday, 4th February 2015 Final version 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, University of Twente, Netherlands Nathan Chong, University College London, UK Ornela Dardha, University of Glasgow, UK Alexey Gotsman, IMDEA Software Institute, Spain Hans Hüttel, Aalborg University, Denmark Paul Keir, Codeplay Software Ltd, UK Fabrizio Montesi, University of Southern Denmark, Denmark David Pearce, Victoria University of Wellington, New Zealand Pierre-Yves Strub, IMDEA Software Institute, Spain Jules Villard, Imperial College London, UK ** Organising Committee ** Alastair Beresford, University of Cambridge, UK Simon Gay, University of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco T. Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK
[TYPES/announce] CFP: PLACES 2015 workshop
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS PLACES'15 Programming Language Approaches to Concurrency and Communication-cEntric Software 18th April 2015, London, UK Affiliated to ETAPS http://places15.di.fc.ul.pt/ Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems is inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. ** Topics of Interest ** Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. ** Invited Speaker ** To be confirmed ** Submission Guidelines ** Submissions will be 6-page extended abstracts and can also include an appendix of up to 4 pages and should be submitted in PDF format by Monday 5th January (anywhere on Earth) using the EasyChair proceedings template available at: http://www.easychair.org/publications/?page=1594225690 Abstracts and papers should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=places15 Preliminary proceedings will be available at the workshop. A post-workshop proceedings will be published in EPTCS. The submission deadline is strict and will not be extended. Enquiries can be sent to the PC co-chairs. ** Important Dates ** Abstract submission deadline: Monday, 29th December 2014 Paper submission deadline: Monday, 5th January 2015 Notification: Wednesday, 4th February 2015 Final version 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, University of Twente, Netherlands Nathan Chong, University College London, UK Ornela Dardha, University of Glasgow, UK Alexey Gotsman, IMDEA Software Institute, Spain Hans Hüttel, Aalborg University, Denmark Paul Keir, Codeplay Software Ltd, UK Fabrizio Montesi, University of Southern Denmark, Denmark David Pearce, Victoria University of Wellington, New Zealand Pierre-Yves Strub, IMDEA Software Institute, Spain Jules Villard, Imperial College London, UK ** Organising Committee ** Alastair Beresford, University of Cambridge, UK Simon Gay, University of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco T. Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK
[TYPES/announce] Summer School on Behavioural Types
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Funding available for European students and early-career researchers *** Application deadline: 4th April -- FIRST INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES LOVRAN, CROATIA 30th JUNE - 4th JULY 2014 summerschool2014.behavioural-types.eu Organized by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY) -- Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative and communication-centred. Correctness and reliability of such systems depend on compatibility between components and services that are newly developed or may already exist. The consequences of failure are severe, including security breaches and unavailability of essential services. Current software development technology is not well suited to producing these large-scale systems, because of the lack of high-level structuring abstractions for complex communication behaviour. COST Action IC1201 uses behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. As a unifying structural principle it has the potential to transform the theory and practice of distributed software development. In order to train PhD students and early-career researchers in the theory and applications of behavioural types, the 1st International Summer School on Behavioural Types will take place from 30th June to 4th July 2014, in Lovran, Croatia. Confirmed Speakers and Provisional Topics - Main Courses - Behavioural separation types Luis Caires (Universidade Nova de Lisboa, Portugal) - Linear logic and session types Frank Pfenning (Carnegie Mellon University, USA) - Foundations of session types Vasco Vasconcelos (University of Lisbon, Portugal) - Theory and applications of multi-party session types Nobuko Yoshida and Raymond Hu (Imperial College London, UK) Short courses / lectures - Choreographies Marco Carbone (IT University of Copenhagen, Denmark) - Security and behavioural types Ilaria Castellani (INRIA Sophia Antipolis, France) - Progress properties in session types Mariangiola Dezani (University of Torino, Italy) - Subtyping in behavioural types Luca Padovani (University of Torino, Italy) Full information will be updated at http://summerschool2014.behavioural-types.eu Application procedure - Places are limited. Applications will be evaluated by the organizing committee. Up to thirty participants (PhD students and early-career researchers) from COST countries or near neighbour countries (list available at www.cost.eu) can be funded by COST Action IC1201. Other participants may attend at their own expense. 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 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: 28th April Notification of funding: 28th April Summer school: 30th June - 4th July Organizing Committee Tihana Galinac Grbac (University of Rijeka, Croatia) Simon Gay (University of Glasgow, UK) Dimitris Mostrous (University of Lisbon, Portugal) Jovanka Pantovic (University of Novi Sad, Serbia) Antonio Ravara (New University of Lisbon, Portugal) Neva Slani (University of Zagreb, Croatia)
[TYPES/announce] First International Summer School on Behavioural Types
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- FIRST INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES LOVRAN, CROATIA 30th JUNE - 4th JULY 2014 summerschool2014.behavioural-types.eu Organized by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY) -- Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative and communication-centred. Correctness and reliability of such systems depend on compatibility between components and services that are newly developed or may already exist. The consequences of failure are severe, including security breaches and unavailability of essential services. Current software development technology is not well suited to producing these large-scale systems, because of the lack of high-level structuring abstractions for complex communication behaviour. COST Action IC1201 uses behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. As a unifying structural principle it has the potential to transform the theory and practice of distributed software development. In order to train PhD students and early-career researchers in the theory and applications of behavioural types, the 1st International Summer School on Behavioural Types will take place from 30th June to 4th July 2014, in Lovran, Croatia. Confirmed Speakers and Provisional Topics - Main Courses - Behavioural separation types Luis Caires (Universidade Nova de Lisboa, Portugal) - Linear logic and session types Frank Pfenning (Carnegie Mellon University, USA) - Foundations of session types Vasco Vasconcelos (University of Lisbon, Portugal) - Theory and applications of multi-party session types Nobuko Yoshida and Raymond Hu (Imperial College London, UK) Short courses / lectures - Choreographies Marco Carbone (IT University of Copenhagen, Denmark) - Security and behavioural types Ilaria Castellani (INRIA Sophia Antipolis, France) - Progress properties in session types Mariangiola Dezani (University of Torino, Italy) - Subtyping in behavioural types Luca Padovani (University of Torino, Italy) Full information will be updated at http://summerschool2014.behavioural-types.eu Application procedure - Places are limited. Applications will be evaluated by the organizing committee. Up to thirty participants (PhD students and early-career researchers) from COST countries or near neighbour countries (list available at www.cost.eu) can be funded by COST Action IC1201. Other participants may attend at their own expense. 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 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: 28th April Notification of funding: 28th April Summer school: 30th June - 4th July Organizing Committee Tihana Galinac Grbac (University of Rijeka, Croatia) Simon Gay (University of Glasgow, UK) Dimitris Mostrous (University of Lisbon, Portugal) Jovanka Pantovic (University of Novi Sad, Serbia) Antonio Ravara (New University of Lisbon, Portugal) Neva Slani (University of Zagreb, Croatia)
[TYPES/announce] BEAT II: Final Call For Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS BEAT II Second International Workshop on Behavioural Types 23-24 September 2013, Madrid, Spain http://www.dcs.gla.ac.uk/beat2 Organized by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY). Affiliated to SEFM 2013: 11th International Conference on Software Engineering and Formal Methods. ** Scope ** Behavioural type systems go beyond data type systems in order to specify, characterize and reason about dynamic aspects of program execution. Behavioural types encompass: session types; contracts (for example in service-oriented systems); typestate; types for analysis of termination, deadlock-freedom, liveness, race-freedom and related properties; intersection types applied to behavioural properties; and other topics. Behavioural types can form a basis for both static analysis and dynamic monitoring. Recent years have seen a rapid increase in research on behavioural types, driven partly by the need to formalize and codify communication structures as computing moves from the data-processing era to the communication era, and partly by the realization that type-theoretic techniques can provide insight into the fine structure of computation. The aim of this workshop is to bring together researchers in all aspects of behavioural type theory and its applications, in order to share results, consolidate the community, and discover opportunities for new collaborations and future directions. ** Topics of Interest ** All aspects of behavioural types, including, but not limited to: - theoretical foundations of behavioural types - behavioural types in practical programming languages - software development and analysis tools for behavioural types - case studies and software engineering applications of behavioural types - relationships between different forms of behavioural types - behavioural types in concurrent and distributed systems - behavioural types in many-core systems - behavioural types in service-oriented computing - security in behavioural type systems - new directions for behavioural types ** Invited Speakers ** To be decided. ** Submission Instructions ** We invite submissions in two categories. 1. Original research papers of up to 8 pages in length, in PDF format, written in English, using the EasyChair proceedings template available at http://www.easychair.org/easychair.zip. Simultaneous submission to other venues is not allowed. 2. Proposals for short presentations of research that has already been published. If there is limited space in the workshop programme, then priority will be given to submissions in category 1. Submissions by PC members are allowed. For each category of submission, authors should submit a title and a 200 word abstract by Saturday 8th June 2013. Full papers should be submitted by Saturday 15th June 2013, as follows: Category 1: the paper being submitted. Category 2: the paper for which a short presentation is proposed, including full details of the original publication. If the paper is longer than a standard conference paper, authors should also submit an 8 page summary in the same format as for category 1 submissions. Every submission must state either Original Paper or Short Presentation as part of the 200 word abstract. Abstracts and papers should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=beat2 Authors of original research papers will have the opportunity to submit revised and expanded versions of their papers to a post-workshop proceedings. Publication in the post-workshop proceedings will be subject to a selective reviewing process. We are hoping to join the other SEFM workshops in publishing the post-workshop proceedings in the Springer LNCS series. Enquiries can be sent to the PC chair. ** Important Dates ** Abstract (title 200 words max): 8th June 2013 Paper Submission: 15th June 2013 Notification: 20th July 2013 ** Programme Committee ** Karthikeyan Bhargavan (INRIA Paris-Rocquencourt, France) Gabriel Ciobanu (Romanian Academy, ICS, Iasi, Romania) Ricardo Colomo Palacios (Universidad Carlos III de Madrid, Spain) Ugo de'Liguoro (University of Torino, Italy) Adrian Francalanza (University of Malta, 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 Kapitsaki (University of Cyprus, Cyprus) Vasileios Koutavas (Trinity College Dublin, Ireland) Aleksandra Mileva (Goce Delcev University of Stip, Macedonia) Samir Omanovic
[TYPES/announce] Post-doc positions and PhD studentship in Glasgow
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] In association with the project From Data Types to Session Types: A Basis for Concurrency and Distribution http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K034413/1 there are 2 post-doc positions and a PhD studentship at the University of Glasgow. There are also post-doc positions and PhD studentships on the same project at the University of Edinburgh and Imperial College London, which are being advertised separately. Details of the post-doc positions are below, including the URL for applications. To apply for the PhD studentship (restricted to UK or EU residents), use the University of Glasgow system at http://www.gla.ac.uk/schools/computing/research/postgraduate/applications/ In either case, please contact me if you have any questions; for example, 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 annum We have two positions for research assistants / associates in the theory, design and implementation of programming languages. These positions are associated with the project From Data Types to Session Types: a Basis for Concurrency and Distribution, which is a Programme Grant funded by EPSRC for 5 years from 20th May 2013. The positions are available for 2 years in the first instance, from 1st June or as soon as possible thereafter, with the possibility of extension. *Project Description* Just as data types describe the structure of data, session types describe the structure of communication in concurrent and distributed systems. Our project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to realistic case studies. The project is joint between the University of Glasgow, the University of Edinburgh, and Imperial College London, and includes collaboration with Amazon, Cognizant, Red Hat, VMware, and the Ocean Observatories Initiative. *Principal Duties* The successful candidates will be responsible for conducting research on the theory of session types, for designing programming languages incorporating session types in order to support concurrent and distributed programming, and for evaluating programming language designs and implementations in relation to practical case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, a strong background in programming languages, including semantics, type systems and implementation, and strong programming and software engineering skills. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory of session types and linear logic. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. For informal enquiries or further information about the project, please contact Dr Simon Gay simon@glasgow.ac.uk. Apply online at: http://www22.i-grasp.com/fe/tpl_glasgow01.asp?s=bkMjPUrEcTFkHhTczjobid=65292,3486486251key=106363444c=72655178887665pagestamp=setkxoqivcmrywperu Closing date: 19 May 2013 The University is committed to equality of opportunity in employment. The University of Glasgow, charity number SC004401. Dr Simon GaySchool of Computing Science Senior Lecturer in Sir Alwyn Williams Building Computing Science University of Glasgow Glasgow G12 8QQ, UK Phone: +44 141 330 6035 Fax: +44 141 330 4913 Email: simon@glasgow.ac.uk Web: www.dcs.gla.ac.uk/~simon Skype: SimonJGay
[TYPES/announce] PLACES 2013 Deadline Extension and Final CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ The themes of PLACES include types, concurrency and mobility. SG ] FINAL CALL FOR PAPERS PLACES'13 Programming Language Approaches to Concurrency and Communication-cEntric Software 23rd March 2013, Rome, Italy (affiliated with ETAPS 2013) http://places13.di.fc.ul.pt/ ** Important Dates ** Note deadline extension! Abstract (title abstract): 21st December 2012 Paper Submission (up to 5 pages): 28th December 2012 Paper Notification: 23rd January 2012 Final versions of papers: 4th February 2012 ** Background ** Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems is inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. ** Topics of Interest ** Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: * language design and implementations for communications and/or concurrency, * session types, * concurrent data types, * concurrent objects and actors, * multicore programming, * use of message passing in systems software, * interface languages for communication and distribution, * program analysis, * web services, * novel programming methodologies for sensor networks, * integration of sequential and concurrent programming, * high-level programming abstractions for security concerns in concurrent, distributed programming, * runtime architectures for concurrency, * scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. ** Submission Guidelines ** Authors should submit a title and an abstract by Wednesday 14th December 2012. Papers of up to*five pages* in length should be submitted in PDF format by Wednesday 21st December 2012 using the EasyChair proceedings template available at: http://www.easychair.org/easychair.zip Abstracts and papers should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=places2013 Preliminary proceedings will be available at the workshop. The post proceeding will be published as an EPTCS volume. Note that, as we accept short papers, extended versions of the accepted works could be also submitted elsewhere. Enquiries can be sent to the PC co-chairs. ** Program Committee ** Alastair Beresford, University of Cambridge, UK Viviana Bono, Universita di Torino, Italy Alastair Donaldson, Imperial College London, UK Dan Ghica, University of Birmingham, UK Joshua Guttman, Worcester Polytechnic Institute, MA, US Thomas Hildebrandt, University of Copenhagen, Denmark Paul Keir, Codeplay Ltd, UK Hans-Wolfgang Loidl, Heriot-Watt University, UK Conor McBride, University of Strathclyde, UK Jeremy Singer, University of Glasgow, UK Sven-Bodo Scholz, Heriot-Watt University, UK Nikhil 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 of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK ___ SPLS
[TYPES/announce] Kohei Honda
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, I am very sorry to give you the tragic and shocking news that Kohei Honda has passed away, after suffering a stroke at the weekend. This is a terrible loss for all 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 Computing Science University of Glasgow Glasgow G12 8QQ, UK Phone: +44 141 330 6035 Fax: +44 141 330 4913 Email: si...@dcs.gla.ac.uk Web: www.dcs.gla.ac.uk/~simon Skype: SimonJGay
[TYPES/announce] Final CFP: PLACES 2012
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS PLACES'12 Programming Language Approaches to Concurrency and Communication-cEntric Software 31st March 2012, Tallinn, Estonia (affiliated to ETAPS 2012) http://places12.di.fc.ul.pt/ ** Important Dates ** Abstract (title 200 words max): 14th December 2011 Paper Submission: 23:59 (GMT) 21st December 2011 Paper Notification: 23rd January 2012 Final versions of papers: 3rd February 2012 ** Information ** Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems is inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. ** Topics of Interest ** Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. ** Invited Speaker ** Benedict Gaster, AMD ** Submission Guidelines ** Authors should submit a title and a 200 word abstract by Wednesday 14th December 2011, to help the PC chairs assign reviewers to papers. Papers of up to five pages in length should be submitted in PDF format by Wednesday 21st December 2011 using the EasyChair proceedings template available at: http://www.easychair.org/easychair.zip Abstracts and papers should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=places2012 Preliminary proceedings will be available at the workshop. We intend to publish a post-proceedings in EPTCS. The submission deadline is strict and will not be extended. Enquiries can be sent to the PC co-chairs. ** Program Committee ** Alastair Beresford, University of Cambridge, UK Mario Bravetti, University of Bologna, Italy Marco Carbone, IT University of Copenhagen, Denmark 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) Anton Lokhmotov, ARM David Pearce, Victoria University of Wellington, New Zealand Franz Puntigam, Technical University of Vienna, Austria Nikhil Swamy, Microsoft Research, USA Ana Lucia Varbanescu, Vrije Universiteit Amsterdam, The Netherlands Jan Vitek, Purdue University, USA ** Organizing Committee ** Alastair Beresford, University of Cambridge, UK Kohei Honda, Queen Mary, University of London, UK Simon Gay, University of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK The University of Glasgow, charity number SC004401
[TYPES/announce] PLACES 2012: 2nd Call For Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd CALL FOR PAPERS PLACES'12 Programming Language Approaches to Concurrency and Communication-cEntric Software 31st March 2012, Tallinn, Estonia (affiliated to ETAPS 2012) http://places12.di.fc.ul.pt/ Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems is inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. ** Topics of Interest ** Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. ** Invited Speaker ** Benedict Gaster, AMD ** Submission Guidelines ** Authors should submit a title and a 200 word abstract by Wednesday 14th December 2011, to help the PC chairs assign reviewers to papers. Papers of up to five pages in length should be submitted in PDF format by Wednesday 21st December 2011 using the EasyChair proceedings template available at: http://www.easychair.org/easychair.zip Abstracts and papers should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=places2012 Preliminary proceedings will be available at the workshop. We intend to publish a post-proceedings in EPTCS. The submission deadline is strict and will not be extended. Enquiries can be sent to the PC co-chairs. ** Important Dates ** Abstract (title 200 words max): 14th December 2011 Paper Submission: 23:59 (GMT) 21st December 2011 Paper Notification: 23rd January 2012 Final versions of papers: 3rd February 2012 ** Program Committee ** Alastair Beresford, University of Cambridge, UK Mario Bravetti, University of Bologna, Italy Marco Carbone, IT University of Copenhagen, Denmark 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) Anton Lokhmotov, ARM David Pearce, Victoria University of Wellington, New Zealand Franz Puntigam, Technical University of Vienna, Austria Nikhil Swamy, Microsoft Research, USA Ana Lucia Varbanescu, Vrije Universiteit Amsterdam, The Netherlands Jan Vitek, Purdue University, USA ** Organizing Committee ** Alastair Beresford, University of Cambridge, UK Kohei Honda, Queen Mary, University of London, UK Simon Gay, University of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK The University of Glasgow, charity number SC004401
[TYPES/announce] PLACES 2012 Call For Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ In previous years' PLACES workshops, type-theoretic techniques for specifying and verifying communication behaviour have been very prominent. ] CALL FOR PAPERS PLACES'12 Programming Language Approaches to Concurrency and Communication-cEntric Software 31st March 2012, Tallinn, Estonia (affiliated to ETAPS 2012) http://places12.di.fc.ul.pt/ Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems is inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. ** Topics of Interest ** Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. ** Invited Speaker ** Benedict Gaster, AMD ** Submission Guidelines ** Authors should submit a title and a 200 word abstract by Wednesday 14th December 2011, to help the PC chairs assign reviewers to papers. Papers of up to five pages in length should be submitted in PDF format by Wednesday 21st December 2011 using the EasyChair proceedings template available at: http://www.easychair.org/easychair.zip Abstracts and papers should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=places2012 Preliminary proceedings will be available at the workshop. We intend to publish a post-proceedings in EPTCS. The submission deadline is strict and will not be extended. Enquiries can be sent to the PC co-chairs. ** Important Dates ** Abstract (title 200 words max): 14th December 2011 Paper Submission: 23:59 (GMT) 21st December 2011 Paper Notification: 23rd January 2012 Final versions of papers: 3rd February 2012 ** Program Committee ** Alastair Beresford, University of Cambridge, UK Mario Bravetti, University of Bologna, Italy Marco Carbone, IT University of Copenhagen, Denmark 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 of Wellington, New Zealand Franz Puntigam, Technical University of Vienna, Austria Nikhil Swamy, Microsoft Research, USA Ana Lucia Varbanescu, Vrije Universiteit Amsterdam, The Netherlands Jan Vitek, Purdue University, USA The University of Glasgow, charity number SC004401
[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 Glasgow, Scotland. One of these vacancies is associated with the SICSA theme formal modelling, theory and analysis, which includes theory and practice of formal modelling, automated analysis and reasoning, complex and concurrent systems, model checking and type theory. The official advertisement for this position is at http://www.jobs.ac.uk/jobs/SN700/Lecturer/ More information about SICSA and the associated departments can be found at http://www.sicsa.ac.uk The closing date is 17 April.
[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 Communication-cEntric Software) The workshop will take place with ETAPS 2009 on 22nd March http://places09.di.fc.ul.pt ---PAPERS--- Session-Based Programming for Parallel Algorithms Andi Bejleri, Raymond Hu and Nobuko Yoshida Execution Models for Choreographies and Cryptoprotocols Marco Carbone and Joshua Guttman A Concurrent Language with a Uniform Treatment of Regions and Locks Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas Communication at the theatre: Role playing for Session Types Elena Giachino, Matthew Sackman, Sophia Drossopoulou and Susan Eisenbach Session-Based Type Discipline for Pi Calculus with Matching Marco Giunti, Kohei Honda, Vasco T. Vasconcelos and Nobuko Yoshida Programming Idioms for Transactional Events Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz and Dan Grossman Towards a Unified Framework for Declarative Sessions Hugo Andres Lopez, Jorge A. Perez and Carlos Olarte Virtual Machine Support for Many-Core Architectures: Decoupling Abstract From Concrete Concurrency Models Stefan Marr, Michael Haupt, Stijn Timbermont, Bram Adams, Theo D'Hondt, Pascal Costanza and Wolfgang De Meuter Towards the Safe Programming of Wireless Sensor Networks Francisco Martins, Luis Lopes and Joao Barros Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language Vasco T. Vasconcelos, Francisco Martins and Tiago Cogumbreiro
[TYPES/announce] Post-doc position in Glasgow
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ This job requires someone with expertise in semantics and type theory, and may be of interest to readers of the Types list. SG ] UNIVERSITY of GLASGOW DEPARTMENT OF COMPUTING SCIENCE 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), Imperial College London (Dr Nobuko Yoshida) and Queen Mary, University of London (Dr Kohei Honda). The aims of the project are to develop programming languages, methodologies and tools to support the development of distributed software systems such as web services, based on recent research by the principal investigators and others. The work in Glasgow will involve theoretical research, the transfer of theoretical concepts into practical programming language constructs, and the development of software tools, especially in the form of Eclipse plug-ins. You should have a PhD in computer science or a closely related subject, with experience of research in programming language semantics and strong software development skills. A full job description and list of requirements can be found in the application pack (see below). Informal enquiries can be made to Dr Simon Gay ([EMAIL PROTECTED]). The post is available from 1 January 2008 up to 31 October 2010 or later. Interviews for this position will be held during the week beginning 22 October 2007. For an application pack, please see our website at www.gla.ac.uk. Applications comprising applicant information form, CV, covering letter, list of publications and names and contact details of two referees should be sent to: Michelle Lazenby, Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ. Please quote the reference number. Closing date: 21 September 2007.
