March 2017 Archives by author
Starting: Wed Mar 8 16:40:10 JST 2017
Ending: Sun Mar 26 13:47:55 JST 2017
Messages: 8
- [logic-ml] Computability and Complexity in Analysis (CCA 2017): Final Call for Papers
Daniel Graça
- [logic-ml] QIT36のご案内
NISHIMURA Harumichi
- [logic-ml] ITP 2017 - Final Call for Papers
Nao Hirokawa
- [logic-ml] JAIST Logic Seminar Series
Takako Nemoto
- [logic-ml] [Second Call for Paper] LORI-VI: The Sixth International Conference on Logic, Rationality and Interaction, September 11-14, 2017, Hokkaido University, Sapporo, Japan
Katsuhiko Sano
- [logic-ml] [FINAL CALL FOR PAPERS] TABLEAUX 2017, University of Brasilia, Brazil, September 25-28, 2017
Katsuhiko Sano
- [logic-ml] Third Call for Papers ***** extended deadline ***** [LORI-VI] The Sixth International Conference on Logic, Rationality and Interaction
Katsuhiko Sano
- [logic-ml] RIMS共同研究(公開型)「証明論と証明活動」のご案内
Katsumi Sasaki
Last message date:
Sun Mar 26 13:47:55 JST 2017
Archived on: Sun Mar 26 13:48:42 JST 2017
This archive was generated by
Pipermail 0.09 (Mailman edition).