Activities


Coming Seminars

Monadic Gödel logics with one predicate symbol

2012-06-07, 15:00-17:00

37th Logic Seminar
Monadic Gödel logics with one predicate symbolMonadic Gödel logics with one predicate symbol

Norbert Preining

JAIST, RCIS

Recent Seminars

Logic Series
37th Monadic Gödel logics with one predicate symbol Norbert Preining 2012/06/07
36th A Rewriting Solution to the Parsing Problem Nao Hirokawa 2012/05/24
35th Satisfiability in monadic Gödel logics Norbert Preining 2012/05/10

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