Prof. Iemhoff is an expert in proof theory and intuitionistic logic, Prof. Terwijn an expert in complexity theory. Both will visit the JAIST on invitation of Norbert Preining for common research work.
Prof. Melvin Fitting will visit the JAIST on invitation of Hiroakira Ono.
Several researchers from Russia plus some other researchers will visit the JAIST for a three day intensive workshop on First Order Intermediate Logics.
=== October 3rd: 13:00 -- 16:00 ====
Valentin Shehtman: A survey on axiomatizability/definability in first order intermediate logics
--- Discussions and Break ---
Hiroakira Ono: Notes on interpolation theorems of intermediate predicate logics
=== October 4th: 9:00 -- 16:00 ====
Matthias Baaz: Interpolation theorem
--- Discussions and Break
Prof. Frommlet is an expert in bioinformatics and medical statistics with several high class publications. The current research stay is in preparation for a cooperation on "Multivalued Logic Regression". He will visit the JAIST on invitation of Norbert Preining.
Prof. Plaice is an expert in higher order functional programming as well as in multilingual typography. In the former area he developed Cartesian programming, while in the later he is known for the creation of Omega, the first Unicode extension of TeX. He will visit the JAIST on invitation of Norbert Preining.
Prof. Wolter has been visiting the JAIST as Guest Professor since many years, giving a series of lectures on logic targetted at all levels. He will visit the JAIST on invitation of Hiroakira Ono.
場所：北陸先端科学技術大学院大学 マテリアルサイエンスIV棟８階 中セミナー室
日時：2012年3月9日（金）13:30 ～ 10日（土）15:30
2012-3-7 09：30－15：30 M4講義室
A workshop bringing together logicians and philosophers from Asian countries at the JAIST. Please see the workshop webpage http://www.jaist.ac.jp/rcis/awpl for details and program.
Prof. Baaz is known for contributions in many fields of logics and computer science, intuitionisitc logc, proof theory, many-valued logic, juridical logic, just to name a few. He will visit the JAIST on invitation of Norbert Preining.
The 3rd Kanazawa U-JAIST joint meeting on computational science will be held on December 21st, 2011 9:50 – 17:45, at the JAIST, K1・K2 Lecture Room (1st floor of KS lecture building).
|Poster of the joint meeting||2.82 MB|
Prof. Parigot is an expert in proof theory, lambda calculus, computational logic. He will visit the JAIST on invitation of Norbert Preining.
Ono Hiroakira is teaching a course on "Logic in Computer Science" at the Tianjin University on invitation of the School of Computer Software.
Prof. Danvy is an expert on higher order computation and functional programming and is visiting the JAIST on invitations of Rene Vestergaard.
For the seventh time the Kurt Gödel Society in cooperation with the French CNRS-GNSF project "Structural and computational properties of logical structures" organized the International Tbilisi Summer School in Logic and Language. This year Ono Hiroakira and Preining Norbert were invited to give a series of lectures on sub-structural logics and Kripke frames, respectively.
Please see http://www.logic.at/tbilisi11/ for details.
Prof. Beckmann is an expert in Mathematical Logic and Computational Complexity Theory and is visiting the JAIST on invitation of Norbert Preining.
A series of informal seminars in the Ozaki laboratory will be given as follows:
Room: Ozaki's office
A first principle quest for new multiferroics by chemical ordering
Toward order-N implementation of hybrid functional methods
A report on "Summer Program on Electronic Structure Analysis and Computation"