Conferences Websites

All past and future conferences in Dagstuhl are listed on the web site.

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

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

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.

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

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

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

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

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.

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

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

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

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.

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

Online registration, calendar, and links to ACM sponsored conferences.

Open access series published by BCS, The Chartered Institute for IT, which includes the proceedings of workshops and conferences on a wide range of computing topics.

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

Links to the 27th to 35th STOC sites.

Large list of Computer Science Conferences and Workshops : past, present and future.