From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8045 Path: news.gmane.org!not-for-mail From: Eugenio Moggi Newsgroups: gmane.science.mathematics.categories Subject: Correctness by Construction, Genoa, Italy, 24-27 March 2014 Date: Tue, 04 Mar 2014 21:14:01 +0100 Message-ID: Reply-To: Eugenio Moggi NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1394018325 757 80.91.229.3 (5 Mar 2014 11:18:45 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 5 Mar 2014 11:18:45 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Mar 05 12:18:55 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WL9qe-0001Q6-EB for gsmc-categories@m.gmane.org; Wed, 05 Mar 2014 12:18:52 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:39825) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1WL9px-0003NY-LC; Wed, 05 Mar 2014 07:18:09 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1WL9pw-0000OS-0N for categories-list@mlist.mta.ca; Wed, 05 Mar 2014 07:18:08 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8045 Archived-At: Call for Participation---the preliminary programme is now available: http://corcon2014.net/programme/ Definite deadline for registration: 13 March 2014 _________________________________________________________________________ Correctness by Construction, Workshop, Genoa, Italy, 24-27 March 2014 http://corcon2014.net/ Correctness by Construction (CORCON) is an FP7 EU-funded project under the Marie Curie IRSES scheme. This kick-off workshop of CORCON aims at bringing together the participants of the project and those researchers who are interested in the themes of the project. The workshop is further promoted by AILA (Associazione Italiana di Logica e sue Applicazioni), by IC-EATCS (Italian Chapter of the European Association for Theoretical Computer Science) and by the Italian national research project Logical Methods of Information Management. Themes of the Project Proof Theory, Type Theory and Constructive Set Theory Constructive Topology and Analysis Homotopy Type Theory Categorical Logic Programming Languages for Correct by Construction Programming Correct by Construction Programs over Continuous Data Correct by Construction Programs with Limited Resources More details, including speakers, programme, registration, travel and accommodation, are available on the project web page. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]