Subject: [fdt] Virtual meeting notes/minutes

From: Stephen McQuistin <[email-masked]>
Date: Tue, 19 May 2020 08:25:53 +0000

Hi all,

Thanks to everyone that participated in last week’s virtual formal languages side meeting. I have uploaded materials from the meeting at https://smcquistin.uk/fdt/meetings/virtual_15-05-20.html; hopefully these will be useful for those that were unable to join.

The overall conclusion of the meeting was that we should explore charter/proposal ideas on how to take this work forward as a research group. To start this process, I’ve created a shared document at https://hackmd.io/@fdt/BkZzvzgjI. I’ve sketched out two bullet lists, to outline what should and should not be in scope for the proposed group: please take a look, and add to/change the document.

Once some progress has been made on the proposal document, we’ll look to schedule the next meeting.

Thanks,

Stephen