caml-list - the Caml user's mailing list
 help / Atom feed
From: Clovis Eberhart <clovis.eberhart@gmail.com>
To: coq-club@inria.fr, types-announce@lists.seas.upenn.edu, categories@mta.ca,  gdr-im@gdr-im.fr, caml-list@inria.fr
Subject: [Caml-list] Coalgebra Day 2019
Date: Sat, 5 Oct 2019 02:13:39 +0900
Message-ID: <CAOthHmuPtnRrLMvMnzvm5urdMT0qBC69Hv4OeceLpuO1YqmTOg@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 1462 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 1829 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAOthHmuPtnRrLMvMnzvm5urdMT0qBC69Hv4OeceLpuO1YqmTOg@mail.gmail.com \
    --to=clovis.eberhart@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=categories@mta.ca \
    --cc=coq-club@inria.fr \
    --cc=gdr-im@gdr-im.fr \
    --cc=types-announce@lists.seas.upenn.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox