March 2019 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Sun Mar 3 11:19:59 JST 2019
Ending: Tue Mar 26 22:06:07 JST 2019
Messages: 11

• [logic-ml] seminar   吉信 康夫
• [logic-ml] CSCAT 2019 開催案内   Kensuke Kojima
• [logic-ml] Nagoya logic seminar   吉信 康夫
• [logic-ml] LCC 2019（7月8日・パトラ）発表募集   Akitoshi Kawamura
• [logic-ml] ENTROPY 2019: Deadline Extension -- Final Call for Papers   David Nowak
• [logic-ml] UNIF 2019: 2nd CFP   Takahito Aoto
• [logic-ml] [CFP] The Coq Workhsop 2019   Jacques Garrigue
• [logic-ml] Nagoya logic seminar   吉信 康夫
• [logic-ml] 2nd CFP: 3rd International Workshop on User-Oriented Logic Paradigms   Christos Rodosthenous
• [logic-ml] 第40回量子情報技術研究会(QIT40)のご案内   Yasuhito Kawano
• [logic-ml] Talk by Gordon Plotkin on 1st April 2019 at Kyoto   Masahito Hasegawa

Last message date: Tue Mar 26 22:06:07 JST 2019
Archived on: Wed Mar 27 08:00:47 JST 2019

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...