Contents  > Computers  > Computer Science  > Conferences

See also:

• Computers: Conferences  (0)
• Computers: Software: Conferences and Trade Shows  (8)
• Science: Events: Conferences  (27)
• Science: Math: Logic and Foundations: Meetings  (148)
• Science: Technology: Conferences and Events  (23)

This category in other languages:
	Farsi  (0)

• DB and LP: Conferences and Workshops - Large list of Computer Science Conferences and Workshops : past, present and future.

  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

  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

  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/

  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/

  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

  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. Pointers to the individual conferences and related links. 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/

  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/

  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/

  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/