|
Rank
|
Conference
|
Full Name
|
| | | |
| Conference: | |
| | | |
| 9 | POPL | Symposium on Principles of Programming Languages |
| 14 | AOSD | Aspect-Oriented Software Development |
| 17 | PLDI | SIGPLAN Conference on Programming Language Design and Implementation |
| 36 | ISSTA | International Symposium on Software Testing and Analysis |
| 37 | OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications |
| 43 | CAV | Computer Aided Verification |
| 50 | ECOOP | European Conference on Object-Oriented Programming |
| 55 | VMCAI | Verification, Model Checking and Abstract Interpretation |
| 56 | ESOP | European Symposium on Programming |
| 85 | ACL | Meeting of the Association for Computational Linguistics |
| 87 | SPIN | SPIN |
| 100 | SAS | Self-Adaptive Software |
| 107 | ICFP | International Conference on Functional Programming |
| 108 | TACAS | Tools and Algorithms for Construction and Analysis of Systems |
| 122 | PADL | Practical Aspects of Declarative Languages |
| 129 | ICSE | International Conference on on Software Engineering |
| 132 | FoSSaCS | International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES |
| 143 | PPDP | Principles and Practice of Declarative Programming |
| 164 | PEPM | Partial Evaluation and Semantic-Based Program Manipulation |
| 175 | FMCAD | Formal Methods in Computer-Aided Design |
| 177 | GPCE | Generative Programming and Component Engineering |
| 194 | CC(conference) | Compiler Construction |
| 217 | RTA | Rewriting Techniques and Applications |
| 242 | ASE | Automated Software Engineering |
| 254 | WCRE | Working Conference on Reverse Engineering |
| 255 | AMAST | Algebraic Methodology and Software Technology |
| 263 | CHARME | Conference on Correct Hardware Design and Verification Methods |
| 273 | TPHOLS | Theorem Proving in Higher Order Logics |
| 275 | ICSM | International Conference on Software Maintenance |
| 276 | FSE | Fast Software Encryption |
| 284 | UML | The Unified Modeling Language |
| 298 | FASE | Fundamental Approaches to Software Engineering |
| 300 | PASTE | Workshop on Program Analysis For Software Tools and Engineering |
| 301 | CAiSE | Conference on Advanced Information Systems Engineering |
| 315 | IWPC | International Workshop on Program Comprehension |
| 319 | CP | CP |
| 324 | COORDINATION | International Conference on Coordination Chemistry |
| 327 | FLOPS | Fuji International Symposium on Functional and Logic Programming |
| 345 | IFM | Integrated Formal Methods |
| 362 | ZUM | Z Users Conference |
| 363 | ITC | International Test Conference |
| 368 | IFL | Implementation of Functional Languages |
| 389 | SAC | ACM Symposium on Applied Computing |
| 390 | ACSD | International Conference on Application of Concurrency to System Design |
| 393 | SCAM | Source Code Analysis and Manipulation |
| 401 | CASCON | Conference of the Centre for Advanced Studies on Collaborative Research |
| 418 | WICSA | Working IEEE/IFIP Conference on Software Architecture |
| 450 | ASWEC | Australian Software Engineering Conference |
| 453 | WOSP | Workshop on Software and Performance |
| 459 | ICSR | International Conference on Software Reuse |
| 478 | LSO | Learning Software Organizations |
| 483 | EWSPT | European Workshop on Software Process Technology |
| 486 | COEA | Component-Oriented Enterprise Applications |
| 495 | METRICS | IEEE International Software Metrics Symposium |
| 504 | CD | IFIP/ACM Working Conference on Component Deployment |
| 507 | SOFTVIS | ACM Symposium on Software Visualization |
| 520 | CSMR | Conference on Software Maintenance and Reengineering |
| 535 | AICPS | ACM International Conference Proceeding Series |
| 552 | FMCO | Formal Methods for Components and Objects |
| 562 | VISSOFT | Visualizing Software for Understanding and Analysis - VISSOFT |
| 564 | MPC | Mathematics of Program Construction |
| 576 | AGP | APPIA-GULP-PRODE |
| 579 | SAM | Security and Management |
| 584 | LPE | Workshop on Logic Programming Environments |
| 591 | SPLC | Software Product Lines |
| 604 | WETICE | Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises |
| 605 | SEM | Software Engineering and Middleware |
| 607 | ECBS | Engineering of Computer-Based Systems |
| 610 | SEKE | Software Engineering and Knowledge Engineering |
| 617 | XP Universe | Extreme Programming |
| 626 | HASE | High-Assurance Systems |
| 658 | PFE | Software Product Family Engineering |
| 674 | ICCBSS | International Conference on COTS-Based Software Systems |
| 675 | SAFECOMP | SAFECOMP |
| 699 | LOPSTR | Logic Program Synthesis and Transformation |
| 709 | EUROMICRO | EUROMICRO |
| 719 | SELMAS | Software Engineering for Large-Scale Multi-Agent Systems |
| 722 | The FIDJI Project | The FIDJI Project |
| 731 | RISSEF | Radical Innovations of Software and Systems Engineering in the Future |
| 735 | APLAS | Asian Symposium on Programming Languages and Systems |
| 742 | APL | ACM Conference on Array-Programming Languages |
| 756 | Ershov Memorial Conference | Ershov Memorial Conference |
| 764 | OOIS | Object Oriented Information Systems |
| 771 | HIPS | High-Level Parallel Programming Models and Supportive Environments |
| 772 | COMPSAC | International Computer Software and Applications Conference |
| 774 | ISESE | International Symposium on Empirical Software |
| 780 | ALC | Algorithmic Languages and Calculi |
| 784 | APSEC | Asia-Pacific Software Engineering Conference |
| 803 | ICECCS | International Conference on Engineering of Complex Computer Systems |
| 831 | CBSE | Component-Based Software Engineering |
| 837 | FroCos | International Symposium on Frontiers of Combining Systems |
| 840 | IWPSE | International Workshop on Principles of Software Evolution |
| 864 | SPLST | Symposium on Programming Languages and Software Tools |
| 892 | JMLC | Joint Modular Languages Conference |
| 915 | ISSRE | International Symposium on Software Reliability Engineering |
| 917 | CPAIOR | International Conference on Integration of AI and OR Techniques |
| 934 | SCCC | International Conference of the Chilean Computer Science Society |
| 940 | FORMATS | Formal Modeling and Analysis of Timed Systems |
| 958 | Dagstuhl Seminars | Dagstuhl Seminars |
| 960 | HCC(VL) | Visual Languages/Human-Centric Computing Languages and Environments |
| 964 | JFLA | Journ'ees Francophones des Langages Applicatifs |
| 966 | WSE | Website Evolution |
| 971 | IRTAW | International Workshop on Real-time Ada Issues |
| 1003 | SEFM | Conference on Software Engineering and Formal Methods |
| 1035 | ALPUK | UK Conference on Logic Programming |
| 1043 | ASM | Workshops on Abstract State Machines |
| 1053 | PROFES | Product Focused Software Process Improvement |
| 1074 | TSD | Temporal Logic in Specification |
| 1076 | QSIC | International Conference on Quality Software |
| 1080 | FIW | Feature Interactions in Telecommunications and Software Systems |
| 1088 | MOZ | Information on an international Mozart/Oz conference |
| 1129 | SAGA | Stochastic Algorithms |
| 1130 | SCM | System Configuration Management |
| 1140 | SETA | SETA |
| 1146 | PPCP | Principles and Practice of Constraint Programming |
| 1175 | ACM Southeast Regional Conference | ACM Southeast Regional Conference |
| 1190 | ICTAC | International Colloquium on Theoretical Aspects of Computing |
| 1193 | Modellierung | Modellierung |
| 1204 | QEST | Quantitative Evaluation of Systems |
| 1238 | EWSA | European Workshop on Software Architecture |
| 1241 | AGILEDC | Agile Development Conference |
| 1247 | SEW | Annual Software Engineering Workshop |
| 1261 | INAP | International Conference on Applications of Prolog |
| 1262 | RIVF | IEEE-RIVF International Conference on Computing and Communication Technologies |
| 1279 | CMG | International Computer Measurement Group Conference |
| 1286 | CSC | International Conference on Scientific Computing |
| 1289 | ATVA | Automated Technology for Verification and Analysis |
| 1304 | CAINE | Computer Applications in Industry and Engineering |
| 1323 | IRI | Information Reuse and Integration |
| 1344 | Compulog Workshops | Compulog Workshops |
| 1353 | SE | IASTED International Conference on SOFTWARE ENGINEERING |
| 1357 | SERP | Software Engineering Research and Practice |
| 1369 | ISCIS | International Symposium on Computer and Information Sciences |
| 1370 | SNPD | Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing |
| 1384 | MDAFA | MDAFA |
| 1389 | RISE | Rapid Integration of Software Engineering Techniques |
| 1413 | AADEBUG | International Workshop on Automated and Algorithmic Debugging |
| 1421 | SAS(WSA) | Static Analysis Symposium/Workshop on Static Analysis |
| 1426 | ICESS | International Conference on Embedded Software and Systems |
| 1427 | ACIT | Automation, Control, and Information Technology |
| 1438 | IWFM | Irish Workshop in Formal Methods |
| 1447 | CASSIS | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices |
| 1453 | ASWSD | Automotive Software Workshop |
| 1457 | STEP | Software Technology and Engineering Practice |
| 1485 | DMS | Distributed Multimedia Systems |
| 1552 | ISOLA | Leveraging Applications of Formal Methods |
| 1569 | PROSPECTRA | PROSPECTRA |
| - | ICCL | ICCL |
| - | IWSSD | International Workshop on Software Specifications & Design |
| - | SSR | ACM SIGSOFT Symposium on Software Reusability |
| - | FoSSaCS | Foundations of Software Science and Computation Structure |
| - | Haskell | Haskell |
| - | ALP | ALP |
| - | PLILP | Symposium on Programming Language Implementation and Logic Programming |
| - | ICCC | IEEE International Conference on Computational Cybernetics |
| - | TAPSOFT | Proceedings of the International Joint Conference on Theory and Practice of Software Development |
| - | LFP | ACM Conference on LISP and Functional Programming |
| - | FPCA | Functional Programming Languages and Computer Architecture |
| - | ICLP(JICSLP) | International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming |
| - | ACM SIGPLAN Conferences and Workshops | ACM SIGPLAN Conferences and Workshops |
| - | SDE | Software Development Environments |
| - | ILPS/ISLP/NACLP/SLP | International Logic Programming Symposium/International Symposium on Logic Programming/North American Conference on Logic Programming/Symposium on Logic Programming |
| - | ESEC | European Software Engineering Conference |
| - | SESPSDE | Software Engineering Symposium on Practical Software Development Environments |
| - | IWMM | International Workshop on Memory Management |
| - | REX | Research and Education in Concurrent Systems |
| - | FM | World Congress on Formal Methods |
| - | Hybrid Systems | Hybrid Systems |
| - | Symposium on Programming | Symposium on Programming |
| - | IFIP | International Federation for Information Processing |
| - | AFP | Advanced Functional Programming School |
| - | AC | Advanced Courses |
| - | Semantics of Data Types | Semantics of Data Types |
| - | Automatic Verification Methods for Finite State Systems | Automatic Verification Methods for Finite State Systems |
| - | PROCOMET | Programming Concepts, Methods and Calculi |
| - | DSL | Domain-Specific Languages |
| - | CL | International Conference on Computational Logic |
| - | PNPM | Petri Nets and Performance Models |
| - | TIC | Types in Compilation |
| - | META | META |
| - | ISOTAS | International Symposium on Object Technologies for Advanced Software |
| - | ICSP | International Conference on the Software Process |
| - | RE | IEEE International Conference on Requirements Engineering |
| - | MSR | Mining Software Repositories |
| - | MoDELS | Model Driven Engineering Languages and Systems |
| - | ACISICIS | ACIS International Conference on Computer and Information Science |
| - | DEPCOS | International Conference on Dependability of Computer Systems |
| - | ICSEA | International Conference on Software Engineering Advances |
| - | ICSOFT | International Conference on Software and Data Technologies |
| - | CTRS | Conditional Term Rewriting Systems |
| - | ICFEM | IEEE International Conference on Formal Engineering Methods |
| - | IASTEDSEA | Software Engineering and Applications (IASTED) |
| - | MEMOCODE | International Conference on Formal Methods and Models for Codesign |
| - | ELP | Extensions of Logic Programming |
| - | JIT | Java-Informations-Tage |
| - | SIGAda Conference | SIGAda Conference |
| - | Functional Programming Workshops | Functional Programming Workshops |
| - | LDRS | Language Design for Reliable Software |
| - | FMSP | Formal Methods in Software Practice |
| - | IASSE | International Conference on Intelligent and Adaptive Systems and Software Engineering |
| - | SERA | Software Engineering Research and Applications |
| - | VVEIS | Verification and Validation of Enterprise Information Systems |
| - | PDSE | International Symposium on Software Engineering for Parallel and Distributed Systems |
| - | ISAS | International Service Availability Symposium |
| - | FATES | International Workshop on Formal Approaches to Testing of Software |
| - | ITEE | Information Technologies in Environmental Engineering |
| - | TPCD | Theorem Provers in Circuit Design |
| - | HOPL | History of Programming Languages |
| - | EBUSINESS | E-Business |
| - | IR Workshop | Intermediate Representations Workshop |
| - | TOOLS | Technology of Object-Oriented Languages and Systems |
| - | EUROSPI | European Conference on Software Process Improvement |
| - | SEDE | Software Engineering and Data Engineering |
| - | WACC | Work Activities Coordination and Collaboration |
| - | AGTIVE | Applications of Graph Transformations with Industrial Relevance |
| - | AICCSA | ACS/IEEE International Conference on Computer Systems and Applications |
| - | ISPW | International Software Process Workshop |
| - | APAQS | Asia-Pacific Conference on Quality Software |
| - | JIISIC | Jornadas Iberoamericanas de Ingenier铆a de Software e Ingenier铆a del Conocimiento |
| - | EUNIS | European University Information Systems |
| - | PDK | Processing Declarative Knowledge |
| - | GCSE | GCSE |
| - | OOPWORK | OOPWORK |
| - | TASE | Theoretical Aspects of Software Engineering |
| - | SOQUA | Software Quality |
| - | EPEW | European Performance Engineering Workshop |
| - | OSS | Open Source Software |
| - | FJCC | Fall Joint Computer Conference |
| - | WIDL | Workshop on Interface Definition Languages |
| - | CCL | Constraints in Computational Logics |
| - | School on Formal Methods for the Design of Computer, Communication and Software Systems | School on Formal Methods for the Design of Computer, Communication and Software Systems |
| - | VEE | International Conference on Virtual Execution Environments |
| - | PAPM | Process Algebra and Probabilistic Methods |
| - | PLSA | Programming Languages and System Architectures |
| - | Semantics of Concurrent Computation | Semantics of Concurrent Computation |
| - | HVC | Haifa Verification Conference |
| - | WADT(ADT) | Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques |
| - | PLC | International Conference on Programming Languages and Compilers |
| - | CSCLP | Constraint Solving and Constraint Logic Programming |
| - | SAIG | Semantics, Applications, and Implementation of Program Generation |
| - | SLIPE | Symposium on Language Issues in Programming Environments |
| - | HINC | History of Nordic Computing |
| - | DYNAMO | Workshop on Dynamic and Adaptive Compilation and Optimization |
| - | REFSQ | Requirements Engineering: Foundation for Software Quality |
| - | WER | Workshop em Engenharia de Requisitos |
| - | COMPASS | Compass National Conference |
| - | TAICPART | Academic & Industrial Conference - Practice And Research Techniques |
| - | WLP | Workshop on Logic Programming and Constraint Systems |
| - | TGC | Trustworthy Global Computing |
| - | DFG Projects | DFG Projects |
| - | COMPOS | COMPOS |
| - | WADAS | Washington Ada Symposium |
| - | AVTCP | Analysis and Visualization Tools for Constraint Programming |
| - | KORSO | KORSO |
| - | ERLANG | Erlang Workshop |
| - | LP | Logic Programming - Japanese Conference |
| - | GTTSE | Generative and Transformational Techniques in Software Engineering |
| - | WWV | Automated Specification and Verification of Web Sites |
| - | ECSQ | European Conference on Software Quality |
| - | GMMEMV | Elektromagnetische Vertr盲glichkeit in der KFZ-Technik |
| - | SWSTE | IEEE International Conference on Software - Science, Technology and Engineering |
| - | FCA | Formal Concept Analysis |
| - | QoSA | Quality of Software Architectures |
| - | MOS | Mobile Object Systems |
| - | VISSAS | Verification of Infinite-State Systems with Applications to Security |
| - | UTP | Unifying Theories of Programming |
| - | Object Modeling with the OCL | Object Modeling with the OCL |
| - | SFP | Scottish Functional Programming Workshops |
| - | WFLP | Workshop on Functional and Constraint Logic Programming |
| - | SCESM | Scenarios and state machines: models, algorithms, and tools |
| - | UNI/IIST | UNI/IIST |
| - | SIGSMALL/PC | Symposium on Small Systems/PC |
| - | PADO | Symposium on Programs as Data Objects |
| - | COCOS | Global Constraint Optimization and Constraint Satisfaction |
| - | Formale Beschreibungstechniken | Formale Beschreibungstechniken |
| - | MASSA | Multiagent Systems and Software Architecture |
| - | SCS | Australian Workshop on Safety Critical Systems and Software |
| - | TFM | TFM |
| - | CEFP | Central European Functional Programming School |
| - | DDOPS | Development and Deployment of Product Software |
| - | WISER | Workshop on Interdisciplinary Software Engineering Research |
| - | Java Card Workshop | Java Card Workshop |
| - | OAS | Ontologies in Agent Systems |
| - | GSEM | Grid Services Engineering and Management |
| - | ICEISSAM | Software Audit and Metrics |
| - | REFMOD | Referenzmodellierung |
| - | ESPRIT ARES Workshops | ESPRIT ARES Workshops |
| - | LMO | Langages et Mod`eles `a objets |
| - | KnowRight | KnowRight |
| - | INRIA | INRIA |
| - | SIGSMALLS | Symposium on Small Systems Symposium |
| - | ESERNET | Experimental Software Engineering Network |
| - | JFPLC | Journ茅es Francophones de Programmation Logique par Contraintes |
| - | Performance Engineering | Performance Engineering |
| - | CSCLP | International Workshop on Constraint Solving and Constraint Logic Programming |
| - | Reflection and Software Engineering | Reflection and Software Engineering |
| - | ICFPC | ICFPC |
| - | Software Management | Software Management |
| - | IFIP WG2.1 Publications | IFIP WG2.1 Publications |
| - | Programmiersprachen | Programmiersprachen |
| - | SEE | Software Engineering Environments |
| - | ADT | Ada Deutschland Tagung |
| - | JCIT | Jerusalem Conference on Information Technology |
| - | LOMAPS | Logical and Operational Methods in the Analysis of Programs and Systems |
| - | HOA | Higher-Order Algebra, Logic and Term Rewriting |
| - | WOODPECKER | WOODPECKER |
| - | ROOM | Rigorous Object-Oriented Methods |
| - | ICS | International Computing Symposium |
| - | IFIP TC8/WG8.6 Publications | IFIP TC8/WG8.6 Publications |
| - | COODBSE | Colloquium on Object Orientation in Databases and Software Engineering |
| - | IFIP TC7 Publications | IFIP TC7 Publications |
| - | Fachtagung Prozessrechner | Fachtagung Prozessrechner |
| - | NADA | New Hardware Design Methods |
| - | WAGA | Attribute Grammars and their Applications |
| - | Semantics of Specification Languages | Semantics of Specification Languages |
| - | IMACS Meetings | IMACS Meetings |
| - | Publications of the German Chapter of the ACM | Publications of the German Chapter of the ACM |
| - | IFIP WG3.4 Publications | IFIP WG3.4 Publications |
| - | Program Construction | Program Construction |
| - | Organizational Memories | Organizational Memories |
| - | IWSM | International Workshop on Software Measurement |
| - | Functional Programming, Concurrency, Simulation and Automated Reasoning | Functional Programming, Concurrency, Simulation and Automated Reasoning |
| - | PEARL | PEARL |
| - | SEUH | Software Engineering im Unterricht der Hochschulen |
| - | FIFF Jahrestagung | FIFF Jahrestagung |
| - | ISESS | International Symposium on Environmental Software Systems |
| - | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
| - | IFIP WG2.4 Publications | IFIP WG2.4 Publications |
| - | PASCAL | PASCAL |
| - | LPSS | Logic Programming Summer School |
| - | Workshop on Parallel Lisp | Workshop on Parallel Lisp |
| - | UH | Unternehmen Hochschule |
| - | PHOENIX Workshops | PHOENIX Workshops |
| - | Algebraic Methods | Algebraic Methods |
| - | IFIP WG2.5 Working Conference | IFIP WG2.5 Working Conference |
| - | FLFP | Foundations of Logic and Functional Programming |
| | | |
| Journal: | |
| | | |
| 511 | SOFTWARE | IEEE Software |
| 573 | FGCS | Fifth Generation Computer Systems |
| 828 | The Analysis of Concurrent Systems | The Analysis of Concurrent Systems |
| - | CAL | Conf茅rence francophone sur les Architectures Logicielles |