|
|
POPL - ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
|
1268
|
127
|
|
|
ECOOP - European Conference on Object-Oriented Programming
|
783
|
76
|
|
|
PLDI - SIGPLAN Conference on Programming Language Design and Implementation
|
519
|
66
|
|
|
OOPSLA - Conference on Object-Oriented Programming Systems, Languages, and Applications
|
1793
|
59
|
|
|
ICLP(JICSLP) - International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming
|
1525
|
57
|
|
|
CP - Principles and Practice of Constraint Programming
|
1245
|
54
|
|
|
FPCA - Functional Programming Languages and Computer Architecture
|
219
|
51
|
|
|
ESOP - European Symposium on Programming
|
572
|
49
|
|
|
LFP - ACM Conference on LISP and Functional Programming
|
249
|
47
|
|
|
AOSD - Aspect-Oriented Software Development
|
357
|
46
|
|
|
ASE - Automated Software Engineering
|
1095
|
44
|
|
|
ILPS/ISLP/NACLP/SLP - International Logic Programming Symposium/International Symposium on Logic Programming/North American Conference on Logic Programming/Symposium on Logic Programming
|
563
|
43
|
|
|
UML - The Unified Modeling Language
|
477
|
42
|
|
|
ICPC - International Conference on Program Comprehension
|
634
|
37
|
|
|
RTA - Rewriting Techniques and Applications
|
702
|
36
|
|
|
CC - Compiler Construction
|
459
|
36
|
|
|
ICFP - International Conference on Functional Programming
|
373
|
36
|
|
|
HCC(VL) - Visual Languages/Human-Centric Computing Languages and Environments
|
732
|
34
|
|
|
Fall Joint Computer Conference
|
311
|
34
|
|
|
INRIA - INRIA
|
300
|
33
|
|
|
TOOLS - Technology of Object-Oriented Languages and Systems
|
1427
|
30
|
|
|
ECOOP(Workshop) - European Conference on Object-Oriented Programming
|
807
|
30
|
|
|
PLILP - Symposium on Programming Language Implementation and Logic Programming
|
344
|
30
|
|
|
CGO - Symposium on Code Generation and Optimization
|
274
|
29
|
|
|
PEPM - Partial Evaluation and Semantic-Based Program Manipulation
|
309
|
28
|
|
|
Petri Nets and Performance Models
|
272
|
27
|
|
|
WOSP - Workshop on Software and Performance
|
232
|
27
|
|
|
COORDINATION - Coordination Models and Languages
|
295
|
26
|
|
|
PPDP - Principles and Practice of Declarative Programming
|
305
|
25
|
|
|
ZUM - Z Users Conference
|
311
|
25
|
|
|
ICCL - International Conference on Computer Languages
|
223
|
24
|
|
|
LOPSTR - Logic Program Synthesis and Transformation
|
402
|
23
|
|
|
PADL - Practical Aspects of Declarative Languages
|
285
|
23
|
|
|
MPC - Mathematics of Program Construction
|
220
|
23
|
|
|
DSL - Domain-Specific Languages
|
62
|
23
|
|
|
ECBS - Engineering of Computer-Based Systems
|
950
|
22
|
|
|
MODELS - Model Driven Engineering Languages and Systems
|
534
|
22
|
|
|
CL - International Conference on Computational Logic
|
101
|
22
|
|
|
JIT - Java-Informations-Tage
|
182
|
21
|
|
|
CSC - ACM Annual Computer Science Conference
|
1729
|
20
|
|
|
APLAS - Asian Symposium on Programming Languages and Systems
|
307
|
20
|
|
|
C++ - C++ Conference
|
132
|
20
|
|
|
PHOENIX Workshops
|
103
|
20
|
|
|
IFL - Implementation of Functional Languages
|
207
|
19
|
|
|
ALP - Algebraic and Logic Programming
|
142
|
18
|
|
|
Java Card Workshop
|
67
|
18
|
|
|
PROCOMET - Programming Concepts, Methods and Calculi
|
62
|
18
|
|
|
AFP - Advanced Functional Programming School
|
52
|
18
|
|
|
ISCIS - International Symposium on Computer and Information Sciences
|
871
|
17
|
|
|
VM - Virtual Machine Research and Technology Symposium
|
68
|
17
|
|
|
Ada-Europe - International Conference on Reliable Software Technologies
|
580
|
16
|
|
|
OOIS - Object Oriented Information Systems
|
395
|
16
|
|
|
FLOPS - Fuji International Symposium on Functional and Logic Programming
|
182
|
16
|
|
|
PJW - Workshop on Persistence and Java
|
43
|
16
|
|
|
AADEBUG - Automated and Algorithmic Debugging
|
115
|
15
|
|
|
COMPASS Workshops
|
101
|
15
|
|
|
TIC - Types in Compilation
|
36
|
15
|
|
|
IFIP TC 7
|
470
|
14
|
|
|
MEMOCODE - International Conference on Formal Methods and Models for Co-Design
|
259
|
14
|
|
|
CPAIOR - International Conference on Integration of AI and OR Techniques in Constraint Programming
|
259
|
14
|
|
|
Symposium on Programming
|
110
|
14
|
|
|
ELP - Extensions of Logic Programming
|
100
|
14
|
|
|
SIGAda - SIGAda Conference
|
721
|
13
|
|
|
WADT(ADT) - Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques
|
191
|
13
|
|
|
AGTIVE - Applications of Graph Transformations with Industrial Relevance
|
143
|
13
|
|
|
META - Workshop on Meta-Programming in Logic
|
62
|
13
|
|
|
Process Algebra and Probabilistic Methods
|
30
|
13
|
|
|
APL - ACM Conference on Array-Programming Languages
|
530
|
12
|
|
|
PPPJ - Principles and Practice of Programming in Java
|
225
|
12
|
|
|
JMLC - Joint Modular Languages Conference
|
114
|
12
|
|
|
SFP - Scottish Functional Programming Workshops
|
103
|
12
|
|
|
Semantics of Data Types
|
25
|
12
|
|
|
AGP - APPIA-GULP-PRODE
|
355
|
11
|
|
|
FDL - Forum on specification & Design Languages
|
290
|
11
|
|
|
WLP - Workshop Logische Programmierung
|
223
|
11
|
|
|
Functional Programming Workshops
|
100
|
11
|
|
|
Haskell - Haskell Workshop
|
73
|
11
|
|
|
SCCC - International Conference of the Chilean Computer Science Society
|
333
|
10
|
|
|
PADO - Symposium on Programs as Data Objects
|
21
|
10
|
|
|
JCIT - Jerusalem Conference on Information Technology
|
219
|
9
|
|
|
INAP - International Conference on Applications of Prolog
|
91
|
9
|
|
|
ERLANG - Erlang Workshop
|
90
|
9
|
|
|
LPE - Workshop on Logic Programming Environments
|
87
|
9
|
|
|
PASCAL - PASCAL Conference
|
59
|
9
|
|
|
IFIP WG2.5 Working Conference
|
40
|
9
|
|
|
ECOOP - Advances in Exception Handling Techniques
|
36
|
9
|
|
|
CCL - International Conference on Cluster, Cloud and Grid Computing
|
34
|
9
|
|
|
IFIP WG2.1 Publications
|
26
|
9
|
|
|
Concurrent Object-Oriented Programming and Petri Nets
|
25
|
9
|
|
|
Programming Languages and System Architectures
|
23
|
9
|
|
|
Programs as Data Objects
|
19
|
9
|
|
|
RV - Runtime Verification
|
82
|
8
|
|
|
Constraint Solving and Constraint Logic Programming
|
76
|
8
|
|
|
ACM SIGPLAN Conferences and Workshops
|
76
|
8
|
|
|
The FIDJI Project
|
51
|
8
|
|
|
PDK - Processing Declarative Knowledge
|
40
|
8
|
|
|
HOA - Higher-Order Algebra, Logic and Term Rewriting
|
32
|
8
|
|
|
WAGA - Attribute Grammars and their Applications
|
31
|
8
|
|
|
WCLP - Workshop on Constraint Logic Programming
|
23
|
8
|
|
|
Workshop on Parallel Lisp
|
21
|
8
|