ACM Events and Conferences «
http://www.acm.org/events/ | | Online registration , calendar , and links to acm sponsored conferences. |
All Conferences Directory «
http://www.allconferences.com/Computers/ | | 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 «
http://www.cav-conference.org | | A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software. |
CP «
http://www.cs.ualberta.ca/~ai/cp/ | | International conference on principles and practice of constraint programming. links to the individual sites of the annual meetings. |
DB and LP: Conferences and Workshops «
http://www.informatik.uni-trier.de/~ley/db/conf/index.a.html | | Large list of computer science conferences and workshops : past , present and future. |
ERCIM Calendar «
http://www.ercim.org/publication/conferences.html | | European research consortium for informatics and mathematics: calendar of events and conferences related to it and applied mathematics. |
EUFIT «
http://www.eufit.org/ | | 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. |
eWiC «
http://ewic.bcs.org/ | | 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. |
FOOL «
http://www.cis.upenn.edu/~bcpierce/FOOL/ | | Foundations of object-oriented languages. links to the annual workshops. |
FSTTCS «
http://www.fsttcs.org/ | | Foundations of software technology and theoretical computer science. links to past and future meetings. |
Hot Chips «
http://www.hotchips.org/ | | 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. |
ICFP «
http://www.icfpconference.org/ | | 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 «
http://www.computer.org/portal/pages/ieeecs/conferences/ | | The ieee cs sponsors or cosponsors over 90 technical meetings each year. proceedings , conference homepages , calendar , and calls for papers. |
IEEE Conferences «
http://www.ieee.org/web/conferences/home/ | | 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 «
http://www.iccd-conference.org/ | | Links to past and future meetings in the series. |
