Welcome to the ICoS home page. The ICoS workshop series is devoted to promoting research on Inference in Computational Semantics.
ICoS is endorsed by SIGSEM, the ACL Special Interest Group in Computational Semantics.
Traditional inference tools (such as theorem provers and model builders) are reaching new levels of sophistication and are now widely and easily available. A wide variety of new tools (statistical and probabilistic methods, ideas from the machine learning community) are increasingly being applied in computational semantics. Computational semantics has reached the stage where the exploration and development of inference is one of its most pressing tasks—and there's a lot of interesting new work which takes inferential issues seriously.
So far, there have been four workshops in the ICoS series, while the fifth is planned to take place in 2006. Follow this link to get to the ICoS-5 home page, and learn more about the programs and publications from the workshops by following the links in the navigation bar.
To find out more about ICoS, contact one of the members of the ICoS Steering Committee.