Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

CALL FOR PARTICIPATION: 'Asian Workshop on Philosophical Logic', 17-18 March 2011, JAPAN

http://www.jaist.ac.jp/english/campus/index.html
Contact: ono@jaist.ac.jp OR preining@jaist.ac.jp

Research Center for Integrated Science (RCIS), Japan Advanced Institute of Science and Technology (JAIST), Nomi (Japan.)

"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@jaist.ac.jp
Norbert Preining       preining@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