PREINING, Norbert （プライニング　ノルベルト）　准教授
ソフトウェア検証研究センター

9件中1-9件目

• 1.　Logic, Algebra and Truth Degree 2012，Norbert Preining (RCIS/JAIST)，10-14 September 2012，Ishikawa Prefectural Museum of Art, Kanazawa, Japan
• 2.　Asian Workshop on Philosophical Logic，Hiroakira Ono (RCIS/JAIST), Norbert Preining (RCIS/JAIST)，15-17 February 2012，Ishikawa Hightech Center, Nomi, Ishikawa
• 3.　Workshop on Logic and Computation，Kokichi Futatsugi, Mizuhito Ogawa, Hiroakira Ono, Norbert PreiningJAIST，2011-02-08/09，Kanazawa, Japan
• 4.　Algebra and Substructural Logics - take 4AsubL 4，小野寛晰RCIS, JAIST，June 2010，Nomi, Japan
• 5.　Horizonts of TruthGoedel Centenary Conference 2006，April 2006，Vienna, Austria
• 6.　Challenge of Semantics，July 2004，Vienna,Austria
• 7.　European Summer School in Logic, Language and InformationESSLLI 2003，August 2003，Vienna, Austria
• 8.　Computer Science Logic CSL 2003，August 2003，Vienna, Austria
• 9.　Logic Colloquium 2001，August 2001，Vienna, Austria