[logic-ml] Asian Workshop on Philosophical Logic

[Hiroakira Ono]

                           Asian Workshop on Philosophical Logic

"Asian Workshop on Philosophical Logic"  will be held at Research  
Center for Integrated
Science (RCIS), Japan Advanced Institute of Science and Technology  
(JAIST) on 17th
and 18th March, 2011. Our aim is to promote mutual understandings  
among researchers
on logic working in Asian countries, and to establish closer  
collaborations in future.
The scope of the Workshop will cover:

   philosophical logic, non-classical logics, algebraic logic, and  
their applications in
   computer science and cognitive science

During the Workshop, we will have a special session of discussions on  
future collaborations,
in particular on research, education and exchange of researchers in  
our region.

The workshop will start from 9:30 of 17th March and will end in the  
afternoon of 18th. The
venue is at the RCIS seminar room of the 3rd floor of  
Multidisciplinary Research Center Bldg.
of JAIST, which is indicated as No.28 in the map of JAIST:

         http://www.jaist.ac.jp/english/campus/index.html

We welcome your participation in both talks and discussions from all  
areas and all levels.

===============
Organizers

Hiroakira Ono            ono at jaist.ac.jp
Norbert Preining       preining at jaist.ac.jp

Research Center for Integrated Science
Japan Advanced Institute of Science and Technology
Nomi, Ishikawa, 923-1292 Japan
===============

Program

March 17:
9:30 - 9:40
   Opening
9:40 - 10:20
* Fenrong Liu  (Tsinghua Univ., China) : Reasoning about Preference  
Dynamics

10:20 - 10:30  Break

10:30 - 11:50
* Ching-hui Su  (Academia Sinica, Taiwan) : The Generalized Triviality  
Result
* Katsuhiko Sano  (Kyoto Univ., Japan) :  Product of Hybrid Logics

11:50 -13:00 Lunch break

13:00 -15:00
* Chin-mu Yang  (National Taiwan Univ., Taiwan) : Belief, Knowledge,  
and Assertion: From
   a Modal Perspective
* Xin Li (JAIST, Japan) : Model Checking Pushdown Systems and  
Practical Applications
* Takahiro Seki  (Niigata Univ., Japan) :  Recent Topics on Relevant  
Modal Logics

15:00 -15:30 Break

15:30 -16:50
* Hu Liu  (Sun Yat-sen Univ., China) : Simulative Belief Logic
* Jose Gil Ferez  (JAIST, Japan) :  A Glance through Abstract  
Algebraic Logic

--------------------
March 18:
9:30 - 10:10
* Wen-fang Wang  (National Yang Ming Univ., Taiwan) : On Priest's  
Solutions to the Sorites
   Paradox

10:10 - 10:30  Break

10:30 - 11:50
* Milan Petrik  (JAIST, Japan) :  Web-geometric View on Fuzzy Logic
* Kaile Su  (Griffith Univ., Australia/Beijing Univ., China) :   Logic  
for Agents with Defective
   Observation

11:50 -13:00 Lunch break

13:00 - 15:00
Special Session

15:00 - 15:10
   Closing
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.sato.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20110301/74ad4455/attachment.htm>