@string{brics =	"{BRICS}"}
@string{daimi =	"Department of Computer Science, University of Aarhus"}
@string{iesd  =	"Department of Computer Science, Institute
		  of Electronic Systems, Aalborg University"}
@string{rs    =	"Research Series"}
@string{ns    =	"Notes Series"}
@string{ls    =	"Lecture Series"}
@string{ds    =	"Dissertation Series"}

@proceedings{BRICS-NS-05-6,
  title = 	 "{PLAN-X} 2006 Informal Proceedings, {\em
                  (Charleston, South Carolina, January 14, 2006)}",
  year = 	 2005,
  editor = 	 "Castagna, Giuseppe and Raghavachari, Mukund",
  number = 	 "NS-05-6",
  series = 	 ns,
  address = 	 daimi,
  month = 	 dec,
  organization = brics,
  note = 	 "ii+92",
  abstract = 	 "The workshop aims at providing a meeting
                  ground for researchers from the XML,
                  programming language, and database communities.
                  XML is already a de-facto industry standard for
                  data exchange, it has from an early stage been
                  embraced by database researchers, and it is
                  gaining increasing interest from programming
                  language researchers.\bibpar
                  At this workshop we hope to present recent
                  results, identify new challenges, and inspire
                  the programming language community to focus on
                  XML.\bibpar
                  The focus of the workshop is on methods, tools,
                  and theories for processing XML. Example topics
                  include (but are not limited to) XML parsing,
                  XML type system and schemas, analysis and
                  implementation of technologies such as XPath,
                  XSLT, and XQuery, and integration of XML in
                  both general-purpose and domain-specific
                  programming languages.",
  linkhtmlabs =  "",
  linkpdf = 	 ""
}

@proceedings{BRICS-NS-05-5,
  title =	 "Preliminary Proceedings of the Workshop on Geometry
                  and Topology in Concurrency, {GETCO~'05}, {\em (San Francisco,
                  California, USA, August 21, 2005)}",
  year =	 2005,
  editor =	 "Cousot, Patrick and Fajstrup, Lisbeth and Goubault,
                  Eric and Herlihy, Maurice and Larsen, Kim G. and
                  Rau{\ss}en, Martin",
  number =	 "NS-05-5",
  series =	 ns,
  address =	 iesd,
  month =	 aug,
  organization = brics,
  note =	 "vi+44",
  abstract =	 "This volume contains the {\it preliminary
                  proceedings} of GETCO 2005 held as a satellite
                  workshop of CONCUR 2005",
  linkhtmlabs =	 "",
  linkpdf =	 ""
}

@proceedings{BRICS-NS-05-4,
  title =	 "Preliminary Proceedings of the 7th International
                  Workshop on Verification of Infinite-State Systems,
                  {INFINITY~'05},
                  {\em(San Francisco, USA, August 27, 2005)}",
  year =	 2005,
  editor =	 "Smolka, Scott A. and Srba, Ji{\v{r}}{\'\i}",
  number =	 "NS-05-3",
  series =	 ns,
  address =	 iesd,
  month =	 jun,
  organization = brics,
  note =	 "vi+64~pp",
  abstract =	 "This volume contains the {\em preliminary
                  proceedings} of INFINITY'05 held in San Francisco,
                  USA, August 27, 2005. The final proceedings will
                  appear as a volume in the ENTCS series",
  linkhtmlabs =	 "",
  linkpdf =	 ""
}

@proceedings{BRICS-NS-05-3,
  title =	 "Short Contributions from the Workshop on Algebraic
                  Process Calculi: The First Twenty Five Years and
                  Beyond, {PA~'05}, {\em(Bertinoro, Forl{\`\i}, Italy,
                  August 1--5, 2005)}",
  year =	 2005,
  editor =	 "Aceto, Luca and Gordon, Andrew D.",
  number =	 "NS-05-3",
  series =	 ns,
  address =	 iesd,
  month =	 jun,
  organization = brics,
  note =	 "vi+239~pp",
  abstract =	 "This volume contains short contributions from the
                  workshop on \htmladdnormallink{``Algebraic Process
                  Calculi: The First Twenty Five Years and
                  Beyond''}{http://www.cs.aau.dk/~luca/BICI/PA-05/},
                  held in the period August 1--5, 2005, at the
                  \htmladdnormallink{University Residential Centre of
                  Bertinoro}{http://www.centrocongressibertinoro.it/en/home/index.cfm},
                  Forl{\`\i}, Italy.",
  linkhtmlabs =	 "",
  linkpdf =	 ""
}

@TechReport{BRICS-NS-05-2,
  author =	 "Aceto, Luca and Fokkink, Willem Jan",
  title =	 "The Quest for Equational Axiomatizations of Parallel
                  Composition: Status and Open Problems",
  institution =	 brics,
  year =	 2005,
  type =	 ns,
  number =	 "NS-05-2",
  address =	 iesd,
  OPTkey =	 "",
  month =	 may,
  note =	 "7~pp. To appear in a volume of the BRICS Notes
                  Series devoted to the workshop ``Algebraic Process
                  Calculi: The First Twenty Five Years and Beyond'',
                  August 1--5, 2005, University of Bologna Residential
                  Center Bertinoro (Forl\`{\i}), Italy",
  abstract =	 "This essay recounts the story of the quest for
                  equational axiomatizations of parallel composition
                  operators in process description languages, and of
                  similar results in the classic field of formal
                  language theory. Some of the outstanding open
                  problems are also mentioned",
  linkhtmlabs =	 "",
  linkdvi =	 "",
  linkps =	 "",
  linkpdf =	 "",
  OPTannote =	 ""
}

@TechReport{BRICS-NS-05-1,
  title =	 "What is Theoretical Computer Science?",
  year =	 2005,
  author =	 "Aceto, Luca and Halldorsson, Magnus Mar and
                  Ing{\'o}lfsd{\'o}ttir, Anna",
  number =	 "NS-05-1",
  series =	 ns,
  address =	 iesd,
  month =	 apr,
  organization = brics,
  note =	 "13~pp",
  abstract =	 "This article presents a bird's eye view of
                  Theoretical Computer Science aimed at a general
                  scientific audience. It then focuses on a selected
                  area within this general field, and discusses some
                  of the applications of results from that area and of
                  the fundamental theoretical questions that drive its
                  development",
  OPTlinkhtmlabs =	 "",
  OPTlinkpdf =	 "",
  OPTlinkps =	 "",
  OPTlinkdvi =	 ""
}