Sciweavers

Browse Conference Preprints By Year

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

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