HUJI The Hebrew University of Jerusalem

Mathematics and Computer Science Library

Home Services Information Description Classification Serials Electronic resources Tutorials Internet Sites News Contents Web Catalog

construct21 The following information has changed a lot since we substituted our print subscriptions for online subscriptions, through ACM Digital Library and IEEE xplore
Updates will follow

book163 Current Series in Computer Science

Related library pages
Current Series in Mathematics

Current Periodicals in Mathematics      Current Periodicals in Computer Science

Page contents:

Acronym Index
AAAI/IAAI
AAMAS
ASPLOS
CGI
CHI
CoCo/CCC
COLT
CSCW
CVPR
DCC
DIMACS
DSN
EATCS Monographs
EATCS Texts
ECAI
EUROGRAPHICS
FOCS
FTCS
GI
ICCV
ICDCS
ICDE
ICML
ICPP
ICPR
ICS
ICSE
IJCAI
IOPADS
IPDPS
IPPS/SPDP
ISCA
ISMB
ITiCSE
IUI
KR
LICS
LNCS/LNAI
ML
MM
NIPS
OOPSLA
OSDI
PCS
PODC
PODS
POPL
PSB
RECOMB
SC
SCG
SIGCOMM
SIGCSE
SIGGRAPH
SIGIR
SIGMETRICS
SIGMOD
SODA
SOSP
SPAA
STOC
TARK
UAI/AUAI
UIST
VIS
VLDB

Additional acronym list of library selected LNCS conferences + full text access, see: Lecture Notes in Computer Science / Springer-Verlag


Note: Following the takeover of Morgan Kaufmann by Elsevier, the Morgan Kaufmann proceedings we had on a standing order basis have all changed publishers and some are available only online.

Series and Symposia Standing Orders (by title)
For complete lists of each series, please refer to the librarian.

SERIES AND SYMPOSIA TITLES Acronym FULL TEXT PUBLISHER SHELF NO. LIBRARY (print)
National Conference on Artificial Intelligence.
Innovative Applications of Artificial Intelligence Conference (IAAI)
AAAI  /  IAAI Proceedings
AAAI/IAAI AAAI digital library    (Open access) AAAI Press (Distributed by the MIT Press) SYMP. 236 1st-, 1980-
Advances in computers

Elsevier (formerly by Academic Press) COLL. 210 1-, 1960-
NIPS Conference (Neural Information Processing Systems).
Advances in neural information processing systems
NIPS ← Web site (Open access) ; Additional access: NIPS Online (The articles are provided in DjVu format) MIT Press SYMP. 258.1 1-, 1989-
DIMACS series in discrete mathematics and theoretical computer science
Ceased. No further volumes will be published in this series beyond volume 76
DIMACS
AMS SCATTERED 1-, 1990-
International Joint Conference on Artificial Intelligence
Past proceedings (1969-   )
IJCAI ← Web site (Open access) IJCAI ; Formerly distributed by: Morgan Kaufmann, 1983- SYMP. 236 1st-, 1969-
Lecture notes in computer science
(Lecture notes in Artificial Intelligence)
(Library list of selected LNCS conferences)
LNCS/LNAI
Springer-Verlag CS Room - Back Wall V.1-1280 (1973-1997)
+ Selected Vols.
International Conference on Machine Learning.
Machine Learning : proceedings of the International Conference    (TOC / DBLP)
ICML (ML) Full text / ACM Digital Library (previously published by Morgan Kaufmann; AAAI Press) SYMP. 236.2 4th-, 1987-
Monographs in theoretical computer science; An EATCS Series EATCS
Springer-Verlag SCATTERED 1-, 1995-
Principles of knowledge representation and reasoning KR AAAI digital library    (Open access) AAAI Press (previously published by Morgan Kaufmann) SYMP. 236.8 1989-
ACM-SIAM Symposium on Discrete Algorithms.
Proceedings of the ... annual ACM-SIAM Symposium on Discrete Algorithms
SODA Full text / ACM Digital Library    See also preprints: SIAM (Open access) SIAM SYMP. 252.5 1990-2010
Progress in computer science and applied logic PCS
Birkhäuser SCATTERED 1-, 1981-
Texts in theoretical computer science; An EATCS Series EATCS
Springer-Verlag SCATTERED 1-, 1995-
Conference on Theoretical aspects of reasoning about knowledge.
TARK Full text / ACM Digital Library and Theoretical aspects of rationality and knowledge (Open access) TARK (previously published by Morgan Kaufmann) SYMP. 236.8 1st-, 1986-
(biennial)
Workshop on Uncertainty in Artificial Intelligence.
Uncertainty in artificial intelligence
UAI/AUAI Full text (Open access)
UAI '04 / ACM Digital Library
AUAI (previously published by Morgan Kaufmann) SYMP. 236.8 1st-, 1985-
VLDB International Conference on Very Large Data Bases.
Very Large Data Bases: Proceedings of the International Conference on Very Large Data Bases ; VLDB 2004: Toronto, Canada (Full text)
VLDB ← Web site (Open access) ;
Full text / ACM Digital Library → Proceedings (Symposia acronym list)
(previously published by Morgan Kaufmann) SYMP. 243.3 2nd-33rd, 1976-2007
Conferences to be ordered annually
Workshop on Computational Learning Theory.
Proceedings of the ... Annual Conference on Computational Learning Theory    (TOC / DBLP)
COLT Full text (1988-1999) / ACM Digital Library    Open access through DBLP as of 2008 Springer LNCS (previously published by ACM, Morgan Kaufmann) SYMP. 236.2 1st-, 1988-
Pacific Symposium on Biocomputing.
Biocomputing / International Society for Computational Biology.
PSB ← Web site (Open access) World Scientific SYMP. 231.2 2000-
RECOMB: Proceedings of the annual International Conference on Computational molecular biology. Lecture Notes in Bioinformatics (LNBI) / International Society for Computational Biology      Selected papers appear in: Journal of Computational Biology RECOMB Full text / ACM Digital Library until 2004 ;
Selected papers in ← journal site
Springer LNCS (previously published by ACM) SYMP. 231.2 1st, 1997-
Conferences to be ordered biennially
European Conference on Artificial Intelligence    (TOC / DBLP) ECAI
IOS Press (previously published by Wiley) SYMP. 236 1988-
IMA (The Institute of Mathematics and its applications) conference on the Mathematics of surfaces.
The Mathematics of surfaces
2003- Continued in Lecture notes in computer science.


