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. P...
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.
Electronic Workshops in Computing Science. Series hosted by the British Computer Society which includes the proceedings of workshops and conferences on a range of computing topics.
For designers and architects of high-performance chips, software, and systems, with presentations on up-to-the-minute real developments. Held at Stanford University, CA, USA each August.