|
|
POPL - ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
|
1255
|
66919
|
|
|
ECOOP - European Conference on Object-Oriented Programming
|
784
|
25626
|
|
|
PLDI - SIGPLAN Conference on Programming Language Design and Implementation
|
488
|
16479
|
|
|
FPCA - Functional Programming Languages and Computer Architecture
|
216
|
7724
|
|
|
LFP - ACM Conference on LISP and Functional Programming
|
238
|
7093
|
|
|
AOSD - Aspect-Oriented Software Development
|
356
|
7646
|
|
|
ESOP - European Symposium on Programming
|
570
|
9864
|
|
|
ICLP(JICSLP) - International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming
|
1521
|
18893
|
|
|
CP - Principles and Practice of Constraint Programming
|
1241
|
14901
|
|
|
UML - The Unified Modeling Language
|
478
|
7567
|
|
|
Fall Joint Computer Conference
|
263
|
4667
|
|
|
ILPS/ISLP/NACLP/SLP - International Logic Programming Symposium/International Symposium on Logic Programming/North American Conference on Logic Programming/Symposium on Logic Programming
|
563
|
7579
|
|
|
Symposium on Programming
|
109
|
3109
|
|
|
OOPSLA - Conference on Object-Oriented Programming Systems, Languages, and Applications
|
1787
|
16029
|
|
|
ASE - Automated Software Engineering
|
1047
|
11001
|
|
|
CC - Compiler Construction
|
459
|
6200
|
|
|
ICFP - International Conference on Functional Programming
|
369
|
5158
|
|
|
IWPC - International Workshop on Program Comprehension
|
546
|
6210
|
|
|
HCC(VL) - Visual Languages/Human-Centric Computing Languages and Environments
|
1101
|
9059
|
|
|
RTA - Rewriting Techniques and Applications
|
702
|
6617
|
|
|
CGO - Symposium on Code Generation and Optimization
|
210
|
3023
|
|
|
INRIA - INRIA
|
278
|
3392
|
|
|
Petri Nets and Performance Models
|
156
|
2562
|
|
|
PLILP - Symposium on Programming Language Implementation and Logic Programming
|
345
|
3800
|
|
|
PEPM - Partial Evaluation and Semantic-Based Program Manipulation
|
306
|
3285
|
|
|
COORDINATION - Coordination Models and Languages
|
295
|
2951
|
|
|
ZUM - Z Users Conference
|
312
|
2963
|
|
|
WOSP - Workshop on Software and Performance
|
233
|
2538
|
|
|
ICCL - International Conference on Computer Languages
|
218
|
2359
|
|
|
MPC - Mathematics of Program Construction
|
220
|
2345
|
|
|
PPDP - Principles and Practice of Declarative Programming
|
304
|
2743
|
|
|
ECOOP(Workshop) - European Conference on Object-Oriented Programming
|
812
|
5034
|
|
|
PADL - Practical Aspects of Declarative Languages
|
287
|
2497
|
|
|
AFP - Advanced Functional Programming School
|
50
|
1290
|
|
|
ACM SIGPLAN Conferences and Workshops
|
95
|
1360
|
|
|
PHOENIX Workshops
|
105
|
1414
|
|
|
CL - International Conference on Computational Logic
|
103
|
1394
|
|
|
JIT - Java-Informations-Tage
|
181
|
1739
|
|
|
TOOLS - Technology of Object-Oriented Languages and Systems
|
1382
|
6062
|
|
|
Java Card Workshop
|
69
|
1189
|
|
|
LOPSTR - Logic Program Synthesis and Transformation
|
400
|
2573
|
|
|
DSL - Domain-Specific Languages
|
61
|
1110
|
|
|
VM - Virtual Machine Research and Technology Symposium
|
68
|
1140
|
|
|
PROCOMET - Programming Concepts, Methods and Calculi
|
62
|
1099
|
|
|
C++ - C++ Conference
|
129
|
1339
|
|
|
TIC - Types in Compilation
|
37
|
989
|
|
|
AADEBUG - Automated and Algorithmic Debugging
|
114
|
1189
|
|
|
ECBS - Engineering of Computer-Based Systems
|
790
|
3425
|
|
|
ALP - Algebraic and Logic Programming
|
142
|
1264
|
|
|
APLAS - Asian Symposium on Programming Languages and Systems
|
306
|
1815
|
|
|
IFL - Implementation of Functional Languages
|
204
|
1432
|
|
|
MODELS - Model Driven Engineering Languages and Systems
|
531
|
2221
|
|
|
FLOPS - Fuji International Symposium on Functional and Logic Programming
|
181
|
1114
|
|
|
AGTIVE - Applications of Graph Transformations with Industrial Relevance
|
142
|
869
|
|
|
COMPASS Workshops
|
106
|
779
|
|
|
Semantics of Data Types
|
23
|
513
|
|
|
PJW - Workshop on Persistence and Java
|
40
|
605
|
|
|
ELP - Extensions of Logic Programming
|
102
|
718
|
|
|
ISCIS - International Symposium on Computer and Information Sciences
|
672
|
1899
|
|
|
CPAIOR - CPAIOR
|
259
|
1051
|
|
|
OOIS - Object Oriented Information Systems
|
394
|
1257
|
|
|
WADT(ADT) - Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques
|
191
|
840
|
|
|
MEMOCODE - International Conference on Formal Methods and Models for Co-Design
|
225
|
946
|
|
|
Ada-Europe - Ada-Europe
|
580
|
1510
|
|
|
JMLC - Joint Modular Languages Conference
|
115
|
630
|
|
|
PASCAL - PASCAL
|
60
|
300
|
|
|
Process Algebra and Probabilistic Methods
|
30
|
461
|
|
|
INAP - International Conference on Applications of Prolog
|
90
|
531
|
|
|
META - Workshop on Meta-Programming in Logic
|
61
|
482
|
|
|
Functional Programming Workshops
|
100
|
506
|
|
|
SFP - Scottish Functional Programming Workshops
|
103
|
506
|
|
|
CSC - ACM Annual Computer Science Conference
|
1731
|
2376
|
|
|
LPE - Workshop on Logic Programming Environments
|
87
|
426
|
|
|
PPPJ - Principles and Practice of Programming in Java
|
224
|
625
|
|
|
IFIP TC 7
|
469
|
836
|
|
|
SIGAda - SIGAda Conference
|
723
|
1078
|
|
|
SCCC - International Conference of the Chilean Computer Science Society
|
325
|
655
|
|
|
Haskell - Haskell
|
67
|
380
|
|
|
Foundations of Logic and Functional Programming
|
11
|
259
|
|
|
APL - ACM Conference on Array-Programming Languages
|
524
|
833
|
|
|
LP - Logic Programming - Japanese Conference
|
98
|
351
|
|
|
ERLANG - Erlang Workshop
|
91
|
339
|
|
|
AGP - APPIA-GULP-PRODE
|
355
|
633
|
|
|
Programs as Data Objects
|
19
|
261
|
|
|
FDL - Forum on specification & Design Languages
|
338
|
603
|
|
|
PDK - Processing Declarative Knowledge
|
40
|
284
|
|
|
WLP - Workshop Logische Programmierung
|
221
|
452
|
|
|
CCL - International Conference on Cluster, Cloud and Grid Computing
|
35
|
264
|
|
|
Algebraic Methods
|
35
|
263
|
|
|
PADO - Symposium on Programs as Data Objects
|
21
|
250
|
|
|
Programming Languages and System Architectures
|
22
|
242
|
|
|
IFIP WG2.5 Working Conference
|
39
|
264
|
|
|
Shell Conference
|
22
|
221
|
|
|
Concurrent Object-Oriented Programming and Petri Nets
|
26
|
242
|
|
|
ECOOP - Advances in Exception Handling Techniques
|
37
|
242
|
|
|
IFIP WG2.1 Publications
|
26
|
227
|
|
|
Constraint Solving and Constraint Logic Programming
|
77
|
241
|
|
|
HOPL - History of Programming Languages
|
16
|
208
|
|
|
LDRS - Language Design for Reliable Software
|
2
|
104
|
|
|
WCLP - Workshop on Constraint Logic Programming
|
23
|
193
|