Input | Output's @jmchapman_, Arnaud Bailly, and @polinavinovino will present their work ‘Applying Continuous Formal Methods to Cardano’ at FUNARCH 2024 on September 6, a satellite workshop at the upcoming International Conference on Functional Programming (ICFP), to be held in Milan, Italy.
IO remains fully committed to foundational, peer-reviewed research in its development processes.
Speak to James Chapman or read the full paper on IO's research library. https://t.co/IfgybfzSyZ
We're looking forward to seeing your for FUNARCH 2024 on September 6 in Milan.
Note that you'll need to register via the @[email protected] site - early registration deadline is tomorrow!
https://t.co/iZZWcGD6qy
Co-located with ICFP 2024 in Milan this year is the Functional Software Architecture (FUNARCH) workshop. Come and participate in discussions about the construction and structure of large and long-lived software projects that are implemented in functional languages, and listen to some talks that touch on topics like feature engineering; applying continuous formal methods to the proof-of-stake cryptocurrency Cardano; and bidirectional data transformations. @ACMFUNARCH
https://t.co/v1Ugk6694G
The program for #FUNARCH2024 is up! We have a diverse lineup, ranging from experience report on applied functional software architecture to formal methods! https://t.co/4bJTKtg4GY
We've extended the deadline for FUNRARCH 2024 to June 12th.
Know something about what makes functional programming work in the large? Write it up!
https://t.co/ApCegMr5gH
New Online Training Event! Come and join us for a training session on 'Creating Augmented Reality Applications with M2AR and ARWFML'. With Fabian Muff.
Register for free 👉 https://t.co/gykGxy8VHp
Not even two weeks to go until the deadline on Monday, June 3: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! https://t.co/ApCegMr5gH