From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4V8ftUs021253 for ; Tue, 31 May 2011 10:41:57 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArICAPeo5E3RVda2imdsb2JhbAAyAQoWCKYcCBQBAQEKCQ0HEgYhp1CMKIItAQWELIkbAQSGHpBThRqGDDsrgxA X-IronPort-AV: E=Sophos;i="4.65,296,1304287200"; d="scan'208";a="109914378" Received: from mail-iw0-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 May 2011 10:41:57 +0200 Received: by iwn33 with SMTP id 33so5958085iwn.27 for ; Tue, 31 May 2011 01:41:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:reply-to:date:message-id:subject :from:to:content-type; bh=kxjkPYVwanFR6eBfdZZnLYQiMLgb8CJUcZMk0tVWDRA=; b=Z6w5dNX37whT1oioTcEr80X9DwPVN1oaUq1ZybIgXJgZ50cYtqGQqTWTCh9Fcem+ju p1H5YNTXbVK4T/LRgoGGkwZt14QQpZ1y1cLWJez3sDm+JLSmSQ4juPXsaJIECXVlQBT5 KwrhzYQgPazzlYremXTYcMgSlnuIEmB7aJ+2Q= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:reply-to:date:message-id:subject:from:to:content-type; b=dWFw+dw/gLH5M2hNUw7xYlo47E1Zry8iVnKFOEGS2EMI50cYIYQvb6A9aPaIWJiedy BoYvT0EfCOV1SXXKfugrkrqKu8Vt2P2cozrh2e8e46viKXzSO71l25gZqqicfdZStT/M JVVxXVWVIvlTR0ddeNlixG4jHNUosSkQS9GjQ= MIME-Version: 1.0 Received: by 10.231.196.233 with SMTP id eh41mr7486926ibb.6.1306831316077; Tue, 31 May 2011 01:41:56 -0700 (PDT) Received: by 10.231.41.71 with HTTP; Tue, 31 May 2011 01:41:56 -0700 (PDT) Reply-To: wouter.swierstra@gmail.com Date: Tue, 31 May 2011 10:41:56 +0200 Message-ID: From: Wouter Swierstra To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] DTP 2011: Second Call for Talks 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 2011: DTP workshop * Program Committee * Ana Bove, Chalmers, Sweden Matthieu Sozeau, INRIA, France Wouter Swierstra, Radboud University, The Netherlands