Portal for conferences on the topics of artificial intelligence; enterprise information systems and web technologies; high performance computing and networking; and software engineering. Includes information on paper submission and conference locations.
IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Links to past and future meetings, mailing list, newsletters.
International Conference on Functional Programming: an annual programming language conference combining the former Functional Programming and Computer Architecture (FPCA) and Lisp and Functional Programming (LFP). It is sponsored by the ACM SIGPLAN. Pointers to the individual conferences and related links.