@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"}

  title = 	 "Proceedings of the 1998 {APPSEM} Workshop on
                  Normalization by Evaluation, {NBE~'98}
                  Proceedings, {\em(Gothenburg, Sweden, May 8--9,
  year = 	 1998,
  editor = 	 "Danvy, Olivier and Dybjer, Peter",
  number = 	 "NS-98-8",
  series = 	 ns,
  address = 	 daimi,
  month = 	 dec,
  organization = brics
  author = 	 "Power, John",
  title = 	 "2-Categories",
  institution =  brics,
  year = 	 1998,
  type = 	 ns,
  number = 	 "NS-98-7",
  address = 	 daimi,
  month = 	 aug,
  note = 	 "18~pp",
  abstract = 	 "These notes constitute lecture notes to
                  accompany a course on $2$-categories at BRICS
                  in the Computer Science Department of the
                  University of Aarhus in March 1998. Each
                  section corresponds to one lecture.\bibpar
                  {\bf Contents} 
                  \item[1] Why 2-categories? 
                  \item[2] Calculus in a 2-category 
                  \item[3] The calculus of 2-categories 
                  \item[4] Coherence 
  linkhtmlabs =  "",
  linkdvi = 	 "",
  linkps = 	 "",
  linkpdf = 	 ""
  title = 	 "Abstracts of the Workshop on Proof Theory and
                  Complexity, {PTAC~'98}, {\em(Aarhus, Denmark,
                  August 3--7, 1998)}",
  year = 	 1998,
  editor = 	 "Butz, Carsten and Kohlenbach, Ulrich and Riis,
                  S{\o}ren and Winskel, Glynn",
  number = 	 "NS-98-6",
  series = 	 ns,
  address = 	 daimi,
  month = 	 jul,
  organization = brics,
  note = 	 "vi+16~pp",
  abstract = 	 "This small booklet contains the titles and
                  abstracts of the talks given at the workshop
                  Proof Theory and Complexity (PTAC'98), hosted
                  by BRICS during the first week of August~98
                  (August~3 -- August~7). \bibpar
                  The topic of the workshop will be on
                  proof-theory with connections to issues of
                  complexity in the widest sense including e.g.:
                  \item Strength (proof-theoretic and
                    mathematical) of subsystems of second-order
                    arithmetic and type theories. 
                  \item Type-free applicative systems (explicit
                  \item Complexity of Proof Transformations
                    (cut-elimination, normalization,
                    epsilon-substitution etc.). 
                  \item Proofs as Programs. 
                  \item Proof Interpretations and their
                    complexity: Realizability and functional
                    interpretations, game theoretic and
                    categorical interpretations. 
                  \item Bounded arithmetic and connections to
                    complexity theory (including feasible
                    arithmetic and analysis). 
                  \item Proof Complexity of propositional proof
                    systems: resolution, Frege systems,
                    Nullstellensatz proofs etc. 
                  \item Interactive and probabilistic proofs. 
                  There were two preparatory lectures during the
                  week before the workshop (by E.~Palmgren and
                  V.~Orevkov---abstracts can be obtained from the
                  BRICS homepage), and there are two special
                  lectures in connection with the workshop that
                  take place during this week (by A.~Feferman and
  linkhtmlabs =  "",
  linkdvi = 	 "",
  linkps = 	 "",
  linkpdf = 	 ""

  title = 	 "Proceedings of the Workshop on Semantics of
                  Objects as Processes, {SOAP~'98}, {\em(Aalborg,
                  Denmark, July 18, 1998)}",
  year = 	 1998,
  editor = 	 "H{\"u}ttel, Hans and Nestmann, Uwe",
  number = 	 "NS-98-5",
  series = 	 ns,
  address = 	 iesd,
  month = 	 jun,
  organization = brics,
  note = 	 "50~pp",
  abstract = 	 "One of the most widespread programming
                  paradigms today is that of object-oriented
                  programming. With the growing popularity of the
                  language C++ and the advent of Java as the
                  language of choice for the World Wide Web,
                  object-oriented programs have taken centre
                  stage. Consequently, the past decade has seen a
                  flurry of interest within the programming
                  language research community for providing a
                  firm semantic basis for object-oriented
                  Recently, there has been growing interest in
                  studying the behavioural properties of
                  object-oriented programs using concepts and
                  ideas from the world of concurrent process
                  calculi, in particular calculi with some notion
                  of mobility. Not only do such calculi, as the
                  well-known $\pi$-calculus by Milner and others,
                  have features like references and scoping in
                  common with object-oriented languages; they
                  also provide one with a rich vocabulary of
                  reasoning techniques firmly grounded in
                  structural operational semantics.\bibpar
                  The process calculus view has therefore proven
                  to be advantageous in many ways for semantics
                  and verification issues. On the one hand, the
                  use of encodings of object-oriented languages
                  into existing typed mobile process calculi
                  enables formal reasoning about the correctness
                  of programs; on the other hand, using standard
                  techniques from concurrency theory in the
                  setting of calculi for objects may help in
                  reasoning about objects, e.g. by finding
                  appropriate and mathematically tractable
                  notions of behavioural equivalences. Encodings
                  may also help clarify the overlap and
                  differences of objects and processes, and
                  suggest how to integrate them best in languages
                  with both.\bibpar
                  The aim of the one-day SOAP workshop, which is
                  a satellite workshop of ICALP 98, has been to
                  bring together researchers working mainly in
                  this area, but in related fields as well, where
                  other process models or calculi are used as a
                  basis for the semantics of objects.\bibpar
                  Among the submitted abstracts, six were
                  recommended by the programme committee
                  (Mart{\'\i}n Abadi, Hans H{\"u}ttel, Josva
                  Kleist, and Uwe Nestmann) and are presented in
                  these proceedings. According to the more
                  informal character of the workshop, there was
                  no formal refereeing process. It is expected
                  that the abstracts presented in these
                  proceedings will appear elsewhere at other
                  conferences or in journals.\bibpar
                  We would like to thank the organizers of ICALP
                  '98 for helping us set up the SOAP workshop and
                  BRICS for the publication of these
  linkhtmlabs =  "",
  linkps = 	 "",
  linkpdf = 	 ""

  title = 	 "Proceedings of the International Workshop on
                  Software Tools for Technology Transfer,
                  {STTT~'98}, {\em(Aalborg, Denmark, July 12--13,
  year = 	 1998,
  editor = 	 "Margaria, Tiziana and Steffen, Bernhard",
  number = 	 "NS-98-4",
  series = 	 ns,
  address = 	 daimi,
  month = 	 jun,
  organization = brics,
  note = 	 "86~pp",
  abstract = 	 "This volume contains the proceedings of the
                  International Workshop on {\em Software Tools
                  for Technology Transfer}, STTT'98, which took
                  place in Aalborg (Denmark) on July 12--13 1998,
                  as a satellite of ICALP'98, the 25$^{th}$ {\em
                  International Colloquium on Automata,
                  Languages, and Programming}.\bibpar
                  Tool support for the development of reliable
                  and correct computer systems is in fact of
                  growing importance: a wealth of design
                  methodologies, algorithms, and associated tools
                  have been developed in different areas of
                  computer science. However, each area has its
                  own culture and terminology, preventing
                  researchers from taking advantage of the
                  results obtained by colleagues in other fields:
                  tool builders often are unaware of, and thus
                  unable to use, work done by others. The
                  situation is even more critical when
                  considering the transfer of technology into
                  industrial practice.\bibpar
                  STTT'98 addressed this situation by providing a
                  forum for discussion of all aspects of tools
                  that aid in the development of computer systems
                  in the light of a possible tool-oriented link
                  between academic research and industrial
                  practice. Accordingly, the event comprised
                  \item a {\bf one-day Workshop}, on {\em July
                    12th}, whose eight talks were organized in
                    three sessions: 
                    \item {\em Verification of Code Generation}:
                      compiler-specific and program-specific
                    \item {\em Model Checking}: variants, also
                      comprising real time aspects. 
                    \item {\em Technology Transfer}: initiatives
                      and projects. 
                  \item a {\bf two-days Tool Exhibition}, on {\em
                    July 12th and 13rd}, which, in addition to
                    the tools presented at the workshop,
                    comprised a demonstration of the three tools
                    described at the end of the proceedings. 
  linkhtmlabs =  "",
  linkps = 	 "",
  linkpdf = 	 ""
  author = 	 "Klarlund, Nils and M{\o}ller, Anders",
  title = 	 "{\sf MONA} Version 1.2 --- User Manual",
  institution =  brics,
  year = 	 1998,
  type = 	 ns,
  number = 	 "NS-98-3",
  address = 	 daimi,
  month = 	 jun,
  note = 	 "60~pp",
  abstract = 	 "This manual describes MONA version 1.2 as
                  released June 1998. Sections 2 and 3 describe
                  the features of the MONA tool through a number
                  of examples. Section 4 discusses the
                  automaton-logic connection and the MONA
                  compilation semantics. In Section 5, the
                  decision procedure for WS2S is presented along
                  with the MONA concept of a tree automaton.
                  Section 6 discusses our plans for future work.
                  In the appendices, the full syntax is defined,
                  the command-line usage of MONA is shown, and
                  the MONA BDD-package is described. The complete
                  source code for MONA version 1.2 is available
                  for educational and research purposes. Please
                  visit the MONA home page at \htmladdnormallink
                  for further information",
  linkhtmlabs =  "",
  linkps = 	 "",
  linkpdf = 	 ""

  title = 	 "Proceedings of the Workshop on Applicability
                  of Formal Methods, {AFM~'98}, {\em(Aarhus,
                  Denmark, June 2, 1998)}",
  year = 	 1998,
  editor = 	 "Mosses, Peter D. and Engberg, Uffe H.",
  number = 	 "NS-98-2",
  series = 	 ns,
  address = 	 daimi,
  month = 	 jun,
  note = 	 "94~pp"
  title = 	 "Preliminary Proceedings of the 1998 APPSEM
                  Workshop on Normalization by Evaluation,
                  {NBE~'98}, {\em(Gothenburg, Sweden, May 8--9,
  year = 	 1998,
  editor = 	 "Danvy, Olivier and Dybjer, Peter",
  number = 	 "NS-98-1",
  series = 	 ns,
  address = 	 daimi,
  month = 	 may,
  organization = brics