  |
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. |
| |
International Conference and Research Center for Computer Science Schloss Dagstuhl - http://www.dagstuhl.de/
All past and future conferences in Dagstuhl are listed on the web site. |
| |
ACM Events and Conferences - http://www.acm.org/conferences
Online registration, calendar, and links to ACM sponsored conferences. |
| |
OOPSLA - http://www.oopsla.org
Annual ACM SIGPLAN Conferences on Object-Oriented Programming, Systems, Languages, and Applications. |
| |
Promote Research - http://www.promoteresearch.org
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. |
| |
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. |
| |
WSCG - http://wscg.zcu.cz/
Annual International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision. |
| |
LICS - http://www2.informatik.hu-berlin.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. |
| |
Recent Object Oriented Trends - http://roots.dnd.no/
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. |
| |
Informatics Europe - http://www.informatics-europe.org/cgi-bin/informatics_europe.cgi
Listing of computer science conferences with a submission interface. |
| |
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. |
| |
UbiComp - http://ubicomp.org/
Venue for presenting research and development achievements in the design, implementation, deployment and evaluation of computing technology that migrates beyond our desktops. |
| |
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. |
| |
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. |
| |
MobiCom - http://www.sigmobile.org/mobicom/
Annual ACM International Conference on Mobile Computing and Networking. Links to the conferences held since 1995. |
| |
eWiC - http://www.bcs.org/server.php?show=nav.7927
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. |
| |
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. |
| |
Netlib Conferences Database - http://www.netlib.org/confdb/Conferences.html
Information about upcoming conferences, lectures, and other meetings relevant to the fields of mathematics and computer science. |
| |
LOPSTR - http://www.cs.man.ac.uk/~kung-kiu/lopstr/
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991. |
| |
FOOL - http://www.cis.upenn.edu/~bcpierce/FOOL/
Foundations of Object-Oriented Languages. Links to the annual workshops. |
| |
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. |
| |
Symposium on the Theory of Computing (STOC) - http://www.informatik.uni-trier.de/~ley/db/conf/stoc/
Links to the 27th to 35th STOC sites. |
| |
TechCalendar - http://www.techweb.com/calendar/
Searchable/Browseable event directory, with categories such as: Internet/Online, Communications, Software and Services, Vertical Markets, Computing Platforms, and Computing Industry. |
| |
STACS Websites - http://stacs.uni-trier.de/
Links to the series Symposium on Theoretical Aspects of Computer Science. |
| |
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. |