[kisoron-ml] Call for Participation: 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14)

[Katsuhiko Sano]

皆様、

北陸先端科学技術大学院大学の佐野勝彦です。
CMCS 2014 のCall for Participationをお送り致します。
どうぞ参加をご検討ください。

佐野勝彦

==========================================
This is a Call for Participation and Registration for

                         12th International Workshop on
          Coalgebraic Methods in Computer Science (CMCS'14)
                    5 - 6 April 2014, Grenoble, France
                        http://www.coalg.org/cmcs14

The CMCS programme features

 - a keynote talk by Davide Sangiorgi (University of Bologna, IT)
 - an invited talk by Ichiro Hasuo (University of Tokyo, JP)
 - an invited tal by Marina Lenisa (University of Udine)

In addition there will be a special session on game theory and coalgebras
associated with Marina Lenisa's invited talk and featuring tutorials by

  - Paul-Andre Mellies, Université Paris Denis Diderot, FR
  - Pierre Lescanne, Ecole Normale Superieure de Lyon, FR

More information about CMCS 2014, including a list of accepted papers and
a full programme, can be found at

   http://www.coalg.org/cmcs14

Links for registration and information about hotel arrangements can be found
at the ETAPS 2014 website

      http://www.etaps.org/

Please note that CMCS 2014 is organizing a dinner on    *** Saturday 5
April ***.
This is not the pre-workshop dinner organized by ETAPS. Tickets cost cost 60 EUR
each and can be bought directly on the first day of the meeting.