From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id BAFF85D4 for ; Fri, 4 Oct 2019 17:14:05 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.67,256,1566856800"; d="scan'208,217";a="404793672" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Oct 2019 19:14:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 853267F25C; Fri, 4 Oct 2019 19:14:04 +0200 (CEST) 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 59BED7F209; Fri, 4 Oct 2019 19:13:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=clovis.eberhart@gmail.com; spf=Pass smtp.mailfrom=clovis.eberhart@gmail.com; spf=None smtp.helo=postmaster@mail-lf1-f42.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AEV2eFRadCPVD5HhqbwoTpzj/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsy7bB7h7PlgxGXEQZ/co6odzbaP6Oa9ACdZuc3JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRu7oR/Ru8ULjoduN7o9xxXUqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU293zZitFrjKJDvh2uuwB/zYDTYIGQLvV+f6Xdds4eSWdOWstdUipMCZ6+?= =?us-ascii?q?YYQSFeoMJelXoYnzqVUNsBWwGxWjCfj1xTNUnHL7x7E23/gjHAzAwQcuH8gOsH?= =?us-ascii?q?PRrNjtKqoSVee1zLfJzTXYcvhY1izy55bSchAhu/6MR65wetfWxEYzEwPFiUuQ?= =?us-ascii?q?qY3+Pz+PyOsCqHaU7/BgVe21kW4ntxp8ojeqxsg2i4nJgpgZxUzD9SV82Ys4I8?= =?us-ascii?q?CzRkB8Yd6hCpRQtieaOpNwQsMjQmFkojw1xaEctZ65ZCgG0JsnxxnYa/yId4iH?= =?us-ascii?q?/AjvW/qWITd9nH5ld6i/hxGv8Ui40+H8U8y00FNQoipCiNnMuXYA3AHQ5MifUv?= =?us-ascii?q?Zx4Fut1DKV2w3Q6uxIO104mKvZJpI7zbM8iJweulnZECDsgkX5lqqWe10k+ue2?= =?us-ascii?q?7+TnZa3rppqGOI91jgHyK6AumsKiDeghPAgDUHaX9f6z1L3k+k35T7FKgeMsnq?= =?us-ascii?q?bFt5DaINwXpq+/AwBLzoYu8wizAyui3dgCnnQKLEhJdA+GgoXrIV3DL+70Ae+6?= =?us-ascii?q?g1u2kTdrw/7GPqfmApXINnXMjLPhfbFj605d0wo/185Q6IlKBbEbIPL8QFXxtM?= =?us-ascii?q?DDAx82Ngy72efnCNFn2owCXmKPB7eVMLnOvl+Q+uIvP+6MaZcJtzb6Mvgp/uLh?= =?us-ascii?q?jXskmVAGZqSpxpsWaHWgHvt8OUmZYHzsgs0AEWgQpAY+QvbqgkWYUTFPf3ayQ7?= =?us-ascii?q?485jYjBY26F4jDQ4StjKWF3Ce6BZ1WentLCkuMEHftb4WLQe0AaCOUIs97kzwL?= =?us-ascii?q?T6KtS4E71ULmiAivwL1+a+HQ5ycwtJT51dEz6feX3Q0j7TFvSs2b1WaQSWp5tm?= =?us-ascii?q?cJXCMtmrtyqFc710+O164+jvBFUZRY7u9EXQAgNJPH5+lmApb5U0aJcduTDVej?= =?us-ascii?q?atqqG3QwS5Q/2ZtGaE94H5Cmjwvf9yusGb4c0bKRV7Iu9aeJ9Hz2Ocdmg1vM2b?= =?us-ascii?q?MhhkM6Cp9EMWq4h7U5+gLeHY7AiVmxmKOjdKBa1ynIojTQhVGStV1VBVYjGZ7O?= =?us-ascii?q?WmoSMxeH9Imr1gb5V7arTI8fHE5BxMqFcPYYb9ToiRBCSq6mNoiEJW22nGi0CF?= =?us-ascii?q?CDwbbeNNO2KVVY5z3UDQ0/qy5W5WyPbFFsCSKoomaYBztrRwq2MhHctNJmoXb+?= =?us-ascii?q?dXcaigSDbklvzb2wo0dHivmVSvdV1bUB6n4s?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ALDgCqfJddhiqnVdFmDg4BAQEEAQEMB?= =?us-ascii?q?AEBgWeCRgFEgQUqhCKBHYJeikobgW0FgyeFJYI+iCuGI4FnCQEDAQwFIAoBAYR?= =?us-ascii?q?ATgEEgXYbBwEENBMCDAEBBAEBAQIBAgMEARMBAQEICwsIKYU0DIIoEgyDHhEdA?= =?us-ascii?q?RseAxIJBwUyAiQBEQEFASMaGoMAAYFpAQMdD6JWgQM8iyaBFQUBF4J+BYE1AQM?= =?us-ascii?q?FC0GCNAoZJw1jA4E8AgcSgSKLaCaBWD+Dc4NPAQECgScFARIBTIJgglgElmSFe?= =?us-ascii?q?5BZB4ImZQSGH4cxhl8bgjqHTo84jiuIIJEqDyOBRlkwcU0jgQGCBwEzCUcQFFZ?= =?us-ascii?q?5GoNZgwaCDoUESjUwjyqCRQEB?= X-IPAS-Result: =?us-ascii?q?A0ALDgCqfJddhiqnVdFmDg4BAQEEAQEMBAEBgWeCRgFEgQU?= =?us-ascii?q?qhCKBHYJeikobgW0FgyeFJYI+iCuGI4FnCQEDAQwFIAoBAYRATgEEgXYbBwEEN?= =?us-ascii?q?BMCDAEBBAEBAQIBAgMEARMBAQEICwsIKYU0DIIoEgyDHhEdARseAxIJBwUyAiQ?= =?us-ascii?q?BEQEFASMaGoMAAYFpAQMdD6JWgQM8iyaBFQUBF4J+BYE1AQMFC0GCNAoZJw1jA?= =?us-ascii?q?4E8AgcSgSKLaCaBWD+Dc4NPAQECgScFARIBTIJgglgElmSFe5BZB4ImZQSGH4c?= =?us-ascii?q?xhl8bgjqHTo84jiuIIJEqDyOBRlkwcU0jgQGCBwEzCUcQFFZ5GoNZgwaCDoUES?= =?us-ascii?q?jUwjyqCRQEB?= X-IronPort-AV: E=Sophos;i="5.67,256,1566856800"; d="scan'208,217";a="321669555" X-MGA-submission: =?us-ascii?q?MDEtjrohEiZotohiyCGWKh6tWI10hG3JRyUKSz?= =?us-ascii?q?0/iTx/orPC4N7Wa62ytsI/WAeShJVRYxCQPJ23wThV2xGXYN0dETMZVZ?= =?us-ascii?q?9rL8PtC0mXJixujdmrRXIu118YRhvFVnBKKn/hgZJVQKIUudEy1Vjqjl?= =?us-ascii?q?BQjPyZ9kfQDwdSBcSRD3LwgA=3D=3D?= Received: from mail-lf1-f42.google.com ([209.85.167.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Oct 2019 19:13:51 +0200 Received: by mail-lf1-f42.google.com with SMTP id r2so4988710lfn.8; Fri, 04 Oct 2019 10:13:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=ueZMZqywTr9MsUh5Ht1N16YOgAimgkZEStPo1DQ+qAI=; b=vErBHO3/n39atEkvhmxLSbxPy8ZFGOUUPNG24lgqdDeqN7TnNLexh92flGUz3ZByTA iVr5QHpuCfoVqeVTWegBnMnoDDjW/1s8/vuni1mCgdAj4jBkoFKT3O27PQWge1PWCZQC /fW2qDEoMZ7Pbz0RBmvu8Yh1F7OjkpMp6K+8ZieEXtVzWUL40IVtNLpEkdEoEmaKKIAy JcRwKwqqBqpPD6PPmwg/ltcnoxZ9ysi6wHUifMrkrKeQH7p21P5HhxnMbJz7SEBvtDd2 B5ybeKifC6EX0M3EGxUx+XYO6p6odDz8KJCD3A6TXtvrn96nlWL221GhAsLxnrJbINg2 I9wA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=ueZMZqywTr9MsUh5Ht1N16YOgAimgkZEStPo1DQ+qAI=; b=pk6Gqz+pNR7uH8a1fUif1ffsxyhJcBq04pVjq6d/A1YEH4NT26ASzLWhamP+9CTCgI hUEq7bWhaQlD3rbgNFakk4E9Mmh0/NVoF1aKTqxebm1jKKLFZZqhMqxlah1RTnPhd05C 0hichLOwYUDsGmL6revFk5+MpbFKGmaa7QES05oV76NP19u0VQoy5UyUZPWbsZVWPWMB DgghUnsbhHygEPo1wmW8PlewinPbc1iAeOx5Wzn3Z9X8zahWHi1hGDtUY+emaxF8y2D4 W2a4XzHlKpMFsvORnwIDH10TZP+crxwGajYZoLdGNSCcMkNY1R/Rd4wZVZIy7oO0QQMQ OU6g== X-Gm-Message-State: APjAAAU47crcgRfswH6X8ets2LydkeJUtN/opa5qcOk7qYISd0Zh6QMl wKmCQIyOTu2jFZKpf9JZSuda+I4o/17xgdbLFqYNb9zfXTQ= X-Google-Smtp-Source: APXvYqxYrSSuLuF37fRYfTWx7VLrMfpt6Y5avuHT87DpsuWPJ7gNEuJPZmjOwR/bS7qq5EjG+LU+cfFqage3oO5R0Bw= X-Received: by 2002:a19:381a:: with SMTP id f26mr9444719lfa.168.1570209230577; Fri, 04 Oct 2019 10:13:50 -0700 (PDT) MIME-Version: 1.0 From: Clovis Eberhart Date: Sat, 5 Oct 2019 02:13:39 +0900 Message-ID: To: coq-club@inria.fr, types-announce@lists.seas.upenn.edu, categories@mta.ca, gdr-im@gdr-im.fr, caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000006965ae059418d305" Subject: [Caml-list] Coalgebra Day 2019 Reply-To: Clovis Eberhart X-Loop: caml-list@inria.fr X-Sequence: 17837 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --0000000000006965ae059418d305 Content-Type: text/plain; charset="UTF-8" Dear all, We are pleased to announce that Coalgebra Day 2019 will be organised in Tokyo, Japan. There will be a series of talks by various speakers and it will be an occasion for researchers to exchange on coalgebras and related matters, and for students to get introduced to the field of coalgebra. Date and time: Mon 28 Oct, 2019. 9:30-17:30. Place: room 2009-2010, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo Access: https://www.nii.ac.jp/en/about/access/ Speakers: - Bart Jacobs (Radboud University Nijmegen) - Jurriaan Rot (Radboud University Nijmegen) - Ana Sokolova (University of Salzburg) - Yuichi Komorida (National Institute of Informatics) - David Sprunger (National Institute of Informatics) - Clovis Eberhart (National Institute of Informatics, Japanese French Laboratory for Informatics) - Shin-ya Katsumata (National Institute of Informatics) - Satoshi Kura (National Institute of Informatics) We are planning to have an informal dinner. Registration is free but mandatory for practical reasons. Please register through this form: https://docs.google.com/forms/d/e/1FAIpQLSdja7qMesKpyA6ed1Z-PfMjP_RYP288zKfQxLxVgWQ1UTCYaQ/viewform The deadline is Oct 18th 23:59, AoE. For more information, see http://group-mmm.org/coalgebra-day-2019/ or send an email to one of the organisers. Please feel free to distribute this email to people that you think could be interested. Best, Clovis Eberhart for the organisers --0000000000006965ae059418d305 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

We are pleased to announce that Coalgebra= Day 2019 will be organised
in Tokyo, Japan.=C2=A0 There will be a serie= s of talks by various speakers
and it will be an occasion for researcher= s to exchange on coalgebras
and related matters, and for students to get= introduced to the field
of coalgebra.

Date and time: Mon 28 Oct,= 2019. 9:30-17:30.

Place: room 2009-2010, National Institute of Info= rmatics,
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo
Access: https://www.nii.ac.jp/en/about/access/=

Speakers:
- Bart Jacobs (Radboud University Nijmegen)
- J= urriaan Rot (Radboud University Nijmegen)
- Ana Sokolova (University of = Salzburg)
- Yuichi Komorida (National Institute of Informatics)
- Dav= id Sprunger (National Institute of Informatics)
- Clovis Eberhart (Natio= nal Institute of Informatics, Japanese French Laboratory for Informatics)- Shin-ya Katsumata (National Institute of Informatics)
- Satoshi Kura= (National Institute of Informatics)

We are planning to have an info= rmal dinner.

Registration is free but mandatory for practical reason= s.
Please register through this form:
https://docs.google.com/forms/d/e/1FAIpQLSdja7qMesKpyA6ed1Z-PfMjP_RYP= 288zKfQxLxVgWQ1UTCYaQ/viewform
The deadline is Oct 18th 23:59, AoE.=

For more information, see
http://group-mmm.org/coalgebra-day-2019/
or send an = email to one of the organisers.

Please feel free to distribute this = email to people that you think
could be interested.

Best,
Clov= is Eberhart
for the organisers
--0000000000006965ae059418d305--