Idris is a fairly new dependently-typed functional programming language that aims at being a tool for writing practical programs. It is a close cousin of Agda. Idris adheres to Haskell's syntactic conventions where possible, and the compiler is written in Haskell. An Idris Developers' Meeting will be held, from Tuesday, April 29 to Friday, May 2, 2014, graciously hosted by Chalmers University of Technology in Gothenburg, Sweden. There is a Wiki page for coordinating participation and events: https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-April... The current plan is to spend Tuesday the 29th on introductions to Idris in general, and possibly to dependent types, in an attempt to get as many local people as possible up to speed on the project. Wednesday-Friday will primarily consist of focused hacking sessions and talks, interrupted by the local Walpurgis Night festivities on Wednesday evening. If you are interested in attending, please send a mail to David Christiansen (drc@itu.dk) with which days you will attend, whether it's OK for your name to appear on the public participant list, and whether you will need access to Internet. Participation is at no cost, but no food or rooms are provided. As room booking can be a bit tight, registrations are appreciated as soon as possible, but 13 April at the latest.