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.
All Conferences Directory
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
A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.
Conferences and CfP Deadlines
List of deadlines for Conferences in the fields of Informatics, Knowledge Management, CSCW, and Computer Science: maintained by Dick Stenmark.
CP
International Conference on Principles and Practice of Constraint Programming. Links to the individual sites of the annual meetings.
ERCIM Calendar
European Research Consortium for Informatics and Mathematics: calendar of events and conferences related to IT and applied mathematics.
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.
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.
FOOL
Foundations of Object-Oriented Languages. Links to the annual workshops.
FSTTCS
Foundations of Software Technology and Theoretical Computer Science. Links to past and future meetings.
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.
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.
IEEE Computer Society
Sponsors or cosponsors over 90 technical meetings each year. Proceedings, conference homepages, calendar, and calls for papers.
IEEE Conferences
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
Links to past and future meetings in the series.
IFIP
International Federation for Information Processing. Calendar of Events.
International Conference and Research Center for Computer Science Schloss Dagstuhl
All past and future conferences in Dagstuhl are listed on the web site.
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.
LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
Results: 1 2 Next
vPro Servers - Link Exchange Directory