Springer-Verlag SYMP. 232.2 1st-, 1986-
Conferences that appear as special issues of a periodical
Computer graphics forum, issue 3 (full text access).
EUROGRAPHICS Annual conference and exhibition
EUROGRAPHICS ← Journal site Blackwell SYMP. 282 1983-
International Conference on Intelligent Systems for Molecular Biology.
ISMB: Proceedings  /  International Society for Computational Biology.
Published as a special issue of Bioinformatics.
See our Electronic journals in computer science page for links to each conference issue.
ISMB ← Journal site Oxford University Press (previously published by AAAI Press) SYMP. 231.2 1st-8th, 1993-2000 + 9th-10th, 2001-2002 (Bioinformatics special issues)
Selected papers of RECOMB appear in: Journal of Computational Biology    See: Conferences to be ordered annually ↑

up Top of this page

ACM Symposia Standing Orders
ACM e-Store: Conference Proceedings

ACM Digital Library    (http://www.acm.org/dl)
(Online subscription as of 2005)
See: ACM Digital Library (JMC library information) for more details.

More information on ACM conferences (includes acroyms):

ACM SIG Packages
ACM SIG Package SYMPOSIA TITLE (ACM Symposia acronym list: By series) ACRONYM SHELF NO. LIBRARY HAS
SIGACT Package ACM Symposium on Theory of Computing.
Proceedings of the annual ACM Symposium on Theory of Computing
STOC SYMP. 252 1st-, 1969-
International Conference on Computational molecular biology.
RECOMB: Proceedings of the annual International Conference on Computational molecular biology / International Society for Computational Biology
Published by Springer as of 2005
RECOMB SYMP. 231.2 1st-8th, 1997-2004
SIGARCH Package ACM annual symposium on Parallel Algorithms and Architectures.
SPAA : Proceedings of the ... ACM symposium on Parallel Algorithms and Architectures
SPAA SYMP. 251.9 1991-
ACM/IEEE Supercomputing Conference.
Supercomputing [CD-ROM] (IEEE Computer Society Press)
Online access through IEEE Xplore (Online subscription as of 2005)
SC SYMP. 262.15 1991-1994 ;
1995- (CD-ROM)
International Conference on Supercomputing.
Supercomputing
ICS SYMP. 262.15 1st, 1987-
[star] ; 8th-, 1994-
SIGCHI Package Conference on Human Factors in Computing Systems.
CHI Conference proceedings
CHI SYMP. 239.1 1988-
International Conference on Intelligent User Interfaces IUI Symp. 239.1 2003-
SIGGRAPH Package ACM International Conference on Multimedia.
ACM Multimedia proceedings: proceedings of the annual International Conferences on Multimedia, Sponsored by ACM Special Interest Groups
MM SYMP. 239.1 1st-, 1993-
SIGGRAPH (Conference).
Computer Graphics Proceedings, Annual Conference Series
Ceased. Starting in 2003, included in "ACM Transactions on Graphics" (TOG)
SIGGRAPH SYMP. 282 1993-2001
SIGGRAPH (Conference).
Electronic Art and Animation Catalog
SIGGRAPH SYMP. 234.1 1998-
Proceedings / Graphics Interface = Comptes Rendus / Interface Graphique (Canadian Information Processing Society)      Full text in ACM Digital Library
Apparently print no longer distributed by ACM as of 2003.
GI SYMP. 282 1985-
ACM Symposium on User Interface Software and Technology.
Proceedings of the ACM Symposium on User Interface Software and Technology
UIST SYMP. 239.1 2nd-, 1989-
Symposium on Computational Geometry.
Proceedings of the ... annual ACM Symposium on Computational Geometry
SCG SYMP. 282.3 1st-, 1985-
SIGGROUP Package Conference on Computer-Supported Cooperative Work.
CSCW - Conference on Computer-Supported Cooperative Work
CSCW SYMP. 239.3 3rd-, 1990-
SIGMOD Package ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.
Proceedings of the ... ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
PODS SYMP. 243.3 1st-, 1982-
SIGPLAN Package ACM SIGPLAN-SIGACT Symposium on Principles of programming languages.
Principles of programming languages: Conference Record of the annual ACM symposium... : Papers presented at the symposium
POPL SYMP. 241 1st-, 1973-
SIGSOFT Package International Conference on Software Engineering.
Proceedings / International Conference on Software Engineering: (IEEE Computer Society Press)
Online access through IEEE Xplore (Online subscription as of 2005)
ICSE SYMP. 240 3rd-, 1978-

ACM annual conferences
SYMPOSIA TITLE (ACM Symposia acronym list: By series) ACRONYM SHELF NO. LIBRARY (print)
International Joint Conference on Autonomous Agents and Multiagent Systems.
Autonomous agents and multiagent systems
(Apparently not included in any ACM SIG Package ; may transfer publisher)
Access through ACM Digital Library.    2004 Online access through IEEE Xplore (online subscription as of 2005)
AAMAS SYMP. 236 2003-
(2002 OP)
ACM Symposium on Principles of Distributed Computing.
Proceedings of the ... Annual ACM Symposium on Principles of Distributed Computing
(Apparently not included in any ACM SIG Package)
PODC SYMP. 243.9 1982-
Workshop on I/O in Parallel and Distributed Systems.
Proceedings of the IOPADS, ... Workshop on I/O in Parallel and Distributed Systems: Part of the federated computing research conference
(Apparently not included in any ACM SIG Package)
IOPADS SYMP. 243.8 4th-, 1996-
ACM-SIGMOD International Conference on Management of Data.
Proceedings / ACM-SIGMOD International Conference on Management of Data: Proceedings of the annual International Conference
Until 2001 was special issues of SIGMOD Record
SIGMOD SYMP. 243.3 1983-

ACM conferences that appear as special issues of an ACM SIG publication
(classified and shelved with the monographs)
ACM SIG SYMPOSIA TITLE (ACM Symposia acronym list: By series) ACRONYM SHELF NO. LIBRARY HAS
Computer Architecture News International Conference on Architectural Support for Programming Languages and Operating Systems.
Architectural Support for Programming Languages and Operating Systems
ASPLOS SYMP. 262.3 3rd-11th, 1989-2004
International Symposium on Computer Architecture.
Computer Architecture: Proceedings of the annual symposia, Sponsored by ACM SIGARCH
Online access through IEEE Xplore (Online subscription as of 2005)
ISCA SYMP. 262.3 1973-2003
Computer Communication Review ACM SIGCOMM Conference SIGCOMM SYMP. 262.36 1990-
Operating Systems Review ACM Symposium on Operating Systems Principles.
Operating Systems Principles: Proceedings
SOSP SYMP. 243.5 4th-, 1973-
USENIX Symposium on Operating Systems Design and Implementation.
Proceedings of the ... Symposium on Operating Systems Design and Implementation
OSDI SYMP. 243.51 1st-, 1994-
Performance Evaluation Review International Conference on Measurement and Modeling of Computer Systems.
Proceedings ACM SIGMETRICS.
SIGMETRICS Shelved with the journal 1981-
SIGCSE Bulletin ACM SIGCSE Technical Symposium on Computer Science Education.
SIGCSE Technical Symposium on Computer Education: Proceedings of the annual SIGCSE Technical Symposia on Computer Science Education, Sponsored by the ACM SIGCSE
SIGCSE SYMP. 215 1st-, 1970-
SIGCSE/SIGCUE conference on innovation and technology in computer science education. ITiCSE SYMP. 215 1998-
SIGIR Forum International ACM SIGIR Conference.
Research and development in information retrieval
SIGIR SYMP. 237 5th-, 1982-
SIGPLAN Notices OOPSLA (Conference)
Conference proceedings / OOPSLA, Object-oriented Programming Systems, Languages, and Applications.
OOPSLA Shelved with the journal 1996-

up Top of this page

IEEE (Institute of Electrical and Electronics Engineers, Inc.)

Search IEEE
For online access click here

IEEE Xplore provides full-text access to IEEE transactions, journals, magazines and conference proceedings published since 1988 plus select content back to 1950, and all current IEEE Standards.

More information on the library's online subscription to IEEE Xplore (including library selected conference proceedings list): IEEE (Institute of Electrical and Electronics Engineers, Inc.)

IEEE Symposia Standing Orders - SSP Plan (print cancelled 2005)
SYMPOSIA TITLE IEEE CODE ACRONYM SHELF NO. LIBRARY HAS
International Conference on Data Engineering.
Data engineering
1150 ICDE SYMP. 243.3 2nd-, 1986-
International Symposium on Fault-Tolerant Computing.
Digest of papers / The ... annual International Symposium on Fault- Tolerant Computing: Proceedings of the annual International Symposia Sponsored by the IEEE Computer Technical Committee on Fault- Tolerant Computing
(Continued by: International Conference on Dependable Systems and Networks)

FTCS SYMP. 262.39 [star] 20th-29th, 1990-1999
International Conference on Computer Vision 1195 ICCV SYMP. 236.32 1st-, 1987-
International Conference on Dependable Systems and Networks
(Formerly FTCS)
1110 DSN SYMP. 262.39 2000-
International Conference on Pattern Recognition 1113 ICPR SYMP. 236.3 1st-, 1973-
[star]
IEEE Symposium on Foundations of computer science.
Proceedings / Annual Symposium on Foundations of computer science
1116 FOCS SYMP. 252 16th-, 1975-
Computer Graphics International.
Proceedings : Computer Graphics International
(to be ordered annually)

CGI SYMP. 282 1993-2001
IEEE Computer Society Conference on Computer Vision and Pattern Recognition.
Proceedings / CVPR, IEEE Computer Society Conference on Computer Vision and Pattern Recognition
1130 CVPR SYMP. 236.3 1985-
Data Compression Conference.
Proceedings / DCC ... Data Compression Conference
1171 DCC SYMP. 256
IEEE Conference on Computational Complexity.
Proceedings / IEEE Conference on Computational Complexity
(Formerly: Structure in complexity theory, 1986-1995)
1163 CoCo/CCC SYMP. 252.5 11th-, 1996-
International Conference on Parallel Processing.
Proceedings of the International Conference on Parallel Processing
1112 ICPP SYMP. 243.8 1st-, 1976-
Symposium on Logic in Computer Science.
Proceedings / Symposium on Logic in Computer Science
1161 LICS SYMP. 252 1st-, 1986-
International Conference on Distributed Computing Systems.
Proceedings / The ... International Conference on Distributed Computing Systems
1124 ICDCS SYMP. 243.9 1979-
International Parallel and Distributed Processing Symposium.
Proceedings / The ... International Parallel and Distributed Processing Symposium
(Formerly: International Parallel Processing Symposium)
1162 IPDPS SYMP. 243.8 2000-
International Parallel Processing Symposium.
Proceedings / The ... International Parallel Processing Symposium:
Proceedings of the IPPS International Parallel Processing Symposium
(Continued by: International Parallel and Distributed Processing Symposium)

IPPS/SPDP SYMP. 243.8 5th-14th, 1991-1999
IEEE Conference on Visualization.
Visualization Proceedings: Proceedings of the annual IEEE Conferences on Visualization
(to be ordered annually)
1158 VIS SYMP. 282.2 1st-, 1990-

Publishers of computer science books & series    (also includes additional series to those the library subscribes to):

Note: Most of the following lists are from the publisher's online catalog and include only those books currently available for purchase.

up Top of this page


| Einstein Institute of Mathematics | School of Engineering & Computer Science | Harman Science Library |

Comments to:
Naavah Levin, email: library at math.huji.ac.il
Mathematics and Computer Science Library
The Hebrew University of Jerusalem

Last updated: Feb. 4th, 2015