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	VLDB	International Conference on Very Large Data Bases, ACM
7	Programming Languages	ASPLOS	Architectural Support for Programming Languages and Operating Systems, 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	Cryptology	CRYPTO	Advances in Cryptology, Springer
13	Software Engineering	ISSTA	International Symposium on Software Testing and Analysis, ACM
14	Security Privacy	OOPSLA	Security for Object-Oriented Systems, Springer
15	ECommerce	EC	Electronic Commerce,
16	Data Mining	KDD	International Conference on Knowledge Discovery and Data Mining, ACM
17	Hardware	CAV	International Workshop on Computer Aided Verification, Springer
18	Applied Computing	SC	International Workshop on Structural Computing, ACM
19	Information Technology	SIGIR	International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM
20	Algorithms	STOC	Annual ACM Symposium on Theory of Computing, ACM
21	Programming Languages	ECOOP	European Conference on Object-Oriented Programming, Springer
22	Programming Languages	ESOP	European Symposium on Programming, Springer
23	Theoretical Computer Science	FOCS	Annual IEEE Symposium on Foundations of Computer Science, IEEE
24	Hardware	ISCA	International Symposium on Computer Architecture, IEEE
25	Hardware	MICRO	International Symposium on Microarchitecture, IEEE
26	Hardware	SIGMETRICS	Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM
27	Distributed And Parallel Computing	PODC	Annual ACM Symposium on Principles of Distributed Computing, ACM
28	Machine Learning	COLT	Annual Workshop on Computational Learning Theory, Springer
29	Machine Learning	ICML	Workshop on Statistical Network Analysis, IEEE
30	Computer Vision	ECCV	European Conference on Computer Vision, Springer
31	Computer Architecture	DAC	Annual ACM IEEE Design Automation Conference, ACM
32	Software Engineering	UIST	Symposium on User Interface Software and Technology, ACM
33	Automated Reasoning	LICS	Symposium on Logic in Computer Science, IEEE
34	Cryptology	EUROCRYPT	Int. Workshop/Conference on Theory and Application of, Springer
35	Distributed And Parallel Computing	SPAA	ACM Symposium on Parallel Algorithms and Architectures, ACM
36	Distributed And Parallel Computing	ICDCS	International Conference on Distributed Computing Systems, IEEE
37	Formal Methods	SAS	International Static Analysis Symposium, Springer
38	Logical Reasoning	CADE	Automated Deduction, Springer
39	Database	EDBT	International Conference on Extending Database Technology, ACM
40	Distributed And Parallel Computing	CONCUR	Seminar on Concurrency, Springer
41	Distributed And Parallel Computing	HPDC	High Performance Distributed Computing, IEEE
42	Visualization	VISUALIZATION	IEEE Visualization, IEEE
43	Control Systems	RTSS	IEEE International Real-Time Systems Symposium, IEEE
44	Social Sciences	CSCW	Computer Supported Cooperative Work, ACM
45	Security Privacy	ESORICS	European Symposium on Research in Computer Security, Springer
46	Software Engineering	ICSE	International Conference on Software Engineering, IEEE-ACM
47	Automated Reasoning	KR	International Conference on Principles and Knowledge Representation and Reasoning, Springer
48	Human Computer Interaction	CHI	Conference on Human Factors in Computing Systems, ACM
49	Multimedia	MM	International Multimedia Conference, ACM
50	Software Engineering	PEPM	ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM
51	Information Technology	CIKM	Conference on Information and Knowledge Management, Springer
52	Information Technology	COOPIS	IFCIS International Conference on Cooperative Information Systems, IEEE
53	Software Engineering	FSTTCS	Foundations of Software Technology and Theoretical Computer Science, Springer
54	Programming Languages	ICALP	International Colloquium on Automata, Springer
55	Distributed And Parallel Computing	ICS	International Conference on Supercomputing, Tsinghua U.
56	Automated Reasoning	ICLP	International Conference on Logic Programming, Springer
57	System Software	CC	Critical Computing, Springer
58	Hardware	ICCAD	International Conference on Computer Aided Design, IEEE
59	Theoretical Computer Science	GI	GI (German Informatics Society) Annual Conference, Springer
60	Database	SSDBM	International Conference on Statistical and Scientific Database Management, IEEE
61	Theoretical Computer Science	STACS	Annual Symposium on Theoretical Aspects of Computer Science, Springer
62	Machine Learning	ECML	European Working Session on Learning, Springer
63	Combinatorics	CPM	Combinatorial Pattern Matching, Springer
64	Operating System	SRDS	IEEE Symposium on Reliable Distributed Systems, IEEE
65	Theoretical Computer Science	MFCS	International Symposium on Mathematical Foundations of Computer, Springer
66	Hardware	CPE	Computer Performance Evaluation, Springer
67	Automated Reasoning	LPAR	Logic for Programming, Springer
68	Artificial Intelligence	JELIA	European Workshop on Logics in Artificial Intelligence, Springer
69	Automated Reasoning	CSL	Workshop on Computer Science Logic, Springer
70	Software Engineering	ICSM	IEEE International Conference on Software Maintenance, IEEE
71	Cryptology	FSE	International Workshop on Fast Software Encryption, Springer
72	Algorithms	ESA	European Symposium on Algorithms, Springer
73	Information Technology	CAISE	Advances Information System Engineering, Springer
74	Information Technology	EKAW	European Knowledge Acquisition Workshop, Springer
75	Machine Learning	ALT	Algorithmic Learning Theory, Springer
76	Database	ER	International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer
77	Mathematics	ISSAC	International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer
78	Formal Methods	ZUM	International Conference of Z Users, Springer
79	Hardware	ITC	International Teletra c Congress, IEEE
80	Algorithms	ISAAC	International Symposium on Algorithms and Computation, Springer
81	Artificial Intelligence	ECAI	Truth Maintenance Systems, Springer
82	Applied Computing	SAC	International Workshop on Selected Areas in Cryptography, ACM
83	Computer Graphics	GD	Graph Drawing, Springer
84	Algorithms	SWAT	Scandinavian Workshop on Algorithm Theory, Springer
85	Image Processing	ICIP	International Conference on Image Processing, IEEE
86	Distributed And Parallel Computing	PPSN	International Conference on Parallel Problem Solving from Nature, Springer
87	Programming Languages	ICCL	International Conference on Computer Languages, IEEE
88	Formal Methods	TYPES	International Workshop on Types for Proofs and Programs, Springer
89	Programming Languages	SIGADA	Annual International Conference on Ada, Springer
90	Theoretical Computer Science	WG	International Workshop on Graph-Theoretic Concepts in Computer Science, Springer
91	Hardware	ICCD	International Conference on Computer Design, IEEE
92	Document Analysis	SIGDOC	ACM Special Interest Group for Design of Communication, ACM
93	Software Engineering	AC	Agent Communication, Springer
94	Distributed And Parallel Computing	ICPP	International Conference on Parallel Processing, IEEE
95	Computer Graphics	DCC	Data Compression Conference, IEEE
96	Software Engineering	EWSPT	European Workshop on Software Process Technology, Springer
97	Database	ADC	Agile Development Conference/Australasian Database Conference, Springer
98	Document Analysis	RIDE	International Workshop on Research Issues in Data Engineering, IEEE
99	Education	SIGCSE	Technical Symposium on Computer Science Education, ACM
100	Emerging Technology	ASSETS	ACM SIGACCESS Conference on Computers and Accessibility, ACM
101	System Software	LCPC	International Workshop on Languages and Compilers for Parallel Computing, Springer
102	Automated Reasoning	TIME	International Syposium on Temporal Representation and Reasoning, IEEE
103	Artificial Intelligence	AISC	International Conference on Artificial Intelligence and Symbolic Computation, Springer
104	Artificial Intelligence	ISMIS	International Symposium on Methodologies for Intelligent Systems, Springer
105	Human Computer Interaction	DSVIS	Design, Springer
106	Artificial Intelligence	AGP	Italian Conference on Logic Programming, IEEE
107	Hardware	FPL	International Workshop/Conference on Field-Programmable Logic and Applications, Springer
108	Software Engineering	SEKE	International Conference on Software Engineering and Knowledge Engineering, Springer
109	Applied Computing	ICCS	International Conference on Computational Science, Springer
110	Algorithms	COCO	Annual IEEE Conference on Computational Complexity, Springer
111	Natural Language Processing	ICGI	International Colloquium on Grammatical Inference, Springer
112	Algorithms	CIAC	Italian Conference on Algorithms and Complexity, Springer
113	Biometrics	HICSS	Hawaii International Conference on System Sciences, IEEE
114	Database	DEXA	International Workshop on Database and Expert Systems Applications, Springer
115	Robotics	ICRA	International Conference on Robotics and Automation, IEEE
116	Automated Reasoning	LOPSTR	Logic Program Synthesis and Transformation, Springer
117	Database	ADBIS	Advances in Databases and Information Systems, Springer
118	Computer Networks	LCN	Annual IEEE Conference on Local Computer Networks, IEEE
119	Software Engineering	APL	International Conference on APL, ACM
120	Applied Computing	PARA	International Workshop on Applied Parallel Computing, Springer
121	Information Technology	OOIS	International Conference on Object Oriented Information Systems, Springer
122	VLSI	VLSID	International Conference on VLSI Design, IEEE
123	Automated Reasoning	TARK	Theoretical Aspects Of Rationality And Knowledge, Springer
124	Applied Computing	EDCC	European Dependable Computing Conference, Springer
125	Artificial Intelligence	ICTAI	IEEE International Conference on Tools with Artificial Intelligence, IEEE
126	Multimedia	ICMCS	International Conference on Multimedia Computing and Systems, IEEE
127	VLSI	DFT	IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, IEEE
128	Hardware	ISMVL	IEEE International Symposium on Multiple-Valued Logic, IEEE
129	Distributed And Parallel Computing	ICPADS	International Conference on Parallel and Distributed Systems, IEEE
130	Artificial Intelligence	KI	Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer
131	Hardware	EUROCAST	European/International Workshop on Computer Aided Systems Theory, Springer
132	Information Technology	SIGUCCS	User Services Conference, ACM
133	Programming Languages	PPCP	International Workshop on Principles and Practice of Constraint Programming (preceding the CP Conf.),
134	Hardware	ISCAS	International Symposium on Circuits and Systems, IEEE
135	Human Computer Interaction	ICCHP	International Conference on Computers for Handicapped Persons, Springer
136	Theoretical Computer Science	ACM	ACM Annual Conference,
137	Applied Computing	BIRTHDAY	Computation Theory and Logic, Springer
138	Software Engineering	CODES	International Workshop on Hardware/Software Co-Design, IEEE
139	Computer Networks	COMPCON	IEEE International Computer Conference, IEEE
140	VHDL	EURODAC	European Design Automation Conference, IEEE
141	Distributed And Parallel Computing	IPPS	International Parallel Processing Symposium, IEEE
142	Software Engineering	ISPW	International Software Process Workshop, IEEE
143	Software Engineering	KBSE	Knowledge-Based Software Engineering Conference, IEEE
144	Distributed And Parallel Computing	PDIS	International Conference Parallel and Distributed Information Systems, IEEE
145	Programming Languages	TOOLS	International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE
146	Automated Reasoning	TPHOL	International Workshop on the HOL Theorem Proving System and its Applications, IEEE
147	Visual Languages	VL	IEEE Symposium on Visual Languages, IEEE
148	Database	ADB	International Conference on Applications of Databases,
149	Artificial Intelligence	AISB	Evolutionary Computing, Springer
150	Automated Reasoning	ALP	International Workshop/Conference on Algebraic and Logic Programming, Springer
151	Algorithms	ANTS	International Algorithmic Number Theory Symposium, Springer
152	Artificial Intelligence	APN	Application and Theory of Petri Nets, Springer
153	Automated Reasoning	CCL	International Conference on Constraints in Computational Logics, Springer
154	Security Privacy	CCS	Conference on Computer and Communications Security, ACM
155	Distributed And Parallel Computing	CFCP	Parallel and Distributed Computing,
156	Programming Languages	COMPASS	Recent Trends in Data Type Specification,
157	Discrete Geometry	COMPGEOM	ACM Symposium on Computational Geometry, ACM
158	Distributed And Parallel Computing	CONPAR	Conference on Analysing Problem Classes and Programming for Parallel Computing,
159	Multimedia	COST	Multimedia Transport and Teleservices, Springer
160	Software Engineering	CSEE	Conference on Software Engineering Education, Springer
161	Digital Library	DL	Digital Libraries: Current Issues, Springer
162	Theoretical Computer Science	ECA	Ethics in the Computer Age,
163	Intelligent Agents	ECAIW	Workshop on Agent Theories, Springer
164	Internet Technology	ECHT	European Conference on Hypertext Technology,
165	Distributed And Parallel Computing	ECOOPW	Object-Based Concurrent Computing, Springer
166	Artificial Intelligence	EVOW	Process in Evolutionary Computation Workshop, Springer
167	Automated Reasoning	EWCBR	European Workshop on Topics in Case-Based Reasoning, Springer
168	Information Technology	EWDW	Interational East/West Data Base Workshop,
169	Human Computer Interaction	EWHCI	International Conference on Human-Computer Interaction,
170	Formal Methods	FM	World Congress on Formal Methods, Springer
171	Formal Methods	FTRTFT	International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer
172	Fuzzy Logic	FUZZY	Fuzzy Logik, Springer
173	Distributed And Parallel Computing	HPCN	International Conference on High-Performance Computing and Networking, Springer
174	Control Systems	HYBRID	Hybrid Systems, Springer
175	Automated Reasoning	ICTL	International Conference on Temporal Logic,
176	Database	IDS	International Workshop on Interfaces to Database Systems,
177	Artificial Intelligence	IEAAIE	Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer
178	Programming Languages	IFIP	International Workshop, Springer
179	GIS	IGIS	International Workshop on Advanced Research in Geographic Information Systems,
180	Formal Methods	IMPERIAL	Theory and Formal Methods,
181	Information Technology	IPMU	Int. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Springer
182	Information Technology	ISKI	Workshop on Information Systems and Artificial Intelligence,
183	Communications	ISN	International Conference on Intelligence in Services and Networks, Springer
184	Programming Languages	ISOOMS	International Symposium on Object-Oriented Methodologies and Systems,
185	Multimedia	IWACA	International Workshop on Advanced Teleservices and High-Speed Communication Architectures,
186	Algorithms	LCC	International Workshop on Logic and Computational Complexity,
187	Artificial Intelligence	LFCS	Logical Foundations of Computer Science, Springer
188	Natural Language Processing	LNCS	Text Understanding in LILOG,
189	Intelligent Agents	MAAMAW	European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer
190	Multimedia	MHVR	International Conference on Multimedia,
191	Automated Reasoning	NMELP	International Workshop on Non-monotonic Extensions of Logic Programming,
192	Computer Vision	NSF	Object Representation in Computer Vision, Springer
193	Programming Languages	OOGRAPHICS	Object-Oriented and Mixed Programming Paradigms,
194	Algorithms	ORDAL	International Workshop on Orders,
195	Distributed And Parallel Computing	PARLE	International Conference on Parallel Architectures and Languages Europe,
196	Programming Languages	PLILP	International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer
197	Programming Languages	PLSA	International Conference on Programming Languages and System Architectures,
198	Programming Languages	POS	International Workshop on Persistent Object Systems, Springer
199	Operating System	SIGOPSE	SIGOPS European Workshop, ACM
200	Software Engineering	SIGSOFT	Foundations of Software Engineering, ACM
201	Software Engineering	TACS	International Conference/Symposium on Theoretical Aspects of Computer Software, Springer
202	Graph Theory	TAGT	International Workshop on Theory and Application of Graph Transformations, Springer
203	Distributed And Parallel Computing	TPPP	International Workshop on Theory and Practice of Parallel Programming,
204	Algorithms	WDAG	International Workshop on Distributed Algorithms, Springer
205	Theoretical Computer Science	CAAP	Trees in Algebra and Programming,
206	Theoretical Computer Science	CTRS	International Workshop on Conditional Term Rewriting Systems,
207	Intelligent Agents	AAAI
208	Computational Linguistics	ACL	Meeting of the Association for Computational Linguistics,
209	Artificial Intelligence	AIPS
210	Distributed And Parallel Computing	APDC	Advances in Parallel and Distributed Computing Conference,
211	Software Engineering	AVI	AVI,
212	Human Computer Interaction	BCSHCI	British Computer Society Conference on Human-Computer Interaction,
213	Computer Networks	BI
214	Education	CASCON
215	Computational Geometry	CCCG
216	Theoretical Computer Science	CMG
217	Computational Linguistics	COLING
218	Knowledge Management	COMAD
219	Software Engineering	DAGSTUHL	Scientific Visualization Conference,
220	Database	DEDUCTIVE
221	Distributed And Parallel Computing	EUROSIM
222	Communications	FIW
223	Artificial Intelligence	FOGA	Foundation of Genetic Algorithms,
224	Formal Methods	FORTE	Formal Techniques for Networked and Distributed Systems,
225	Information Technology	GMDS
226	Computer Networks	HPN
227	Information Technology	ICIS	International Conference on Information Systems,
228	Software Engineering	ICSQP
229	Information Technology	IFIP8
230	Distributed And Parallel Computing	IFIPPACT
231	Mathematics	IMAMS
232	Computational Biology	ISMB
233	Database	KRDB
234	Operating System	LISA
235	Modeling And Simulation	MASCOTS	Performance Tools and Applications to Networked Systems,
236	Artificial Intelligence	MI
237	Computer Vision	MVA
238	Computational Linguistics	NAACL
239	Information Technology	NIPS
240	Operating System	OSDI	USENIX Symposium on Operating Systems Design and Implementation, ACM
241	Computer Networks	PHSN
242	Hardware	PSTV
243	Information Technology	RIAO
244	Computer Networks	SMARTNET
245	Algorithms	SODA	Symposium on Discrete Algorithms, ACM
246	Database	SPIESR
247	Computer Vision	TFCV
248	Hardware	TPCD	International Conference on Theorem Provers in Circuit Design,
249	Information Technology	TREC	Trends in Distributed Systems for Electronic Commerce,
250	Artificial Intelligence	UAI
251	Hardware	ULPAA
252	Operating System	USENIX
253	Modeling And Simulation	WSC	Winter Simulation Conference,