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	Communications	MOBICOM	International Conference on Mobile Computing and Networking, ACM
3	Computer Graphics	SIGGRAPH	International Conference on Computer Graphics and Interactive Techniques, ACM
4	Database	SIGMOD	International Conference on Management of Data, ACM
5	Programming Languages	POPL	Annual Symposium on Principles of Programming Languages, ACM
6	Database	PODS	Symposium on Principles of Database Systems, ACM
7	Computer Graphics	SI3D	Symposium on Interactive 3D Graphics, ACM
8	Database	SSD	International Symposium on Spatial Databases, Springer
9	Database	VLDB	International Conference on Very Large Data Bases, ACM
10	Programming Languages	PLDI	Conference on Programming Language Design and Implementation, ACM
11	Distributed And Parallel Computing	HPCA	High Performance Computing and Applications, IEEE
12	Database	ICDE	International Conference on Data Engineering, IEEE
13	Communications	INFOCOM	Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE
14	Security Privacy	CSFW	IEEE Computer Security Foundations Workshop, IEEE
15	Distributed And Parallel Computing	PPOPP	Principles and Practice of Parallel Programming, ACM
16	Cryptology	CRYPTO	Advances in Cryptology, Springer
17	Security Privacy	OOPSLA	Security for Object-Oriented Systems, Springer
18	Data Mining	KDD	International Conference on Knowledge Discovery and Data Mining, ACM
19	Hardware	CAV	International Workshop on Computer Aided Verification, Springer
20	Applied Computing	SC	International Workshop on Structural Computing, ACM
21	Information Technology	SIGIR	International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM
22	Algorithms	STOC	Annual ACM Symposium on Theory of Computing, ACM
23	Programming Languages	ECOOP	European Conference on Object-Oriented Programming, Springer
24	Theoretical Computer Science	FOCS	Annual IEEE Symposium on Foundations of Computer Science, IEEE
25	Hardware	ISCA	International Symposium on Computer Architecture, IEEE
26	Computer Vision	ICCV	IEEE International Conference on Computer Vision, IEEE
27	Hardware	MICRO	International Symposium on Microarchitecture, IEEE
28	Hardware	SIGMETRICS	Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM
29	Distributed And Parallel Computing	PODC	Annual ACM Symposium on Principles of Distributed Computing, ACM
30	Machine Learning	COLT	Annual Workshop on Computational Learning Theory, Springer
31	Machine Learning	ICML	Workshop on Statistical Network Analysis, IEEE
32	Computer Architecture	DAC	Annual ACM IEEE Design Automation Conference, ACM
33	Software Engineering	UIST	Symposium on User Interface Software and Technology, ACM
34	Automated Reasoning	LICS	Symposium on Logic in Computer Science, IEEE
35	Database	ICDT	International Conference on Database Theory, ACM
36	Computer Networks	ICNP	IEEE International Conference on Network Protocols, IEEE
37	Cryptology	EUROCRYPT	Int. Workshop/Conference on Theory and Application of, Springer
38	Distributed And Parallel Computing	SPAA	ACM Symposium on Parallel Algorithms and Architectures, ACM
39	Distributed And Parallel Computing	ICDCS	International Conference on Distributed Computing Systems, IEEE
40	Formal Methods	SAS	International Static Analysis Symposium, Springer
41	Algorithms	TACAS	Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer
42	Distributed And Parallel Computing	CONCUR	Seminar on Concurrency, Springer
43	Distributed And Parallel Computing	HPDC	High Performance Distributed Computing, IEEE
44	Visualization	VISUALIZATION	IEEE Visualization, IEEE
45	Computer Networks	NOSSDAV	International Workshop on Network and Operating System Support for Digital Audio and Video, Springer
46	Control Systems	RTSS	IEEE International Real-Time Systems Symposium, IEEE
47	Computer Graphics	RT	Rich Transcription Workshop, Springer
48	Software Engineering	ICSE	International Conference on Software Engineering, IEEE-ACM
49	Distributed And Parallel Computing	JSSPP	Workshop on Job Scheduling Strategies for Parallel Processing, Springer
50	Embedded Systems	RTAS	IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE
51	Human Computer Interaction	CHI	Conference on Human Factors in Computing Systems, ACM
52	Multimedia	MM	International Multimedia Conference, ACM
53	Software Engineering	ESEC	European Software Engineering Conference, Springer
54	Software Engineering	PEPM	ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM
55	Information Technology	CIKM	Conference on Information and Knowledge Management, Springer
56	Information Technology	COOPIS	IFCIS International Conference on Cooperative Information Systems, IEEE
57	Software Engineering	FSTTCS	Foundations of Software Technology and Theoretical Computer Science, Springer
58	Programming Languages	ICALP	International Colloquium on Automata, Springer
59	Distributed And Parallel Computing	ICS	International Conference on Supercomputing, Tsinghua U.
60	Automated Reasoning	ICLP	International Conference on Logic Programming, Springer
61	Intelligent Agents	ATAL	Intelligent Agents II, Springer
62	Hardware	ICCAD	International Conference on Computer Aided Design, IEEE
63	Theoretical Computer Science	GI	GI (German Informatics Society) Annual Conference, Springer
64	Applied Computing	GROUP	Conference on Supporting Group Work, ACM
65	Theoretical Computer Science	STACS	Annual Symposium on Theoretical Aspects of Computer Science, Springer
66	Machine Learning	ECML	European Working Session on Learning, Springer
67	Theoretical Computer Science	RTA	International Conference on Rewriting Techniques and Applications, Springer
68	Theoretical Computer Science	TLCA	International Conference on Typed Lambda Calculi and Applications, Springer
69	Combinatorics	CPM	Combinatorial Pattern Matching, Springer
70	Operating System	SRDS	IEEE Symposium on Reliable Distributed Systems, IEEE
71	VLSI	FCCM	Annual IEEE Symposium on Field-Programmable Custom Computing Machines, IEEE
72	Theoretical Computer Science	MFCS	International Symposium on Mathematical Foundations of Computer, Springer
73	Algorithms	WADS	Workshop on Algorithms and Data Structures, Springer
74	Software Engineering	WCRE	Working Conference on Reverse Engineering, IEEE
75	Software Engineering	AMAST	International Conference on Algebraic Methodology and Software Technology, Springer
76	Hardware	CHARME	Correct Hardware Design and Verification Methods, Springer
77	Automated Reasoning	LPNMR	Logic Programming and Nonmonotonic Reasoning, Springer
78	Automated Reasoning	ICCBR	International Conference on Case-Based Reasoning, Springer
79	Automated Reasoning	CSL	Workshop on Computer Science Logic, Springer
80	Software Engineering	ICSM	IEEE International Conference on Software Maintenance, IEEE
81	Algorithms	ESA	European Symposium on Algorithms, Springer
82	Information Technology	CAISE	Advances Information System Engineering, Springer
83	Document Analysis	ICDAR	International Conference on Document Analysis and Recognition, IEEE
84	FPGA	FPGA	International Symposium on Field Programmable Gate Arrays, ACM
85	Artificial Intelligence	ICAIL	International Conference on Artificial Intelligence and Law, ACM
86	Artificial Intelligence	CP	Principles and Practice of Constraint Programming, Springer
87	Database	DBPL	International Workshop on Database Programming Languages, Springer
88	Visualization	INFOVIS	IEEE Symposium on Information Visualization, IEEE
89	Machine Learning	ALT	Algorithmic Learning Theory, Springer
90	Database	ER	International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer
91	Hardware	ISSS	International Symposium on Software Security, IEEE
92	Information Technology	LATIN	Latin American Symposium on Theoretical Informatics, Springer
93	Mathematics	ISSAC	International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer
94	Formal Methods	ZUM	International Conference of Z Users, Springer
95	Hardware	ITC	International Teletra c Congress, IEEE
96	Algorithms	ISAAC	International Symposium on Algorithms and Computation, Springer
97	Applied Computing	SAC	International Workshop on Selected Areas in Cryptography, ACM
98	Hardware	ASYNC	International Symposium on Asynchronous Circuits and Systems, IEEE
99	Computer Graphics	GD	Graph Drawing, Springer
100	Image Processing	ICIP	International Conference on Image Processing, IEEE
101	Formal Methods	TYPES	International Workshop on Types for Proofs and Programs, Springer
102	Artificial Intelligence	TABLEAUX	International Workshop/Conference on Analytic Tableaux and Related Methods, Springer
103	Theoretical Computer Science	WG	International Workshop on Graph-Theoretic Concepts in Computer Science, Springer
104	Hardware	ICCD	International Conference on Computer Design, IEEE
105	Document Analysis	SIGDOC	ACM Special Interest Group for Design of Communication, ACM
106	Robotics	AMS	Asia International Conference on Modelling & Simulation, Springer
107	Distributed And Parallel Computing	ICPP	International Conference on Parallel Processing, IEEE
108	Cryptology	IMA	Institute of Mathematics and its Applications International Conference, Springer
109	Computer Graphics	DCC	Data Compression Conference, IEEE
110	Combinatorics	COCOON	International Conference on Computing and Combinatorics, Springer
111	Software Engineering	EWSPT	European Workshop on Software Process Technology, Springer
112	Database	ADC	Agile Development Conference/Australasian Database Conference, Springer
113	Communications	ICCCN	International Conference on Computer Communications and Networks, IEEE
114	Document Analysis	RIDE	International Workshop on Research Issues in Data Engineering, IEEE
115	Education	SIGCSE	Technical Symposium on Computer Science Education, ACM
116	Hardware	VTS	IEEE VLSI Test Symposium, IEEE
117	Database	DASFAA	International Conference on Database Systems for Advanced Applications, IEEE
118	System Software	LCPC	International Workshop on Languages and Compilers for Parallel Computing, Springer
119	Robotics	ISER	International Symposium on Experimental Robotics, Springer
120	Computer Graphics	GREC	International Workshop on Graphics Recognition, Springer
121	Hardware	ICES	International Conference on Evolvable Systems, Springer
122	Algorithms	ASIAN	Algorithms, Springer
123	Human Computer Interaction	DSVIS	Design, Springer
124	Hardware	ASPDAC	Asia and South Pacific Design Automation Conference, ACM
125	Hardware	ISLPED	International Symposium on Low Power Electronics and Design, ACM
126	Mathematics	MPC	International Conference on Mathematics of Program Construction, Springer
127	Artificial Intelligence	AGP	Italian Conference on Logic Programming, IEEE
128	Hardware	FPL	International Workshop/Conference on Field-Programmable Logic and Applications, Springer
129	Distributed And Parallel Computing	PDP	Distributed Parallel, IEEE
130	Artificial Intelligence	ECAL	European Conference on Artificial Life, Springer
131	Emerging Technology	WETICE	IEEE International Workshops on Enabling Technologies, IEEE
132	Software Engineering	SEKE	International Conference on Software Engineering and Knowledge Engineering, Springer
133	Automated Reasoning	ECSQARU	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer
134	Artificial Intelligence	EPIA	Portuguese Conference on Artificial Intelligence, Springer
135	Applied Computing	ICCS	International Conference on Computational Science, Springer
136	Algorithms	COCO	Annual IEEE Conference on Computational Complexity, Springer
137	Hardware	ATS	Asian Test Symposium, IEEE
138	Biometrics	HICSS	Hawaii International Conference on System Sciences, IEEE
139	Database	DEXA	International Workshop on Database and Expert Systems Applications, Springer
140	Robotics	ICRA	International Conference on Robotics and Automation, IEEE
141	Education	PATAT	International Conference on the Practice and Theory of Automated Timetabling, Springer
142	Hardware	MSS	IEEE Symposium on Mass Storage Systems, IEEE
143	Automated Reasoning	LOPSTR	Logic Program Synthesis and Transformation, Springer
144	Distributed And Parallel Computing	FTDCS	IEEE International Workshop Future Trends of Distributed Computing Systems, IEEE
145	Database	ADBIS	Advances in Databases and Information Systems, Springer
146	Hardware	ASAP	Architectures and Processors Application-Specific Systems, IEEE
147	Computer Networks	LCN	Annual IEEE Conference on Local Computer Networks, IEEE
148	Software Engineering	APL	International Conference on APL, ACM
149	Applied Computing	PARA	International Workshop on Applied Parallel Computing, Springer
150	Theoretical Computer Science	SOFSEM	Seminar/Conference on Current Trends in Theory and Practice of Informatics, Springer
151	Artificial Intelligence	AIME	Conference on Artificial Intelligence in Medicine in Europe, Springer
152	VLSI	VLSID	International Conference on VLSI Design, IEEE
153	Software Engineering	COMPSAC	Annual International Computer Software and Applications Conference, IEEE
154	Applied Computing	FCT	Fundamentals of Computation Theory, Springer
155	Database	DEXAW	International Workshop on Database and Expert Systems Applications, IEEE
156	Software Engineering	APSEC	Asia-Pacific Software Engineering Conference, IEEE
157	Artificial Intelligence	AE	European Conference on Artificial Evolution, Springer
158	Hardware	ICECCS	IEEE International Conference on Engineering of Complex Computer Systems, IEEE
159	Database	BTW	Sprachen f?r Datenbanken, Springer
160	Multimedia	ICMCS	International Conference on Multimedia Computing and Systems, IEEE
161	GIS	COSIT	Spatial Information Theory: A Theoretical Basis for GIS, Springer
162	Image Analysis	CAIP	Computer Analysis of Images and Patterns, Springer
163	Computer Networks	KIVS	Rechnernetze und Datenfernverarbeitung, Springer
164	Embedded Systems	RTCSA	Real-Time and Embedded Computer Systems and Applications, IEEE
165	Image Processing	ICIAP	International Conference on Image Analysis and Processing, ACM
166	Modeling And Simulation	ANSS	Annual Simulation Symposium, IEEE
167	Artificial Intelligence	KI	Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer
168	Artificial Intelligence	SBIA	Brazilian Symposium on Artificial Intelligence, Springer
169	Information Technology	SIGUCCS	User Services Conference, ACM
170	Medical Imaging	CBMS	IEEE Symposium on Computer-Based Medical Systems, IEEE
171	Neural Networks	IWANN	International Workshop/Work-Conference on Artificial and Natural Neural Networks, Springer
172	Hardware	ISCAS	International Symposium on Circuits and Systems, IEEE
173	Software Engineering	RE	IEEE International Conference on Requirements Engineering, Springer
174	Theoretical Computer Science	ACM	ACM Annual Conference,
175	Software Engineering	AADEBUG	International Workshop on Automated and Algorithmic Debugging, Springer
176	Database	CDB	Constraint Databases and Applications, Springer
177	Algorithms	AAECC	Int. Conference/Symposium on Applied Algebra, Springer
178	Solid Modeling	SMA	International Conference on Shape Modeling and Applications, ACM
179	Computer Vision	ACCV	Asian Conference on Computer Vision, Springer
180	Human Computer Interaction	ACMDIS	Designing Interactive Systems: Processes, ACM
181	Theoretical Computer Science	ACMSE	ACM Southeast Regional Conference, ACM
182	Digital Library	ADL	Forum on Advances in Digital Libraries, Springer
183	Formal Methods	AFP	International School on Advanced Functional Programming, Springer
184	Artificial Intelligence	AIIA	Trends in Artificial Intelligence, Springer
185	Artificial Intelligence	AISB	Evolutionary Computing, Springer
186	Neural Networks	ANN	Artificial Neural Networks: An Introduction to ANN Theory and Practice,
187	Neural Networks	ANNES	New Zealand Conference Artificial Neural Networks and Expert Systems,
188	Artificial Intelligence	APN	Application and Theory of Petri Nets, Springer
189	Applied Computing	ARITH	IEEE Symposium on Computer Arithmetic, IEEE
190	VLSI	ARVLSI	Conference on Advanced Research in VLSI, IEEE
191	Distributed And Parallel Computing	BANFF	Logics for Concurrency - Structure versus Automata,
192	Computer Animation	CA	Computer Animation, IEEE
193	Combinatorics	COCOC	Combinatorics and Computer Science,
194	Programming Languages	COMPASS	Recent Trends in Data Type Specification,
195	Computer Networks	COMPCON	IEEE International Computer Conference, IEEE
196	Discrete Geometry	COMPGEOM	ACM Symposium on Computational Geometry, ACM
197	Multimedia	COST	Multimedia Transport and Teleservices, Springer
198	Cryptology	CPA	Cryptography: Policy and Algorithms,
199	Programming Languages	CTCS	Category Theory and Computer Programming, Springer
200	Computer Vision	CVRMED	International Conference on Computer Vision, Springer
201	Image Processing	DAGM	Digital Bildverarbeitung - Digital Image Processing, Springer
202	Artificial Intelligence	DAI	Distributed Artificial Intelligence: Architecture and Modelling Workshop, Springer
203	Database	DBVIS	database Issues for Data Visualization,
204	Digital Library	DL	Digital Libraries: Current Issues, Springer
205	Database	DOOD	International Conference on Deductive and Object-Oriented Databases, Springer
206	Information Technology	EB	Evolution and Biocomputation,
207	Artificial Intelligence	EPS	International Conference on Evolutionary Programming, Springer
208	Theoretical Computer Science	ETD2000	Electronic Technology Directions to the Year 2000,
209	Machine Learning	EUROCOLT	European Conference on Computational Learning Theory, Springer
210	VHDL	EURODAC	European Design Automation Conference, IEEE
211	Distributed And Parallel Computing	EUROPAR	International Euro-Par Conference, Springer
212	Human Computer Interaction	EWHCI	International Conference on Human-Computer Interaction,
213	Formal Methods	FP	Functional Programming,
214	Programming Languages	FPCA	Conference on Functional Programming Languages and Computer Architecture,
215	Programming Languages	FPLE	International Symposium on Functional Programming Languages in Education,
216	Automated Reasoning	GIS	International Conference on Geographic Information Systems, ACM
217	VLSI	GLVLSI	Great Lakes Symposium on VLSI, IEEE
218	Knowledge Management	GOSLER	Algorithmic Learning for Knowledge-Based Systems,
219	Theoretical Computer Science	HOA	International Workshop on Higher-Order Algebra,
220	Distributed And Parallel Computing	HPCN	International Conference on High-Performance Computing and Networking, Springer
221	Control Systems	HYBRID	Hybrid Systems, Springer
222	Image Analysis	ICSC	International Computer Science Conference, Springer
223	Artificial Intelligence	IEAAIE	Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer
224	Information Technology	IMCIM	Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-of-the-Art CIM Solutions,
225	Distributed And Parallel Computing	IPPS	International Parallel Processing Symposium, IEEE
226	Distributed And Parallel Computing	IRREGULAR	International Workshop/Symposium on Parallel Algorithms for Irregularly Structured Problems, Springer
227	Communications	ISN	International Conference on Intelligence in Services and Networks, Springer
228	Applied Computing	ISTCS	Israel Symposium on Theory of Computing and Systems, Springer
229	Hardware	IWMM	International Workshop on Memory Management, Springer
230	Software Engineering	KBSE	Knowledge-Based Software Engineering Conference, IEEE
231	Software Engineering	KORSO	Methods,
232	System Software	LCTRTS	Languages, Springer
233	Natural Language Processing	MUC	Message Understanding Conference,
234	Information Technology	NGITS	International Workshop on Next Generation Information Technologies and Systems, Springer
235	Programming Languages	OOGRAPHICS	Object-Oriented and Mixed Programming Paradigms,
236	Programming Languages	PLILP	International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer
237	Distributed And Parallel Computing	PSLS	International Workshop on Parallel Symbolic Languages and Systems,
238	Database	RULES	International Workshop on Rules in Database Systems, Springer
239	Automated Reasoning	RUR	International Workshop on Reasoning with Uncertainty in Robotics,
240	Information Technology	SCHULE	Informatik als Herausforderung an Schule und Ausbildung, Springer
241	Database	SDB	Semantics in Databases,
242	Software Engineering	SIGSOFT	Foundations of Software Engineering, ACM
243	Software Engineering	TAPSOFT	International Joint Conference on Theory and Practice of Software Development, Springer
244	Automated Reasoning	TPHOL	International Workshop on the HOL Theorem Proving System and its Applications, IEEE
245	Automated Reasoning	UKCBR	United Kingdom Workshop on Case-Based Reasoning,
246	Visualization	VIS	IEEE Visualization, IEEE
247	Visual Languages	VL	IEEE Symposium on Visual Languages, IEEE
248	Internet Technology	VRML	Virtual Reality Modeling Language Symposium, ACM
249	Visualization	VVS	Symposium on Volume Visualization and Graphics, IEEE
250	Algorithms	WDAG	International Workshop on Distributed Algorithms, Springer