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	Computer Graphics	SI3D	Symposium on Interactive 3D Graphics, ACM
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	Security Privacy	CSFW	IEEE Computer Security Foundations Workshop, IEEE
13	Cryptology	CRYPTO	Advances in Cryptology, Springer
14	Security Privacy	OOPSLA	Security for Object-Oriented Systems, Springer
15	Hardware	CAV	International Workshop on Computer Aided Verification, Springer
16	Applied Computing	SC	International Workshop on Structural Computing, ACM
17	Information Technology	SIGIR	International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM
18	Algorithms	STOC	Annual ACM Symposium on Theory of Computing, ACM
19	Programming Languages	ECOOP	European Conference on Object-Oriented Programming, Springer
20	Programming Languages	ESOP	European Symposium on 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 Vision	ECCV	European Conference on Computer Vision, Springer
29	Computer Architecture	DAC	Annual ACM IEEE Design Automation Conference, ACM
30	Software Engineering	UIST	Symposium on User Interface Software and Technology, ACM
31	Automated Reasoning	LICS	Symposium on Logic in Computer Science, IEEE
32	Database	ICDT	International Conference on Database Theory, ACM
33	Distributed And Parallel Computing	SPAA	ACM Symposium on Parallel Algorithms and Architectures, ACM
34	Distributed And Parallel Computing	ICDCS	International Conference on Distributed Computing Systems, IEEE
35	Formal Methods	SAS	International Static Analysis Symposium, Springer
36	Logical Reasoning	CADE	Automated Deduction, Springer
37	Database	EDBT	International Conference on Extending Database Technology, ACM
38	Distributed And Parallel Computing	CONCUR	Seminar on Concurrency, Springer
39	Distributed And Parallel Computing	HPDC	High Performance Distributed Computing, IEEE
40	Visualization	VISUALIZATION	IEEE Visualization, IEEE
41	Computer Networks	NOSSDAV	International Workshop on Network and Operating System Support for Digital Audio and Video, Springer
42	Control Systems	RTSS	IEEE International Real-Time Systems Symposium, IEEE
43	Social Sciences	CSCW	Computer Supported Cooperative Work, ACM
44	Security Privacy	ESORICS	European Symposium on Research in Computer Security, Springer
45	Software Engineering	ICSE	International Conference on Software Engineering, IEEE-ACM
46	Cryptology	ASIACRYPT	International Conference on Cryptology, Springer
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	Software Engineering	PEPM	ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM
50	Software Engineering	FSTTCS	Foundations of Software Technology and Theoretical Computer Science, Springer
51	Programming Languages	ICALP	International Colloquium on Automata, Springer
52	Distributed And Parallel Computing	ICS	International Conference on Supercomputing, Tsinghua U.
53	Automated Reasoning	ICLP	International Conference on Logic Programming, Springer
54	Hardware	ICCAD	International Conference on Computer Aided Design, IEEE
55	Theoretical Computer Science	GI	GI (German Informatics Society) Annual Conference, Springer
56	Database	SSDBM	International Conference on Statistical and Scientific Database Management, IEEE
57	Theoretical Computer Science	STACS	Annual Symposium on Theoretical Aspects of Computer Science, Springer
58	Combinatorics	CPM	Combinatorial Pattern Matching, Springer
59	Operating System	SRDS	IEEE Symposium on Reliable Distributed Systems, IEEE
60	Theoretical Computer Science	MFCS	International Symposium on Mathematical Foundations of Computer, Springer
61	Automated Reasoning	LPAR	Logic for Programming, Springer
62	Artificial Intelligence	JELIA	European Workshop on Logics in Artificial Intelligence, Springer
63	Automated Reasoning	CSL	Workshop on Computer Science Logic, Springer
64	Information Technology	CAISE	Advances Information System Engineering, Springer
65	Information Technology	EKAW	European Knowledge Acquisition Workshop, Springer
66	FPGA	FPGA	International Symposium on Field Programmable Gate Arrays, ACM
67	Machine Learning	ALT	Algorithmic Learning Theory, Springer
68	Database	ER	International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer
69	Information Technology	LATIN	Latin American Symposium on Theoretical Informatics, Springer
70	Mathematics	ISSAC	International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer
71	Formal Methods	ZUM	International Conference of Z Users, Springer
72	Hardware	ITC	International Teletra c Congress, IEEE
73	Algorithms	ISAAC	International Symposium on Algorithms and Computation, Springer
74	Artificial Intelligence	ECAI	Truth Maintenance Systems, Springer
75	Algorithms	SWAT	Scandinavian Workshop on Algorithm Theory, Springer
76	Distributed And Parallel Computing	PPSN	International Conference on Parallel Problem Solving from Nature, Springer
77	Programming Languages	ICCL	International Conference on Computer Languages, IEEE
78	Multimedia	ITS	International Conference on Intelligent Tutoring Systems, Springer
79	Artificial Intelligence	TABLEAUX	International Workshop/Conference on Analytic Tableaux and Related Methods, Springer
80	Theoretical Computer Science	WG	International Workshop on Graph-Theoretic Concepts in Computer Science, Springer
81	Hardware	ICCD	International Conference on Computer Design, IEEE
82	Document Analysis	SIGDOC	ACM Special Interest Group for Design of Communication, ACM
83	Software Engineering	AC	Agent Communication, Springer
84	Distributed And Parallel Computing	ICPP	International Conference on Parallel Processing, IEEE
85	Computer Graphics	DCC	Data Compression Conference, IEEE
86	Software Engineering	EWSPT	European Workshop on Software Process Technology, Springer
87	Document Analysis	RIDE	International Workshop on Research Issues in Data Engineering, IEEE
88	Education	SIGCSE	Technical Symposium on Computer Science Education, ACM
89	System Software	LCPC	International Workshop on Languages and Compilers for Parallel Computing, Springer
90	Artificial Intelligence	AISC	International Conference on Artificial Intelligence and Symbolic Computation, Springer
91	Mathematics	MPC	International Conference on Mathematics of Program Construction, Springer
92	Software Engineering	SEKE	International Conference on Software Engineering and Knowledge Engineering, Springer
93	Applied Computing	ICCS	International Conference on Computational Science, Springer
94	Algorithms	COCO	Annual IEEE Conference on Computational Complexity, Springer
95	Database	DEXA	International Workshop on Database and Expert Systems Applications, Springer
96	Automated Reasoning	LOPSTR	Logic Program Synthesis and Transformation, Springer
97	Software Engineering	APL	International Conference on APL, ACM
98	Automated Reasoning	TARK	Theoretical Aspects Of Rationality And Knowledge, Springer
99	Artificial Intelligence	ICTAI	IEEE International Conference on Tools with Artificial Intelligence, IEEE
100	Hardware	ISMVL	IEEE International Symposium on Multiple-Valued Logic, IEEE
101	Artificial Intelligence	KI	Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer
102	Theoretical Computer Science	ACM	ACM Annual Conference,
103	Applied Computing	BIRTHDAY	Computation Theory and Logic, Springer
104	Theoretical Computer Science	ACMSE	ACM Southeast Regional Conference, ACM
105	Software Engineering	ADAEUROPE	Ada-Europe International Conference on Reliable Software Technologies, Springer
106	Software Engineering	AII	International Workshop on Analogical and Inductive Inference,
107	Automated Reasoning	ALP	International Workshop/Conference on Algebraic and Logic Programming, Springer
108	Artificial Intelligence	APN	Application and Theory of Petri Nets, Springer
109	Theoretical Computer Science	CAAP	Trees in Algebra and Programming,
110	Discrete Geometry	COMPGEOM	ACM Symposium on Computational Geometry, ACM
111	Distributed And Parallel Computing	CONPAR	Conference on Analysing Problem Classes and Programming for Parallel Computing,
112	Software Engineering	CSEE	Conference on Software Engineering Education, Springer
113	Theoretical Computer Science	CTRS	International Workshop on Conditional Term Rewriting Systems,
114	Operating System	DFG	International Workshop on Experiences with Distributed Systems, Springer
115	Hardware	DISCO	Design and Implementation of Symbolic Computation Systems,
116	Internet Technology	ECHT	European Conference on Hypertext Technology,
117	Logical Reasoning	ELP	International Workshop on Extensions of Logic Programming,
118	Formal Methods	FP	Functional Programming,
119	Formal Methods	FTRTFT	International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer
120	Automated Reasoning	GIS	International Conference on Geographic Information Systems, ACM
121	Control Systems	HYBRID	Hybrid Systems, Springer
122	Machine Learning	ICCAL	International Conference on Computer Assisted Learning,
123	Information Technology	ICCI	International Conference on Computing and Information,
124	Image Analysis	ICPIA	International Conference on Parallel Image Analysis,
125	Database	IDS	International Workshop on Interfaces to Database Systems,
126	Artificial Intelligence	IEAAIE	Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer
127	Programming Languages	IFIP	International Workshop, Springer
128	Information Technology	IPMU	Int. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Springer
129	Distributed And Parallel Computing	IPPS	International Parallel Processing Symposium, IEEE
130	Information Technology	ISKI	Workshop on Information Systems and Artificial Intelligence,
131	Applied Computing	ISTCS	Israel Symposium on Theory of Computing and Systems, Springer
132	Hardware	IWMM	International Workshop on Memory Management, Springer
133	Natural Language Processing	KONVENS	Verarbeitung nat?rlicher Sprache,
134	Formal Methods	LARCH	International Workshop on Larch,
135	Artificial Intelligence	LFCS	Logical Foundations of Computer Science, Springer
136	Intelligent Agents	MAAMAW	European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer
137	Automated Reasoning	META	International Workshop on Meta-Programming in Logic,
138	Natural Language Processing	MUC	Message Understanding Conference,
139	Hardware	NIXDORF	Parallel Architectures and Their Efficient Use,
140	Natural Language Processing	NLG	International Workshop on Natural Language Generation,
141	Database	OODBS	International Workshop on Object-Oriented Database Systems,
142	Programming Languages	OOGRAPHICS	Object-Oriented and Mixed Programming Paradigms,
143	Distributed And Parallel Computing	PARLE	International Conference on Parallel Architectures and Languages Europe,
144	Programming Languages	PLILP	International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer
145	Programming Languages	POS	International Workshop on Persistent Object Systems, Springer
146	Programming Languages	PSC	Parallel Symbolic Computing: Languages,
147	Operating System	SIGOPSE	SIGOPS European Workshop, ACM
148	Distributed And Parallel Computing	SPDP	IEEE Symposium on Parallel and Distributed Processing, IEEE
149	Distributed And Parallel Computing	TAT	Parallele Datenverarbeitung mit dem Transputer,
150	Programming Languages	TOOLS	International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE
151	Automated Reasoning	TPHOL	International Workshop on the HOL Theorem Proving System and its Applications, IEEE
152	Visual Languages	VL	IEEE Symposium on Visual Languages, IEEE
153	Visualization	VVS	Symposium on Volume Visualization and Graphics, IEEE
154	Algorithms	WDAG	International Workshop on Distributed Algorithms, Springer
155	Information Technology	WMRD	Workshop on the Management of Replicated Data,
156	Intelligent Agents	AAAI
157	Computational Linguistics	ACL	Meeting of the Association for Computational Linguistics,
158	Artificial Intelligence	AIFIPP
159	Education	CASCON
160	Knowledge Management	CNKBS
161	Computational Linguistics	COLING
162	Software Engineering	DAGSTUHL	Scientific Visualization Conference,
163	Database	DBSEC
164	Database	DBWORKSHOPS
165	Database	DEDUCTIVE
166	Database	DS
167	Artificial Intelligence	FOGA	Foundation of Genetic Algorithms,
168	Formal Methods	FORTE	Formal Techniques for Networked and Distributed Systems,
169	Computer Networks	HPN
170	Artificial Intelligence	IAAI
171	Information Technology	ICIS	International Conference on Information Systems,
172	Information Technology	INDC
173	Optimization	IPCO	International Conference on Integer Programming and Combinatorial Optimization,
174	Automated Reasoning	IWAR	International Workshop on Augmented Reality,
175	Operating System	MKERN
176	Computer Vision	MVA
177	Information Technology	NIPS
178	Human Computer Interaction	PROLAMAT
179	Hardware	PSTV
180	Security Privacy	SEC	IEEE International Symposium on Embedded Computing,
181	Algorithms	SODA	Symposium on Discrete Algorithms, ACM
182	Information Technology	TREC	Trends in Distributed Systems for Electronic Commerce,
183	Artificial Intelligence	UAI
184	Hardware	ULPAA
185	Modeling And Simulation	WSC	Winter Simulation Conference,