DIMACS Workshop Proceedings

Proceedings for DIMACS Workshops and Conferences:

1989   1990   1991   1992   1993   1994   1995   1996   1997   1998   1999   2000   2001   2002   2003

1989

Polyhedral Combinatorics, June 12 - 16, 1989
Available through AMS (Volume 1 in the DIMACS Series):
Ordering information, preface and table of contents
Distributed Computing and Cryptography, October 4 - 6, 1989
Available through AMS (Volume 2 in the DIMACS Series):
Ordering information, preface and table of contents
Reliability of Computer and Communication Networks, December 2 - 4, 1989
Available through AMS (Volume 5 in the DIMACS Series):
Ordering information, preface and table of contents

1990

Computer-Aided Verification, June 16 - 21, 1990
Available through AMS (Volume 3 in the DIMACS Series):
Ordering information, preface and table of contents
Advances in Computational Complexity Theory, December 3 - 7, 1990
Available through AMS (Volume 13 in the DIMACS Series):
Ordering information, preface and table of contents

1991

On-Line Algorithms, February 11 - 13, 1991
Available through AMS (Volume 7 in the DIMACS Series):
Ordering information, preface and table of contents
Groups and Computation, October 7 - 10, 1991
Available through AMS (Volume 11 in the DIMACS Series):
Ordering information, preface and table of contents
Network Flows and Matching, The First DIMACS Implementation Challenge, October 14 - 16, 1991
Available through AMS (Volume 12 in the DIMACS Series):
Ordering information, preface and table of contents
Planar Graphs, November 18 -21, 1991
Available through AMS (Volume 9 in the DIMACS Series)
Ordering information, preface and table of contents

1992

Computational Support for Discrete Mathematics, March 12 - 14, 1992
Available through AMS (Volume 15 in the DIMACS Series):
Ordering information, preface and table of contents
Human Language/Language Computations, March 20 - 22, 1992
Available through AMS (Volume 17 in the DIMACS Series):
Ordering information, preface and table of contents
Expanding Graphs, May 11 - 14, 1992
Available through AMS (Volume 10 in the DIMACS Series):
Ordering information, preface and table of contents
Discrete Mathematics in the Schools, October 2 - 4, 1992
Available through AMS (Volume 36 in the DIMACS Series): Ordering information
Ordering information, preface and table of contents
Coding and Quantization, October 19 - 21, 1992
Available through AMS (Volume 14 in the DIMACS Series):
Ordering information, preface and table of contents

1993

Partitioning Data Sets April 19 - 21, 1993
Available through AMS (Volume 19 in the DIMACS Series):
Ordering information, preface and table of contents
Quadratic Assignment and Related Problems, May 20 - 21, 1993
Available through AMS (Volume 16 in the DIMACS Series):
Ordering information, preface and table of contents
Cliques, Coloring, and Satisfiability: the Second DIMACS Implementation Challenge, October 11 - 13, 1993
Available through AMS (Volume 26 in the DIMACS Series):
Ordering information, preface and table of contents

1994

Geometric and Computational Perspectives on Infinite Groups - Proceedings of Joint DIMACS/Geometry Center Workshops, January 3 - 14, 1994 and March 17 - 20, 1994
Available through AMS (Volume 25 in the DIMACS Series):
Ordering information, preface and table of contents
Interconnection Networks and Mapping and Scheduling Parallel Computations, February 7 - 9, 1994
Available through AMS (Volume 21 in the DIMACS Series):
Ordering information, preface and table of contents
Parallel Processing of Discrete Optimization Problems, April 28 - 29, 1994
Available through AMS (Volume 22 in the DIMACS Series):
Ordering Information, preface and table of contents
Specification of Parallel Algorithms, May 9 - 11, 1994
Available from AMS (Volume 18 in the DIMACS Series):
Ordering information, preface and table of contents
Formal Power Series and Algebraic Combinatorics, May 23 - 27, 1994
Available from AMS (Volume 24 in the DIMACS Series):
Ordering information, preface and table of contents
DNA Mapping, October 6 - 9, 1994
No proceedings were published for this workshop. Special Issue of Journal of Computational Biology, 1995, vol. 2 #2
Parallel Algorithms: The Third DIMACS Implementation Challenge, October 17 - 19, 1994
Available through AMS (Volume 30 of the DIMACS Series):
Ordering information, preface and table of contents
Mini-workshop on Combinatorial Structures in Molecular Biology, November 4, 1994
No proceedings were published for this workshop.
Sequence Alignment, November 10 - 12, 1994
No proceedings were published for this workshop. Survey paper "Sequence Alignment in Molecular Biology" by Raffaele Giancarlo and Alberto Apostolico to be published through AMS (DIMACS Series) and in the Journal of Computational Biology.
DNA Topology and Structure, December 9, 1994
No proceedings were published for this workshop.

