caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Coalgebra Day 2019
@ 2019-10-04 17:14 Clovis Eberhart
  0 siblings, 0 replies; 1+ messages in thread
From: Clovis Eberhart @ 2019-10-04 17:14 UTC (permalink / raw)
  To: coq-club, types-announce, categories, gdr-im, caml-list

[-- 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

- 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:
The deadline is Oct 18th 23:59, AoE.

For more information, see
or send an email to one of the organisers.

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

Clovis Eberhart
for the organisers

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

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-10-04 17:14 [Caml-list] Coalgebra Day 2019 Clovis Eberhart

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox