Volume 74, 2002

The Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2002)
July 2002

• 
  Andrew Butterfield, Jim Woodcock: Semantic domains for Handel-C. 1-20
• 
  Nils Anders Danielsson, Michael B. Smyth: Matroids from modules. 21-38
• 
  L. M. García Raffi, Salvador Romaguera, E. A. Sánchez-Pérez: The supremum asymmetric norm on sequence algebras: a general framework to measure complexity distances. 39-50
• 
  Roland Heinze: Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs. 51-68
• 
  C. M. W. Little: Parametrized quotation and self-reference. 69-88
• 
  David J. C. MacKay, Christopher P. Hesketh: Performance of low density parity check codes as a function of actual and assumed noise levels. 89-96
• 
  David J. C. MacKay, Michael S. Postol: Weaknesses of Margulis and Ramanujan-Margulis low-density parity-check cCodes. 97-104
• 
  M. O'Keeffe, Salvador Romaguera, Michel P. Schellekens: Norm-weightable Riesz spaces and the dual complexity space. 105-121
• 
  M. O'Keeffe, Michel P. Schellekens: Average merge time: an intuitive interpretation. 122-133
• 
  Colm Ó'Dúnlaing: Inorder traversal of splay trees. 134-157
• 
  Salvador Romaguera, E. A. Sánchez-Pérez, Oscar Valero: The complexity space of a valued linearly ordered set. 158-171
• 
  Michael B. Smyth: The constructive maximal point space. 172-188
• 
  Mark Sofroniou, Giulia Spaletta: On the construction of a new generalization of Runge-Kutta methods. 189-206
• 
  Rueiher Tsaur, Michael B. Smyth: Fixed points in digital topology (via Helly posets). 207-223
• 
  Ted Hurley: Preface. 224-225