1995

Phylogeny, February 6 - 8, 1995
Abstract
Available in postscript: Tech Report 95-48
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, March 20 - 21, 1995
Available from AMS (Volume 23 in the DIMACS Series):
Ordering information, preface and table of contents
Sequence-Based Methods for Protein Folding, March 24, 1995
No proceedings were published for this workshop.
DNA Based Computers, April 4, 1995
Available through AMS (Volume 27 of the DIMACS Series):
Ordering information, preface and table of contents
HIV Sequence Analysis, May 3 - 5, 1995
No proceedings were published for this workshop.
Groups and Computation II, June 7 - 10, 1995
Available through AMS (Volume 28 in the DIMACS Series)
Ordering information, preface and table of contents
Mini-workshop on Geometrical Methods for Conformational Modeling, August 2 - 3, 1995
No proceedings were published for this workshop.
Mini-workshop on Gene Finding and Gene Prediction, October 14 - 15, 1995
No proceedings were published for this workshop.
Verification and Control of Hybrid Systems, October 22 - 25, 1995
Available through Springer-Verlag (Lecture Notes in Computer Science - Volume 1066): Ordering Information
Logic and Random Structures, November 5 - 7, 1995
Available through AMS (Volume 33 in the DIMACS Series):
Ordering information, preface and table of contents

1996

Descriptive Complexity and Finite Models, January 14 - 17, 1996
Available through AMS (Volume 31 in the DIMACS Series):
Ordering information, preface and table of contents
Combinatorial Number Theory, February 5 - 9, 1996
No proceedings were published for this workshop.
The 2nd Sandia National Laboratories Workshop on Computational Molecular Biology, March 4 - 6, 1996
No proceedings were published for this workshop.
Satisfiability Problem: Theory and Applications, March 11 - 12, 1996
Available from AMS (Volume 35 in the DIMACS Series):
Ordering information, preface and table of contents
Proof Complexity and Feasible Arithmetics, April 21 - 24, 1996
Available through AMS (Volume 39 in the DIMACS Series):
Ordering information, preface and table of contents
Controllers for Manufacturing and Automation: Specification, Synthesis, and Verification Issues, May 13 - 15, 1996
No proceedings were published for this workshop.
Computational Biology as part of the 50th Anniversary for ENIAC (organized in collaboration with DIMACS), May 17 - 19, 1996
No proceedings were published for this workshop.
The 2nd Annual DIMACS Workshop on DNA Based Computers, June 10 - 12, 1996
Available through AMS (Volume 44 in the DIMACS Series):
Ordering information, preface and table of contents
Second Conference for African-Americans in the Mathematical Sciences, June 26 - 29, 1996
Available through AMS (Volume 34 in the DIMACS Series):
Ordering information, preface and table of contents
Partial Order Methods in Verification, July 24 - 26, 1996
Available through AMS (Volume 29 of the DIMACS Series):
Ordering information, preface and table of contents
Teaching Logic and Reasoning in an Illogical World, July 25 - 26, 1996
No proceedings were published for this workshop.
Computation Complexity and Programming Languages, July 25 - 26, 1996
No proceedings were published for this workshop.
Available: Workshop Report
The Second Workshop on the SPIN Verification System, August 5, 1996
Available through AMS (Volume 32 in the DIMACS Series):
Ordering information, preface and table of contents
DIMACS Networks Day, September 27, 1996
No proceedings were published for this workshop.
Trust Management in Networks, September 30 - October 2, 1996
No proceedings were published for this workshop.
Probabilistic Methods in Discrete Mathematics, October 14 - 18, 1996
No proceedings were published for this workshop.
Theory and Hypermedia for Big Science in Musicology: A one day course on Mathematical Music Theory, October 26, 1996
No proceedings were published for this course.
5th DIMACS Implementation Challenge: Priority Queues and Dictionaries, October 28 - 30, 1996
Proceedings for this workshop to be published.
Performance of Real-time Applications on the Internet, November 6 - 8, 1996
No proceedings were published for this workshop.
Mathematical Hierarchies and Biology, November 13 - 15, 1996
Available through AMS (Volume 37 in the DIMACS Series):
Ordering information, preface and table of contents
Network Threats December 2 - 4, 1996
Available through AMS (Volume 38 in the DIMACS Series):
Ordering information, preface and table of contents
Computational and Physical Aspects of Protein Folding and Related Problems, December 17, 1996
No proceedings were published for this workshop.

