[FOM] Trends in Logic XIV CPF, reminder

Rafal rfl.urbaniak at gmail.com
Sun Dec 1 04:37:29 EST 2013


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



More information about the FOM mailing list