Friday, 15 March 2024

Agda Implementors' Meeting Coming to Swansea

The thirty-eighth Agda Implementors' Meeting will take place in Swansea, Wales, UK from Monday 13 to Saturday 18 May 2024.

 
The meeting aims to bring together people not only developing but also using Agda or even those who are simply interested in it. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion!

There's a (soft) deadline for registration on 14 April 2024.




at
Labels: , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Patrick Uftring on Computable Transformations of Turing Degree

The speaker for this week's seminar is Patrick Uftring from the University of Munich. He will talk about Computable transformations of T...

  • Giovanni Solda on Statistical Learning of Graphs
    This Thursday Giovanni Solda will give a talk on statistical learning of graphs as a part of our theory seminar series. Abstract: In the fir...
  • Proof and Computation Autumn School
    📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ...
  • Theory Away Day
    Our Theory Research Group kicked off the year with an inspiring away day, providing the perfect opportunity to reconnect as a team after the...