Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.7K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#formalmethods

0 posts0 participants0 posts today
Public
harryprayiv

If you’re a #haskell user or a proponent of #functionalprogramming please consider donating to the #Purescript project to keep it alive.

It’s a fairly obscure project but, IMO, it is THE language for web #frontend.

On top of that, the backend was recently rewritten in #ChezScheme which tends to be very popular choice in the #formalmethods world due to its rigor.

I see #ghcjs nipping at its heels but IMO, PS will always be a more bespoke and opinionated tool.

opencollective.com/purescript/

opencollective.comContribute - Open Collective
Public
Jan de Muijnck-Hughes

*Last Call*

I have a #PhD position for UK students, available with myself and @bentnib

This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.

*Hard Deadline*: Wednesday 16th April 2025

You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli

strath.ac.uk/studywithus/postg

(Ignore the deadline on the advert)

Please spread the words.

www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde
#dependentTypes#formalMethods#idris
Public
SELab@HVL

FTfJP 2025

27th International Workshop on Formal Techniques for Judicious Programming, 03
July 2025, Bergen, Norway

Conference website:
2025.ecoop.org/home/FTfJP-2025

## Important dates

- Paper submission: 15 April 2025 (AoE)
- Paper notification: 21 May 2025 (AoE)
- Workshop date: 03 July 2025 (co-located with ECOOP 2025)
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.

## Objectives and scope

Formal techniques can help analyse programs, precisely describe program
behaviour, and verify program properties. Modern programming languages (such as C#, Java, Kotlin, Rust, or Scala) are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages research challenges.

FTfJP welcomes submissions on technical contributions, case studies,
experience reports, challenge proposals, tools, and position papers as full (12 pages) or short (6 pages) papers.

2025.ecoop.orgFTfJP 2025 - ECOOP 2025Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages (such as C#, Java, Kotlin, Rust, or Scala) are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages thems ...
#ecoop2025#FormalMethods
Public *
Cass Alexandru

The other thing that I really enjoyed in my industry job is to really think that, hey, the skills that we have as PL people and as formal methods, functional programming, these sorts of things, they are relevant. It’s like people say that when you get into industry, these things are not important. And I think that’s a total misconception. It’s a total lie because, of course, if you don’t know what you can do with a nice systematic approach, of course, you don’t end up doing it, and everything becomes just another hack. - Farhad Mehta – the Haskell Interlude Podcast
#haskell #FunctionalProgramming #formalmethods

haskell.foundationFarhad MehtaIn this episode, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Farhad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.
SearchLive feeds
About