Math

Open source software for experimenting with matroids by Robert and Sandra Kingan.

Crete, Greece, 1-6 July 2002.

A mentoring workshop. University of Illinois at Urbana-Champaign; 12--15 June 2002.

In honour of Tony Geramita on the occasion of his 60th birthday. Acireale, Sicily, Italy; 6--8 June 2002.

MSRI, Berkeley, California, USA; 7 January -- 17 May 2002.

Workshop on algorithmic and computational shape analysis. AIM Research Conference Center (ARCC), Palo Alto, CA, USA; 6--9 May 2005.

Biographical entry in the FOLDOC.

Home page of a working group maintained by Thierry Coquand.

A definition of the concept.

Disseratation by Mads Dan, investigating the general model theory of propositional relevance logic.

Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars.

Middle school contests available to students in New Brunswick, with results and problem archive.

Graphical and text versions of this puzzle. Includes Background and solutions.

Billion digits of Pi for download. Search for birthday dates in Pi. Introduction to maths related to Pi. Simple description of how Pi is calculated.

Centre for Forensic Statistics and Legal Reasoning.

School of Mathematics and Statistics.

Department of Biomathematics

Statistics Department

Department of Statistics

Statistics.

Department of Applied Mathematics and Statistics.

Applied Algebra, Algebraic Algorithms, and Error Correcting Codes. Toulouse, France; 12-16 May 2003.

Sosemanuk borrows features of the Snow stream cipher and the Serpent block cipher. The C source code for the cipher is available from the Ecrypt site.

Downloadable password recovery software.

An elementary account of the mathematics behind the RSA cryptosystem.

PPS is a specification for email programs to follow to exchange public keys and encrypt mail. There is no PPS ``program, though. Each email system may find its own way to implement PPS, and may have different criteria for the user-interface.

Workshop on the mathematics of public-key cryptography. University of Illinois, Chicago, IL, USA; 7--9 November 2003.

Ninth international conference on Financial Cryptography and Data Security. Roseau, Dominica; 28 February -- 3 March 2005.

12th Fast Software Encryption workshop. ENSTA, Paris, France; 21--23 February 2005.

The third Theory of Cryptography conference. Columbia University, New York, NY, USA; 5--7 March 2006.

Article by G. Barthe, J. Hatcliff, and M.H. Sørensen which presents a CPS translation to Barenderegt's `cube' of pure type systems, and applies this to provide a formulae-as-types correspondence for higher-order classical predicate logic.

Article by C.-H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu calculus. The calculus is proposed as a foundation for first-class continuations and statically scoped exceptions in functional programming languages.

ITT Industries, Inc., USA.

RMIT University, Australia.