CFP: Trends in Logic XIV. The Road Less Travelled - Off-stream applications of formal methods

Authors of contributed papers are asked to submit extended abstracts and full papers, prepared for blind-review by January 20, 2014. Extended abstracts should be no more than 2000 words. Authors of accepted papers will have 30-60 minutes to present their work, depending on the length of their papers. Each paper will be followed by two commentaries from other participants. Accepted participants might be asked to comment on at least one talk. 5-10 minute  commentaries will be followed by 10-15 minutes of discussion. All accepted papers will be made available to the participants ahead of the conference.   If you are interested in participating, please submit your extended abstract and full paper through EasyChair by January 20, 2014 at https://www.easychair.org/conferences/?conf=til2014. (Please upload your extended abstract separately as the attachment.)