Mathematical Foundations Seminars

The Mathematical Foundations Group holds weekly seminars, on an informal basis, on a widely variety of subjects. These are intended to be informative and of interest to both students and staff. Our seminars are not always just concerned with new research; we often use them as a chance for teaching or to provide background knowledge in more established areas. Audience participation is encouraged!

Seminars take place each Thursday afternoon at 2pm, usually in one of the Atlas rooms. They usually last an hour or two depending on speaker and the topic.

Harold 30th March 2.00pm Atlas How long is a piece of string?
Robin 23rd March 2.00pm Atlas Proof nets for linear logic
Robin 16th March 2.00pm Atlas What is linear logic?
Harold 9th March 2.00pm IT106 Styles of derivation for propositional calculus, and beyond.
Harold 2nd March 2:00pm Atlas How big is the continuum?

Previous Seminars

The MFG has been running its seminar series for a few years now and so, to save some space, details of earlier talks have been moved. Follow the links for seminars held in 2004, 2003, 2002 and 2001 respectively.

A selection of lecture notes for material covered in MFG seminars at various times are now available.

For further details about out seminar series contact Harold Simmons.

LaMpass

Details of meetings in the Leeds and Manchester Proofs and Sets Seminar series can be found here.

Visitors

In recent years we have enjoyed the company of:

Other Areas of Interest

The Leeds Logic Group in the Mathematics department at Leeds University also sometimes have interesting seminars. For further details check their site.

The Logic Group at the Mathematics Department here at Manchester also occasionally have seminars.


Return to the Mathematical Foundations Group homepage.


These pages are maintained by Don MacInnes. Last changed on 29th June 2005.
Disclaimer, Terms of Use and