AAAI 2007 (22-26 July 2007 in Vancouver) has a special
technical track on Artificial Intelligence and the Web. The
track invites research papers on AI techniques, systems and
concepts involving or applied to the Web. See [1] for
suggested topics and more information on the track and [2] for
information on the conference and details on how to submit
papers. Relevant deadlines are:
- Jan 25: student abstracts
- Feb 1: technical paper abstracts
- Feb 2: doctoral consortium applications
- Feb 6: technical papers
- Feb 27: nectar and senior member papers
- Apr 3: intelligent systems demo proposals
call for papers - ICDE 2007 ... CALL FOR PAPERS...Panel proposals must include an abstract, ... databases or new techniques.... Wynne Hsu, National University of Singapore, Singapore ... (comp.databases)
[PEPM 09] Preliminary CFP ... Partial Evaluation and Program Manipulation... and practical implementation techniques such as ... Analysis and transformation for programs/models with advanced ... We especially encourage papers that break new ground including ... (comp.lang.prolog)
SPIN 2008: Final Call for Papers ... Final Call for Papers: SPIN 2008 ...SPIN Workshop on Model Checking of Software ...Theoretical techniques and empirical ... Techniques for dealing with infinite state spaces... (comp.specification.z)
CFP: 5th Workshop on Model Checking and AI ... Application of model checking techniques to AI problems. ... Model Checking and AI logics....Preliminary papers and papers on applications are strongly encouraged. ... Notes in Computer Science" styles, and must be no more than 15 pages ... (comp.specification.z)
CFP: 5th Workshop on Model Checking and AI ... Application of model checking techniques to AI problems. ... Model Checking and AI logics....Preliminary papers and papers on applications are strongly encouraged. ... Notes in Computer Science" styles, and must be no more than 15 pages ... (comp.specification.z)