1997

Session on Mathematical, Statistical, and Algorithmic Problems of Very Large Data Sets:
The American Mathematical Society Meeting, January 8, 1997
No proceedings were published as a result of this meeting.
Architecture and Algorithmic Aspects of Communication Networks, January 26 - 28, 1997
No proceedings were published for this workshop.
Statistical Physics Methods in Discrete Probability, Combinatorics amd Theoretical Computer Science, March 23 - 27, 1997
No proceedings were published for this workshop. Special issue of "Random Structures and Algorithms" to be published.
DIMACS/PMMB/MBBC Workshop on DNA Topology II, April 3 - 4, 1997
Proceedings of this workshop to appear in special section of May 1998 issue of Biophysical Journal.
Economics, Game Theory, and the Internet, April 18 - 19, 1997
No proceedings were published for this workshop.
Network Design: Connectivity and Facilities Location, April 28 - 30, 1997
Available through AMS (Volume 40 in the DIMACS Series):
Ordering information, preface and table of contents
Probabilistic Analysis of Algorithms, May 11 - 14, 1997
No proceedings were published for this workshop.
Combinatorial Optimization and Disordered Materials: Recent Progress and Algorithmic Challenges, May 15 - 17, 1997,
No proceedings were published for this workshop.
The Future of Discrete Mathematics, a joint DIMACS/DIMATIA conference, May 19 - 24, 1997
Available through AMS (Volume 49 in the DIMACS Series):
Ordering information, preface and table of contents
Microsurveys in Discrete Probability, June 2 - 6, 1997
Available through AMS (Volume 41 in the DIMACS Series):
Ordering information, preface and table of contents
Third International Workshop on DNA Computation, June 23 - 25, 1997
Available through AMS (Volume 48 in the DIMACS Series):
Ordering information, preface and table of contents
Network Switching, July 7 - 9, 1997
Available through AMS (Volume 42 in the DIMACS Series)
Ordering information, preface and table of contents
Special Year on Logic and Algorithms - One Year Later, July 23 - 25, 1997
No proceedings were published for this workshop.
Design and Formal Verification of Security Protocols, September 3 - 5, 1997
Available on cd-rom. Send email to the Center Administrator at: center-admin@dimacs.rutgers.edu
Massive Data Sets in Telecommunications, October 13 - 15, 1997
No proceedings were published for this workshop.
End-to-End Network Modelling and Simulations, October 23 - 24, 1997
Web-based proceedings are available.
Networks in Distributed Computing October 27 - 29, 1997
Available through AMS (Volume 45 in the DIMACS Series):
Ordering information, preface and table of contents
Randomization Methods in Algorithm Design, December 12 - 14, 1997
Available through AMS (Volume 43 in the DIMACS Series):
Ordering information, preface and table of contents

1998

