[TYPES/announce] Call for Participation: S-REPLS / Fun in the Afternoon at Bristol

[Alex Kavvos]

============================================
  S-REPLS 13 / Fun in the Afternoon
  Joint meeting on Programming Languages
  Wednesday, 1 November 2023, 10:00 - 19:00
  Engine Shed, Bristol BS1 6HQ
  https://urldefense.com/v3/__https://plrg-bristol.github.io/fir/__;!!IBzWLUs!Ra43g0Q_xKIKEe1ym2Xs7ED-wOLJJrb0VERjWcEV2RkOKguahEfeBpYHRpw7zmJB1RfBURdqOKk2cLjpidpY4fcj_3zMRRdw4CoS0L2-$ 
============================================

*Overview*

S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics.  A joint meeting of these two communities will be hosted by the Programming Languages Research Group at the University of Bristol.  The meeting will take place at Engine Shed, Bristol BS1 6HQ from 10am to 7pm on Wednesday 1st November.

*Keynote Talks*

Bob Atkey, University of Strathclyde
Data Types with Negation

Akos Hajdu, Meta/WhatsApp
Static and Dynamic Code Analyses for WhatsApp Server

*Programme*

The full programme, which includes 10 contributed talks, is now available at the website:
    https://urldefense.com/v3/__https://plrg-bristol.github.io/fir/__;!!IBzWLUs!Ra43g0Q_xKIKEe1ym2Xs7ED-wOLJJrb0VERjWcEV2RkOKguahEfeBpYHRpw7zmJB1RfBURdqOKk2cLjpidpY4fcj_3zMRRdw4CoS0L2-$ 

*Attendance*

Attendance is free of charge, but places are limited.  If you wish to attend please sign-up at EventBrite as soon as possible:

    https://urldefense.com/v3/__https://www.eventbrite.com/e/717109883967/__;!!IBzWLUs!Ra43g0Q_xKIKEe1ym2Xs7ED-wOLJJrb0VERjWcEV2RkOKguahEfeBpYHRpw7zmJB1RfBURdqOKk2cLjpidpY4fcj_3zMRRdw4CHoV2bn$ 

… Alex Kavvos
… Senior Lecturer in Programming Languages
… School of Computer Science, University of Bristol, UK
… https://urldefense.com/v3/__https://seis.bristol.ac.uk/*tz20861/__;fg!!IBzWLUs!Ra43g0Q_xKIKEe1ym2Xs7ED-wOLJJrb0VERjWcEV2RkOKguahEfeBpYHRpw7zmJB1RfBURdqOKk2cLjpidpY4fcj_3zMRRdw4GPqyCu7$ 

… Alex Kavvos
… Senior Lecturer in Programming Languages
… School of Computer Science, University of Bristol, UK
… https://urldefense.com/v3/__https://seis.bristol.ac.uk/*tz20861/__;fg!!IBzWLUs!Ra43g0Q_xKIKEe1ym2Xs7ED-wOLJJrb0VERjWcEV2RkOKguahEfeBpYHRpw7zmJB1RfBURdqOKk2cLjpidpY4fcj_3zMRRdw4GPqyCu7$