8-11 July 2014
Gent, Belgium
Dear all, This is just a reminder that the submission deadline for Trends in Logic XIV (The road less travelled. Of-stream applications of formal methods), January 6, is approaching. More details about the conference: http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html 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/ Best regards, Rafal Urbaniak