The FMM project website formal-methods-in-musicology.webnode.com/ has now been updated with better images, and we've drafted two more research Abstracts (Bach's early keyboard music, and changing styles in Haydn's string quartets) to go online shortly.