Activities



Recent Seminars

Logic Series
40th Nonstandard Static Analysis: Discrete Verification... Ichiro Hasuo 2013/02/21
39th Sheaves for First-Order Modal Logic Kohei Kishida 2012/11/26
38th Skolemization and Herbrand's theorem in constructive... Rosalie Iemhoff 2012/11/08

Multi-dimension Series
45th Substitutions and rules Rosalie Iemhoff 2012/11/13
44th Information distance Sebastiaan A. Terwijn 2012/11/09
43th Tableau/Sequent Duality Melvin Fitting 2012/11/01

Frontier Series
27th Development of Carbon-based Pt-free catalysts for Polymer... Dr. YutaNabae 2010/10/20
26th Atomic-Scale Characterization of Surfaces and Interfaces by... Dr. Naoya Shibata 2010/09/09
25th Investigation of the electronic properties of Titanates:... Dr. Taro Hitosugi 2010/03/11

Computational Science Series
30th Reactivity of valence band holes at the rutile TiO2/water... Michiel Sprik 2011/12/01
29th Reactive force fields for hydrogen dissociation reaction on... Yang Xiao 2011/11/24
28th DFT analysis of combined 3D NC-AFM and STM imaging of Cu(... Milica Todorovic 2011/11/15

JAIST Advanced Lecture Series
8th Ontology-based Data Access Frank Wolter 2013/03/18
7th COMPUTATION AS AGENCY J. van Benthem 2012/10/02
6th Ontology-Based Data Access and Constraint Satisfaction Frank Wolter 2012/03/13