The librarians and I just arranged the third and final type-in for 2018. It’s still in the planning stages, but the date and time is set, if you would like to put it in your calendar. Further information will later be posted. Also, from now on, we will plan a type-in for every six months, meaning every December and June. I hope you can make it!