Conferences

» DB and LP: Conferences and Workshops
   Large list of Computer Science Conferences and Workshops : past, present and future.
   http://www.informatik.uni-trier.de/~ley/db/conf/index.a.html

» ACM Events and Conferences
   Online registration, calendar, and links to ACM sponsored conferences.

   
   http://www.acm.org/conferences

» All Conferences Directory
   Searchable database of Computer Science and Technology conferences. Organizes conferences by category and offers information regarding paper submission deadlines.

   
   http://www.allconferences.com/Computers/

» 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.

   
   http://www.cav-conference.org

» CP
   International Conference on Principles and Practice of Constraint Programming. Links to the individual sites of the annual meetings.

   
   http://www.cs.ualberta.ca/~ai/cp/

» Conferences and CfP Deadlines
   List of deadlines for Conferences in the fields of Informatics, Knowledge Management, CSCW, and Computer Science: maintained by Dick Stenmark.

   
   http://www.viktoria.se/~dixi/conf.htm

» ERCIM Calendar
   European Research Consortium for Informatics and Mathematics: calendar of events and conferences related to IT and applied mathematics.

   
   http://www.ercim.org/publication/conferences.html

» EUFIT
   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.

   
   http://www.eufit.org/

» FOOL
   Foundations of Object-Oriented Languages. Links to the annual workshops.

   
   http://www.cis.upenn.edu/~bcpierce/FOOL/

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

   
   http://www.fsttcs.org/

» Hot Chips
   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.

   
   http://www.hotchips.org/

» ICFP
   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

   
   http://www.icfpconference.org/

» IEEE Computer Society Conferences
   The IEEE CS sponsors or cosponsors over 90 technical meetings each year. Proceedings, conference homepages, calendar, and calls for papers.

   
   http://www.computer.org/portal/pages/ieeecs/conferences/

» IEEE Conferences
   IEEE hosts more than 300 conferences each year in a wide range of technical, professional, standards, education, and career-related subjects.

   
   http://www.ieee.org/web/conferences/home/

» IEEE International Conference on Computer Design
   Links to past and future meetings in the series.

   
   http://www.iccd-conference.org/

» IFIP
   International Federation for Information Processing. Calendar of Events.

   
   http://www.ifip.or.at/cal_even.htm

» Informatics Europe
   Listing of computer science conferences with a submission interface.

   
   http://www.informatics-europe.org/cgi-bin/informatics_europe.cgi

» International Conference and Research Center for Computer Science Schloss Dagstuhl
   All past and future conferences in Dagstuhl are listed on the web site.

   
   http://www.dagstuhl.de/

» LICS
   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, maling list, newsletters.

   
   http://www2.informatik.hu-berlin.de/lics/

» LOPSTR
   International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

   
   http://www.cs.man.ac.uk/~kung-kiu/lopstr/

» MobiCom
   Annual ACM International Conference on Mobile Computing and Networking. Links to the conferences held since 1995.

   
   http://www.sigmobile.org/mobicom/

» Netlib Conferences Database
   Information about upcoming conferences, lectures, and other meetings relevant to the fields of mathematics and computer science.

   
   http://www.netlib.org/confdb/Conferences.html

» OOPSLA
   Annual ACM SIGPLAN Conferences on Object-Oriented Programming, Systems, Languages, and Applications.

   
   http://www.oopsla.org

» Promote Research
   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.

   
   http://www.promoteresearch.org

» Recent Object Oriented Trends
   The ROOTS symposium is a forum for presentation, debate and study of the latest object oriented theories and practices. The target audience is European IT professionals and managers.

   
   http://roots.dnd.no/

» SAIG
   Workshop on Semantics, Applications, and Implementation of Program Generation. Links to regular workshops and other events.

   
   http://cs-www.cs.yale.edu/homes/taha/saig/

» STACS Websites
   Links to the series Symposium on Theoretical Aspects of Computer Science.

   
   http://stacs.uni-trier.de/

» STOC
   Annual ACM Symposium on Theory of Computing.

   
   http://sigact.acm.org/stoc/

» SafeComp
   The International Conference on Computer Safety, Reliability and Security. Past and future meetings, proceedings and related links.

   
   http://groups.inf.ed.ac.uk/safecomp/

» Symposium on the Theory of Computing (STOC)
   Links to the 27th to 35th STOC sites.

   
   http://www.informatik.uni-trier.de/~ley/db/conf/stoc/

» TechCalendar
   Searchable/Browseable event directory, with categories such as: Internet/Online, Communications, Software and Services, Vertical Markets, Computing Platforms, and Computing Industry.

   
   http://www.techweb.com/calendar/

» UbiComp
   Venue for presenting research and development achievements in the design, implementation, deployment and evaluation of computing technology that migrates beyond our desktops.

   
   http://ubicomp.org/

» WSCG
   Annual International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision.

   
   http://wscg.zcu.cz/

» eWiC
   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.

   
   http://www.bcs.org/server.php?show=nav.7927