From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2264B7FE36 for ; Fri, 3 Jun 2016 18:25:42 +0200 (CEST) IronPort-PHdr: 9a23:Y6xycRP1xy16ktTDETAl6mtUPXoX/o7sNwtQ0KIMzox0KPnyrarrMEGX3/hxlliBBdydsKIVzbSN+PGwEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35Xxibv5qs2bSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoXzNNbSajxY4g/SLVZCnxmbzF0t4XXskzIRA6Lo38dSXk+kxxSAgGD4gupcI32t37Lq+l8yS6BPcy+brkxVCWr6q4jHBzhjSoWPjsw2Gjcj4p3lq0N80HpnAB234OBONLdD/F5ZK6IIYIX Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kameyama@acm.org; spf=SoftFail smtp.mailfrom=kameyama@acm.org; spf=None smtp.helo=postmaster@curry.cs.tsukuba.ac.jp Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kameyama@acm.org) identity=pra; client-ip=130.158.77.191; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kameyama@acm.org"; x-sender="kameyama@acm.org"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of kameyama@acm.org is inclined to not designate 130.158.77.191 as permitted sender) identity=mailfrom; client-ip=130.158.77.191; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kameyama@acm.org"; x-sender="kameyama@acm.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@curry.cs.tsukuba.ac.jp) identity=helo; client-ip=130.158.77.191; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kameyama@acm.org"; x-sender="postmaster@curry.cs.tsukuba.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DIBwBCrlFX/79NnoJGFoM6IjR9qX0Bjk6ECBcLhSZogRs7EQEBAQEBAQEBZCeCMII5BhE0RgIPFwIEd4gmDqFCj2KRQSWBAYssglGCfwstE4JGBYZCiBeJbIUbaJc9hieBV4RggnQ0IIIUgWlfAYoRAQEB X-IPAS-Result: A0DIBwBCrlFX/79NnoJGFoM6IjR9qX0Bjk6ECBcLhSZogRs7EQEBAQEBAQEBZCeCMII5BhE0RgIPFwIEd4gmDqFCj2KRQSWBAYssglGCfwstE4JGBYZCiBeJbIUbaJc9hieBV4RggnQ0IIIUgWlfAYoRAQEB X-IronPort-AV: E=Sophos;i="5.26,413,1459807200"; d="scan'208";a="221024584" Received: from curry.cs.tsukuba.ac.jp ([130.158.77.191]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Jun 2016 18:25:40 +0200 Received: from localhost (curry [130.158.77.191]) by curry.cs.tsukuba.ac.jp (Postfix) with ESMTP id 4FF45188020A; Sat, 4 Jun 2016 01:25:37 +0900 (JST) Date: Sat, 04 Jun 2016 01:25:37 +0900 (JST) Message-Id: <20160604.012537.193706703.kam@cs.tsukuba.ac.jp> To: caml-list@inria.fr From: Yukiyoshi Kameyama Mime-Version: 1.0 Content-Type: Text/Plain; charset=utf-8 Content-Transfer-Encoding: base64 X-Validation-by: kam@cs.tsukuba.ac.jp Subject: [Caml-list] FHPC 2016: Final Call for Papers PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PQ0KICAgICAgICAgICAgICAgICAg ICAgICAgICBDQUxMIEZPUiBQQVBFUlMNCg0KICAgICAgICAgICAgICAgICAg ICAgICAgICAgICBGSFBDIDIwMTYNCg0KICAgICAgICAgICAgICAgICAgVGhl IDV0aCBBQ00gU0lHUExBTiBXb3Jrc2hvcCBvbg0KICAgICAgICAgICAgICAg RnVuY3Rpb25hbCBIaWdoLVBlcmZvcm1hbmNlIENvbXB1dGluZw0KICAgICAg ICAgICAgICAgICAgICAgICAgICAgIE5hcmEsIEphcGFuDQogICAgICAgICAg ICAgICAgICAgICAgICAgU2VwdGVtYmVyIDIyLCAyMDE2DQoNCiAgICAgICAg ICAgIGh0dHBzOi8vc2l0ZXMuZ29vZ2xlLmNvbS9zaXRlL2ZocGN3b3Jrc2hv cHMvDQoNCkNvLWxvY2F0ZWQgd2l0aCB0aGUgSW50ZXJuYXRpb25hbCBDb25m ZXJlbmNlIG9uIEZ1bmN0aW9uYWwgUHJvZ3JhbW1pbmcNCiAgICAgICAgICAg ICAgICAgICAgICAgICAgICAoSUNGUCAyMDE2KQ0KDQpTdWJtaXNzaW9uIERl YWRsaW5lOiBGcmlkYXksIDEwIEp1bmUsIDIwMTYgKGFueXdoZXJlIG9uIGVh cnRoKQ0KPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQpUaGUgRkhQQyB3 b3Jrc2hvcCBhaW1zIGF0IGJyaW5naW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJz IGV4cGxvcmluZyB1c2VzDQpvZiBmdW5jdGlvbmFsIChvciBtb3JlIGdlbmVy YWxseSwgZGVjbGFyYXRpdmUgb3IgaGlnaC1sZXZlbCkNCnByb2dyYW1taW5n IHRlY2hub2xvZ3kgaW4gYXBwbGljYXRpb24gZG9tYWlucyB3aGVyZSBoaWdo IHBlcmZvcm1hbmNlDQppcyBlc3NlbnRpYWwuIFRoZSBhaW0gb2YgdGhlIG1l ZXRpbmcgaXMgdG8gZW5hYmxlIHNoYXJpbmcgb2YgcmVzdWx0cywNCmV4cGVy aWVuY2VzLCBhbmQgbm92ZWwgaWRlYXMgYWJvdXQgaG93IGhpZ2gtbGV2ZWws IGRlY2xhcmF0aXZlDQpzcGVjaWZpY2F0aW9ucyBvZiBjb21wdXRhdGlvbmFs bHkgY2hhbGxlbmdpbmcgcHJvYmxlbXMgY2FuIHNlcnZlIGFzDQptYWludGFp bmFibGUgYW5kIHBvcnRhYmxlIGNvZGUgdGhhdCBhcHByb2FjaGVzIChvciBl dmVuIGV4Y2VlZHMpIHRoZQ0KcGVyZm9ybWFuY2Ugb2YgbWFjaGluZS1vcmll bnRlZCBpbXBlcmF0aXZlIGltcGxlbWVudGF0aW9ucy4NCg0KQWxsIGFzcGVj dHMgb2YgcGVyZm9ybWFuY2UgY3JpdGljYWwgcHJvZ3JhbW1pbmcgYW5kIHBh cmFsbGVsDQpwcm9ncmFtbWluZyBhcmUgaW4tc2NvcGUgZm9yIHRoZSB3b3Jr c2hvcCwgaXJyZXNwZWN0aXZlIG9mIGhhcmR3YXJlDQp0YXJnZXQuIFRoaXMg aW5jbHVkZXMgYm90aCB0cmFkaXRpb25hbCBsYXJnZS1zY2FsZSBzY2llbnRp ZmljDQpjb21wdXRpbmcgKEhQQyksIGFzIHdlbGwgYXMgd29yayB0YXJnZXRp bmcgc2luZ2xlIG5vZGUgc3lzdGVtcyB3aXRoDQpTTVBzLCBHUFVzLCBGUEdB cywgb3IgZW1iZWRkZWQgcHJvY2Vzc29ycy4gSXQgaXMgYmVjb21pbmcgYXBw YXJlbnQNCnRoYXQgcmFkaWNhbGx5IG5ldyBhbmQgd2VsbCBmb3VuZGVkIG1l dGhvZG9sb2dpZXMgZm9yIHByb2dyYW1taW5nIHN1Y2gNCnN5c3RlbXMgYXJl IHJlcXVpcmVkIHRvIGFkZHJlc3MgdGhlaXIgaW5oZXJlbnQgY29tcGxleGl0 eSBhbmQgdG8NCnJlY29uY2lsZSBleGVjdXRpb24gcGVyZm9ybWFuY2Ugd2l0 aCBwcm9ncmFtbWluZyBwcm9kdWN0aXZpdHkuDQpFeHBlcmllbmNlIHJlcG9y dHMgYXJlIGFsc28gd2VsY29tZS4NCg0KDQpQcm9jZWVkaW5nczoNCj09PT09 PT09PT09PQ0KDQpGSFBDIDIwMTYgc2Vla3MgdG8gZW5jb3VyYWdlIGEgcmFu Z2Ugb2Ygc3VibWlzc2lvbnMsIGZvY3Vzc2luZyBvbiB3b3JrDQppbiBwcm9n cmVzcyBhbmQgZmFjaWxpdGF0aW5nIGVhcmx5IGV4Y2hhbmdlIG9mIGlkZWFz IGFuZCBvcGVuIGRpc2N1c3Npb24NCm9uIGlubm92YXRpdmUgYW5kL29yIGVt ZXJnaW5nIHJlc3VsdHMuIFRvIHRoaXMgZW5kIHN1Ym1pc3Npb25zIHNob3Vs ZA0KdGFrZSB0aGUgZm9ybSBvZiBzaG9ydCAobWF4aW11bSA2IHBhZ2UpIHBh cGVycy4gQWNjZXB0ZWQgcGFwZXJzIHdpbGwNCmJlIHB1Ymxpc2hlZCBieSB0 aGUgQUNNIGFuZCB3aWxsIGFwcGVhciBpbiB0aGUgQUNNIERpZ2l0YWwgTGli cmFyeS4NCg0KKiBTdWJtaXNzaW9ucyBkdWU6IEZyaWRheSwgMTAgSnVuZSwg MjAxNiAoYW55d2hlcmUgb24gZWFydGgpDQoqIEF1dGhvciBub3RpZmljYXRp b246IEZyaWRheSwgOCBKdWx5LCAyMDE2DQoqIEZpbmFsIGNvcHkgZHVlOiBT dW5kYXksIDMxIEp1bHksIDIwMTYNCg0KU3VibWl0dGVkIHBhcGVycyBtdXN0 IGJlIGluIHBvcnRhYmxlIGRvY3VtZW50IGZvcm1hdCAoUERGKSwgZm9ybWF0 dGVkDQphY2NvcmRpbmcgdG8gdGhlIEFDTSBTSUdQTEFOIHN0eWxlIGd1aWRl bGluZXMgKDIgY29sdW1uLCA5cHQgZm9ybWF0KS4NClNlZSBodHRwOi8vd3d3 LnNpZ3BsYW4ub3JnL2F1dGhvckluZm9ybWF0aW9uLmh0bSBmb3IgbW9yZSBp bmZvcm1hdGlvbg0KYW5kIHN0eWxlIGZpbGVzLiBQYXBlcnMgc2hvdWxkIGJl IG5vIGxvbmdlciB0aGFuIDYgcGFnZXMuDQoNCkNvbnRyaWJ1dGlvbnMgdG8g RkhQQyAyMDE2IHNob3VsZCBiZSBzdWJtaXR0ZWQgdmlhIEVhc3ljaGFpciwg YXQgdGhlDQpmb2xsb3dpbmcgVVJMOg0KDQoqIGh0dHBzOi8vd3d3LmVhc3lj aGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9ZmhwYzE2DQoNClRoZSBGSFBD IHdvcmtzaG9wcyBhZGhlcmUgdG8gdGhlIEFDTSBTSUdQTEFOIHBvbGljaWVz IHJlZ2FyZGluZw0KcHJvZ3JhbW1lIGNvbW1pdHRlZSBjb250cmlidXRpb25z IGFuZCByZXB1YmxpY2F0aW9uLiBBbnkgcGFwZXINCnN1Ym1pdHRlZCBtdXN0 IGFkaGVyZSB0byBBQ00gU0lHUExBTidzIHJlcHVibGljYXRpb24gcG9saWN5 LiBQQyBtZW1iZXINCnN1Ym1pc3Npb25zIGFyZSB3ZWxjb21lLCBidXQgd2ls bCBiZSByZXZpZXdlZCB0byBhIGhpZ2hlciBzdGFuZGFyZC4NCg0KaHR0cDov L3d3dy5zaWdwbGFuLm9yZy9SZXNvdXJjZXMvUG9saWNpZXMvUmV2aWV3DQpo dHRwOi8vd3d3LnNpZ3BsYW4ub3JnL1Jlc291cmNlcy9Qb2xpY2llcy9SZXB1 YmxpY2F0aW9uDQoNClRyYXZlbCBTdXBwb3J0Og0KPT09PT09PT09PT09PT09 DQoNClN0dWRlbnQgYXR0ZW5kZWVzIHdpdGggYWNjZXB0ZWQgcGFwZXJzIGNh biBhcHBseSBmb3IgYSBTSUdQTEFOIFBBQw0KZ3JhbnQgdG8gaGVscCBjb3Zl ciB0cmF2ZWwgZXhwZW5zZXMuIFBBQyBhbHNvIG9mZmVycyBvdGhlciBzdXBw b3J0LCBzdWNoDQphcyBmb3IgY2hpbGQtY2FyZSBleHBlbnNlcyBkdXJpbmcg dGhlIG1lZXRpbmcgb3IgZm9yIHRyYXZlbCBjb3N0cyBmb3INCmNvbXBhbmlv bnMgb2YgU0lHUExBTiBtZW1iZXJzIHdpdGggcGh5c2ljYWwgZGlzYWJpbGl0 aWVzLCBhcyB3ZWxsIGFzIGZvcg0KdHJhdmVsIGZyb20gbG9jYXRpb25zIG91 dHNpZGUgb2YgTm9ydGggQW1lcmljYSBhbmQgRXVyb3BlLiBGb3IgZGV0YWls cw0Kb24gdGhlIFBBQyBwcm9ncmFtbWUsIHNlZSBpdHMgd2ViIHBhZ2UgKGh0 dHA6Ly93d3cuc2lncGxhbi5vcmcvUEFDLmh0bSkuDQoNClByb2dyYW1tZSBD b21taXR0ZWU6DQo9PT09PT09PT09PT09PT09PT09PQ0KDQpEYXZpZCBEdWtl IChjby1jaGFpcikgICAgICAgICAgIFVuaXZlcnNpdHkgb2YgTGVlZHMsIFVL DQpZdWtpeW9zaGkgS2FtZXlhbWEgKGNvLWNoYWlyKSAgIFVuaXZlcnNpdHkg b2YgVHN1a3ViYSwgSmFwYW4NCg0KQmFyaXMgQWt0ZW11ciAgICAgICAgICAg ICAgICAgICDDlnp5ZcSfaW4gVW5pdmVyc2l0eSwgVHVya2V5DQpNYXJjbyBB bGRpbnVjY2kgICAgICAgICAgICAgICAgIFVuaXZlcnNpdHkgb2YgVG9yaW5v LCBJdGFseQ0KSm9zdCBCZXJ0aG9sZCAgICAgICAgICAgICAgICAgICBDb21t b253ZWFsdGggQmFuaywgQXVzdHJhbGlhDQpLZWkgRGF2aXMgICAgICAgICAg ICAgICAgICAgICAgIExvcyBBbGFtb3MgTmF0aW9uYWwgTGFib3JhdG9yeSwg VVNBDQpLZW50byBFbW90byAgICAgICAgICAgICAgICAgICAgIEt5dXNodSBJ bnN0aXR1dGUgb2YgVGVjaG5vbG9neSwgSmFwYW4NClpoZW5qaWFuZyBIdSAg ICAgICAgICAgICAgICAgICAgTmF0aW9uYWwgSW5zdGl0dXRlIG9mIEluZm9y bWF0aWNzLCBKYXBhbg0KQmVuIExpcHBtZWllciAgICAgICAgICAgICAgICAg ICBVbml2ZXJzaXR5IG9mIE5ldyBTb3V0aCBXYWxlcywgQXVzdHJhbGlhDQpS aXRhIExvb2dlbiAgICAgICAgICAgICAgICAgICAgIFVuaXZlcnNpdHkgb2Yg TWFyYnVyZywgR2VybWFueQ0KR2VvZmZyZXkgTWFpbmxhbmQgICAgICAgICAg ICAgICBEcmV4ZWwgVW5pdmVyc2l0eSwgVVNBDQpNaWtlIFJhaW5leSAgICAg ICAgICAgICAgICAgICAgIElOUklBLCBGcmFuY2UNCk1hcnkgU2hlZXJhbiAg ICAgICAgICAgICAgICAgICAgQ2hhbG1lcnMgVW5pdmVyc2l0eSBvZiBUZWNo bm9sb2d5LCBTd2VkZW4NClNhdG5hbSBTaW5naCAgICAgICAgICAgICAgICAg ICAgRmFjZWJvb2ssIFVLDQo=