The International Conference on Computer Aided Verification - A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.

From 1994 - 1999 the ELITE Foundation (European Laboratory for Intelligent Techniques Engineering) annually organized EUFIT - The European Congress on Intelligent Techniques and Soft Computing. Tables of contents of proceedings and order forms.

Foundations of Software Technology and Theoretical Computer Science. Links to past and future meetings.

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.

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.

All past and future conferences in Dagstuhl are listed on the web site.

Annual ACM SIGPLAN Conferences on Object-Oriented Programming, Systems, Languages, and Applications. Next meeting: Seattle, Washington, USA; 4--8 November 2002.

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.