|ACM Events and Conferences|
Online registration , calendar , and links to acm sponsored conferences.
|All Conferences Directory|
Searchable database of computer science and technology conferences. organizes conferences by category and offers information regarding paper submission deadlines.
|CAV - The International Conference on Computer Aided Verification|
A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.
International conference on principles and practice of constraint programming. links to the individual sites of the annual meetings.
|DB and LP: Conferences and Workshops|
Large list of computer science conferences and workshops : past , present and future.
European research consortium for informatics and mathematics: calendar of events and conferences related to it and applied mathematics.
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.
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.
Foundations of object-oriented languages. links to the annual workshops.
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. po
|IEEE Computer Society Conferences|
The ieee cs sponsors or cosponsors over 90 technical meetings each year. proceedings , conference homepages , calendar , and calls for papers.
Ieee hosts more than 300 conferences each year in a wide range of technical , professional , standards , education , and career-related subjects.
|IEEE International Conference on Computer Design|
Links to past and future meetings in the series.