Subject: [irtf-discuss] Formal languages side meeting at IETF 107

From: Stephen McQuistin <[email-masked]>
Date: Wed, 4 Mar 2020 15:51:10 +0000

Hi all,

We have arranged a formal languages side meeting at IETF 107 in Vancouver. It will take place at 8.30am until 9.45am on Friday March 27th, in Plaza A (https://datatracker.ietf.org/meeting/107/floor-plan?room=plaza-a#plaza-level-2nd-floor).

We'd like to invite presentations on any projects that are related to formal languages. Please let me know if you’d like to present; talks should be relatively short (10-15 minutes each).

In addition to presentations about specific projects, we plan to identify and discuss the cross-cutting concerns (that cannot be addressed in existing groups) around the use of formal languages in the IETF, and to discuss how to take this work forward.

If you are interested in this topic, there is a formal description techniques mailing list (https://www.ietf.org/mailman/listinfo/fdt). In addition, there will be a formal languages table at the IETF 107 Hackathon (https://trac.ietf.org/trac/ietf/meeting/wiki/107hackathon).

Thanks,

Stephen