Activities


Coming Seminars

Epsilon Calculus in Nonclassical Logics

2012-02-23 (Thu), 15:30-17:00

38th Multi-dimension Seminar
Epsilon Calculus in Nonclassical LogicsEpsilon Calculus in Nonclassical Logics

Matthias Baaz

Vienna University of Technology

2012-03-06, 13:30-17:00

39th Multi-dimension Seminar
“Physics and Chemistry of Carbon” and Energy“Physics and Chemistry of Carbon” and Energy

Toshiaki Enoki, Masaharu Oshima, Haoshen ZHOU
Ontology-Based Data Access and Constraint Satisfaction

2012-03-13, 15:00-17:00

6th JAIST Advanced Lecture Series
Ontology-Based Data Access and Constraint SatisfactionOntology-Based Data Access and Constraint Satisfaction

Frank Wolter

Univ. of Liverpool, Guest Prof. of JAIST
http://www.csc.liv.ac.uk/~frank/

リバプール大学　教授
北陸先端科学技術大学院大学　客員教授
Higher-order Multidimensional Programming

2012-03-15 15:00-17:00

32th Logic Seminar
Higher-order Multidimensional ProgrammingHigher-order Multidimensional Programming

John Plaice

Associate Professor
School of Computer Science and Engineering
The University of New South Wales
Sydney NSW 2052 Australia
Coextensive causation: a new model of computation?

2012-03-29, 15:00-17:00

33th Logic Seminar
Coextensive causation: a new model of computation?Coextensive causation: a new model of computation?

Rene Vestergaard

JAIST, RCIS
A Formal Genetic Switch

2012-04-12, 15:00-17:00

34th Logic Seminar
A Formal Genetic SwitchA Formal Genetic Switch

Rene Vestergaard

JAIST, RCIS

Recent Seminars

Logic Series
34th A Formal Genetic Switch Rene Vestergaard 2012/04/12
33th Coextensive causation: a new model of computation? Rene Vestergaard 2012/03/29
32th Higher-order Multidimensional Programming John Plaice 2012/03/15

Multi-dimension Series
39th “Physics and Chemistry of Carbon” and Energy Toshiaki Enoki, Masaharu Oshima, Haoshen ZHOU 2012/03/06
38th Epsilon Calculus in Nonclassical Logics Matthias Baaz 2012/02/23
37th Deep inference: why and how Michel Parigot 2011/11/09

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
6th Ontology-Based Data Access and Constraint Satisfaction Frank Wolter 2012/03/13
5th Logic, Information, Evidence, and Knowledge Johan van Benthem 2011/10/18
4th Craig Interpolation and Theory Decomposition Prof. Frank Wolter 2010/09/21 - 2010/09/22