The deadline for the IFL Draft Paper submission has just been extended! The new deadline is August 7th.
Keep an eye on our website for more details: ifl23.github.io#ifl2023#functional
The 2023 edition of the IFL symposium will be held in Braga, Portugal, August 29th - 31st. Please join us in spreading the word! #ifl2023#functionalifl23.github.io/