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: http://filozof.uni.lodz.pl/trends/