From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3B7hs6D023682 for ; Mon, 11 Apr 2011 09:43:54 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmQCANywok1KfVI0kGdsb2JhbACZAI0RCBQBAQEBCQkNBxQEIaZOjQuDZ4kNAQEDBoVoBI1YiTg6gSI X-IronPort-AV: E=Sophos;i="4.63,338,1299452400"; d="scan'208";a="92632446" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Apr 2011 09:43:18 +0200 Received: by wwe15 with SMTP id 15so7661449wwe.9 for ; Mon, 11 Apr 2011 00:43:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:date:x-google-sender-auth :message-id:subject:from:to:content-type; bh=b0aQ/cuqIKsGqPav1WaHjBotRSAdvpeHAMPITZ9P9wo=; b=ocLgLHgX+tg/XTsWA0Cq6Dk0FHTO1XDrg0+PHGzMMhZy5fRmcWkak3amgH95Mx9qgB kh2E4H9FtOjTJ9ZG++GbNZeE8UaMQTLE3lyaXU4S3bCVvKuYqFDAa0FgT0TzNt4PEsJb pJz52ZKJxc6w9vkjiLS58ygUiHPO7WpDaSoas= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=wu0iS2L+Nxx77CGipTQhmAI5pexNkXYcdkUDu7zvpl3Ehzi4jYe3BhRp9WWhZ/aVmU TAIDDtMTEmPF5pi4l27PfGbQfh/Wa0i3BIFBSc+iGjeRT/b6TJOCziMz0fywaZtq6tlC bfC4IUsMG1jPNmeeu/iHYCD5DBURfzFd+fGv0= MIME-Version: 1.0 Received: by 10.216.62.129 with SMTP id y1mr340210wec.61.1302507797496; Mon, 11 Apr 2011 00:43:17 -0700 (PDT) Sender: wouter.swierstra@gmail.com Received: by 10.216.26.132 with HTTP; Mon, 11 Apr 2011 00:43:17 -0700 (PDT) Date: Mon, 11 Apr 2011 09:43:17 +0200 X-Google-Sender-Auth: ahLlLcgI5m4_BeemdtYJFJx1XPI Message-ID: From: Wouter Swierstra To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] Call for papers DTP'11 Dependently Typed Programming 2011 Call for Papers 27 of August 2011 Nijmegen, The Netherland In association with ITP 2011 Deadline for submission: 10 June 2011 http://www.cs.ru.nl/dtp11 Dependently typed programming is here today: where will it go tomorrow? On the one hand, dependent type theories have grown programming languages; on the other hand, the type systems of programming languages like Haskell (and even C#) are incorporating some kinds of type-level data. When types involve data, they can capture relationships between data, internalising invariants necessary for appropriate computation. When data describe types, we can express patterns of programming in code. We're beginning to see how to take advantage of the power and precision which dependent types afford, but there are still plenty of problems to address and issues to resolve. The design space is large: this workshop is a forum for researchers who are exploring it. We hope that the workshop will attract people who work on the design and implementation of dependently typed programming languages and development environments, or who are using existing systems to develop dependently typed programs and libraries. * Submissions * If you want to give a talk or a demo at the workshop, please send us a title and an abstract before 10 June 2011 to w.swierstra{at}cs.ru.nl. Slots will be of 30 minutes (unless you ask for less). We will try to fit as many talks as possible. We aim to publish post-proceedings containing refereed papers related to the topic of the workshop in a suitable journal. More information about this will come after the workshop. * Important Dates * 10 June 2011: Submission deadline 25 June 2011: Notification of acceptance 27 August 2911: DTP workshop * Program Committee * Ana Bove, Chalmers, Sweden Matthieu Sozeau, INRIA, France Wouter Swierstra, Radboud University, The Netherlands