Top > Seminars & Events > Workshops

Workshops

Title Event Date Notice Date
Mathematical Progress in Expressive Image Synth... 2014-11-12 〜 2014-11-14 2014-06-24
Theorem proving and provers for reliable theory... 2014-12-03 〜 2014-12-05 2014-09-22
Research of Boundary Modeling (2nd) 2014-12-11 〜 2014-12-12 2014-09-22
Research of Boundary Modeling (2nd) 2014-12-11 〜 2014-12-12 2014-11-21
Collaboration between theory and practice in in... 2014-12-16 〜 2014-12-19 2014-09-22
Mathematics for Social System Design and Approa... 2015-02-11 〜 2015-02-12 2014-12-24
Hakata Workshop 2015 ~Discrete Mathematics and ... 2015-02-15 〜 2015-02-15 2015-01-19
Workshop on ”β-transformation and related topics” 2015-03-10 〜 2015-03-10 2015-02-13
Workshop on ”Probabilistic models with determin... 2015-04-30 〜 2015-05-01 2015-03-27
Development of the implementation techniques of... 2015-06-09 〜 2015-06-09 2015-06-01