@COMMENT{ $Id: conferences.bib,v 1.6 2004/08/26 12:00:12 kiniry Exp $ }
@COMMENT{ Copyright (C) Joseph R. Kiniry 1996-2004 }

@COMMENT{
@Proceedings{AAACRO,
  editor =       {  },
  title =        {  },
  booktitle =    {  },
  year =         {},
  confaddress =  {  },
  confmonth =    {  },
  publisher =    {  },
  series =       {  },
  volume =       {  },
  organization = {  },
  url =          {  },
  deadlines =    {  },
  planned =      no
}

}

@COMMENT{ Review - Print out and review articles from TDCS (ICSE-99 }
@COMMENT{ Review - that have been inserted in bibliography. }
@COMMENT{ Review - ROSATEA position papers http://www.ics.uci.edu/~djr/rosatea/attendees.html }
@COMMENT{ Review - ETAPS main and satellite events. }

@COMMENT{ Looking for: ALIFE-01/02, UML-01, SIGCSE-02, CTCS5 }

@COMMENT{ SIGACT - http://sigact.acm.org/ }
@COMMENT{ SIGCAS - http://www.acm.org/sigcas/ }
@COMMENT{ SIGCSE - http://www.acm.org/sigcse/ }
@COMMENT{ SIGPLAN - http://www.acm.org/sigplan/ }
@COMMENT{ SIGSOFT - http://www.acm.org/sigsoft/ }
@COMMENT{ SIGWEB - http://www.acm.org/sigweb/ }

@COMMENT{ http://campus.acm.org/calendar/ }

@COMMENT{ Review - Still need to review in detail http://www.afm.sbu.ac.uk/meetings/ }

@Proceedings{AAAI-02,
  title =        { Logic-Based Program Synthesis: State-of-the-Art and
                  Future Trends },
  year =         2002,
  confaddress =  { Stanford, CA },
  confmonth =    { March 25--27, 2002 },
  organization = {},
  url =          {
                  http://www.aaai.org/Symposia/Spring/2002/sss-02.html
                  },
  deadlines =    { Oct 5, 2001 },
  planned =      yes
}

@proceedings{AAAI04,
  editor    = {Deborah L. McGuinness and
               George Ferguson},
  title     = {Proceedings of the Nineteenth National Conference on Artificial
               Intelligence, Sixteenth Conference on Innovative Applications
               of Artificial Intelligence, July 25-29, 2004, San Jose,
               California, USA},
  publisher = {AAAI Press / The MIT Press},
  year      = {2004},
  isbn      = {0-262-51183-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{AGENTS4-00,
  title =        { Fourth International Conference on Autonomous
                  Agents },
  year =         2000,
  confaddress =  { Barcelona, Spain },
  month =        jun,
  organization = { ACM SIGART, SIGCHI, SIGGRAPH }
}

@Proceedings{AGENTS5-01,
  title =        { The Fifth International Conference on Autonomous
                  Agents },
  year =         2001,
  confaddress =  { Montreal, Quebec },
  confmonth =    { May 28--Jun 01 },
  organization = {},
  url =          { http://www.csc.liv.ac.uk/~agents2001/ },
  deadlines =    { title pages - Oct-9-00, papers Oct-16-00 }
}

@Proceedings{AICCSA-01,
  title =        { The 2001 ACS International Conference on Computer
                  Systems and Applications },
  year =         2001,
  confaddress =  { Beirut, Lebanon },
  confmonth =    { Jun 26--29 },
  organization = { IEEE-CS IRTS, IEEE-CS SEDE, ACS, ACM SIGART SIGPLAN
                  SIGSOFT },
  url =          {
                  http://www.lau.edu.lb/news-events/conferences/aiccsa2001.html
                  },
  deadlines =    { papers - Dec-10-00 }
}

@Proceedings{ALIFE7-00,
  title =        { The Seventh International Conference on the
                  Simulation and Synthesis of Living Systems },
  year =         2000,
  confaddress =  { Portland, OR },
  confmonth =    { Aug 1--6 },
  organization = { Reed, Intel, OHSU, ISEPP, United },
  url =          { http://alife7.alife.org/ },
  deadlines =    {}
}

@Proceedings{AMAST4-95,
  title =        { Fourth International Conference on Algebraic
                  Methodology and Software Technology },
  year =         1995,
  confaddress =  { Montreal, Canada },
  month =        jul,
  editor =       { Alagar, {V. S.} and Nivat, M. },
  pages =        591,
  series =       lncs,
  volume =       936,
  publisher =    pub-sv,
  summary =      { This volume constitutes the proceedings of the 4th
                  International Conference on Algebraic Methodology
                  and Software Technology, held in Montreal, Canada in
                  July 1995. It includes full papers or extended
                  abstracts of the invited talks, refereed selected
                  contributions, and research prototype tools. The
                  invited speakers are David Gries, Jeanette Wing, Dan
                  Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt,
                  Joseph A. Goguen, and Rohit Parikh. The 29 refereed
                  papers presented were selected from some 100
                  submissions; they are organized in sections on
                  algebraic and logical foundations, concurrent and
                  reactive systems, software technology, logic
                  programming and databases. },
  keywords =     { algebraic foundations, logical foundations, formal
                  methods, category theory, real-time systems }
}

@Proceedings{AMAST8-00,
  title =        { Eighth International Conference on Algebraic
                  Methodology and Software Technology },
  year =         2000,
  confaddress =  { Iowa City, Iowa },
  month =        may,
  editor =       { Rus, T. },
  pages =        545,
  series =       lncs,
  volume =       1816,
  publisher =    pub-sv,
  summary =      { This book constitutes the refereed proceedings of
                  the Eighth International Conference on Algebraic
                  Methodology and Software Technology, AMAST 2000,
                  held in Iowa City, Iowa, USA, in May 2000. The 20
                  revised full papers presented together with eight
                  invited contributions were carefully reviewed and
                  selected from a total of 53 submissions. Among the
                  topics covered are all current issues in formal
                  methods related to algebraic approaches including
                  abstract data types, abstract state machines,
                  algebraic state machines, algebraic compilers, state
                  charts, process algebras, etc. The algebraic methods
                  are applied to reactive systems, safety-critical
                  systems, concurrency, Java, UML, etc. },
  keywords =     { formal methods, algebraic methods, abstract state
                  machines, algebraic state machines, software design,
                  software development, mathematical software
                  construction, program semantics, process algebras }
}


@Proceedings{ANIMAT6-00,
  title =        { From Animals to Animats Six, Proceedings of the
                  Sixth International Conference on Simulation of
                  Adaptive Behavior },
  year =         2000,
  confaddress =  {},
  month =        {},
  organization = {},
  url =          {},
  deadlines =    {}
}

@Proceedings{AOTW-99,
  title =        { Applied Object Technology Workshop },
  year =         1999,
  confaddress =  { San Diego, CA },
  month =        jun,
  organization = { ACM SIGPLAN }
}

@Proceedings{ASB-02,
  title =        { Artificial Intelligence and the Simulation of
                  Behavior },
  year =         2002,
  confaddress =  { Imperial College, UK },
  confmonth =    { 3--5 April 2002 },
  organization = {SSAISB},
  url =          { http://comma.doc.ic.ac.uk/aisb2002/ },
  deadlines =    { 21 December 2001 },
  planned =      no
}

@Proceedings{ASPL08,
  title =        { First Workshop on Analyses of Software Product
                  Lines ({ASPL~'08})},
  year =         { 2008 },
  booktitle =    { First Workshop on Analyses of Software Product
                  Lines ({ASPL~'08})},
  note =         { Available at \url{http://www.isa.us.es/aspl08} },
  key =          {ASPL08}
}

@Proceedings{Annie02,
  editor =       {  },
  title =        { Proceedings of the Smart Engineering System Design
                  Conference: Neural Networks, Fuzzy Logic,
                  Evolutionary Programming, Complex Systems, and
                  Artificial Life },
  booktitle =    { Proceedings of the Smart Engineering System Design
                  Conference: Neural Networks, Fuzzy Logic,
                  Evolutionary Programming, Complex Systems, and
                  Artificial Life },
  year =         2002,
  confaddress =  { St. Louis, MO },
  confmonth =    { 10--13 November 2002 },
  publisher =    { ASME Press },
  series =       {  },
  volume =       12,
  organization = {  },
  url =          { http://www.umr.edu/~annie/ },
  deadlines =    { 22 Feb 2002 (abstract), 10 May 2002 (papers) },
  planned =      no
}

@Proceedings{CATS-02,
  title =        { Computing: The Australasian Theory Symposium },
  year =         2002,
  confaddress =  { Melbourne, Australia },
  confmonth =    { 28 January--1 February 2002 },
  organization = { ustralasian Computer Science Week },
  url =          { http://www.cs.rmit.edu.au/cats02/ },
  deadlines =    { 3 August 2001 },
  planned =      no
}

@Proceedings{CC-01,
  title =        { International Conference on Compiler Construction },
  year =         2001,
  confaddress =  { Genova, Italy },
  confmonth =    { Apr 2--6 },
  organization = { DISI, EATCS, EAPLS, EASST },
  partof =       { ETAPS4-01 },
  url =          { http://www.disi.unige.it/etaps2001/CC/index.html }
}

@Proceedings{CKEC-91,
  title =        { Contemporary Knowledge Engineering and Cognition },
  year =         1991,
  confaddress =  { Kaiserslautern, Germany },
  month =        feb,
  organization = {},
  url =          {},
  deadlines =    {},
  key =          { CKEC-91 }
}

@Proceedings{CNDSMS-99,
  title =        { Communication Networks and Distributed Systems
                  Modeling and Simulation },
  year =         1999,
  editor =       { Lionel Ni and Taieb F. Znati },
  confaddress =  { San Francisco, CA },
  month =        jan,
  url =          { http://www.scs.org/ }
}

@Proceedings{COOTS1-95,
  title =        { First USENIX Conference on Object-Oriented
                  Technologies and Systems },
  year =         1995,
  confaddress =  { Monterey, CA },
  month =        jun,
  publisher =    pub-usenix,
  url =          {
                  http://www.usenix.org/publications/library/proceedings/coots95/index.html
                  }
}

@Proceedings{COOTS2-96,
  title =        { Second USENIX Conference on Object-Oriented
                  Technologies and Systems },
  year =         1996,
  confaddress =  { Toronto, Ontario, Canada },
  month =        jun,
  publisher =    pub-usenix,
  url =          {
                  http://www.usenix.org/publications/library/proceedings/coots96/
                  }
}

@Proceedings{COOTS3-97,
  title =        { Third USENIX Conference on Object-Oriented
                  Technologies and Systems },
  year =         1997,
  confaddress =  { Portland, OR },
  month =        jun,
  publisher =    pub-usenix,
  url =          {
                  http://www.usenix.org/publications/library/proceedings/coots97/
                  }
}

@Proceedings{COOTS4-98,
  title =        { Fourth USENIX Conference on Object-Oriented
                  Technologies and Systems },
  year =         1998,
  confaddress =  { Santa Fe, NM },
  month =        apr,
  publisher =    pub-usenix,
  url =          {
                  http://www.usenix.org/publications/library/proceedings/coots98/
                  }
}

@Proceedings{COOTS5-99,
  title =        { Fifth USENIX Conference on Object-Oriented
                  Technologies and Systems },
  year =         1999,
  confaddress =  { San Diego, CA },
  month =        may,
  publisher =    pub-usenix,
  url =          {
                  http://www.usenix.org/publications/library/proceedings/coots99/
                  }
}

@Proceedings{CSL8-94,
  title =        { Eighth Workshop on Computer Science Logic },
  year =         1994,
  confaddress =  { Kazimierz, Poland },
  month =        sep,
  editor =       { Pacholski, L. and Tiuryn, J. },
  pages =        543,
  series =       lncs,
  volume =       933,
  publisher =    pub-sv,
  summary =      { This volume contains revised refereed versions of
                  the best papers presented during the CSL '94
                  conference, held in Kazimierz, Poland in September
                  1994; CSL '94 is the eighth event in the series of
                  workshops held for the third time as the Annual
                  Conference of the European Association for Computer
                  Science Logic. The 38 papers presented were selected
                  from a total of 151 submissions. All important
                  aspects of the methods of mathematical logic in
                  computer science are addressed: lambda calculus,
                  proof theory, finite model theory, logic
                  programming, semantics, category theory, and other
                  logical systems. Together, these papers give a
                  representative snapshot of the area of logical
                  foundations of computer science. },
  keywords =     { lambda calculus, proof theory, logic programming,
                  category theory, program semantics }
}

@Proceedings{CTCS1-85,
  title =        { Category Theory and Computer Programming: Tutorial
                  And Workshop },
  booktitle =    { Proceedings of the Category Theory and Computer
                  Programming: Tutorial And Workshop },
  year =         1985,
  confaddress =  { Guildford, UK },
  month =        { 16--20 September 1985 },
  editor =       { David Pitt et al },
  pages =        519,
  series =       lncs,
  volume =       240,
  publisher =    pub-sv,
  purchase =     yes
}

@Proceedings{CTCS2-87,
  title =        { Second Biennial Summer Conference on Category
                  Theory and Computer Science },
  booktitle =    { Proceedings of the Second Biennial Summer
                  Conference on Category Theory and Computer Science },
  year =         1987,
  confaddress =  { Edinburgh, UK },
  confmonth =    { 7--9 September 1987 },
  editor =       " {D. H.} Pitt and A. Poign{\'{e}} and {D. E.}
                  Rydeheard ",
  pages =        300,
  series =       lncs,
  volume =       283,
  publisher =    pub-sv,
  purchase =     yes
}

@Proceedings{CTCS3-89,
  title =        { Third Biennial Summer Conference on Category Theory
                  and Computer Science },
  booktitle =    { Proceedings of the Third Biennial Summer Conference
                  on Category Theory and Computer Science },
  year =         1989,
  confaddress =  { Manchester, UK },
  confmonth =    { 5--8 September 1989 },
  editor =       " {D. H.} Pitt {D. E.} Rydeheard and P. Dybjer and
                  {A. M.} Pitts and A. Poign{\'{e}} ",
  pages =        365,
  series =       lncs,
  volume =       389,
  publisher =    pub-sv,
  summary =      {},
  keywords =     {},
  purchase =     yes
}

@Proceedings{CTCS4-91,
  title =        { Fourth Biennial Summer Conference on Category
                  Theory and Computer Science },
  booktitle =    { Proceedings of the Fourth Biennial Summer
                  Conference on Category Theory and Computer Science },
  year =         1991,
  confaddress =  { Paris, France },
  confmonth =    { 3--6 September 1991 },
  editor =       { Pitt, {D. H.} and Curien, {P.-L.} and Abramsky,
                  S. and Pitts, {A. M.} and Poigne, A. and Rydeheard,
                  {D. E.} },
  pages =        301,
  series =       lncs,
  volume =       530,
  publisher =    pub-sv,
  purchase =     yes
}

@Proceedings{CTCS5-93,
  title =        { Fifth Biennial Summer Conference on Category Theory
                  and Computer Science },
  booktitle =    { Proceedings of the Fifth Biennial Summer Conference
                  on Category Theory and Computer Science },
  year =         1993,
  confaddress =  { Amsterdam, The Netherlands },
  month =        sep,
  editor =       {},
  publisher =    {CWI},
  notes =        { published as a CWI technical report(s)? },
  purchase =     yes
}

@Proceedings{CTCS6-95,
  title =        { Sixth International Conference on Category Theory
                  and Computer Science },
  booktitle =    { Proceedigns of the Sixth International Conference
                  on Category Theory and Computer Science },
  year =         1995,
  confaddress =  { Cambridge, United Kingdom },
  confmonth =    { 7--11 August 1995 },
  editor =       { Pitt, D. and Rydeheard, {D. E.} and Johnstone, P. },
  pages =        252,
  series =       lncs,
  volume =       953,
  publisher =    pub-sv,
  summary =      { This book presents the proceedings of the Sixth
                  International Conference on Category Theory and
                  Computer Science, CTCS '95, held in Cambridge, UK in
                  August 1995. The 15 revised full papers included in
                  the volume document the exploitation of links
                  between logic and category theory leading to a solid
                  basis for much of the understanding of the semantics
                  of computation. Notable amongst other advances is
                  the introduction of linear logic and other
                  substructural logics, providing a new approach to
                  proof theory. Further aspects covered are semantics
                  of lambda calculi and type theories, program
                  specification and development, and domain theory. },
  keywords =     { category theory, formal languages, formal logics,
                  program semantics, type theory },
  purchase =     yes
}

@Proceedings{CTCS7-97,
  title =        { Seventh International Conference on Category Theory
                  and Computer Science },
  booktitle =    { Proceedings of the Seventh International Conference
                  on Category Theory and Computer Science },
  year =         1997,
  confaddress =  { Santa Margherita Ligure, Italy },
  confmonth =    { 4--6 September 1997 },
  editor =       { Moggi, E. and Rosolini, G. },
  pages =        313,
  series =       lncs,
  volume =       1290,
  publisher =    pub-sv,
  summary =      { This book constitutes the refereed proceedings of
                  the 7th International Conference on Category Theory
                  and Computer Science, CTCS'97, held in Santa
                  Margheria Ligure, Italy, in September 1997. Category
                  theory attracts interest in the theoretical computer
                  science community because of its ability to
                  establish connections between different areas in
                  computer science and mathematics and to provide a
                  few generic principles for organizing mathematical
                  theories. This book presents a selection of 15
                  revised full papers together with three invited
                  contributions. The topics addressed include
                  reasoning principles for types, rewriting, program
                  semantics, and structuring of logical systems. },
  keywords =     { category theory, type theory, logical systems,
                  domain theory, rewriting systems },
  purchase =     yes
}

@Proceedings{CUU-00,
  title =        { The {ACM} Conference on Universal Usability },
  year =         2000,
  confaddress =  { Arlington, VA },
  confmonth =    { Nov 16--17 },
  organization = { ACM SIGCHI, SIGCAS },
  url =          { http://www.acm.org/sigs/sigchi/cuu/ },
  deadlines =    { papers - May-1-00 }
}

@Proceedings{CafeOBJ-98,
  title =        { {CafeOBJ} Symposium },
  booktitle =    { Proceedings of the {CafeOBJ} Symposium },
  year =         1998,
  confaddress =  { Numazu, Japan },
  month =        apr,
  publisher =    { Japan Advanced Institute for Science and Technology
                  }
}

@Proceedings{DBLP:conf/cade/1996,
  editor    = {Michael A. McRobbie and
               John K. Slaney},
  title     = {Automated Deduction - CADE-13, 13th International Conference
               on Automated Deduction, New Brunswick, NJ, USA, July 30 - August
               3, 1996, Proceedings},
  booktitle = {CADE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1104},
  year      = {1996},
  isbn      = {3-540-61511-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{DL-99,
  title =        { Digital Libraries '99 },
  year =         1999,
  confaddress =  { Berkeley, CA },
  month =        aug,
  organization = { ACM SIGIR, SIGWEB }
}

@Proceedings{DL5-00,
  title =        { Fifth {ACM} Conference on Digital Libraries },
  year =         2000,
  confaddress =  { San Antonio, TX },
  month =        jun,
  organization = { ACM SIGIR, SIGWEB },
  url =          { http://www.dl00.org/ }
}

@Proceedings{DL6-,
  title =        { Sixth {ACM} Conference on Digital Libraries },
  year =         ?,
  confaddress =  { ? },
  month =        ?,
  organization = { ACM SIGIR, SIGWEB },
  url =          { ? }
}

@Proceedings{DOA4-02,
  title =        { International Symposium on Distributed Objects and
                  Applications },
  year =         2002,
  confaddress =  { Irvine, CA },
  confmonth =    { 28 October -- 1 November 2002 },
  organization = { },
  url =          { http://www.cs.rmit.edu.au/fedconf/doa/2002/ },
  deadlines =    { 31 May 2002 },
  planned =      no
}

@Proceedings{DSL2-99,
  title =        { Second Conference on Domain-Specific Languages },
  year =         1999,
  confaddress =  { Austin, TX },
  month =        oct,
  organization = { ACM SIGPLAN, SIGSOFT }
}

@Proceedings{ECAI06,
  title =        { The European Conference on Artificial Intelligence
                  ({ECAI '06}) },
  booktitle =   { Proceedings of the 17th European Conference on Artificial Intelligence ({ECAI '06}) },
  year =         2006
}

@Proceedings{ECOOP-87,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1987,
  confaddress =  { Paris, France },
  month =        jun,
  editor =       " J. B{\`{e}}zivin and J.-M. Hullot and P. Cointe and
                  H. Lieberman ",
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t0276.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       276,
  publisher =    pub-sv
}

@Proceedings{ECOOP-88,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1988,
  confaddress =  { Oslo, Norway },
  month =        aug,
  editor =       { S. Gjessing and K. Nygaard },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t0322.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       322,
  publisher =    pub-sv
}

@Proceedings{ECOOP-91,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1991,
  confaddress =  { Geneva, Switzerland },
  month =        jul,
  editor =       { P. America },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t0512.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       512,
  publisher =    pub-sv
}

@Proceedings{ECOOP-92,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1992,
  confaddress =  { Utrecht, The Netherlands },
  month =        {jun/jul},
  editor =       { O. Lehrmann Madsen },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t0615.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       615,
  publisher =    pub-sv
}

@Proceedings{ECOOP-93,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1993,
  confaddress =  { Kaiserslautern, Germany },
  month =        jul,
  editor =       { {O. M.} Nierstrasz },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t0707.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       707,
  publisher =    pub-sv
}

@Proceedings{ECOOP-94,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1994,
  confaddress =  { Bolgna, Italy },
  month =        jul,
  editor =       { M. Tokoro and R. Pareschi },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t0821.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       821,
  publisher =    pub-sv
}

@Proceedings{ECOOP-95,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1995,
  confaddress =  { Aarhus, Denmark },
  month =        aug,
  editor =       { W. Olthoff },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t0952.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       952,
  publisher =    pub-sv
}

@Proceedings{ECOOP-96,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1996,
  confaddress =  { Linz, Austria },
  month =        jul,
  editor =       { P. Cointe },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1098.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       1098,
  publisher =    pub-sv
}

@Proceedings{ECOOP-97,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1997,
  confaddress =  " Jyv{\"{a}}skyl{\"{a}}, Finland ",
  month =        jun,
  editor =       { M. Aksit and S. Matsuoka },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1241.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       1241,
  publisher =    pub-sv
}

@string{ECOOP2003 = "ECOOP 2003 --- Object-Oriented Programming, 15th European
		Conference"}
@string{ECOOP2003addr = "Darmstadt, Germany"}
@string{ECOOP2003date = jul # "~23--25,"}
@string{ECOOP2004 = "ECOOP 2004 --- Object-Oriented Programming, 18th European
		Conference"}
@string{ECOOP2004addr = "Olso, Norway"}
@string{ECOOP2004date = jun # "~16--18,"}

@Proceedings{ECOOP-97,
  title =        { European Conference on Object-Oriented Programming
                  },
  year =         1997,
  confaddress =  " Jyv{\"{a}}skyl{\"{a}}, Finland ",
  month =        jun,
  editor =       { J. Bosch and S. Mitchell },
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1357.htm
                  },
  deadlines =    {},
  series =       lncs,
  volume =       1357,
  publisher =    pub-sv
}

@Proceedings{EDOC3-99,
  title =        { Third International Enterprise Distributed Object
                  Computing Conference },
  year =         1999,
  confaddress =  { Mannhein, Germany },
  month =        sep,
  organization = { ACM SIGPLAN }
}

@Proceedings{EKAW12-00,
  title =        { Twelfth International Conference on Knowledge
                  Engineering and Knowledge Management },
  year =         2000,
  confaddress =  { Juan-les-Pins, France },
  month =        oct,
  organization = {},
  url =          {},
  deadlines =    {},
  key =          { EKAW12-00 }
}

@Proceedings{ESEC7-99-FSE7-99,
  title =        { The Joint Seventh European Software Engineering
                  Conference and the Seventh SIGSOFT International
                  Symposium on Foundations of Software Engineering },
  year =         1999,
  confaddress =  { Toulouse, France },
  confmonth =    { Sep 6--10 },
  organization = { ACM SIGSOFT },
  url =          { http://iamwww.unibe.ch/~esec99/
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1687.htm
                  },
  deadlines =    { abstracts - Feb-22-99, papers - Mar-1-99 },
  series =       lncs,
  volume =       1687,
  publisher =    pub-sv
}

@Proceedings{ESEC8-01-FSE9-01,
  title =        { The Joint Eighth European Software Engineering
                  Conference and the Ninth SIGSOFT International
                  Symposium on Foundations of Software Engineering },
  year =         2001,
  confaddress =  { Vienna, Austria },
  confmonth =    { Sep 10--14 },
  organization = { ACM SIGSOFT },
  url =          { http://esec.ocg.at/ },
  deadlines =    { papers - Mar-15-01 }
}

@Proceedings{ESOP-01,
  title =        { European Symposium on Programming },
  year =         2001,
  confaddress =  { Genova, Italy },
  confmonth =    { Apr 2--6 },
  organization = { DISI, EATCS, EAPLS, EASST },
  partof =       { ETAPS4-01 },
  url =          { http://www.disi.unige.it/etaps2001/ESOP/index.html
                  }
}

@Proceedings{ETAPS-02,
  title =        { The European Joint Conferences on Theory and
                  Practice of Software },
  year =         2002,
  confaddress =  { Grenoble, France },
  confmonth =    { 6--14 April 2002 },
  organization = { ACM SIGSOFT },
  url =          { http://www-etaps.imag.fr/ },
  deadlines =    { papers 19 Oct 2001, demos 18 Nov 2002 },
  planned =      yes
}

@Proceedings{ETAPS1-98,
  title =        { First European Joint Conferences on Theory and
                  Practice of Software },
  year =         1998,
  confaddress =  { Lisbon, Spain }
}

@Proceedings{ETAPS2-99,
  title =        { Second European Joint Conferences on Theory and
                  Practice of Software },
  year =         1999,
  confaddress =  { Amsterdam },
  month =        mar,
  note =         { Joint conferences: CC, ESOP, TACAS, FASE,
                  FoSSaCS. Satellite events: CMCS, AS, CWI, WAGA,
                  CoFI. }
}

@Proceedings{ETAPS3-00,
  title =        { Third European Joint Conferences on Theory and
                  Practice of Software },
  year =         2000,
  confmonth =    { March--April },
  confaddress =  { Berlin, Germany },
  url =          { http://iks.cs.tu-berlin.de/etaps2000/ }
}

@Proceedings{ETAPS4-01,
  title =        { European Joint Conferences on Theory and Practice
                  of Software },
  year =         2001,
  confaddress =  { Genova, Italy },
  confmonth =    { Apr 2--6 },
  organization = { DISI, EATCS, EAPLS, EASST },
  url =          { http://www.disi.unige.it/etaps2001/ },
  deadlines =    { Oct-20-01 },
  notes =        { constituant conferences: CC-01, ESOP-01, FASE-01,
                  FOCSSACS-01, TACAS-01 }
}

@Proceedings{EhrigEtal88,
  editor =       " H. Ehrig and H. Herrlich and {H.-J.} Kreowski and
                  G. Preu{\ss} ",
  title =        { The International Workshop on
                  Categorical Methods in Computer Science with Aspects
                  from Topology },
  booktitle =    { Proceedings of the International Workshop on
                  Categorical Methods in Computer Science with Aspects
                  from Topology },
  year =         {1988},
  confaddress =  { Berlin, Germany },
  confmonth =    { September 1988 },
  series =       lncs,
  volume =       393,
  publisher =    pub-sv,
  purchase =     yes
}



@Proceedings{FASE-01,
  title =        { Fundamental Approaches to Software Engineering },
  year =         2001,
  confaddress =  { Genova, Italy },
  confmonth =    { Apr 2--6 },
  organization = { DISI, EATCS, EAPLS, EASST },
  xref =         { ETAPS4-01 },
  url =          { http://www.disi.unige.it/etaps2001/FASE/index.html
                  }
}

@Proceedings{FASE08,
  title =        { Fundamental Approaches to Software Engineering },
  year =         { 2008 },
  booktitle =    { Proceeding of Fundamental Approaches to Software
                  Engineering ({FASE}) },
  series =       lncs,
  publisher =    pub-sv
}

@Proceedings{FLOPS5-01,
  title =        { The Fifth International Symposium on Functional and
                  Logic Programming },
  year =         2001,
  confaddress =  { Tokyo, Japan },
  confmonth =    { Mar 7--9 },
  organization = { JSSST, ALP },
  url =          { http://www.ueda.info.waseda.ac.jp/flops2001/ },
  deadlines =    { papers - Sep-29-00 }
}

@Proceedings{FM-99,
  title =        { World Congress on Formal Methods in the Design of
                  Computing Systems },
  year =         1999,
  confaddress =  { Toulouse, France },
  month =        sep,
  organization = { ACM SIGSOFT, AMAST, FME, EATCS }
}

@Proceedings{FMOODS5-02,
  title =        { Fifth IFIP International Conference on Formal
                  Methods for Open Object-based Distributed Systems },
  year =         2002,
  confaddress =  { University of Twente, the Netherlands },
  confmonth =    { March 20--22, 2002 },
  organization = {},
  url =          { http://fmoods.org/ },
  deadlines =    { Sept 19, 2001 },
  planned =      yes
}

@Proceedings{FMSP3-00,
  title =        { Third Workshop on Formal Methods in Software
                  Practice },
  year =         2000,
  confaddress =  { Portland, OR },
  confmonth =    { Aug 22-25 },
  organization = {},
  url =          { http://www1.ics.uci.edu/IRUS/issta/ },
  deadlines =    {}
}

@Proceedings{FOCS42-01,
  title =        { 42nd Annual Symposium on Foundations of Computer
                  Science },
  year =         2001,
  confaddress =  { Las Vegas, NV },
  confmonth =    { Oct 14--17, 2001 },
  organization = {SIGACT},
  url =          { http://theory.stanford.edu/focs2001/ },
  deadlines =    { April 27, 2001 }
}

@Proceedings{FOIKS-00,
  title =        { International Symposium on Foundations of
                  Information and Knowledge Systems },
  year =         2000,
  confaddress =  { Burg (Spreewald), Germany },
  month =        feb,
  organization = {EATCS}
}

@Proceedings{FOOL7-00,
  title =        { The Seventh International Workshop on Foundations
                  of Object-Oriented Langauges },
  year =         2000,
  confaddress =  { Boston, MA },
  month =        jan,
  organization = { ACM SIGPLAN },
  url =          { http://www.cs.williams.edu/~kim/FOOL/FOOL7.html }
}

@Proceedings{FOOL8-01,
  title =        { The Eighth International Workshop on Foundations of
                  Object-Oriented Langauges },
  year =         2001,
  confaddress =  { London },
  confmonth =    { following POPL '01 (Jan 17--19) },
  organization = { ACM SIGPLAN },
  url =          { http://www.cs.williams.edu/~kim/FOOL/FOOL8.html },
  deadlines =    { papers - Oct-4-00 }
}

@Proceedings{FOOL9-02,
  title =        { The Ninth International Workshop on Foundations of
                  Object-Oriented Langauges },
  year =         2002,
  confaddress =  { Portland, OR },
  confmonth =    { Jan 19, 2002 },
  organization = { ACM SIGPLAN },
  url =          { http://www.cs.williams.edu/~kim/FOOL/ },
  deadlines =    { 12 October 2001 },
  planned =      yes
}

@Proceedings{FOSSACS1-98,
  title =        { First International Conference on the Foundations
                  of Software Science and Computation Structures },
  year =         1998,
  confaddress =  { Lisbon, Portugal },
  confmonth =    { March/April },
  organization = { },
  partof =       { ETAPS1-98 },
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1378.htm
                  },
  series =       lncs,
  volume =       1378,
  publisher =    pub-sv
}

@Proceedings{FOSSACS3-00,
  title =        { Third International Conference on the Foundations
                  of Software Science and Computation Structures },
  year =         2000,
  confaddress =  { Berlin, Germany },
  confmonth =    { March/April },
  organization = { },
  partof =       { ETAPS3-00 },
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1784.htm
                  },
  series =       lncs,
  volume =       1784,
  publisher =    pub-sv
}

@Proceedings{FOSSACS4-01,
  title =        { Fourth International Conference on the Foundations
                  of Software Science and Computation Structures },
  year =         2001,
  confaddress =  { Genova, Italy },
  confmonth =    { Apr 2--6 },
  organization = { DISI, EATCS, EAPLS, EASST },
  xref =         { ETAPS4-01 },
  url =          {
                  http://www.disi.unige.it/etaps2001/FoSSaCS/index.html
                  }
}

@Proceedings{FOSSACS5-02,
  title =        { Fifth International Conference on the Foundations
                  of Software Science and Computation Structures },
  year =         2002,
  confaddress =  { Grenoble, France },
  confmonth =    { 6--14 April 2002 },
  organization = { },
  url =          { http://www.brics.dk/fossacs02/ },
  deadlines =    { 24 October 2001 }
}

@Proceedings{FOSTTC17-97,
  title =        { Seventeenth International Conference on the
                  Foundations of Software Technology and Theoretical
                  Computer Science },
  year =         1997,
  confaddress =  { Kharagpur, India },
  confmonth =    { December 18-20, 1997},
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1346.htm
                  },
  deadlines =    {},
  editor =       { S. Ramesh and G. Sivakumar },
  series =       lncs,
  volume =       1346,
  publisher =    pub-sv
}

@Proceedings{FOSTTC19-99,
  title =        { 19th International Conference on the Foundations of
                  Software Technology and Theoretical Computer Science
                  },
  year =         1999,
  confaddress =  { Chennai, India },
  month =        dec,
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1738.htm
                  },
  deadlines =    {},
  editor =       { C. Pandu Rangan and V. Raman and R. Ramanujam },
  series =       lncs,
  volume =       1738,
  publisher =    pub-sv
}

@Proceedings{FOSTTC20-00,
  title =        { 20th International Conference on the Foundations of
                  Software Technology and Theoretical Computer Science
                  },
  year =         2000,
  confaddress =  { New Delhi, India },
  month =        dec,
  organization = {},
  url =          {
                  http://link.springer-ny.com/link/service/series/0558/tocs/t1974.htm
                  },
  deadlines =    {},
  editor =       { S. Kapoor and S. Prasad },
  series =       lncs,
  volume =       1974,
  publisher =    pub-sv
}

@Proceedings{FSE8-00,
  title =        { The Eighth {SIGSOFT} Symposium on Foundations of
                  Software Engineering },
  booktitle =    { The Eighth {SIGSOFT} Symposium on Foundations of
                  Software Engineering },
  year =         2000,
  confaddress =  { San Diego, CA },
  confmonth =    { Nov 6--10 },
  organization = { ACM SIGSOFT, SIGPLAN },
  deadlines =    { papers - Mar-17-00 }
}

@Proceedings{FourmanJohnstonePitts91,
  editor =       { {M. P.} Fourman and {P. T.} Johnstone and {A. M.}
                  Pitts },
  title =        { The London Mathematical Society Symposium on
                  Applications of Categories to Computer Science },
  booktitle =    { Proceedings of the London Mathematical Society
                  Symposium on Applications of Categories to Computer
                  Science },
  year =         1991,
  confaddress =  { Durham, UK },
  confmonth =    { 20--30 July 1991 },
  organization = { London Mathematical Society },
  publisher =    pub-cup,
  volume =       177,
  purchase =     yes
}

@Proceedings{FroCos1-96,
  title =        { First International Workshop on Frontiers of
                  Combining Systems },
  year =         1996,
  confaddress =  { Munich, Germany },
  confmonth =    { 26--29 March 1996 },
  organization = {},
  url =          { http://www.cis.uni-muenchen.de/hot/frocos96.html },
  deadlines =    {}
}

@Proceedings{FroCos2-98,
  title =        { Second International Workshop on Frontiers of
                  Combining Systems },
  year =         1998,
  confaddress =  { Amsterdam, The Netherlands },
  confmonth =    { 2--4 October 1998 },
  organization = {},
  url =          { http://turing.wins.uva.nl/~mdr/FroCoS98/index.html
                  },
  deadlines =    {}
}

@Proceedings{FroCos3-00,
  title =        { Third International Workshop on Frontiers of
                  Combining Systems },
  year =         2000,
  confaddress =  { Nancy, France },
  confmonth =    { 22--24 March 2000 },
  organization = {},
  url =          {
                  http://www.loria.fr/conferences/frocos2000/index.html
                  },
  deadlines =    {}
}

@Proceedings{GCSE1-99,
  title =        { First International Symposium on Generative and
                  Component-Based Software Engineering },
  year =         1999,
  confaddress =  { Erfurt, Germany },
  month =        sep,
  organization = { },
  url =          { http://www-stja.transit-online.de/gcse/ },
  key =          { GCSE1-99 }
}

@Proceedings{HOA2-95,
  title =        { Second International Workshop on Higher-Order
                  Algebra, Logic, and Term Rewriting },
  year =         1995,
  confaddress =  { Paderborn, Germany },
  month =        sep,
  editor =       { Dowek, G. and Heering, J. and Meinke, K. and
                  Möller, B. },
  series =       lncs,
  volume =       1074,
  publisher =    pub-sv,
  summary =      { This book presents a collection of revised refereed
                  papers selected from the presentations accepted for
                  the Second International Workshop on Higher-Order
                  Algebra, Logic, and Term Rewriting, HOA '95, held in
                  Paderborn, Germany, in September 1995. The 14
                  research papers included, together with an invited
                  paper by Jan Willem Klop, report state-of-the-art
                  results; the relevant theoretical aspects are
                  addressed, and in addition existing proof systems
                  and term rewriting systems are discussed. },
  keywords =     { higher-order algebra, higher-order logic,
                  higher-order term rewriting, rewriting systems,
                  graph rewriting }
}

@Proceedings{HOOTS-99,
  title =        { Higher-Order Operational Techniques in Semantics },
  year =         1999,
  confaddress =  { Paris, France },
  month =        sep,
  note =         { Part of PLI-99 },
  organization = { EPLS, INRIA, ACM },
  url =          { http://www.cl.cam.ac.uk/~ap/hoots/ }
}

@Proceedings{HT1-89,
  title =        { First {ACM} Conference on Hypertext },
  year =         { 1989 },
  confaddress =  { },
  month =        { },
  organization = acm,
  publisher =    pub-acm
}

@Proceedings{HT10-99,
  title =        { Tenth {ACM} Conference on Hypertext },
  year =         1999,
  confaddress =  { Darmstadt, Germany },
  month =        feb,
  organization = acm,
  publisher =    pub-acm,
  url =          {
                  http://www.acm.org/pubs/contents/proceedings/hypertext/294469/index.html
                  }
}

@Proceedings{HT11-00,
  title =        { Eleventh {ACM} Conference on Hypertext and
                  Hypermedia },
  year =         2000,
  confaddress =  { San Antonio, TX },
  confmonth =    { May--June },
  organization = { ACM SIGWEB },
  url =          { http://www.ht00.org/ }
}

@Proceedings{HT12-01,
  title =        { The Twelth Conference on Hypertext and Hypermedia },
  year =         2001,
  confaddress =  { Arhus, Denmark },
  confmonth =    { Aug 14--18 },
  organization = { ACM SIGWEB },
  url =          { http://www.ht01.org/ },
  deadlines =    { full papers and proposals - 1/15/01, short papers,
                  posters - 4/20/01 }
}

@Proceedings{HT2-87,
  title =        { Second {ACM} Conference on Hypertext },
  year =         1987,
  confaddress =  { Pittsburg, PA },
  month =        nov,
  organization = acm,
  publisher =    pub-acm
}

@Proceedings{HT3-1991,
  title =        { Third {ACM} Conference on Hypertext },
  year =         1991,
  confaddress =  { San Antonio, TX },
  month =        dec,
  organization = acm,
  publisher =    pub-acm,
  url =          {
                  http://www.acm.org/pubs/contents/proceedings/hypertext/122974/index.html
                  }
}

@Proceedings{HT5-93,
  title =        { Fifth {ACM} Conference on Hypertext },
  year =         1993,
  confaddress =  { Seattle, WA },
  month =        nov,
  organization = acm,
  publisher =    pub-acm,
  url =          {
                  http://www.acm.org/pubs/contents/proceedings/hypertext/168750/index.html
                  }
}

@Proceedings{HT7-96,
  title =        { Seventh {ACM} Conference on Hypertext },
  year =         1996,
  confaddress =  { Washington, DC },
  month =        mar,
  organization = acm,
  publisher =    pub-acm,
  url =          {
                  http://www.acm.org/pubs/contents/proceedings/hypertext/234828/index.html
                  }
}

@Proceedings{HT8-97,
  title =        { Eighth {ACM} Conference on Hypertext },
  year =         1997,
  confaddress =  { Southampton, UK },
  month =        apr,
  organization = acm,
  publisher =    pub-acm,
  url =          {
                  http://www.acm.org/pubs/contents/proceedings/hypertext/267437/index.html
                  }
}

@Proceedings{HT9-98,
  title =        { Ninth {ACM} Conference on Hypertext },
  year =         1998,
  confaddress =  { Pittsburg, PA },
  month =        jun,
  organization = acm,
  publisher =    pub-acm,
  url =          {
                  http://www.acm.org/pubs/contents/proceedings/hypertext/276627/index.html
                  }
}

@Proceedings{ICDT8-01,
  title =        { The Eighth International Conference on Database
                  Theory },
  year =         2001,
  confaddress =  { London, UK },
  confmonth =    { Jan 4--6 },
  organization = { ERCIM, EU },
  url =          { http://www.dcs.bbk.ac.uk/icdt2001/ },
  deadlines =    { papers - Jun-12-00 }
}

@Proceedings{ICECCS5-99,
  title =        { Fifth {IEEE} International Conference on
                  Engineering of Complex Computer Systems },
  year =         1999,
  confaddress =  { Las Vegas, NV },
  month =        oct,
  organization = { IEEE Computer Society },
  url =          {
                  http://www.computer.org/proceedings/iceccs/0434/0434toc.htm
                  }
}

@Proceedings{ICFP-00,
  title =        { The 2000 International Conference on Functional
                  Programming },
  year =         2000,
  confaddress =  { Montreal, Quebec },
  confmonth =    { Sep 18--20 },
  organization = { ACM SIGPLAN },
  url =          { http://diwww.epfl.ch/~odersky/icfp2000/ },
  deadlines =    { papers - Mar-15-00 }
}

@Proceedings{ICFP-01,
  title =        { International Conference on Functional Progamming },
  year =         2001,
  confaddress =  { Florence, Italy },
  confmonth =    { Sep 3--5 },
  organization = { ACM SIGPLAN },
  url =          {
                  http://cf.acm.org/cfdocs/confcal/confpage.cfm?ConfID=2001-1824
                  },
  partof =       { PLI-01 }
}

@Proceedings{ICFP-99,
  title =        { The 1999 International Conference on Functional
                  Programming },
  year =         1999,
  month =        sep,
  organization = { ACM SIGPLAN },
  url =          { http://pauillac.inria.fr/pli/cfp }
}

@Proceedings{ICLP03,
  editor    = { Catuscia Palamidessi },
  title     = {Logic Programming, 19th International Conference, {ICLP} 2003,
               Mumbai, India, December 9-13, 2003, Proceedings},
  booktitle = { {ICLP} },
  publisher = pub-sv,
  series    = lncs,
  volume    = 2916,
  year      = 2003,
  isbn      = {3-540-20642-6},
}

@Proceedings{ICMAR2-99,
  title =        { Second International Conference on Metalevel
                  Architectures and Reflection },
  year =         1999,
  confaddress =  { Saint-Malo, France },
  month =        jul,
  organization = { ACM SIGPLAN }
}

@Proceedings{ICRDIR22-99,
  title =        { 22nd Annual International Conference on Research
                  and Development on Information Retrieval },
  year =         1999,
  confaddress =  { Berkeley, CA },
  month =        aug,
  organization = { ACM SIGIR }
}

@Proceedings{ICRST-99,
  title =        { International Conference on Reliable Software
                  Technologies: Ada-Europe '99 },
  year =         1999,
  confaddress =  { Santander, Spain },
  month =        jun,
  organization = { Ada-Europe, ACM SIGADA }
}

@Proceedings{ICSE22-00,
  title =        { The Twenty-second International Conference on
                  Software Engineering },
  year =         2000,
  confaddress =  { Limerick, Ireland },
  month =        jun,
  organization = { ACM SIGSOFT, Irish Computer Society }
}

@Proceedings{ICSE23-01,
  title =        { The Twenty-third International Conference on
                  Software Engineering },
  year =         2001,
  confaddress =  { Toronto, Ontario },
  confmonth =    { May 12--19 },
  organization = { ACM SIGSOFT },
  url =          { http://www.csr.uvic.ca/icse2001/ },
  deadlines =    { abstracts - Aug-14-00, papers - Aug-28-00 }
}

@Proceedings{ICSE24-02,
  title =        { The 24th International Conference on Software
                  Engineering },
  year =         2002,
  confaddress =  { Orlando, FL (was Buenos Aires, Argentina) },
  confmonth =    { May 19--25 },
  organization = { ACM SIGSOFT },
  url =          { http://www.icse-conferences.org/2002/ },
  deadlines =    { abstracts Sep 10 2001, papers Sep 25,
                  tutorial/workshop Oct 21, poster/demo Dec 15 },
  planned =      yes
}

@Proceedings{ICSR1-91,
  title =        { First International Conference on Software Reuse },
  year =         1991,
  editor =       { },
  month =        jul,
  confaddress =  { Dortmund, Germany },
  publisher =    pub-compsci
}

@Proceedings{ICSR2-93,
  title =        { Proceedings of the Second International Workshop on
                  Software Reusability },
  booktitle =    { Proceedings of the Second International Workshop on
                  Software Reusability },
  year =         1993,
  editor =       { Ruben Prieto-Diaz and William B.~Frakes },
  confaddress =  { Lucca, Italy },
  month =        mar,
  publisher =    pub-compsci,
  url =          { Available via IEEE Xplore -
                  http://ieeexplore.ieee.org/ }
}

@Proceedings{ICSR3-94,
  title =        { Proceedings of the Third International Conference
                  on Software Reuse },
  year =         1994,
  editor =       { William B. Frakes },
  confaddress =  { Rio de Janeiro, Brazil },
  month =        nov,
  publisher =    pub-compsci,
  url =          { Available via IEEE Xplore. }
}

@Proceedings{ICSR4-96,
  key =          {ICSR4-96},
  title =        { Fourth International Conference on Software Reuse },
  booktitle =    { Fourth International Conference on Software Reuse },
  year =         1996,
  editor =       { },
  confaddress =  { Orlando, FL },
  month =        apr,
  publisher =    pub-compsci,
  url =          { Available via IEEE Xplore. }
}

@Article{ICSR4-SitaramanZweben97,
  editor =       { M. Sitaraman and {S. H.} Zweben },
  title =        { Selected papers of the Fourth International
                  Conference on Software Reuse },
  journal =      ieee-tose,
  year =         {1997},
  volume =       23,
  number =       2
}

@Proceedings{ICSR5-98,
  title =        { Fifth International Conference on Software Reuse },
  booktitle =        { Fifth International Conference on Software
                  Reuse },
  year =         1998,
  editor =       { Devanbu, P. and Poulin, J. },
  confaddress =  { Victoria, B. C., Canada },
  month =        jun,
  date =         { June 2--5, 1998 },
  publisher =    pub-compsci,
  url =          {
                  http://www.computer.org/conferen/proceed/icsr/8377/8377toc.htm
                  },
  url =          { Available via IEEE Xplore. }
}

@Article{ICSR5-DevanbuPerryPoulin00,
  editor =       { Premkuman T. Devanbu and Dewayne E. Perry and
                  Jeffrey S. Poulin },
  title =        { Fifth International Conference on Software Reuse },
  journal =      ieee-tose,
  year =         2000,
  volume =       26,
  number =       5,
  month =        may,
  callno =       { QA75.5 .I36 26:5 May 2000 }
}

@Proceedings{ICSR6-00,
  title =        { Sixth International Conference on Software Reuse },
  year =         2000,
  editor =       { William B. Frakes },
  confaddress =  { Vienna, Austria },
  month =        jun,
  publisher =    pub-sv,
  series =       lncs,
  volume =       1844,
  callno =       { QA76.76.R47 I587 2000 }
}

@Proceedings{IEA/AIE14-01,
  title =        { The Fourteenth International Conference on
                  Industrial and Engineering Applications of
                  Artificial Intelligence and Expert Systems },
  year =         2001,
  confaddress =  { Budapest, Hungary },
  confmonth =    { Jun 4--7 },
  organization = { AAAI, ACM/SIGART, CSCSI, ECCAI, ERCIM, HAS, IEE,
                  INNS, JSAI, SWT },
  url =          { http://www.sztaki.hu/conferences/ieaaie2001/ },
  deadlines =    { papers - Nov-17-00 }
}

@Proceedings{IFM3-02,
  title =        { Third International Conference on Integrated Formal
                  Methods },
  year =         2002,
  confaddress =  { Turku, Finland },
  confmonth =    { May 15--18, 2002 },
  organization = {},
  url =          { http://www.tucs.fi/IFM2002/ },
  deadlines =    { Nov 30, 2001 },
  planned =      yes
}

@Proceedings{IJCAI07,
  title =        { The 20th International Joint Conference on
                  Artificial Intelligence ({IJCAI}) },
  year =         2007,
  booktitle =    { Proceeding of the 20th International Joint
                  Conference on Artificial Intelligence ({IJCAI}) }
}

@proceedings{IJCAI07,
  editor    = {Manuela M. Veloso},
  title     = {IJCAI 2007, Proceedings of the 20th International Joint
               Conference on Artificial Intelligence, Hyderabad, India,
               January 6-12, 2007},
  booktitle = {IJCAI},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{IKM-99,
  title =        { Conference on Information and Knowledge Management
                  },
  year =         1999,
  confaddress =  { Kansas City, MO },
  month =        nov,
  organization = { ACM SIGIR }
}

@Proceedings{INT2-02,
  title =        { Second International Workshop on Integration of
                  Specification Techniques for Applications in
                  Engineering },
  year =         2002,
  confaddress =  { Grenoble, France },
  confmonth =    { April 6--7, 2002 },
  organization = {},
  url =          { http://tfs.cs.tu-berlin.de/~mgr/int02/index.html },
  deadlines =    { Nov 18, 2001 },
  planned =      yes
}

@Proceedings{ISH-99,
  title =        { The International Symposium on Hypertext },
  year =         1999,
  confaddress =  { China },
  month =        sep,
  organization = { ACM SIGWEB }
}

@Proceedings{ISSRE10-99,
  title =        { Tenth International Symposium on Software
                  Reliability Engineering },
  year =         1999,
  confaddress =  { Boca Raton, FL },
  month =        nov,
  organization = {RST},
  url =          { http://www.rstcorp.com/conferences/issre99/ }
}

@Proceedings{ISSTA-00,
  title =        { International Symposium on Software Testing and
                  Analysis },
  year =         2000,
  confaddress =  { Portland, OR },
  confmonth =    { Aug 22-25 },
  organization = {},
  url =          { http://www1.ics.uci.edu/IRUS/issta/ },
  deadlines =    {}
}

@Proceedings{ISWC05,
  editor =       {  },
  title =        {  },
  booktitle =    { Proceedings of the Fourth International Semantic
                  Web Conference },
  year =         2005,
  confaddress =  { Galway, Ireland },
  confmonth =    { Oct/Nov },
  publisher =    {  },
  series =       {  },
  volume =       {  },
  organization = { DERI, Information Society Technologies, DAML,
                  Knowledge Web, Michal.Zaremba@deri.ie,
                  Laurentiu.Vasiliu@deri.ie },
  url =          { http://iswc2005.semanticweb.org/ },
  deadlines =    {  },
  planned =      no
}

@Proceedings{IWFM-01,
  title =        { 5th. Irish Workshop in Formal Methods },
  year =         2001,
  confaddress =  { Dublin, Ireland },
  confmonth =    { Jul 16--17 },
  organization = { IFMSIG, Trinity College },
  url =          {
                  http://www.cs.tcd.ie/research_groups/fmg/IFMSIG/IWFM01/
                  },
  deadlines =    { 16-Mar-01 full paper }
}

@Proceedings{JCDL5-01,
  title =        { First ACM+IEEE Joint Conference on Digital
                  Libraries },
  year =         2001,
  confaddress =  { Roanoke, VA },
  confmonth =    { Jun 24--28 },
  organization = { ACM SIGIR, SIGWEB, IEEE CS },
  url =          { http://www.jcdl.org/ },
  deadlines =    { full papers - 1/9/01, short papers - 2/7/01, final
                  - 3/31/00 }
}

@Proceedings{JICC5-01,
  title =        { The Fifth Java \& the Internet in the Computing
                  Curriculum Conference },
  year =         2001,
  confaddress =  { London, UK },
  confmonth =    { Jan 22 },
  organization = { ACM SIGCSE },
  url =          { http://www.sbu.ac.uk/jfl/jicc/index.html },
  deadlines =    { proposals - Oct-15-00, full papers - Dec-1-00 }
}

@Proceedings{JMLC-00,
  title =        { Joint Modular Languages Conference 2000 },
  year =         2000,
  confaddress =  " Z{\"{u}}rich, Switzerland ",
  month =        sep,
  organization = {ETH},
  url =          { http://www.jmlc.inf.ethz.ch/ }
}

@Proceedings{KDD5-99,
  title =        { Fifth International Conference on Knowledge
                  Discovery and Data Mining },
  year =         { 1999 },
  confaddress =  { San Diego, CA },
  month =        aug,
  publisher =    pub-acm,
  url =          { http://research.microsoft.com/datamine/kdd99 },
  key =          { KDD5-99 }
}

@Proceedings{LACL-01,
  title =        { Fourth International Conference on Logical Aspects
                  of Computational Linguistics },
  year =         2002,
  confaddress =  { Le Croisic, France },
  confmonth =    { 27--29 July 2001 },
  organization = {},
  url =          { http://www.irisa.fr/LACL2001 },
  deadlines =    {},
  planned =      no
}

@Proceedings{LICS12-97,
  title =        { Twelfth Annual {IEEE} Symposium on Logic in
                  Computer Science },
  year =         1997,
  confaddress =  { Warsaw, Poland },
  month =        jun,
  organization = { IEEE Computer Society },
  url =          {
                  http://www.computer.org/proceedings/lics/7925/7925toc.htm
                  }
}

@Proceedings{LICS13-98,
  title =        { Thirteenth Annual {IEEE} Symposium on Logic in
                  Computer Science },
  year =         1998,
  confaddress =  { Indianapolis, Indiana },
  month =        jun,
  organization = { IEEE Computer Society },
  url =          {
                  http://www.computer.org/proceedings/lics/8506/8506toc.htm
                  }
}

@Proceedings{LICS14-99,
  title =        { Fourteenth Annual {IEEE} Symposium on Logic in
                  Computer Science },
  year =         1999,
  confaddress =  { Trento, Italy },
  month =        jul,
  organization = { IEEE Computer Society },
  url =          {
                  http://www.computer.org/proceedings/lics/0158/0158toc.htm
                  }
}

@Proceedings{LMPoS6-79,
  title =        { Sixth International Congress of Logic, Methodology,
                  and Philosophy of Science },
  year =         1979,
  publisher =    pub-nh,
  year =         1979,
  volume =       104,
  series =       silfom
}

@Proceedings{LPAR-01,
  title =        {8th International Conference on Logic for
                  Programming, AI and Reasoning},
  year =         2001,
  confaddress =  { Havana, Cuba },
  confmonth =    { 3--7 December 2001 },
  organization = { Second International Workshop on Implementation of
                  Logics },
  url =          { http://www.lsi.upc.es/~roberto/lpar2001.html },
  deadlines =    { 15 July 2001 },
  planned =      no
}

@Proceedings{M4M2-01,
  title =        { Methods for Modalities 2 },
  year =         {2001},
  confaddress =  { Amsterdam, The Netherlands },
  confmonth =    { 29--30 November 2001 },
  organization = { Institute for Logic, Language and Computation },
  url =          { http://turing.wins.uva.nl/~m4m/M4M2/program.html
                  http://www.science.uva.nl/~m4m/ },
  deadlines =    { 12 October 2001 }
}

@Proceedings{MIDDLEWARE-01,
  title =        { IFIP/ACM International Conference on Distributed
                  Systems Platforms },
  year =         2001,
  confaddress =  { Heidelberg, Germany },
  confmonth =    { Nov 12--16 },
  organization = { IFIP, ACM },
  url =          { http://www.labs.agilent.com/middleware2001 },
  deadlines =    { 07-May-01 abstract, 15-May-01 papers and proposals
                  }
}

@proceedings{MODELS08,
  editor    = {Krzysztof Czarnecki and
               Ileana Ober and
               Jean-Michel Bruel and
               Axel Uhl and
               Markus V{\"o}lter},
  title     = {Model Driven Engineering Languages and Systems, 11th International
               Conference, MoDELS 2008, Toulouse, France, September 28
               - October 3, 2008. Proceedings},
  booktitle = {MoDELS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = 5301,
  year      = 2008,
  isbn      = {978-3-540-87874-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{OBJ-CafeOBJ-Maude-FM99,
  title =        { {OBJ}/{CafeOBJ}/Maude Workshop at Formal Methods
                  '99 },
  booktitle =    { Proceedings of the {OBJ}/{CafeOBJ}/Maude Workshop
                  at Formal Methods '99 },
  editor =       " Kokichi Futatsugi and Joseph A. Goguen and
                  Jos{\'{e}} Meseguer ",
  publisher =    { Theta },
  year =         {1999},
  confaddress =  { Toulouse, France },
  month =        sep
}

@Proceedings{OHS6+SC2-00,
  title =        { The Sixth International Workshop on Open Hypermedia
                  Systems and the Second International Workshop on
                  Structural Computing },
  year =         2000,
  confaddress =  { San Antonio, TX },
  confmonth =    {May/June},
  organization = {},
  url =          {},
  deadlines =    {}
}

@Proceedings{OOPSLA-00,
  key =          { OOPSLA-00 },
  title =        { The Fifteenth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Fifteenth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         2000,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Minneapolis, MN }
}

@Proceedings{OOPSLA-01,
  key =          { OOPSLA-01 },
  title =        { The Sixteenth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Sixteenth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         2001,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Tampa, FL }
}

@Proceedings{OOPSLA-02,
  key =          { OOPSLA-02 },
  title =        { The Seventeenth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Seventeenth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         2002,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Seattle, WA }
}

@Proceedings{OOPSLA-05,
  key =          { OOPSLA-05 },
  title =        { {OOPSLA~'05} },
  booktitle =    { {OOPSLA~'05} },
  year =         2005
}

@Proceedings{OOPSLA-86,
  key =          { OOPSLA-86 },
  title =        { The First Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the First Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1986,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Portland, OR }
}

@Proceedings{OOPSLA-87,
  key =          { OOPSLA-87 },
  title =        { The Second Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Second Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1987,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Orlando, FL }
}

@Proceedings{OOPSLA-88,
  key =          { OOPSLA-88 },
  title =        { The Third Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Third Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1988,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { San Diego, CA }
}

@Proceedings{OOPSLA-89,
  key =          { OOPSLA-89 },
  title =        { The Fourth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Fourth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1989,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { New Orleans, LA }
}

@Proceedings{OOPSLA-90,
  key =          { OOPSLA-90 },
  title =        { The Fifth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Fifth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1990,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Ottawa, ON }
}

@Proceedings{OOPSLA-91,
  key =          { OOPSLA-91 },
  title =        { The Sixth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Sixth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1991,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Phoenix, AZ }
}

@Proceedings{OOPSLA-92,
  key =          { OOPSLA-92 },
  title =        { The Seventh Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Seventh Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1992,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Vancouver, BC }
}

@Proceedings{OOPSLA-93,
  key =          { OOPSLA-93 },
  title =        { The Eighth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Eighth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1993,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Washington, DC }
}

@Proceedings{OOPSLA-94,
  key =          { OOPSLA-94 },
  title =        { The Ninth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Ninth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1994,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Portland, OR }
}

@Proceedings{OOPSLA-95,
  key =          { OOPSLA-95 },
  title =        { The Tenth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Tenth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1995,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Austin, TX }
}

@Proceedings{OOPSLA-96,
  key =          { OOPSLA-96 },
  title =        { The Eleventh Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Eleventh Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1996,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { San Jose, CA }
}

@Proceedings{OOPSLA-97,
  key =          { OOPSLA-97 },
  title =        { The Twelfth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Twelfth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1997,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Atlanta, GA }
}

@Proceedings{OOPSLA-98,
  key =          { OOPSLA-98 },
  title =        { The Thirteenth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Thirteenth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1998,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Vancouver, BC }
}

@Proceedings{OOPSLA-99,
  key =          { OOPSLA-99 },
  title =        { The Fourteenth Conference on Object Oriented
                  Programming, Systems, Languages, and Applications },
  booktitle =    { Proceedings of the Fourteenth Conference on Object
                  Oriented Programming, Systems, Languages, and
                  Applications },
  year =         1999,
  organization = sigplan,
  publisher =    pub-acm-aw,
  confaddress =  { Denver, CO }
}

@Proceedings{OOSC-98,
  title =        { Object-Oriented Simulation Conference },
  year =         1998,
  confaddress =  { San Diego, CA },
  month =        jan,
  url =          { http://www.scs.org/ }
}

@Proceedings{OSQ2-95,
  title =        { Objective Quality: Second Sympoium on Software
                  Quality Techniques and Acquisition Criteria },
  year =         1995,
  confaddress =  { Florence, Italy },
  month =        may,
  organization = {},
  url =          {},
  deadlines =    {},
  key =          { OSQ2-95 }
}

@Proceedings{PADL4-02,
  title =        { Fourth International Symposium on Practical Aspects
                  of Declarative Languages },
  year =         2002,
  confaddress =  { Portland, OR },
  confmonth =    { 19--20 January 2002 },
  organization = { POPL29-02 },
  url =          { http://www.cs.sunysb.edu/~padl2002 },
  deadlines =    { 10 August 2001 }
}

@Proceedings{PDSW-99,
  title =        { Parallel and Distributed Simulation Workshop },
  year =         1999,
  editor =       { Richard Fujimoto },
  confaddress =  { Atlanta, GA },
  month =        may,
  url =          { http://www.scs.org/ }
}

@Proceedings{PECTS-99,
  title =        { Symposium on the Performance Evaluation of Computer
                  and Telecommunication Systems },
  year =         1999,
  editor =       { Mohammad S. Obaidat and Marco Ajmone Marsan },
  confaddress =  { Chicago, IL },
  month =        jul,
  url =          { http://www.scs.org/ }
}

@Proceedings{PEPM-00,
  title =        { 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  an Semantics-Based Program Manipulation },
  year =         2000,
  confaddress =  { Boston, MA },
  month =        jan,
  organization = { ACM SIGPLAN },
  url =          { http://www.cs.brandeis.edu/~pepm00/ }
}

@Proceedings{PEPM-02,
  title =        { Partial Evaluation and Semantics-Based Program
                  Manipulation },
  year =         2002,
  confaddress =  { Portland, OR },
  confmonth =    { 14--15 January 2002 },
  organization = { POPL29-02 },
  url =          {
                  http://www.informatik.uni-freiburg.de/~thiemann/pepm02/
                  },
  deadlines =    { 8 October 2001 },
  planned =      yes
}

@Proceedings{PLDI-01,
  title =        { The {ACM} {SIGPLAN} 2001 Conference on Programming
                  Language Design and Implementation },
  year =         2001,
  confaddress =  { Snowbird, UT },
  confmonth =    { Jun 20--22 },
  organization = { ACM SIGPLAN SIGSOFT },
  url =          { http://www.cs.pitt.edu/~soffa/pldi01/cfp.html },
  deadlines =    { papers - Nov-16-00 }
}

@Proceedings{PLI-00,
  title =        { The 2000 Principles, Logics, and Implementations of
                  High-Level Programming Languages },
  year =         2000,
  confaddress =  { Montreal, Quebec },
  confmonth =    { Sep 17--22 },
  organization = { ACM SIGPLAN },
  url =          { http://www.cs.yorku.ca/pli-00/ }
}

@Proceedings{PLI-01,
  title =        { The 2001 Principles, Logics, and Implementations of
                  High-Level Programming Languages },
  year =         2001,
  confaddress =  { Firenze, Italy },
  confmonth =    { Sep 3--7 },
  organization = { ACM SIGPLAN },
  url =          { http://music.dsi.unifi.it/pli01/ },
  deadlines =    { papers - Mar-15-01 },
  notes =        { PLI-01 comprises ICFP-01 and PPDP-01 },
  partof =       { ICFP-01, PPDP-01 }
}

@Proceedings{PLI-99,
  title =        { Principles, Logics, and Implementations of
                  High-Level Programming Languages },
  year =         1999,
  confaddress =  { Paris, France },
  confmonth =    { Sep 27--Oct 1 },
  organization = { EPLS, INRIA, ACM },
  url =          { http://pauillac.inria.fr/pli/ }
}

@Proceedings{PLILPALP-99,
  title =        { Programming Languages, Implementations, Logics and
                  Programs and Algebraic and Logic Programming },
  year =         1999,
  month =        sep,
  organization = { ACM SIGSOFT, AMAST, FME, EATCS }
}

@Proceedings{PLIM-02,
  title =        { Philosophical Insights into Logic and Mathematics:
                  The History and Outcome of Alternative Semantics and
                  Syntax },
  year =         2002,
  confaddress =  { Nancy, France },
  confmonth =    { 30 September--4 October 2002 },
  organization = " Laboratoire de Philosophie et d'Histoire des
                  Sciences - Archives Henri Poincar{\'{e}} with the
                  support of Universit{\'{e}} de Nancy 2,
                  Beth-Foundation (Amsterdam), Institute for Logic,
                  Language and Computation (Amsterdam), Goethe
                  Institut (Nancy) ",
  url =          {
                  http://www.univ-nancy2.fr/ACERHP/colloques/symp02/Symp02-angl.html
                  },
  deadlines =    { 30 December 2001 },
  planned =      no
}

@Proceedings{PNSQC17-00,
  title =        { Seventeenth Annual Pacific Northwest Software
                  quality Conference },
  year =         2000,
  confaddress =  { Portland, OR },
  month =        oct,
  organization = {PNSQC},
  url =          { http://www.pnsqc.org/ }
}

@Proceedings{PODC19-00,
  title =        { The Nineteenth {ACM} Symposium on Principles of
                  Distributed Computing },
  year =         2000,
  confaddress =  { Portland, OR },
  confmonth =    { July 16--19, 2000 },
  organization = { ACM SIGACT SIGOPS },
  url =          { http://www.podc.org/podc2000/ },
  deadlines =    { papers 1/19/00 }
}

@Proceedings{PODC20-01,
  title =        { The Twentieth {ACM} Symposium on Principles of
                  Distributed Computing },
  year =         2001,
  confaddress =  { Newport, RI },
  confmonth =    { Aug 26-29, 2001 },
  organization = { ACM SIGACT SIGOPS },
  url =          { http://www.podc.org/podc2001/ },
  deadlines =    { papers 1/26/01 }
}

@Proceedings{POPL27-00,
  title =        { The Twenty-seventh Annual {ACM} {SIGPLAN-SIGACT}
                  Symposium on Principles of Programming Languages },
  year =         2000,
  confaddress =  { Boston, MA },
  confmonth =    { Jan 19--21 },
  organization = { ACM SIGACT, SIGPLAN }
}

@Proceedings{POPL28-01,
  title =        { The 28th Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages },
  year =         2001,
  confaddress =  { London },
  confmonth =    { Jan 17--19 },
  organization = { ACM SIGACT, SIGPLAN },
  url =          { http://www.daimi.au.dk/~popl01/ },
  deadlines =    { papers - Jul-17-00 },
  planned =      yes
}

@Proceedings{POPL29-02,
  title =        { The 29th Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages },
  year =         2002,
  confaddress =  { Portland, OR },
  confmonth =    { Jan 16-18 },
  organization = { ACM SIGACT, SIGPLAN },
  url =          { http://www.acm.org/sigplan/popl.htm },
  deadlines =    { papers - Jul 23, 2001 }
}

@Proceedings{PPDP-00,
  title =        { The 2000 Principles and Practice of Declarative
                  Programming },
  year =         2000,
  confaddress =  { Montreal, Quebec },
  confmonth =    { Sep 20--22 },
  organization = { ACM SIGPLAN },
  url =          { http://www.cs.yorku.ca/ppdp-00/cfp.html },
  deadlines =    { papers Mar 15, 2000 },
  notes =        { PLI-00 comprises ICFP-00 and PPDP-00 },
  partof =       { ICFP-00, PLI-00 }
}

@Proceedings{PPDP-01,
  title =        { The 2001 Principles and Practice of Declarative
                  Programming },
  year =         2001,
  confaddress =  { Firenze, Italy },
  confmonth =    { Sep 3--7 },
  organization = { ACM SIGPLAN },
  url =          { http://music.dsi.unifi.it/pli01/ppdp/ },
  deadlines =    { papers - Mar-15-01 },
  notes =        { PLI-01 comprises ICFP-01 and PPDP-01 },
  partof =       { ICFP-01, PLI-01 }
}

@Proceedings{ROOM4-02,
  title =        { The Fourth Workshop on Rigorous Object-Oriented
                  Methods },
  year =         2002,
  confaddress =  { King's College London, UK },
  confmonth =    { March 21--22, 2002 },
  organization = {},
  url =          { http://www.dcs.kcl.ac.uk/events/ROOM4 },
  deadlines =    { December 14, 2001 },
  planned =      yes
}

@Proceedings{ROSATEA-99,
  title =        { ROSATEA: International Workshop on the Role of
                  Software Architecture in Analysis E(and) Testing },
  year =         1999,
  confaddress =  { Marsala, Sicily, Italy },
  month =        jul,
  organization = { NSF and Italian National Research Council },
  url =          { http://www.ics.uci.edu/~djr/rosatea/ }
}

@Proceedings{RPC-01,
  title =        { The International Workshop on Rewriting in Proof
                  and Computation },
  year =         {2002},
  confaddress =  { Sendai, Japan },
  confmonth =    { 25--27 October 2001 },
  organization = { TACS-01 },
  url =          { http://tacs2001.ito.ecei.tohoku.ac.jp/tacs2001/ },
  deadlines =    { 7 September 2001 }
}

@Proceedings{RTA11-00,
  title =        { Eleventh International Conference on Rewriting
                  Techniques and Applications },
  year =         2000,
  confaddress =  { Norwich, UK },
  month =        jul,
  organization = {},
  url =          {},
  deadlines =    {},
  editor =       { Bachmair, L. },
  pages =        275,
  series =       lncs,
  volume =       1833,
  publisher =    pub-sv,
  summary =      { This book constitutes the refereed proceedings of
                  the Eleventh International Conference on Rewriting
                  Techniques and Applications, RTA 2000, held in
                  Norwich, UK, in July 2000. The 15 revised full
                  papers and three system descriptions presented
                  together with two invited contributions were
                  carefully reviewed and selected from 44
                  submissions. All current aspects of rewriting are
                  addressed. },
  keywords =     { term rewriting, rewriting systems, rewriting logic,
                  programming logic, program semantics, logic calculi,
                  higher-order rewriting, formal reasoning, algebraic
                  program manipulation }
}

@proceedings{SAC06,
  editor =       { Hisham Haddad },
  title =        {Proceedings of the 2006 ACM Symposium on Applied
                  Computing (SAC), Dijon, France, April 23-27, 2006},
  booktitle =    {SAC},
  publisher =    {ACM},
  year =         2006,
  isbn =         {1-59593-108-2},
  bibsource =    {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{SAIG-01,
  title =        { Semantics, Applications and Implementation of
                  Program Generation },
  year =         {2001},
  confaddress =  { Firenze, Italy },
  confmonth =    { 6 September 2001 },
  organization = { PLI workshop },
  url =          { http://www.cs.yale.edu/homes/taha/saig/cfp01.html },
  deadlines =    { 1 June 2001 }
}

@Proceedings{SAT03,
  title =        { Theory and Applications of Satisfiability Testing
                  ({SAT~'03}) },
  year =         2003,
  booktitle =    { Theory and Applications of Satisfiability Testing
                  ({SAT~'03}) },
  publisher =    pub-sv
}

@Proceedings{SAT04,
  title =        { Theory and Applications of Satisfiability Testing
                  ({SAT~'04}) },
  year =         2004,
  booktitle =    { Theory and Applications of Satisfiability Testing
                  ({SAT~'04}) },
  publisher =    pub-sv
}


@Proceedings{SAT05,
  title =        { Theory and Applications of Satisfiability Testing
                  ({SAT~'05}) },
  year =         2005,
  booktitle =    { Theory and Applications of Satisfiability Testing
                  ({SAT~'05}) },
  publisher =    pub-sv
}



@proceedings{SAT07,
  editor =       {Jo{\~a}o Marques-Silva and Karem A. Sakallah},
  title =        {Theory and Applications of Satisfiability Testing -
                  SAT 2007},
  booktitle =    {SAT},
  publisher =    {Springer},
  series =       {Lecture Notes in Computer Science},
  volume =       4501,
  year =         2007,
  isbn =         {978-3-540-72787-3},
  bibsource =    {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{SCSC-99,
  title =        { Summer Computer Simulation Conference },
  year =         1999,
  editor =       { Mohammad S. Obaidat and Abe Nisanci and Balqies
                  Sadoun },
  confaddress =  { Chicago, IL },
  month =        jul,
  url =          { http://www.scs.org/ }
}

@Proceedings{SCSS-99,
  title =        { Simulation Symposium },
  editor =       { Taieb F. Znati },
  year =         1999,
  confaddress =  { San Diego, CA },
  month =        apr,
  url =          { http://www.scs.org/ }
}

@Proceedings{SDE+CASE-91,
  title =        { European Symposium on Software Development
                  Environments and {CASE} Technology },
  year =         1991,
  confaddress =  " K{\"{o}}nigswinter, Germany ",
  month =        jun,
  organization = {},
  url =          {},
  deadlines =    {},
  key =          { SDE+CASE-91 }
}

@Proceedings{SEKE11-99,
  title =        { Eleventh International Conference on Software
                  Engineering and Knowledge Engineering },
  year =         1999,
  confaddress =  { Kaiserslautern, Germany },
  month =        jun,
  organization = { ACM SIGSOFT }
}

@Proceedings{SIGCSE31-00,
  title =        { The 31st Technical Symposium on Computer Science
                  Education },
  year =         2000,
  confaddress =  { Austin, TX },
  month =        mar,
  organization = { ACM SIGCSE },
  url =          { http://www.csc.vill.edu/sigcse2000/ }
}

@Proceedings{SIGCSE32-01,
  title =        { The 32nd Technical Symposium on Computer Science
                  Education },
  year =         2001,
  confaddress =  { Charlotte, NC },
  confmonth =    { Feb 21--25 },
  organization = { ACM SIGCSE },
  url =          { http://www.cs.grinnell.edu/~sigcse/2001/ },
  deadlines =    { papers - Sep-8-00, student research - Oct-13-00 }
}

@Proceedings{SIGCSE33-02,
  title =        { The 33rd Technical Symposium on Computer Science
                  Education },
  year =         2002,
  confaddress =  { Covington, KY },
  confmonth =    { Feb 27--Mar 3 },
  organization = { ACM SIGCSE },
  url =          { http://www.cs.cofc.edu/sigcse2002/ },
  deadlines =    { papers/workshops Sep 7, 2001 },
  planned =      yes
}

@Proceedings{SIGMOD/PODS19-00,
  title =        { The 2000 {ACM} {SIGMOD} International Conference on
                  Management of Data and the Nineteeth Annual ACM
                  SIGMOD-SIGACT-SIGART Symposium on Principles of
                  Database Systems },
  year =         2000,
  confaddress =  { Dallas, TX },
  confmonth =    { May 14--19 },
  organization = { ACM SIGMOD, SIGACT, SIGART },
  url =          { http://www.seas.smu.edu/sigmod2000/ },
  deadlines =    {}
}

@Proceedings{SIGMOD/PODS20-01,
  title =        { The 2001 {ACM} {SIGMOD} International Conference on
                  Management of Data and the Twentieth Annual ACM
                  SIGMOD-SIGACT-SIGART Symposium on Principles of
                  Database Systems },
  year =         2001,
  confaddress =  { Santa Barbara, CA },
  confmonth =    { May 21--24 },
  organization = { ACM SIGMOD, SIGACT, SIGART },
  url =          {
                  http://www.cs.ucsb.edu/conferences/sigmod2001/index.html
                  },
  deadlines =    { SIGMOD : abstracts - 11/17/00, full papers -
                  11/24/00 PODS : abstracts - 11/24/00, full papers -
                  12/01/00}
}

@Proceedings{SODA11-00,
  title =        { The Eleventh Annual ACM-SIAM Symposium on Discrete
                  Algorithms },
  year =         2000,
  confaddress =  { San Francisco, CA },
  confmonth =    { Jan 9--11} ,
  organization = { ACM SIGACT, SIAM },
  url =          { http://www.siam.org/meetings/da00/ },
  deadlines =    {}
}

@Proceedings{SODA12-01,
  title =        { The Twelfth Annual ACM-SIAM Symposium on Discrete
                  Algorithms },
  year =         2001,
  confaddress =  { Washington, DC },
  confmonth =    { Jan 7--9, 2001 },
  organization = { ACM SIGACT, SIAM },
  url =          { http://www.siam.org/meetings/da01/ },
  deadlines =    { extended abstracts - Jul-7-00, short abstracts -
                  Aug-2-00 }
}

@proceedings{SPLC08,
  title =        {Software Product Lines, 12th International
                  Conference, SPLC 2008, Limerick, Ireland, September
                  8-12, 2008, Proceedings},
  booktitle =    {SPLC},
  publisher =    {IEEE Computer Society},
  year =         2008,
  isbn =         {978-0-7695-3303-2},
  bibsource =    {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{SSR-01,
  title =        { The 2001 Symposium on Software Reusability },
  year =         2001,
  confaddress =  { Toronto, Ontario },
  confmonth =    { May 18--20 },
  url =          { http://csalpha.ist.unomaha.edu/~ssr01/ },
  deadlines =    { papers - Oct-27-00 },
  organization = sigsoft
}

@Proceedings{SSR-95,
  title =        { Symposium on Software Reusability },
  year =         1995,
  confaddress =  { Seattle, WA },
  month =        apr,
  url =          { http://cse.unl.edu/~scotth/ssr95.html },
  organization = sigsoft,
  note =         { Co-located with ICSE17-95. }
}

@Proceedings{SSR-97,
  title =        { Symposium on Software Reusability },
  year =         1997,
  confaddress =  { Boston, MA },
  month =        may,
  url =          { http://www.owego.com/~ssr97/ },
  organization = sigsoft
}

@Proceedings{SSR-99,
  title =        { Symposium on Software Reusability },
  year =         1999,
  confaddress =  { Los Angeles, CA },
  month =        may,
  url =          { http://csalpha.unomaha.edu/~ssr99/ },
  organization = sigsoft
}

@Proceedings{STACS19-02,
  title =        { 19th International Symposium on Theoretical Aspects
                  of Computer Science },
  year =         2002,
  confaddress =  { Antibes--Juan les Pins, France },
  confmonth =    { 14--16 March 2002 },
  organization = {},
  url =          { http://www-sop.inria.fr/stacs2002/ },
  deadlines =    { 14 September 2001 },
  planned =      no
}

@Proceedings{STOC32-00,
  title =        { The 32nd Annual {ACM} Symposium on Theory of
                  Computing },
  year =         2000,
  confaddress =  { Portland, OR },
  month =        may,
  organization = { ACM SIGACT },
  url =          { http://sigact.acm.org/stoc00/ }
}

,
  publisher =    pub-sv,
  series =       lncs,
  volume =       249,
  key =          { TAPSOFT2-87-v1 }
}
@Proceedings{STOC33-01,
  title =        { The Thirty-third Annual {ACM} Symposium on Theory
                  of Computing },
  year =         2001,
  confaddress =  { Crete, Greece },
  confmonth =    { Jul 6--8 },
  organization = { ACM SIGACT },
  url =          { http://sigact.acm.org/stoc01/ },
  deadlines =    { extended abstract - 10/31/00 }
}

@Proceedings{STOC34-02,
  title =        { The 34th Annual {ACM} Symposium on Theory of
                  Computing },
  year =         2002,
  confaddress =  { Montreal, Quebec },
  confmonth =    { May 19--21 },
  organization = { ACM SIGACT },
  url =          { http://sigact.acm.org/stoc/ },
  deadlines =    { Nov 12, 2001 },
  planned =      yes
}

@Proceedings{TACAS-01,
  title =        { Tools and Algorithms for the Construction and
                  Analysis of Systems },
  year =         2001,
  confaddress =  { Genova, Italy },
  confmonth =    { Apr 2--6 },
  organization = { DISI, EATCS, EAPLS, EASST },
  partof =       { ETAPS4-01 },
  url =          { http://www.disi.unige.it/etaps2001/TACAS/index.html
                  }
}

@Proceedings{TAPSOFT1-85-v1,
  title =        { The International Joint Conference on the Theory
                  and Practice of Software Development: Mathematical
                  Foundations of Software Development },
  booktitle =    { Proceedings of the International Joint Conference
                  on the Theory and Practice of Software Development:
                  Mathematical Foundations of Software Development },
  editor =       { Hartmut Ehrig and Christiane Floyd and Maurice
                  Nivat and James Thatcher },
  year =         {1985},
  confaddress =  { Berlin, Germany },
  confmonth =    { 25--29 March 1985 },
  publisher =    pub-sv,
  series =       lncs,
  volume =       185,
  note =         { Volume 1: Colloquium on Trees in Algebra and
                  Programming ({CAAP} '85) }
}

@Proceedings{TAPSOFT1-85-v2,
  title =        { The International Joint Conference on the Theory
                  and Practice of Software Development: Mathematical
                  Foundations of Software Development },
  booktitle =    { Proceedings of the International Joint Conference
                  on the Theory and Practice of Software Development:
                  Mathematical Foundations of Software Development },
  editor =       { Hartmut Ehrig and Christiane Floyd and Maurice
                  Nivat and James Thatcher },
  year =         {1985},
  confaddress =  { Berlin, Germany },
  confmonth =    { 25--29 March 1985 },
  publisher =    pub-sv,
  series =       lncs,
  volume =       185,
  note =         { Volume 2: Colloquim on Software Engineering ({CSE})
                  }
}

@Proceedings{TAPSOFT2-87-v1,
  title =        { The Second International Joint Conference on the
                  Theory and Practice of Software Development },
  booktitle =    { Proceedings of the Second International Joint
                  Conference on the Theory and Practice of Software
                  Development },
  editor =       { Hartmut Ehrig and Robert Kowalski and Giorgio Levi
                  and Ugo Montanari },
  year =         1987,
  confaddress =  { Pisa, Italy },
  confmonth =    { 23--27 March 1987 },
  note =         { Volume 1: Advanced Seminar on Foundations of
                  Innovative Software Development {I} and Colloquium
                  on Trees in Algebra and Programming ({CAAP} '87}
}

@Proceedings{TAPSOFT2-87-v2,
  title =        { The Second International Joint Conference on the
                  Theory and Practice of Software Development },
  booktitle =    { Proceedings of the Second International Joint
                  Conference on the Theory and Practice of Software
                  Development },
  editor =       { Hartmut Ehrig and Robert Kowalski and Giorgio Levi
                  and Ugo Montanari },
  year =         1987,
  confaddress =  { Pisa, Italy },
  confmonth =    { 23--27 March 1987 },
  note =         { Volume 2: Advanced Seminar on Foundations of
                  Innovative Software Development {II} and Colloquim
                  on Functional and Logic Programming and
                  Specifications ({CFLP}) },
  publisher =    pub-sv,
  series =       lncs,
  volume =       250,
  key =          { TAPSOFT2-87-v2 }
}

@Proceedings{TAPSOFT7-97,
  title =        { The Seventh International Joint Conference on the
                  Theory and Practice of Software Development },
  booktitle =    { Proceedings of the Seventh International Joint
                  Conference on the Theory and Practice of Software
                  Development },
  year =         1997,
  confaddress =  { Lille, France },
  month =        apr,
  key =          { TAPSOFT7-97 }
}

@Proceedings{TCS-00,
  title =        { Theoretical Computer Science: Exploring New
                  Frontiers of Theoretical Information },
  year =         2000,
  confaddress =  { Sendai, Japan },
  confmonth =    { Aug 17--19},
  organization = {IFIP},
  editor =       { J. {van Leeuwen} and others },
  publisher =    pub-sv,
  url =          {},
  deadlines =    {},
  callno =       { QA75.5.I54446 2000 }
}

@Proceedings{TCS-02,
  title =        { Theoretical Computer Science },
  focus =        { Foundations of IT in the Era of Network and Mobile
                  Computing },
  year =         2002,
  confaddress =  { Montreal, Canada },
  confmonth =    { Aug 17--19},
  organization = { IFIP17-02 - http://www.wcc2002.org/ },
  url =          {
                  http://www.scs.carleton.ca/~santoro/TCS2002/indexTCS2002.html
                  },
  deadlines =    { December 20, 2001 },
  callno =       { QA75.5.I54446 2000 },
  planned =      yes
}

@Proceedings{TCS17-00,
  title =        { Seventeenth International Conference and Exposition
                  on Testing Computer Software },
  year =         2000,
  confaddress =  { Washington, DC },
  month =        jun,
  organization = { ACM SIGSOFT, ASQ Software Division, IEEE
                  Reliability, STSC },
  url =          { http://www.uspdi.org/tcs2000call/ }
}

@Proceedings{TCS18-01,
  title =        { The Eighteenth International Conference and
                  Exposition on Testing Computer Software },
  year =         2001,
  confaddress =  { Bethesda, Maryland },
  confmonth =    { Jun 18--22 },
  organization = { EEE-RS, ASQ, SIGSOFT, STSC, USPDI },
  url =          { http://www.uspdi.org/conference/ },
  deadlines =    { proposals Oct-31-00 }
}

@Proceedings{TDCS1-00,
  title =        { First International Workshop on Testing Distributed
                  Component-Based Systems },
  year =         1999,
  confaddress =  { Los Angelas, CA },
  month =        may,
  organization = { ACM SIGSOFT },
  url =          { http://www.siemens.com/ICSE99workshop/ }
}

@Proceedings{TOOLS-01,
  title =        { Technology of Object-Oriented Languages and Systems
                  },
  year =         2001,
  confaddress =  { Santa Barbara, CA },
  confmonth =    { July 29 - August 3 },
  organization = { California Technology Forum/TOOLS },
  url =          { http://www.ctf2001.com/objects.html },
  deadlines =    { March 30, 2001 }
}

@Proceedings{TOOLS-99,
  title =        { Technology of Object-Oriented Languages and Systems
                  },
  year =         1999,
  confaddress =  { Santa Barbara, CA },
  month =        aug,
  organization = {TOOLS}
}

@Proceedings{UML2-99,
  title =        { Second International Conference on the Unified
                  Modeling Language (UML'99) },
  year =         1999,
  confaddress =  { Fort Collins, CO },
  month =        oct,
  organization = { ACM SIGPLAN, SIGSOFT },
  url =          { http://www.cs.colostate.edu/UML99/finalprogram.pdf
                  }
}

@Proceedings{UML3-00,
  title =        { Third International Conference on the Unified
                  Modeling Language (UML'00) },
  year =         2000,
  confaddress =  { York, UK },
  confmonth =    { Oct 2--6 },
  organization = { ACM SIGPLAN, SIGSOFT },
  deadlines =    { All abstracts - March 24. Submission - April 7. }
}

@Proceedings{VISS-02,
  title =        { Validation and Implementation of Scenario-Based
                  Specifications },
  year =         2002,
  confaddress =  { Grenoble, France },
  confmonth =    { Apr 6--7, 2002 },
  organization = {},
  url =          { http://www.liafa.jussieu.fr/~anca/VISS02.html },
  deadlines =    { Dec 15, 2001 },
  planned =      yes
}

@Proceedings{VWSIM-99,
  title =        { Virtual Worlds and Simulation Conference },
  year =         1999,
  editor =       { Christoper Landauer and Kirstie L. Bellman },
  confaddress =  { San Francisco, CA },
  month =        jan,
  url =          { http://www.scs.org/ }
}

@Proceedings{WAAPL-99,
  title =        { Workshop on Algorithmic Aspects of Advanced
                  Programming Languages },
  year =         1999,
  confaddress =  { Paris, France },
  month =        sep,
  note =         { Part of PLI-99 },
  organization = { EPLS, INRIA, ACM },
  url =          { http://www.cs.columbia.edu/~cdo/waapl.html }
}

@Proceedings{WADT-CoFI-01,
  title =        { The Fifteenth International Workshop on Algebraic
                  Development Techniques joint with General Workshop
                  of the CoFI WG \& CASL Tutorial },
  year =         2001,
  confaddress =  { Genova, Italy },
  confmonth =    { Apr 1--3 },
  organization = { ETAPS4-01 },
  url =          { http://www.disi.unige.it/wadt2001/ },
  deadlines =    { abstracts - Jan-10-01, revision Feb-26-01 },
  partof =       { ETAPS4-01 }
}

@Proceedings{WADT14-99,
  title =        { Fourteenth International Workshop on Recent Trends
                  in Algebraic Development Techniques },
  year =         1999,
  confaddress =  { Ch\^{a}teau de Bonas, France },
  editor =       { Bert, D. and Choppy, C. and Mosses, P. },
  month =        sep,
  pages =        476,
  organization = {},
  url =          {},
  deadlines =    {},
  series =       lncs,
  volume =       1827,
  publisher =    pub-sv,
  key =          { WADT14-99 },
  summary =      { This book constitutes the thoroughly refereed
                  post-workshop proceedings of the Fourteenth
                  International Workshop on Algebraic Development
                  Techniques, WADT'99, held in Toulouse, France in
                  September 1999. The 23 revised full papers presented
                  together with three invited papers were carefully
                  reviewed and selected from 69 workshop
                  presentations. The papers address the following
                  topics: algebraic specification and other
                  specification formalisms, test and validation,
                  concurrent processes applications, logic and
                  validation, combining formalisms, subsorts and
                  partiality, structuring, rewriting, co-algebras and
                  sketches, refinement, institutions and categories,
                  and ASM specifications. },
  keywords =     { algebraic systems specification, algebraic program
                  development, formal methods, abstract data types,
                  specification frameworks, term rewriting, proof
                  systems, formal specification }
}

@Proceedings{WBMS-99,
  title =        { International Conference on Web-Based Modeling and
                  Simulation },
  year =         1999,
  editor =       { Agostino G. Bruzzone and Adelinde Uhrmacher and
                  Ernest H. Page },
  confaddress =  { San Francisco, CA },
  month =        jan,
  url =          { http://www.scs.org/ }
}

@Proceedings{WISR0-87,
  title =        { The Syracuse University Minnowbrook Tenth Annual
                  Workshop on Software Reuse },
  booktitle =    { Proceedings of the Syracuse University Minnowbrook
                  Tenth Annual Workshop on Software Reuse },
  year =         1987,
  confaddress =  { Minnowbrook, NY },
  month =        jul,
  organization = { Syracuse University }
}

@Proceedings{WISR1-88,
  booktitle =    { Proceedings of the First Bass Harbor Workshop on
                  Tools and Environments for Reuse },
  title =        { The First Bass Harbor Workshop on Tools and
                  Environments for Reuse },
  year =         1988,
  confaddress =  { Bass Harbor, MI },
  month =        jun,
  key =          { WISR1 }
}

@Proceedings{WISR2-89,
  booktitle =    { Proceedings of the Second Workshop on Tools and
                  Environments for Reuse },
  title =        { The Second Workshop on Tools and Environments for
                  Reuse },
  year =         1989,
  confaddress =  { Melbourne, FL },
  month =        mar,
  key =          { WISR2 }
}

@Proceedings{WISR3-90,
  title =        { The Third Workshop on Tools and Environments for
                  Reuse },
  booktitle =    { Proceedings of the Third Workshop on Tools and
                  Environments for Reuse },
  year =         1990,
  confaddress =  { Syracuse, NY },
  month =        jun,
  key =          { WISR3 }
}

@Proceedings{WISR4-91,
  title =        { The Fourth Workshop on Software Reuse },
  booktitle =    { Proceedings of the Fourth Workshop on Software
                  Reuse },
  year =         1991,
  confaddress =  { Reston, VA },
  month =        nov,
  url =          { ftp://gandalf.umcs.maine.edu/pub/WISR/wisr4 },
  key =          { WISR4 }
}

@Proceedings{WISR5-92,
  title =        { The Fifth Workshop on Software Reuse },
  booktitle =    { Proceedings of the Fifth Workshop on Software Reuse
                  },
  year =         1992,
  confaddress =  { Palo Alto, CA },
  month =        oct,
  url =          { ftp://gandalf.umcs.maine.edu/pub/WISR/wisr5 },
  key =          { WISR5 }
}

@Proceedings{WISR6-93,
  title =        { The Sixth Workshop on Software Reuse },
  booktitle =    { Proceedings of the Sixth Workshop on Software Reuse
                  },
  year =         1993,
  confaddress =  { Owego, NY },
  month =        nov,
  url =          { ftp://gandalf.umcs.maine.edu/pub/WISR/wisr6 },
  key =          { WISR6 }
}

@Proceedings{WISR7-95,
  title =        { The Seventh Workshop on Software Reuse },
  booktitle =    { Proceedings of the Seventh Workshop on Software
                  Reuse },
  year =         1995,
  confaddress =  { St. Charles, IL },
  month =        aug,
  url =          { http://www.umcs.maine.edu/~ftp/wisr/wisr7.html },
  key =          { WISR7 }
}

@Proceedings{WISR8-97,
  title =        { The Eighth Workshop on Software Reuse },
  booktitle =    { Proceedings of the Eighth Workshop on Software
                  Reuse },
  year =         1997,
  confaddress =  { Columbus, OH },
  month =        mar,
  url =          {
                  http://www.umcs.maine.edu/~ftp/wisr/wisr8/wisr8.html
                  },
  key =          { WISR8 }
}


@Proceedings{WISR9-99,
  title =        { The Ninth Workshop on Software Reuse },
  booktitle =    { Proceedings of the Ninth Workshop on Software Reuse
                  },
  year =         1999,
  confaddress =  { Austin, TX },
  month =        jan,
  url =          { http://www.umcs.maine.edu/~ftp/wisr/wisr.html },
  key =          { WISR9 }
}

@Proceedings{WWW10-01,
  title =        { The Tenth International World Wide Web Conference },
  year =         2001,
  confaddress =  { Hong Kong },
  confmonth =    { May 1--5 },
  organization = { ACM SIGWEB, W3C, etal },
  url =          { http://www10.org/ },
  deadlines =    { full papers - 11/13/00 },
  key =          { WISR10 }
}

@Proceedings{WWW9-00,
  title =        { The Ninth International World Wide Web Conference },
  year =         2000,
  confaddress =  { Amsterdam },
  month =        may,
  organization = { ACM SIGWEB, W3C, etal },
  url =          { http://www9.org/ }
}



@Proceedings{XPS5-99,
  title =        { The Fifth Biannual German Conference on
                  Knowledge-Based Systems },
  year =         1999,
  confaddress =  " W{\"{u}}rzburg, Germany ",
  month =        mar,
  organization = {},
  url =          {},
  deadlines =    {},
  key =          { XPS5-99 }
}

@proceedings{colognet02,
  editor =	 {Barry O'Sullivan},
  title =	 {Recent Advances in Constraints, Joint ERCIM/CologNet
                  International Workshop on Constraint Solving and
                  Constraint Logic Programming, Selected Papers},
  booktitle =	 {International Workshop on Constraint Solving and
                  Constraint Logic Programming},
  publisher =	 {Springer},
  year =	 2003,
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}