Free

Actions and Detail Panel

Free

Event Information

Share this event

Date and time

Location

Location

Online event

Event description
Our second edition of the RFMIG will focus on the question of specifications.

About this event

Please join us for an open-ended discussion of Rust program specifications.

We will be going over solutions proposed in the Zulip "Specification Challenge", check it out if you haven't already. We'll also open the floor to questions and proposals from participants.

As a reminder, the RFMIG is a community group which aims to create a forum to discuss the design and implementation of formal method tooling for the Rust programming language. We are open to participants of all backgrounds, whether academic, industrial or hobbyist.

For more info consult our website.

Tags
Share with friends

Date and time

Location

Online event

Organizer Rust Formal Methods Interest Group

Organizer of RFMIG: Specifications

Save This Event

Event Saved