AISB Convention 2015

Call for Symposium Proposals: The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Con...


Read More...

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...

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 ABSTRACTS East-Asian School on Logic, Language and Computation, 2-8 Jul 2014, Beijing, CHINA

www.tsinghualogic.net/events/2014/easllc

EASLLC 2014

*the Third East-Asian School on Logic, Language and Computation (EASLLC 
2014)*

The Third East-Asian School on Logic, Language and Computation (EASLLC 
2014) will take place at Tsinghua University, China on July 2-8, 2014. 
The event will start with an international workshop ?Current Trends in 
Logic? on July 2, continue with the school on July 3-8. The program of the 
School will consist of six courses on logic in its interdisciplinary 
width. The courses cover logic, philosophy, computer science, and 
linguistics, with an emphasis on interaction between fields. There will be 
two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early 
evening. The student session is a forum for students at all levels 
(Bachelor, Master or PhD) to present original research to the audience. We 
plan a "mentoring" program in which selected students will be assigned to 
one of the lecturers for informal interaction and research/career 
discussions.

We invite submissions of abstracts of original, unpublished papers from 
students in the area of logic, language and computation. Submissions will 
be reviewed by several experts in the field. Authors of accepted papers 
will be invited to present in the student session, and a selected number 
of them will be provided with free reasonable accommodation.



*Instruction for Authors:*

Students are invited to submit an abstract of maximum 5 pages on any topic 
in logic, language and computation. The abstract should be written in 
properly readable English, and must be in PDF format that is to be 
submitted using our EasyChair 
website.




*Important Dates:*

*April 1, 2014* - deadline for short abstracts of papers (at most 5 pages)

*April 20, 2014* - notification date of acceptance/rejection of the papers



*SCHOOL COURSES*

6 different courses will be offered, covering logic, philosophy, computer
science, and linguistics, with an emphasis on the interaction between those
fields. Course title, reading materials, and the final schedule will come
soon.



  Logic and Quantum Information: Samson Abramsky (Oxford University),

  Logic and Computation: Phokion Kolaitis (UC Santa Cruz)

  Logic and Language: Larry Moss (Indiana University)

  Formal Philosophy: Wesley Holliday (UC Berkeley)

  Philosophical Logic: Alexandru Baltag and Sonja Smets (The University of
Amsterdam)

  Mathematical Logic: Jouko Vnnen (The University of Helsinki and
University of Amsterdam)



*Program Committee*

*Chairs*:  Samson Abramsky (Oxford University)

Andrew Yao (Tsinghua University)

*Committee*

  Johan van Benthem (The University of Amsterdam and Stanford University)

  Yijia Chen (Shanghai Jiaotong University)

  Phan Minh Dung (Asian Institute of Technology, Thailand)

  Xinyu Feng (University of Science and Technology of China, Hefei)

  Xiangdong He (South west University, Chongqing)

  Huaxin Huang (Zhejiang University, Hangzhou)

  Yi Jiang (Beijing Normal University)

  Shier Ju (Sun Yat-sen University, Guangzhou)

  Fangzhen Lin (Hong Kong University of Science and Technology)

  Hiroakira Ono (Japan Advanced Institute of Science and Technology)

  Jeremy Seligman (The University of Auckland)

  Xiaoming Ren (Nankai University, Tianjin)

  Kaile Su (Griffith University, Australia)

  Cong Tian (Xidian University, Xi?an)

  Lu Wang (Tsinghua University, Beijing)

  Wen-Fang Wang (Yang-Ming University, Taipei)

  Tomoyuki Yamada (Hokkaido University, Japan)

  Yue Yang (Singapore National University, Singapore)

  Chin-mu Yang (National Taiwan University, Taipei)

  Wujin Yang (Renmin University, Beijing)

  Naijun Zhan (The Chinese Academy of Science, Beijing)

  Jianjun Zhang (Nanjing University, Nanjing)

  Beihai Zhou (Peking University, Beijing)

  Chongli Zou (Chinese Academy of Social Sciences, Beijing)

*Organizing Committee*

  Fenrong Liu (Chair, Tsinghua University)

  Jiahong Guo (Beijing Normal University)

  Fengkui Ju (Beijing Normal University)

  Pingzhong Tang (Tsinghua University)

  Yanjing Wang (Peking University)

*Student Program Organizers*

  Chairs:  Junhua Yu (The Graduate Center, CUNY)

             Chanjuan Liu (Peking University)

*Organizing Institutions*

  Tsinghua University

  Beijing Normal University

  Association for Logicians in Beijing

  The University of Amsterdam

School website:
www.tsinghualogic.net/events/2014/easllc

For any questions, please contact easllc2014@gmail.com