Source Bibtex.Definitions
%% note: the abbreviations defined in this are case insensitive
%% Macro for sorting last names containing van, ter, etc.
%@preamble{{\newcommand{\noopsort}[1]{}}}
%% Conference, symposium, and workshop definitions
@string{AFP = {{ International Summer School on Advanced Functional Programming, AFP }}}
@string{AGTIVE = {{ International Workshop and Symposium on Graph Transformations with Industrial Relevance, AGTIVE }}}
@string{AIA = {{ International Conference on Artificial Intelligence and Applications, AIA }}}
@string{AIME = {{ Artificial Intelligence in Medicine, AIME }}}
@string{A-MOST = {{ Workshop on Advances in Model Based Testing, A-MOST }}}
@string{APAQS = {{ Asian Pacific Conference on Quality Software, APAQS }}}
@string{APLAS = {{ Asian Symposium on Programming Languages and Systems, APLAS }}}
@string{ASE = {{ International Conference on Automated Software Engineering, ASE }}}
@string{CAiSE = {{ International Conference on Advanced Information Systems Engineering, CAiSE }}}
@string{CEFP = {{ Central European Functional Programming School, CEFP }}}
@string{COMPSAC = {{ International Computer Software and Applications Conference, COMPSAC }}}
@string{CONCUR = {{ International Conference on Concurrency Theory, CONCUR }}}
@string{COOCS = {{ Conference on Organizational Computing Systems, COOCS }}}
@string{CPN = {{ Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, CPN }}}
@string{CSN = {{ Computing Science in the Netherlands, CSN }}}
@string{DPM = {{ Business Process Management Workshop on Dynamic Process Management, DPM }}}
@string{ECOOP = {{ European Conference on Object-Oriented Programming, ECOOP }}}
@string{ER = {{ International Conference on Conceptual Modeling, ER }}}
@string{EP = {{ international Euro-Par conference, EP }}}
@string{ESOP = {{ European Symposium on Programming, ESOP }}}
@string{ESUG = {{ International Smalltalk Joint Conference, ESUG }}}
@string{EUROPAR = {{ International Euro-Par Conference, Euro-Par }}}
@string{FATES = {{ International Workshop on Formal Approaches to Testing of Software, FATES }}}
@string{FDPE = {{ Workshop on Functional and Declarative Programming in Education, FDPE }}}
@string{FLOPS = {{ International Symposium on Functional and Logic Programming, FLOPS }}}
@string{FMCO = {{ International Symposium on Formal Methods for Components and Objects, FMCO }}}
@string{FORM = {{ International Workshop on Fact-Oriented Modeling, ORM }}}
@string{FORTE = {{ International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE }}}
@string{FPCA = {{ International Conference on Functional Programming Languages and Computer Architecture, FPCA }}}
@string{FSTTCS = {{ Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS }}}
@string{FUSST = {{ Fenno-Ugric Symposium on Software Technology, FUSST }}}
@string{GFP = {{ Glasgow Workshop on Functional Programming, GFP }}}
@string{GP = {{ International Conference on Genetic Programming, GP }}}
@string{GTTSE = {{ International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE }}}
@string{HASKELL = {{ Haskell Workshop, Haskell }}}
@string{HASKELLS = {{ Haskell Symposium, Haskell }}}
@string{HOPL = {{ Conference on History of Programming Languages, HOPL }}}
@string{IAFL = {{ International Symposium on the Implementation and Application of Functional Languages, IFL }}}
@string{ICCRTS = {{ International Command and Control Research and Technology Symposium, ICCRTS }}}
@string{ICCSA = {{ International Conference on Computational Science and its Applications, ICCSA }}}
@string{ICFP = {{ International Conference on Functional Programming, ICFP }}}
@string{ICMT = {{ International Conference on Theory and Practice of Model Transformations, ICMT }}}
@string{IFL = {{ International Workshop on the Implementation of Functional Languages, IFL }}}
@string{IFM = {{ International Conference on Integrated Formal Methods, IFM }}}
@string{IFPL = {{ International Workshop on Implementation of Functional Languages on Parallel Architectures, IFL }}}
@string{ISCRAM = {{ International Conference on Information Systems for Crisis Response and Management, ISCRAM }}}
@string{ISS = {{ International Switching Symposium, ISS }}}
@string{ISSRE = {{ International Symposium on Software Reliability Engineering, ISSRE }}}
@string{ISSTA = {{ International Symposium on Software Testing and Analysis, ISSTA }}}
@string{IWPSE = {{ International Workshop on Software Evolution, IWPSE }}}
@string{IWTCS = {{ International Workshop on Testing of Communicating Systems, IWTCS }}}
@string{LDTA = {{ Workshop on Language Descriptions, Tools and Applications, LDTA }}}
@string{LFP = {{ Conference on Lisp and Functional Programming, LFP }}}
@string{MaCS = {{ Conference on Mathematics and Computer Science, MaCS }}}
@string{MDSE = {{ European Conference on Model-Driven Software Engineering, MDSE }}}
@string{MFCS = {{ International Symposium on Mathematical Foundations of Computer Science, MFCS }}}
@string{MFPS = {{ International Conference on the Mathematical Foundations of Programming Semantics, MFPS }}}
@string{MMOSS = {{ Methods for Modelling Software Systems, MMOSS }}}
@string{MoDELS = {{ International Conference on Model Driven Engineering Languages and Systems, MoDELS }}}
@string{MPC = {{ International Conference on Mathematics of Program Construction, MPC }}}
@string{OOPSLA = {{ International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA }}}
@string{ORM = {{ International Workshop on Object-Role Modeling, ORM }}}
@string{OTM = {{ OnTheMove - Federated Conferences and Workshops, OTM }}}
@string{PADL = {{ International Symposium on the Practical Aspects of Declarative Programming, PADL }}}
@string{PAM = {{ Workshop on Principles of Abstract Machines, PAM }}}
@string{PARLE = {{ Parallel Architectures and Languages Europe, PARLE }}}
@string{PEPM = {{ Workshop on Partial Evaluation and Program Manipulation, PEPM }}}
@string{PIFL = {{ International Workshop on the Parallel Implementation of Functional Languages, PIFL }}}
@string{PLDI = {{ International Conference on Programming Language Design and Implementation, PLDI }}}
@string{PLILP = {{ International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP }}}
@string{POPL = {{ International Symposium on Principles of Programming Languages, POPL }}}
@string{PPDP = {{ International Conference on Principles and Practice of Declarative Programming, PPDP }}}
@string{QWE = {{ International Conference on Software and Internet Quality Week Europe, QWE }}}
@string{SEA = {{ International Conference on Software Engineering and Applications, SEA }}}
@string{SEC = {{ International Information Security Conference, SEC }}}
@string{SERP = {{ International Conference on Software Research and Practice, SERP }}}
@string{SFM-RT = {{ International School on Formal Methods for the Design of Computer, Communication, and Software Systems: Real Time, SFM-RT }}}
@string{SIAFL = {{ International Symposium on the Implementation and Application of Functional Languages, IFL }}}
@string{TACAS = {{ International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS }}}
@string{TFP = {{ Symposium on Trends in Functional Programming, TFP }}}
@string{UNIF = {{ International Workshop on Unification, UNIF }}}
@string{WCGP = {{ Working Conference on Generic Programming, WCGP }}}
@string{WES = {{ Workshop on Embedded Systems, WES }}}
@string{WFLP = {{ International Workshop on Functional and Constraint Logic Programming, WFLP }}}
@string{WFMS = {{ Workshop on Workflow Management Systems and Interoperability, WFMS }}}
@string{WGP = {{ Workshop on Generic Programming, WGP }}}
@string{WGT = {{ Workshop on Generative Technologies, WGT }}}
@string{WIAFL = {{ International Workshop on the Implementation and Application of Functional Languages, IFL }}}
@string{WIFL = {{ International Workshop on the Implementation of Functional Languages, IFL }}}
@string{WISES = {{ Workshop on Intelligent Solutions in Embedded Systems, WISES }}}
@string{WML = {{ Workshop on ML and its Applications, WML }}}
@string{WSE = {{ International Workshop on Web Site Evolution, WSE }}}
@string{WS-MATE = {{ International Workshop on Web Services - Modeling and Testing, WSMATE }}}
%% Transaction definitions
@string{TOIT = {{ ACM Transactions on Internet Technology, TOIT }}}
@string{TOPLS = {{ ACM Transactions on Programming Languages and System, TOPLS }}}
%% Journal definitions
@string{DKE = {{ Data and Knowledge Engineering }}}
@string{JFP = {{ Journal of Functional Programming}}}
@string{LNCS = {{Lecture Notes in Computer Science}}}
@string{STTT = {{ Software Tools for Technology Transfer, STTT }}}
@string{TCS = {{ Theoretical Computer Science, TCS }}}
%% Institute definitions
@string{ICIS = {{ Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands }}}
@string{KUN = {{ University of Nijmegen }}}
@string{RUN = {{ Radboud University Nijmegen }}}
@string{UN = {{ University of Nijmegen }}}
