Mailman 3 Open Space proposal - Pycon-openspaces - python.org

newer
Open space idea

Open Space proposal

older
Re: [Pycon-openspaces] Question...

Jay Parlar

9 May 2018 9 May '18

1:32 p.m.

Hillel Wayne and I would like to propose an Open Space on formal methods in software design. The title would be "Formal methods, TLA+, PlusCal, Alloy, etc." We're not sure yet when we'd have it, whichever one of us registers first will put a time on the board. Jay P.

Attachments:

attachment.htm (text/html — 383 bytes)

Reply

Sign in to reply online Use email software

Show replies by date

Anna Ossowski

10 May 10 May

3:24 p.m.

Thank you, Jay! I added it to the Open Spaces website. Enjoy PyCon! :) Anna —— You are appreciated. You are enough. You matter. You are not alone.

On May 9, 2018, at 9:32 AM, Jay Parlar <jay@parlar.ca> wrote:

Formal methods, TLA+, PlusCal, Alloy, etc.

Reply

Sign in to reply online Use email software

2343

Age (days ago)

2344

Last active (days ago)

Download

1 comments

2 participants

tags

participants (2)

Anna Ossowski
Jay Parlar