Perdita Stevens

Parent, professor. I do not actually do Twitter.

[Perdita Stevens @perditast]

@florian_krammer @WardLab1 How do we join online?

[Perdita Stevens @perditast]

@CureLongCovid I just want to know what the documentary was, so I can watch it too.

[Perdita Stevens @perditast]

@ejustin46 New in 2004, that is...

[Perdita Stevens @perditast]

@Vitality_UK @Fazzaship Hi, I PMed you this morning with that info and the same problem, but haven't yet had any response.

[FUNARCH @ACMFUNARCH]

. @activegroupgmbh’s Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.

[FUNARCH @ACMFUNARCH]

Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.

[FUNARCH @ACMFUNARCH]

. @jmchapman_ talks about the use of formal methods at @InputOutputHK to implement the Cardano blockchain.

[FUNARCH @ACMFUNARCH]

BTW, you can watch the #FUNARCH2024 livestream here (resuming in a half hour):
https://t.co/r3aQDPBFzF

[FUNARCH @ACMFUNARCH]

Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!

[Input Output Group @IOGroup]

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

[FUNARCH @ACMFUNARCH]

#FUNARCH2024 starts off with Marco Sampellegrini @_alpacaaa giving his keynote on Architecturing Functional Programs.

[FUNARCH @ACMFUNARCH]

Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024 !

[FUNARCH @ACMFUNARCH]

The proceedings for FUNARCH 2024 are available online - see you next week in Milan! https://t.co/xF3sX9mK5f

[FUNARCH @ACMFUNARCH]

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

[Satnam Singh @satnam6502]

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

[FUNARCH @ACMFUNARCH]

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

[FUNARCH @ACMFUNARCH]

We're happy to announce the program for FUNARCH 2024 is complete - @_alpacaaa will do the keynote!

[FUNARCH @ACMFUNARCH]

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

[MDE Network @the_mde_network]

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

[FUNARCH @ACMFUNARCH]

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