Skip to main content

TiL XIV reminder

This is just a reminder that the submission deadline for Trends in Logic XIV (The road less travelled. Off-stream applications of formal methods), January 6, is approaching.

More details about the conference:

Please observe that there will be TWO Trends in Logic conferences next year, the other one being Trends in Logic XIII (Gentzen's and Jaƛkowski's heritage; 80 years of natural deduction and sequent calculi).  More details about TiL XIII can be found here: