Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coalgebra Day 2019

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coalgebra Day 2019


Chronological Thread 
  • From: Clovis Eberhart <clovis.eberhart AT gmail.com>
  • To: coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu, categories AT mta.ca, gdr-im AT gdr-im.fr, caml-list AT inria.fr
  • Subject: [Coq-Club] Coalgebra Day 2019
  • Date: Sat, 5 Oct 2019 02:13:39 +0900
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=clovis.eberhart AT gmail.com; spf=Pass smtp.mailfrom=clovis.eberhart AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf1-f42.google.com
  • Ironport-phdr: 9a23:EV2eFRadCPVD5HhqbwoTpzj/LSx+4OfEezUN459isYplN5qZpsy7bB7h7PlgxGXEQZ/co6odzbaP6Oa9ACdZuc3JmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRu7oR/Ru8ULjoduN7o9xxXUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU293zZitFrjKJDvh2uuwB/zYDTYIGQLvV+f6Xdds4eSWdOWstdUipMCZ6+YYQSFeoMJelXoYnzqVUNsBWwGxWjCfj1xTNUnHL7x7E23/gjHAzAwQcuH8gOsHPRrNjtKqoSVee1zLfJzTXYcvhY1izy55bSchAhu/6MR65wetfWxEYzEwPFiUuQqY3+Pz+PyOsCqHaU7/BgVe21kW4ntxp8ojeqxsg2i4nJgpgZxUzD9SV82Ys4I8CzRkB8Yd6hCpRQtieaOpNwQsMjQmFkojw1xaEctZ65ZCgG0JsnxxnYa/yId4iH/AjvW/qWITd9nH5ld6i/hxGv8Ui40+H8U8y00FNQoipCiNnMuXYA3AHQ5MifUvZx4Fut1DKV2w3Q6uxIO104mKvZJpI7zbM8iJweulnZECDsgkX5lqqWe10k+ue27+TnZa3rppqGOI91jgHyK6AumsKiDeghPAgDUHaX9f6z1L3k+k35T7FKgeMsnqbFt5DaINwXpq+/AwBLzoYu8wizAyui3dgCnnQKLEhJdA+GgoXrIV3DL+70Ae+6g1u2kTdrw/7GPqfmApXINnXMjLPhfbFj605d0wo/185Q6IlKBbEbIPL8QFXxtMDDAx82Ngy72efnCNFn2owCXmKPB7eVMLnOvl+Q+uIvP+6MaZcJtzb6Mvgp/uLhjXskmVAGZqSpxpsWaHWgHvt8OUmZYHzsgs0AEWgQpAY+QvbqgkWYUTFPf3ayQ7485jYjBY26F4jDQ4StjKWF3Ce6BZ1WentLCkuMEHftb4WLQe0AaCOUIs97kzwLT6KtS4E71ULmiAivwL1+a+HQ5ycwtJT51dEz6feX3Q0j7TFvSs2b1WaQSWp5tmcJXCMtmrtyqFc710+O164+jvBFUZRY7u9EXQAgNJPH5+lmApb5U0aJcduTDVejatqqG3QwS5Q/2ZtGaE94H5Cmjwvf9yusGb4c0bKRV7Iu9aeJ9Hz2Ocdmg1vM2bMhhkM6Cp9EMWq4h7U5+gLeHY7AiVmxmKOjdKBa1ynIojTQhVGStV1VBVYjGZ7OWmoSMxeH9Imr1gb5V7arTI8fHE5BxMqFcPYYb9ToiRBCSq6mNoiEJW22nGi0CFCDwbbeNNO2KVVY5z3UDQ0/qy5W5WyPbFFsCSKoomaYBztrRwq2MhHctNJmoXb+dXcaigSDbklvzb2wo0dHivmVSvdV1bUB6n4s

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


  • [Coq-Club] Coalgebra Day 2019, Clovis Eberhart, 10/04/2019

Archive powered by MHonArc 2.6.18.

Top of Page