From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EDBAE7EE40; Fri, 18 Mar 2016 17:26:18 +0100 (CET) IronPort-PHdr: 9a23:XVvzsBXW0nZ2qFvP7Fv5qd+2VHbV8LGtZVwlr6E/grcLSJyIuqrYbBSGt8tkgFKBZ4jH8fUM07OQ6PCwHzRdqszY6DgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2DJV0Vz2DkOftbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN5IeSp10RHR/ayFmrPHs4B3KVk6L53AHemEXiQZTRRTYqRv3RJPwtG32u641xDiCMNazRLYyXimk5KpDbD7TtBxBLDMw6yfKksF2iuRWrA/l7yRlxInaXIGYM+BvOIfcZs8ySm9IX8IXXCtERsu3ZpcCAO0bPOtDh4zhrh0FpF/2Dg6qD/710DJOjW7e2awhz/8sCx/Lxko8At9ItnCQ5Nv0MqYOXKWwy6XFyXDfb/5RwybV7InTbgtnu+6QXfd5eMHRxE9pGw6BxlyIsZfoOhuR1/8RqC6H5PEmVOyuzWoitkd9r3znwsknkczIgJ4Y0F3f6Q14xohzKNH+QUU9fN3gWJ9RsSyTLaN9WYU5X2hutiEgxvsLtYP/NAcj7bkc7xrecOCcNZKX/hKmXe+aITp+wn5oPPqnnRG9tEypzOLUWsi3zRBGrW4NjtnBsWoA0lnL8M+ZR+Fm1k6gnzOOy0be5vwAaVw0mK3BOtslxbExnbI4igLoOxKwtWnLyOefeUkt0uyp8Pj8JL7mr5uZOpVvzBrzduwikNO4G+A0GgMVGXea4u/62bH+uQXwW7FikPQtiaDD9p3WOIBTrae1DidUzptl5xX7RzyhyZETmWQNBFNDYhOOyYbzfxnPO/nyAPO7jhGxizpx3NjNOvvqC5CLJ3OFjbSlNaps80NH4A4y1sxEoZlUA7UELejoHFT88JTTBxo9dgi12PrPCdNn14pYV3jLSrWUL7nTrV6O6coiJfLJYJ4SvnDzMbxt+/P0iGM+nlsGVba2wt0TcnH+EO41DV+eZC/si8waHGYivRckTenxzl6TViJUImv0Vql65CloW8qdEY7fS9X10/S61yChE8gPPm0= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hassei@kurims.kyoto-u.ac.jp; spf=None smtp.mailfrom=hassei@kurims.kyoto-u.ac.jp; spf=None smtp.helo=postmaster@omls-1.kuins.kyoto-u.ac.jp Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hassei@kurims.kyoto-u.ac.jp) identity=pra; client-ip=130.54.130.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hassei@kurims.kyoto-u.ac.jp"; x-sender="hassei@kurims.kyoto-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hassei@kurims.kyoto-u.ac.jp) identity=mailfrom; client-ip=130.54.130.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hassei@kurims.kyoto-u.ac.jp"; x-sender="hassei@kurims.kyoto-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@omls-1.kuins.kyoto-u.ac.jp) identity=helo; client-ip=130.54.130.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hassei@kurims.kyoto-u.ac.jp"; x-sender="postmaster@omls-1.kuins.kyoto-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AoAQDXK+xWk1SCNoJeDgiEAXIGp3iKWIU3hAwXCoUiSoEwPBABAQEBAQEBARABAQEBBw0JCSEvgi2CTQEHGhQRFYEqEhGIFQEOvFiEEgEBAQcBAQEBAQEajSmEPQtAgkMFh2CGTokphXGCcoUhgWVLg3+IWIdFCIYMAYEsN4I/gRZKWwEBimEBAQE X-IPAS-Result: A0AoAQDXK+xWk1SCNoJeDgiEAXIGp3iKWIU3hAwXCoUiSoEwPBABAQEBAQEBARABAQEBBw0JCSEvgi2CTQEHGhQRFYEqEhGIFQEOvFiEEgEBAQcBAQEBAQEajSmEPQtAgkMFh2CGTokphXGCcoUhgWVLg3+IWIdFCIYMAYEsN4I/gRZKWwEBimEBAQE X-IronPort-AV: E=Sophos;i="5.24,355,1454972400"; d="scan'208";a="169439056" Received: from omls-1.kuins.kyoto-u.ac.jp ([130.54.130.84]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Mar 2016 17:25:54 +0100 Received: from scmls-s02.kuins.kyoto-u.ac.jp (scmls-s02.kuins.kyoto-u.ac.jp [133.3.201.215]) by omls-1.kuins.kyoto-u.ac.jp (8.14.4/8.12.7) with ESMTP id u2IGNkVk013478; Sat, 19 Mar 2016 01:23:46 +0900 X-AuditID: 0ae0fe9d-f79026d000001bde-b3-56ec2b924a3d Received: from imls-2a.kuins.net (imls-2a.kuins.net [10.224.254.3]) by scmls-s02.kuins.kyoto-u.ac.jp (Symantec Messaging Gateway) with SMTP id CB.0A.07134.29B2CE65; Sat, 19 Mar 2016 01:23:46 +0900 (JST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by imls-2a.kuins.net (8.14.4/8.12.10) with ESMTP id u2IGNfmg045113; Sat, 19 Mar 2016 01:23:42 +0900 Received: from tinu.kurims.kyoto-u.ac.jp (akou [130.54.16.75]) by kurims.kurims.kyoto-u.ac.jp (8.13.8/8.13.8) with ESMTP id u2IGNU1w026048; Sat, 19 Mar 2016 01:23:30 +0900 (JST) Received: from 112.69.137.194 (RisuMail authenticated user hassei) by tinu.kurims.kyoto-u.ac.jp with HTTP; Sat, 19 Mar 2016 01:23:38 +0900 (JST) Message-ID: <64301.112.69.137.194.1458318218.risu@tinu.kurims.kyoto-u.ac.jp> Date: Sat, 19 Mar 2016 01:23:38 +0900 (JST) From: hassei@kurims.kyoto-u.ac.jp To: las-lics@lists.tu-berlin.de, types-announce@LISTS.seas.upenn.edu, ProofTheory.List@gmail.com, categories@mta.ca, concurrency@listserver.tue.nl, finite-model-theory@lists.rwth-aachen.de, appsem@lists.tcs.ifi.lmu.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@CS.CMU.EDU, agda@lists.chalmers.se, dbworld@cs.wisc.edu, asl@vassar.edu, cade@itu.dk, coq-club@inria.fr, isabelle-users@cl.cam.ac.uk, types@lists.chalmers.se, caml-list@inria.fr, rewriting@ens-lyon.fr, termtools@www.lri.fr Cc: hassei@kurims.kyoto-u.ac.jp User-Agent: RisuMail 3.1 X-Mailer: RisuMail 3.1 MIME-Version: 1.0 Content-Type: text/plain;charset=us-ascii Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal X-Brightmail-Tracker: H4sIAAAAAAAAA01Ta0hTURzn3Hu3XYe3rttsR3u6KEnRzF4HehAVcT8UBsU+9KG65dWN5pTd TdQoamWPpbVNqjW11KzErKW0HgpZK62JWVZGQUsLqfnAQKPETLrXtfLb739+r3Pgf0hc0SiN JfVGM2cysgaNVE7IeybwJGfioDalOqhBtQ1DEuQqGgTo52grQAG3V4KG790ikPXrGI7GXnYI Y3clQCPtZwDqcH8g0OPnVgI5Lh8GqMtViSPnl3MY8lyxStCpX7PRsRaPDN15XU2g+vERAjV+ uCpDTeN+DPlKCPTjrRNbp2ZOPDMz3sKnBFPxZDMzEDwnY7rGanGmzv4TMI3j25j77oCMqeq9 JWGcQR/B1HdeAcxE4BXO9HU/ljKNrc0ypvhuM84MN2zZqtohX53OGfS5nGnx2t1y3ee649Kc O4q8tmfvJIfAw+k2EEFCehm0/bohC+EZ8OVHj1TECrodwBf+pTYgF/ADAL9XP5SGBi+AJ+t7 cRsgheE6gBc40UDRm+Hz14WEeEzQidBVvEA8VtIIjtcUTuZL6TgYrBkFYoyKviSBLVVDhEjg 9FzotX6bLI6mIfw08Y0IX6jzYgUWyo+C/gu9f/WLoKfyKAh7j3hL8bDefnNsEkfQCnii66TE DpTuKXb3FLt7ir0C4LVAye/NMvBJfEpq8j6L3sgnGzlzAwitRfk98Kppow/QJNBEUsGCAa1C wuby+Vk+EENimmgqY+GgVjFtT3Z6vo7ldbtMFgPH+wAkcY2K+h0vcFQ6m1/AmbLD1EyS0Kgp UGrZrqAzWTO3j+NyOFOYnUWSGkgVJAjGKBOXyeVl6A3m/zRGRojhkUK4S9RQfA6bxeszQ3wb SCIH359uwhSEMdvIxapDQbQo0lmM/3LElbeuoEE/UAvPUlKtoipS+BD/kvqFEkwoad3ZL5aY 2f9U7CEQn5FzeWJ5ArXdUeI6OpqcOrvmjbt4Q9ZCd0e5ubrO8Vs157wzLvP9AlfZgLy8JsVW 1NEUZ/ce6Anwq9cWzXtkDwys6So7W+C/lnb+6sr8/dMj2ZgjQ0o/l+tosahPq+a56IT2PKxd W+ZI2RvjKY3Xbkosmd+3quj2wcNpp9YXr9IQvI5dkoCbePYPbfWmzc0DAAA= X-Validation-by: hassei@kurims.kyoto-u.ac.jp Subject: [Caml-list] FSCD'16 Satellite Events and Upcoming Deadlines FSCD 2016: SATELLITE EVENTS AND UPCOMING DEADLINES First International Conference on Formal Structures for Computation and Deduction (FSCD'16) 22 June -- 26 June 2016, Porto, Portugal http://fscd2016.dcc.fc.up.pt/ http://fscd2016.dcc.fc.up.pt/programme/workshopList/ Various meetings and workshops are colocated with FSCD 2016. The following is a summary of them, with the upcoming deadlines (based on the data as of 18 March 2016). For the latest information please visit each event's webpage. --------- Upcoming deadlines (in the chronological order): ITRS: March 28-31, 2016 LSFA: April 8, 2016 LFMTP: April 8-13, 2016 LINEARITY: April 8-15, 2016 HDRA: April 15, 2016 WWV: April 16, 2016 HoTT/UF: April 20, 2016 WPTE: April 22, 2016 HOR: April 25, 2016 DCM: April 29, 2016 UNIF: May 1, 2016 ---------- FSCD Satellite events: 6th Workshop on Classical Logic and Computation (CL&C): http://www.di.unito.it/~stefano/CL&C/CL&C16.htm 12th Workshop on Developments in Computational Models (DCM): http://dcm-workshop.org.uk/2016/ 2nd Workshop on Higher-Dimensional Rewriting and Applications (HDRA): http://hdra.gforge.inria.fr/ 8th Workshop on Higher-Order Rewriting (HOR): http://www.diku.dk/hjemmesider/ansatte/simonsen/HOR2016/ 2nd Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF): http://hott-uf.gforge.inria.fr/ IFIP Working Group 1.6: Term Rewriting: http://cbr.uibk.ac.at/ifip-wg1.6/ 8th Workshop on Intersection Types and Related Systems (ITRS): http://www-kb.is.s.u-tokyo.ac.jp/ITRS2016/ 4th Workshop on Linearity (LINEARITY): http://www.cs.cmu.edu/~linearity16/ 18th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP): http://dlicata.web.wesleyan.edu/events/lfmtp2016/ 11th Workshop on Logical and Semantic Frameworks, with Applications (LSFA): http://lsfa2016.mat.unb.br/ 30th Workshop on Unification (UNIF): http://users.mat.unimi.it/users/ghilardi/UNIF2016/ 3rd Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE): http://project.inria.fr/wpte2016/ 12th Workshop on Automated Specification and Verification of Web Systems (WWV): http://www.lucavigano.com/WWV2016/ -------- -- Masahito Hasegawa RIMS, Kyoto University