Nucleic Acid Selection and Computing, March 15 - 17, 1998
Proceedings for this workshop to be published.
Multichannel Optical Networks: Theory and Practice, March 16 - 19, 1998
Available through AMS (Volume 46 in the DIMACS Series):
Ordering information, preface and table of contents.
Minisymposium on Advances in Phylogenetics Inference Methods, March 20, 1998
No proceedings were published for this symposium.
Discrete Mathematical Chemistry, March 23 - 25, 1998
Available through AMS (Volume 51 in the DIMACS Series):
Ordering information, preface and table of contents.
External Memory Algorithms and Visualization, May 20 - 22, 1998
Available through AMS (Volume 50 in the DIMACS Series):
Ordering information, preface and table of contents.
9th Annual Conference on Combinatorial Pattern Matching, July 20 - 21, 1998
Available through Springer-Verlag (Lecture Notes in Computer Science - Volume 1448): Ordering Information
Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998
Available through AMS (Volume 57 in the DIMACS Series):
Ordering information, preface and table of contents.
Robust Communication Networks: Interconnection and Survivability, November 18 - 20, 1998
Available through AMS (Volume 53 in the DIMACS Series):
Ordering information, preface and table of contents.

1999

Mobile Networks and Computing, March 25-27, 1999
Available through AMS (Volume 52 in the DIMACS Series):
Ordering information, preface and table of contents.
DNA Based Computers V, June 14-15, 1999
Available through AMS (Volume 54 in the DIMACS Series):
Ordering information, preface and table of contents.
Next Generation of Unit Commitment Models, September 27 - 28, 1999
Published by Kluwer Academic Publishers, The Next Generation of Electric Power Unit Commitment Models (International Series in Operations Research & Management Science) edited by Benjamin F. Hobbs (Editor), Michael H. Rothkopf (Editor), Richard O'Neill, ISBN: 0-7923-7334-0. (Published April, 2001)
Codes and Association Schemes, November 9 - 12, 1999
Available through AMS (Volume 56 in the DIMACS Series):
Ordering information, preface and table of contents.
Discrete Mathematical Problems with Medical Applications, December 8-10, 1999
Available through AMS (Volume 55 in the DIMACS Series):
Ordering information, preface and table of contents.

2000

Workshop on Unusual Applications of Number Theory, January 10 - 14, 2000
Available through AMS (Volume 64 in the DIMACS Series):
Ordering information, preface and table of contents.
Workshop and Working Group Meeting on Bioconsensus, October 25 - 26, 2000
Available through AMS (Volume 61 in the DIMACS Series):
Ordering information, preface and table of contents.

2001

Algorithmic & Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, March 12 - 16, 2001
Available through AMS (Volume 60 in the DIMACS Series):
Ordering information, preface and table of contents.
DIMACS/DIMATIA Workshop on Graphs, Morphisms and Statistical Physics, March 19-21, 2001
Available through AMS (Volume 63 in the DIMACS Series):
Ordering information, preface and table of contents.
Workshop/Tutorial: Bioconsensus II, October 2 - 5, 2001
Available through AMS (Volume 61 in the DIMACS Series):
Ordering information, preface and table of contents.
Working Group Meeting: Computer Generated Conjectures from Graph Theoretic and Chemical Databases I, November 12 - 16, 2001
Available through AMS (Volume 69 in the DIMACS Series):
Ordering information, preface and table of contents.

2002

"Multiantenna Channels: Capacity, Coding and Signal Processing"
from the Workshop on Signal Processing for Wireless Transmission, October 7-9, 2002
Available through AMS (Volume 62 in the DIMACS Series):
Ordering information, preface and table of contents.

2003

Workshop on Network Information Theory, March 17-19, 2003
Available through AMS (Volume 66 in the DIMACS Series):
Ordering information, preface and table of contents.
"Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing"
from the Workshop on Computer Aided Design and Manufacturing, October 7-9, 2003
Available through AMS (Volume 67 in the DIMACS Series):
Ordering information, preface and table of contents.
Workshop on Algebraic Coding Theory and Information Theory, December 15 - 18, 2003
Available through AMS (Volume 68 in the DIMACS Series):
Ordering information, preface and table of contents.

DIMACS Home Page

Contacting the Center
Document last modified on December 2, 2005.