该会议基本是每年召开一次,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