Parent, professor. I do not actually do Twitter.
Edinburgh, Scotland
Joined December 2010
- Tweets84
- Following480
- Followers163
- Likes695
Perdita Stevens retweeted
. @activegroupgmbh’s Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.
ALT Photo of Markus Schlegel giving his talk
Perdita Stevens retweeted
Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.
ALT Photo of Marc Kaufmann and Bogdan Popa giving their talk.
Perdita Stevens retweeted
. @jmchapman_ talks about the use of formal methods at @InputOutputHK to implement the Cardano blockchain.
ALT Photo of James Chapman giving his talk.
Perdita Stevens retweeted
BTW, you can watch the #FUNARCH2024 livestream here (resuming in a half hour):
youtube.com/watch?v=cX8yWBMK…
Perdita Stevens retweeted
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
ALT Photo of Mohit Tekriwal giving his talk.
Perdita Stevens retweeted
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. iohk.io/en/research/library/…
Perdita Stevens retweeted
#FUNARCH2024 starts off with Marco Sampellegrini @_alpacaaa giving his keynote on Architecturing Functional Programs.
ALT Photo of Marco Sampellegrini giving his keynote.
Perdita Stevens retweeted
Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024 !
ALT Photo of Weixi Ma giving his talk
Perdita Stevens retweeted
The proceedings for FUNARCH 2024 are available online - see you next week in Milan! dl.acm.org/doi/proceedings/1…
Perdita Stevens retweeted
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!
icfp24.sigplan.org/attending…
Perdita Stevens retweeted
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
functional-architecture.org/…
Perdita Stevens retweeted
The program for #FUNARCH2024 is up! We have a diverse lineup, ranging from experience report on applied functional software architecture to formal methods! functional-architecture.org/…
Perdita Stevens retweeted
We're happy to announce the program for FUNARCH 2024 is complete - @_alpacaaa will do the keynote!
Perdita Stevens retweeted
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!
functional-architecture.org/…
Perdita Stevens retweeted
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 👉 community.mde-network.org/ev…
Perdita Stevens retweeted
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! functional-architecture.org/…
Perdita Stevens retweeted
Our next Research Demonstration is up! Presentations from Onur Kilincceker on 'Exploring DevOps Practices for Model-Based System Engineering and Model-Driven Engineering' and Jeroen Keiren on 'Model checking in the context of digital twins'. Register here: community.mde-network.org/ev…
Perdita Stevens retweeted
Submit to the 2nd SIGPLAN Workshop on Functional Software Architecture #FUNARCH2024 - send us your take on how to do software development in the large with FP! Deadline is June 3! functional-architecture.org/…
Perdita Stevens retweeted
It's tomorrow! Come and join us for a training session on 'Practical Experience with Petriflow: Enriched Process Models Serving as Implementation'. With Ľuboš Petrovič.
Register for free 👉 community.mde-network.org/ev…
Perdita Stevens retweeted
The Call for Papers for #FUNARCH2024 is open - deadline is June 3rd. Send us research papers, experience reports, architectural pearls, or submit to the open category! functional-architecture.org/…