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	PLDI	Conference on Programming Language Design and Implementation, ACM
9	Database	ICDE	International Conference on Data Engineering, IEEE
10	Communications	INFOCOM	Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE
11	Security Privacy	CSFW	IEEE Computer Security Foundations Workshop, 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	Computer Architecture	DAC	Annual ACM IEEE Design Automation Conference, ACM
28	Software Engineering	UIST	Symposium on User Interface Software and Technology, ACM
29	Automated Reasoning	LICS	Symposium on Logic in Computer Science, IEEE
30	Cryptology	EUROCRYPT	Int. Workshop/Conference on Theory and Application of, Springer
31	Distributed And Parallel Computing	SPAA	ACM Symposium on Parallel Algorithms and Architectures, ACM
32	Distributed And Parallel Computing	ICDCS	International Conference on Distributed Computing Systems, IEEE
33	Formal Methods	SAS	International Static Analysis Symposium, Springer
34	Distributed And Parallel Computing	CONCUR	Seminar on Concurrency, Springer
35	Distributed And Parallel Computing	HPDC	High Performance Distributed Computing, IEEE
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	Operating System	HOTOS	Workshop on Hot Topics in Operating Systems, IEEE
41	Software Engineering	IUI	International Conference on Intelligent User Interfaces, ACM
42	Human Computer Interaction	CHI	Conference on Human Factors in Computing Systems, ACM
43	Multimedia	MM	International Multimedia Conference, ACM
44	Software Engineering	ESEC	European Software Engineering Conference, Springer
45	Software Engineering	PEPM	ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM
46	Information Technology	CIKM	Conference on Information and Knowledge Management, Springer
47	Information Technology	COOPIS	IFCIS International Conference on Cooperative Information Systems, IEEE
48	Software Engineering	FSTTCS	Foundations of Software Technology and Theoretical Computer Science, Springer
49	Programming Languages	ICALP	International Colloquium on Automata, Springer
50	Distributed And Parallel Computing	ICS	International Conference on Supercomputing, Tsinghua U.
51	Automated Reasoning	ICLP	International Conference on Logic Programming, Springer
52	Hardware	ICCAD	International Conference on Computer Aided Design, IEEE
53	Theoretical Computer Science	GI	GI (German Informatics Society) Annual Conference, Springer
54	Applied Computing	GROUP	Conference on Supporting Group Work, ACM
55	Theoretical Computer Science	STACS	Annual Symposium on Theoretical Aspects of Computer Science, Springer
56	Machine Learning	ECML	European Working Session on Learning, Springer
57	Theoretical Computer Science	RTA	International Conference on Rewriting Techniques and Applications, Springer
58	Theoretical Computer Science	TLCA	International Conference on Typed Lambda Calculi and Applications, Springer
59	Combinatorics	CPM	Combinatorial Pattern Matching, Springer
60	Operating System	SRDS	IEEE Symposium on Reliable Distributed Systems, IEEE
61	Theoretical Computer Science	MFCS	International Symposium on Mathematical Foundations of Computer, Springer
62	Algorithms	WADS	Workshop on Algorithms and Data Structures, Springer
63	Software Engineering	WCRE	Working Conference on Reverse Engineering, IEEE
64	Software Engineering	AMAST	International Conference on Algebraic Methodology and Software Technology, Springer
65	Automated Reasoning	LPAR	Logic for Programming, Springer
66	Hardware	CHARME	Correct Hardware Design and Verification Methods, Springer
67	Automated Reasoning	LPNMR	Logic Programming and Nonmonotonic Reasoning, Springer
68	Automated Reasoning	CSL	Workshop on Computer Science Logic, Springer
69	Software Engineering	ICSM	IEEE International Conference on Software Maintenance, IEEE
70	Cryptology	FSE	International Workshop on Fast Software Encryption, Springer
71	Algorithms	ESA	European Symposium on Algorithms, Springer
72	Artificial Intelligence	AIED	Music Education: An Artificial Intelligence Approach, Springer
73	Medical Imaging	IPMI	Information Processing in Medical Imaging, Springer
74	Information Technology	CAISE	Advances Information System Engineering, Springer
75	Database	DBPL	International Workshop on Database Programming Languages, Springer
76	Machine Learning	ALT	Algorithmic Learning Theory, Springer
77	Database	ER	International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer
78	Mathematics	ISSAC	International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer
79	Hardware	ITC	International Teletra c Congress, IEEE
80	Algorithms	ISAAC	International Symposium on Algorithms and Computation, Springer
81	Applied Computing	SAC	International Workshop on Selected Areas in Cryptography, ACM
82	Virtual Reality	VR	IEEE Virtual Reality Conference, IEEE
83	Formal Methods	TYPES	International Workshop on Types for Proofs and Programs, Springer
84	Programming Languages	SIGADA	Annual International Conference on Ada, Springer
85	Theoretical Computer Science	WG	International Workshop on Graph-Theoretic Concepts in Computer Science, Springer
86	Hardware	ICCD	International Conference on Computer Design, IEEE
87	Document Analysis	SIGDOC	ACM Special Interest Group for Design of Communication, ACM
88	Software Engineering	AC	Agent Communication, Springer
89	Distributed And Parallel Computing	ICPP	International Conference on Parallel Processing, IEEE
90	Computer Graphics	DCC	Data Compression Conference, IEEE
91	Database	ADC	Agile Development Conference/Australasian Database Conference, Springer
92	Document Analysis	RIDE	International Workshop on Research Issues in Data Engineering, IEEE
93	Education	SIGCSE	Technical Symposium on Computer Science Education, ACM
94	Database	DASFAA	International Conference on Database Systems for Advanced Applications, IEEE
95	System Software	LCPC	International Workshop on Languages and Compilers for Parallel Computing, Springer
96	Robotics	ISER	International Symposium on Experimental Robotics, Springer
97	Artificial Intelligence	ISMIS	International Symposium on Methodologies for Intelligent Systems, Springer
98	Natural Language Processing	IR	Textverarbeitung und Informatik,
99	Artificial Intelligence	AGP	Italian Conference on Logic Programming, IEEE
100	Software Engineering	SEKE	International Conference on Software Engineering and Knowledge Engineering, Springer
101	Automated Reasoning	ECSQARU	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer
102	Artificial Intelligence	EPIA	Portuguese Conference on Artificial Intelligence, Springer
103	Applied Computing	ICCS	International Conference on Computational Science, Springer
104	Algorithms	COCO	Annual IEEE Conference on Computational Complexity, Springer
105	Database	DEXA	International Workshop on Database and Expert Systems Applications, Springer
106	Robotics	ICRA	International Conference on Robotics and Automation, IEEE
107	Hardware	MSS	IEEE Symposium on Mass Storage Systems, IEEE
108	Software Engineering	APL	International Conference on APL, ACM
109	Fuzzy Logic	RSCTC	International Conference on Rough Sets and Current Trends in Computing, Springer
110	VLSI	VLSID	International Conference on VLSI Design, IEEE
111	Applied Computing	FCT	Fundamentals of Computation Theory, Springer
112	Artificial Intelligence	ICTAI	IEEE International Conference on Tools with Artificial Intelligence, IEEE
113	Database	BTW	Sprachen f?r Datenbanken, Springer
114	GIS	COSIT	Spatial Information Theory: A Theoretical Basis for GIS, Springer
115	VLSI	DFT	IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, IEEE
116	Image Analysis	CAIP	Computer Analysis of Images and Patterns, Springer
117	Hardware	ISMVL	IEEE International Symposium on Multiple-Valued Logic, IEEE
118	Artificial Intelligence	KI	Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer
119	Information Technology	SIGUCCS	User Services Conference, ACM
120	Programming Languages	PPCP	International Workshop on Principles and Practice of Constraint Programming (preceding the CP Conf.),
121	Neural Networks	IWANN	International Workshop/Work-Conference on Artificial and Natural Neural Networks, Springer
122	Hardware	ISCAS	International Symposium on Circuits and Systems, IEEE
123	Software Engineering	RE	IEEE International Conference on Requirements Engineering, Springer
124	Theoretical Computer Science	ACM	ACM Annual Conference,
125	Software Engineering	AADEBUG	International Workshop on Automated and Algorithmic Debugging, Springer
126	Artificial Intelligence	WLP	International Conference on Applications of Declarative Programming and Knowledge Management, Springer
127	Algorithms	AAECC	Int. Conference/Symposium on Applied Algebra, Springer
128	Solid Modeling	SMA	International Conference on Shape Modeling and Applications, ACM
129	Applied Computing	ARITH	IEEE Symposium on Computer Arithmetic, IEEE
130	Distributed And Parallel Computing	IPPS	International Parallel Processing Symposium, IEEE
131	Software Engineering	ISPW	International Software Process Workshop, IEEE
132	Software Engineering	IWSSD	International Workshop on Software Specifications & Design, IEEE
133	Distributed And Parallel Computing	PDIS	International Conference Parallel and Distributed Information Systems, IEEE
134	Distributed And Parallel Computing	SPDP	IEEE Symposium on Parallel and Distributed Processing, IEEE
135	Programming Languages	TOOLS	International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE
136	Automated Reasoning	TPHOL	International Workshop on the HOL Theorem Proving System and its Applications, IEEE
137	Visual Languages	VL	IEEE Symposium on Visual Languages, IEEE
138	Computer Vision	AICV	Joint European-US Workshop on Applications of Invariance in Computer Vision,
139	Artificial Intelligence	APN	Application and Theory of Petri Nets, Springer
140	Security Privacy	CCS	Conference on Computer and Communications Security, ACM
141	GIS	CISM	Algorithmic Foundations of Geographic Information Systems,
142	Information Technology	CISMOD	Information Systems and Data Management,
143	Discrete Geometry	COMPGEOM	ACM Symposium on Computational Geometry, ACM
144	Image Processing	DAGM	Digital Bildverarbeitung - Digital Image Processing, Springer
145	Database	DBVIS	database Issues for Data Visualization,
146	Hardware	DISCO	Design and Implementation of Symbolic Computation Systems,
147	Database	DOOD	International Conference on Deductive and Object-Oriented Databases, Springer
148	Internet Technology	EAMT	Machine Translation and the Lexicon,
149	Cryptology	ECCSP	Error Control,
150	Distributed And Parallel Computing	ECOOPW	Object-Based Concurrent Computing, Springer
151	Logical Reasoning	ELP	International Workshop on Extensions of Logic Programming,
152	Theoretical Computer Science	ERSHOV	International Sympoisum on Theoretical Programming, Springer
153	Automated Reasoning	EWCBR	European Workshop on Topics in Case-Based Reasoning, Springer
154	Human Computer Interaction	EWHCI	International Conference on Human-Computer Interaction,
155	Natural Language Processing	EWNLG	European Workshop on Trends in Natural Language Generation,
156	Cryptology	FIWAC	French-Soviet Workshop on Algebraic Coding,
157	Database	FMLDO	International Workshop on Foundations of Models and Languages for Data and Objects, Springer
158	Algorithms	FODO	International Conference on Foundations of Data Organization and Algorithms, Springer
159	Programming Languages	FPCA	Conference on Functional Programming Languages and Computer Architecture,
160	Information Technology	GESELLSCHAFT	Arbeit und Informationstechnik,
161	Discrete Geometry	GM	Geometric Modelling, Springer
162	Theoretical Computer Science	HOA	International Workshop on Higher-Order Algebra,
163	Programming Languages	HOPL	History of Programming Languages,
164	Database	HPTS	International Workshop on High Performance Transaction Systems,
165	Hardware	HSAFT	Hardware and Software Architectures for Fault Tolerance,
166	Internet Technology	HT	Conference on Hypertext and Hypermedia, ACM
167	Information Technology	ICCI	International Conference on Computing and Information,
168	Programming Languages	IFIP	International Workshop, Springer
169	Formal Methods	IMPERIAL	Theory and Formal Methods,
170	Software Engineering	ISOTAS	International Symposium on Object Technologies for Advanced Software,
171	Applied Computing	ISTCS	Israel Symposium on Theory of Computing and Systems, Springer
172	Communications	ITA	Canadian Workshop on Information Theory and Applications,
173	Automated Reasoning	KGC	Kurt Godel Colloquium, Springer
174	Natural Language Processing	LNCS	Text Understanding in LILOG,
175	Intelligent Agents	MAAMAW	European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer
176	Programming Languages	MCMASTER	Functional Programming,
177	Programming Languages	MFPS	International Conference on Mathematical Foundations of Programming Semantics,
178	Natural Language Processing	MUC	Message Understanding Conference,
179	Programming Languages	NATO	Advanced Study Institute on Deductive Program Design,
180	Information Technology	NGITS	International Workshop on Next Generation Information Technologies and Systems, Springer
181	Artificial Intelligence	OGAI	?sterreichische Artificial Intelligence-Tagung,
182	Distributed And Parallel Computing	PARLE	International Conference on Parallel Architectures and Languages Europe,
183	Programming Languages	PLILP	International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer
184	Logical Reasoning	REX	Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems),
185	Database	RULES	International Workshop on Rules in Database Systems, Springer
186	Programming Languages	SIEMENS	Programierumgebungen: Entwicklungswerkzeuge und Programmiersprachen,
187	Software Engineering	SIGSOFT	Foundations of Software Engineering, ACM
188	Natural Language Processing	SOSL	International Workshop on Semantics of Specification Languages,
189	Software Engineering	TAPSOFT	International Joint Conference on Theory and Practice of Software Development, Springer
190	Human Computer Interaction	VCHCI	Vienna Conference on Human Computer Interaction,
191	Algorithms	WDAG	International Workshop on Distributed Algorithms, Springer
192	Intelligent Agents	AAAI
193	Computational Linguistics	ACL	Meeting of the Association for Computational Linguistics,
194	Information Technology	AIPT
195	Computer Networks	ATMN
196	Knowledge Management	BDA
197	Education	CASCON
198	Computational Geometry	CCCG
199	Hardware	CHDL
200	Software Engineering	DAGSTUHL	Scientific Visualization Conference,
201	Database	DEDUCTIVE
202	Theoretical Computer Science	DLT
203	Natural Language Processing	EACL	European Chapter of the Association for Computational Linguistics, ACL Anthology
204	Information Technology	ECIS
205	Software Engineering	ECSCW
206	Formal Methods	FORTE	Formal Techniques for Networked and Distributed Systems,
207	Mathematics	FRACTALS
208	Human Computer Interaction	HCI	Human-Computer Interaction,
209	Artificial Intelligence	IAAI
210	Optimization	ICGA
211	Information Technology	ICIS	International Conference on Information Systems,
212	Information Technology	IFIP8
213	Artificial Intelligence	IJCAI
214	Computer Networks	IM
215	Optimization	IPCO	International Conference on Integer Programming and Combinatorial Optimization,
216	Computational Biology	ISMB
217	Operating System	LISA
218	Operating System	MACH
219	Modeling And Simulation	MASCOTS	Performance Tools and Applications to Networked Systems,
220	Artificial Intelligence	MI
221	Computer Networks	NETWORKING	International Conference on Research in Networking,
222	Information Technology	NIPS
223	Distributed And Parallel Computing	ODP
224	Distributed And Parallel Computing	PPSC
225	Hardware	PSTV
226	Hardware	PTS
227	Artificial Intelligence	SCAI
228	Database	SEBD
229	Security Privacy	SEC	IEEE International Symposium on Embedded Computing,
230	Algorithms	SODA	Symposium on Discrete Algorithms, ACM
231	Operating System	SOSP	ACM Symposium on Operating Systems Principles, ACM
232	Database	SPIESR
233	Education	TELETEACHING
234	Information Technology	TREC	Trends in Distributed Systems for Electronic Commerce,
235	Artificial Intelligence	UAI
236	Operating System	USENIX
237	Modeling And Simulation	WSC	Winter Simulation Conference,