From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6301 Path: news.gmane.org!not-for-mail From: Thorsten Altenkirch Newsgroups: gmane.science.mathematics.categories Subject: CFP: Special issue on DEPENDENTLY TYPED PROGRAMMING 2010 Date: Thu, 7 Oct 2010 22:55:37 +0100 Message-ID: Reply-To: Thorsten Altenkirch NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1286564325 10257 80.91.229.12 (8 Oct 2010 18:58:45 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 8 Oct 2010 18:58:45 +0000 (UTC) To: categories List Original-X-From: majordomo@mlist.mta.ca Fri Oct 08 20:58:44 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1P4I9T-00028y-EA for gsmc-categories@m.gmane.org; Fri, 08 Oct 2010 20:58:43 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43930) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1P4I8B-0004HF-GX; Fri, 08 Oct 2010 15:57:23 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1P4I85-0007gq-1V for categories-list@mlist.mta.ca; Fri, 08 Oct 2010 15:57:17 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6301 Archived-At: (s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)* OPEN CALL FOR PAPERS for a Special Issue of MATHEMATICAL STRUCTURES in COMPUTER SCIENCE in association with the workshop DEPENDENTLY TYPED PROGRAMMING 2010 editors: Thorsten Altenkirch (Nottingham), Conor McBride (Strathclyde) 2011 timeline: submission Jan 31; notification May 31; final version June 30 (s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)* Thorsten Altenkirch and Conor McBride are delighted to invite contributions to a Special Issue of the journal Mathematical Structures in Computer Science (Cambridge University Press), in association with the Workshop on Dependently Typed Programming, which we organised on 9 and 10 July 2010 in Edinburgh, as part of FLoC, associated with LiCS. The workshop had a packed programme of exciting developments, reflecting the strength of work on this topic at this time. More recent workshops and conferences have exhibited a significant contribution from researchers in this area. We are grateful to Editor-in-Chief Giuseppe Longo and to Editor Eugenio Moggi for the opportunity to reflect these welcome developments in the pages of MSCS, and we encourage researchers to consider submitting a paper. submission deadline: January 31 2011 notification: May 31 2011 final versions due: June 30 2011 We invite full journal articles concerning Dependently Typed Programming or related topics, from authors at work in this area. Submissions are particularly welcome from but not limited to contributors to the workshop, and the same journal-standard peer review process will apply in any case. Please feel free to address any enquiries about scope and suitability to the guest editors, Thorsten Altenkirch (University of Nottingham) and Conor McBride (University of Strathclyde). Submissions should usually not exceed 35 pages. Authors should adhere to the guidelines issued by Cambridge University Press for MSCS contributors: http://assets.cambridge.org/MSC/MSC_ifc.pdf. These include directions to the relevant LaTeX resources. We very much look forward to hearing from you. Thorsten and Conor [For admin and other information see: http://www.mta.ca/~cat-dist/ ]