Show newer

Computability in Europe 2021: Connecting with Computability 5-9, July 2021 at The Department of Mathematics, Ghent University

International Conference on Functional Programming 2021 Daejon, South Korea with the possibility of a virtual conference

Announcing Emacs online Asia-Pacific (APAC) meetup, on Saturday, November 28, 2020 at 1400 IST with Jitsi and on

6th Workshop on Formal Integrated Development Environment, 24-28 May 2020, Norfolk, VA, US

Show older

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!