Latest News

• 2011/10/18

  The lecture meeting is held on Wed, November 16.

  

• 2011/10/04

  Open Seminar on Advanced Technology will be held on Thursdy, October 20.

  

• 2011/09/26

  A new article was added to "Web news".

  

• 2011/09/08

  Programming Languages Seminar "Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling" will be held on Friday, October 11.

  

• 2011/09/08

  Programming Languages Seminar "Equationally Reasoning about Imperative Programs" will be held on Thursday, September 15.

  

• 2011/09/06

  Programming Languages Seminar "Existential Quantification hidden in Typed Object-Oriented Languages" will be held on Friday, September 16.

  

• 2011/09/06

  The 9th Workshop on Informatics (WiNF 2011) will be held on November 25 and 26.

  

• 2011/08/23

  Position available: Applications are being accepted for a associate professor of Dept. Computer Science and Mathematical Informatics (Deadline: November 15, 2011).

  

• 2011/08/11

  Position available: Applications are being accepted for a professor of Dept. Conplex Systems Science (Deadline: November 30, 2011).

  

• 2011/07/22

  Information concerning closing in summer

  

• 2011/07/08

  Open Seminar on Fundamental Research will be held on Saturday, August 27.

  

• 2011/06/27

  "Graduate School of Information Science PROFILE 2011" is now available.

  

• 2011/06/09

  A new article was added to "Web news".

  

• 2011/06/08

  A new article was added to "Web news".

  

• 2011/05/26

  Techno Fair 2011 will be held on Friday, September 2.