博文
逻辑、语言、信息与计算(WoLLIC 2010)国际会议预报
||||
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010)
论文提交截止日期：2010年2月8日
会议地点：巴西巴西利亚大学，2010年7月6日——2010年7月9日
该会议基本是每年召开一次，WoLLIC 2010已是17届，14-16届会议论文均刊登在Springer出版的丛书丛刊《Lecture Notes in Artificial Intelligence 》 上，2010年的17届会议论文仍旧刊登在《Lecture Notes in Artificial Intelligence 》，该会议在《Lecture Notes in Artificial Intelligence 》上发表的所有论文均被EI、ISTP收录。
会议主题：
Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection
https://m.sciencenet.cn/blog-57081-271481.html
上一篇：群体智能（ANTS 2010）国际会议预报
下一篇：Springer 2007年创刊的《认知神经动力学》被SCI收录
