Browse Conferences by Most Viewed

Browse Conference Preprints By Most Viewed

To access the paper preprints of a given conference proceedings, just click its name

id	subject	acronym	title
1	Database	VLDB	International Conference on Very Large Data Bases, ACM
2	Natural Language Processing	MUC	Message Understanding Conference,
3	Knowledge Management	SIGLEX	SIGLEX (Special Interest Group within ACL on the Lexicon) Workshop,
4	Computer Graphics	SIGGRAPH	International Conference on Computer Graphics and Interactive Techniques, ACM
5	Algorithms	STOC	Annual ACM Symposium on Theory of Computing, ACM
6	Communications	INFOCOM	Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE
7	Theoretical Computer Science	FOCS	Annual IEEE Symposium on Foundations of Computer Science, IEEE
8	Applied Computing	BIRTHDAY	Computation Theory and Logic, Springer
9	Hardware	ICCD	International Conference on Computer Design, IEEE
10	Automated Reasoning	LICS	Symposium on Logic in Computer Science, IEEE
11	Visualization	VISUALIZATION	IEEE Visualization, IEEE
12	Applied Computing	SC	International Workshop on Structural Computing, ACM
13	Programming Languages	ASPLOS	Architectural Support for Programming Languages and Operating Systems, ACM
14	Automated Reasoning	KR	International Conference on Principles and Knowledge Representation and Reasoning, Springer
15	Programming Languages	POPL	Annual Symposium on Principles of Programming Languages, ACM
16	Distributed And Parallel Computing	SPDP	IEEE Symposium on Parallel and Distributed Processing, IEEE
17	Hardware	ICCAD	International Conference on Computer Aided Design, IEEE
18	Automated Reasoning	ICLP	International Conference on Logic Programming, Springer
19	Hardware	MICRO	International Symposium on Microarchitecture, IEEE
20	Hardware	ITC	International Teletra c Congress, IEEE
21	Computer Architecture	DAC	Annual ACM IEEE Design Automation Conference, ACM
22	Database	ICDE	International Conference on Data Engineering, IEEE
23	Machine Learning	ICML	Workshop on Statistical Network Analysis, IEEE
24	Cryptology	CRYPTO	Advances in Cryptology, Springer
25	Distributed And Parallel Computing	ICDCS	International Conference on Distributed Computing Systems, IEEE
26	Computer Graphics	DCC	Data Compression Conference, IEEE
27	Security Privacy	SP	IEEE Symposium on Security and Privacy, IEEE
28	Cryptology	ASIACRYPT	International Conference on Cryptology, Springer
29	Discrete Geometry	COMPGEOM	ACM Symposium on Computational Geometry, ACM
30	Internet Technology	HT	Conference on Hypertext and Hypermedia, ACM
31	Distributed And Parallel Computing	IPPS	International Parallel Processing Symposium, IEEE
32	Programming Languages	PLDI	Conference on Programming Language Design and Implementation, ACM
33	Algorithms	COCO	Annual IEEE Conference on Computational Complexity, Springer
34	Security Privacy	OOPSLA	Security for Object-Oriented Systems, Springer
35	Database	SIGMOD	International Conference on Management of Data, ACM
36	Solid Modeling	SMA	International Conference on Shape Modeling and Applications, ACM
37	Theoretical Computer Science	STACS	Annual Symposium on Theoretical Aspects of Computer Science, Springer
38	Database	DBPL	International Workshop on Database Programming Languages, Springer
39	Communications	SIGCOMM	Communications architectures & protocols, ACM
40	Machine Learning	COLT	Annual Workshop on Computational Learning Theory, Springer
41	Distributed And Parallel Computing	CONCUR	Seminar on Concurrency, Springer
42	Distributed And Parallel Computing	PDIS	International Conference Parallel and Distributed Information Systems, IEEE
43	Programming Languages	FPCA	Conference on Functional Programming Languages and Computer Architecture,
44	Programming Languages	ICALP	International Colloquium on Automata, Springer
45	Programming Languages	IFIP	International Workshop, Springer
46	Visual Languages	VL	IEEE Symposium on Visual Languages, IEEE
47	Formal Methods	SAS	International Static Analysis Symposium, Springer
48	Algorithms	AAECC	Int. Conference/Symposium on Applied Algebra, Springer
49	Machine Learning	ECML	European Working Session on Learning, Springer
50	Theoretical Computer Science	MFCS	International Symposium on Mathematical Foundations of Computer, Springer
51	Software Engineering	ICSE	International Conference on Software Engineering, IEEE-ACM
52	Artificial Intelligence	AIIA	Trends in Artificial Intelligence, Springer
53	Software Engineering	AMAST	International Conference on Algebraic Methodology and Software Technology, Springer
54	Software Engineering	TACS	International Conference/Symposium on Theoretical Aspects of Computer Software, Springer
55	Programming Languages	ECOOP	European Conference on Object-Oriented Programming, Springer
56	Hardware	ISCA	International Symposium on Computer Architecture, IEEE
57	Programming Languages	PLILP	International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer
58	Logical Reasoning	REX	Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems),
59	Theoretical Computer Science	RTA	International Conference on Rewriting Techniques and Applications, Springer
60	Software Engineering	AC	Agent Communication, Springer
61	Distributed And Parallel Computing	ICPP	International Conference on Parallel Processing, IEEE
62	Software Engineering	TAPSOFT	International Joint Conference on Theory and Practice of Software Development, Springer
63	Software Engineering	UIST	Symposium on User Interface Software and Technology, ACM
64	Software Engineering	ISPW	International Software Process Workshop, IEEE
65	Computer Networks	NOSSDAV	International Workshop on Network and Operating System Support for Digital Audio and Video, Springer
66	Distributed And Parallel Computing	PARLE	International Conference on Parallel Architectures and Languages Europe,
67	Logical Reasoning	ELP	International Workshop on Extensions of Logic Programming,
68	Applied Computing	GROUP	Conference on Supporting Group Work, ACM
69	System Software	LCPC	International Workshop on Languages and Compilers for Parallel Computing, Springer
70	Distributed And Parallel Computing	SPAA	ACM Symposium on Parallel Algorithms and Architectures, ACM
71	Information Technology	ICCI	International Conference on Computing and Information,
72	Artificial Intelligence	ISMIS	International Symposium on Methodologies for Intelligent Systems, Springer
73	Hardware	ISMVL	IEEE International Symposium on Multiple-Valued Logic, IEEE
74	Automated Reasoning	NIL	International Workshop on Nonmonotonic and Inductive Logic,
75	Distributed And Parallel Computing	PODC	Annual ACM Symposium on Principles of Distributed Computing, ACM
76	Document Analysis	SIGDOC	ACM Special Interest Group for Design of Communication, ACM
77	Hardware	SIGMETRICS	Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM
78	Operating System	SRDS	IEEE Symposium on Reliable Distributed Systems, IEEE
79	Modeling And Simulation	ANSS	Annual Simulation Symposium, IEEE
80	Programming Languages	PHOENIX	PHOENIX Seminar and Workshop on Declarative Programming,
81	Control Systems	RTSS	IEEE International Real-Time Systems Symposium, IEEE
82	Software Engineering	SDE	European Symposium on Software Development Environments,
83	Distributed And Parallel Computing	ACPC	International Conference of the Austrian Center for Parallel Computation, Springer
84	Software Engineering	ESEC	European Software Engineering Conference, Springer
85	Applied Computing	FCT	Fundamentals of Computation Theory, Springer
86	Software Engineering	PEPM	ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM
87	Database	PODS	Symposium on Principles of Database Systems, ACM
88	Information Technology	SIGUCCS	User Services Conference, ACM
89	Computational Geometry	CGA	Computational Geometry and its Applications,
90	Artificial Intelligence	PNPM	IEEE International Workshop on Petri Nets and Performance Models,
91	Distributed And Parallel Computing	PPOPP	Principles and Practice of Parallel Programming, ACM
92	Education	SIGCSE	Technical Symposium on Computer Science Education, ACM
93	Cryptology	EUROCRYPT	Int. Workshop/Conference on Theory and Application of, Springer
94	Theoretical Computer Science	GI	GI (German Informatics Society) Annual Conference, Springer
95	Distributed And Parallel Computing	HLPPP	Research Directions in High-Level Parallel Programming Languages,
96	Theoretical Computer Science	IWWERT	International Workshop on Word Equations and Related Topics,
97	Formal Methods	ZUM	International Conference of Z Users, Springer
98	Hardware	CAV	International Workshop on Computer Aided Verification, Springer
99	Database	DASFAA	International Conference on Database Systems for Advanced Applications, IEEE
100	Formal Methods	FM	World Congress on Formal Methods, Springer
101	Natural Language Processing	LNCS	Text Understanding in LILOG,
102	Automated Reasoning	CSL	Workshop on Computer Science Logic, Springer
103	Distributed And Parallel Computing	ICS	International Conference on Supercomputing, Tsinghua U.
104	Robotics	ISER	International Symposium on Experimental Robotics, Springer
105	Programming Languages	TOOLS	International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE
106	Software Engineering	APL	International Conference on APL, ACM
107	Knowledge Management	CKEC	Contemporary Knowledge Engineering and Cognition,
108	Programming Languages	COMPASS	Recent Trends in Data Type Specification,
109	Automated Reasoning	ECSQARU	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer
110	Artificial Intelligence	EPIA	Portuguese Conference on Artificial Intelligence, Springer
111	Hardware	FACS	Specification and Verification of Concurrent Systems,
112	Artificial Intelligence	ICAIL	International Conference on Artificial Intelligence and Law, ACM
113	Software Engineering	ISSTA	International Symposium on Software Testing and Analysis, ACM
114	Automated Reasoning	LPAR	Logic for Programming, Springer
115	Programming Languages	MFPS	International Conference on Mathematical Foundations of Programming Semantics,
116	Artificial Intelligence	OGAI	?sterreichische Artificial Intelligence-Tagung,
117	Document Analysis	RIDE	International Workshop on Research Issues in Data Engineering, IEEE
118	Database	SSD	International Symposium on Spatial Databases, Springer
119	Automated Reasoning	TPHOL	International Workshop on the HOL Theorem Proving System and its Applications, IEEE
120	Database	DEXA	International Workshop on Database and Expert Systems Applications, Springer
121	Formal Methods	FP	Functional Programming,
122	Mathematics	ISSAC	International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer
123	Automated Reasoning	LPNMR	Logic Programming and Nonmonotonic Reasoning, Springer
124	Database	MFDBS	Symposium on Mathematical Fundamentals of Database Systems,
125	Information Technology	SIGIR	International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM
126	Programming Languages	CTCS	Category Theory and Computer Programming, Springer
127	Software Engineering	FSTTCS	Foundations of Software Technology and Theoretical Computer Science, Springer
128	Visualization	VIS	IEEE Visualization, IEEE
129	Database	DOOD	International Conference on Deductive and Object-Oriented Databases, Springer
130	Knowledge Management	PDK	International Workshop on Processing Declarative Knowledge,