SafeComp (Popularity: )
The International Conference on Computer Safety, Reliability and Security. Past and future meetings, proceedings and related links.
|
Symposium on the Theory of Computing (STOC) (Popularity: )
Links to the 27th to 35th STOC sites.
|
FSTTCS (Popularity: )
Foundations of Software Technology and Theoretical Computer Science. Links to past and future meetings.
|
STACS Websites (Popularity: )
Links to the series Symposium on Theoretical Aspects of Computer Science.
|
CP (Popularity: )
International Conference on Principles and Practice of Constraint Programming. Links to the individual sites of the annual meetings.
|
OOPSLA (Popularity: )
Annual ACM SIGPLAN Conferences on Object-Oriented Programming, Systems, Languages, and Applications. Next meeting: Seattle, Washington, USA; 4--8 November 2002.
|
FOOL (Popularity: )
Foundations of Object-Oriented Languages. Links to the annual workshops.
|
LICS (Popularity: )
IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that ...
|
STOC (Popularity: )
Annual ACM Symposium on Theory of Computing.
|
eWiC (Popularity: )
Electronic Workshops in Computing Science. Series hosted by the British Computer Society which includes the proceedings of workshops and conferences ...
|
CAV - The International Conference on Computer Aided Verification (Popularity: )
A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.
|