a Special Interest Group in Logic and Computation, is an inter-disciplinary group at Leeds aimed at fostering the development of research-related activity at the interface between Mathematics, Logic, and Computing.

Planned SIGLaC EVENTS

Half-day meeting series - "Mathematical Aspects of Computation"
Wednesday 8th March, 2006

*** EC Stoner Room 07.73, School of Education ***
Provisional Programme
13.00: Welcome and buffet lunch
13.30: Robin Milner (Computing Laboratory, Cambidge).
Bigraphs: a coordination calculus for mobile computation.
Abstract
Slides
14.30: Alan Selman (Buffalo, US).
Disjoint NP-Pairs
Abstract
15.30: Tea/Coffee break
16.00: Martin Hyland (DPMMS, Cambridge)
Recursion as Feedback
Abstract

Previous SIGLaC EVENTS

Half-day meeting series - "Mathematical Aspects of Computation" Wednesday 2nd November, 2005
Wednesday 16th March, 2005
Wednesday 8th December, 2004 This event was co-sponsored by the Leeds University Informatics Institute
Seminars Friday 17th February, 2006, 3.00 pm,
One-way and no other way !!!
presented by Elham Kashefi, Oxford/Waterloo, Canada
Monday 28th June, 2004, 3.00 pm,
Current and Future Plans for the PPL: a Library of Numerical Abstractions for Data-Flow Analysis.
presented by Pat Hill, School of Computing, Leeds

SIGLaC MAILING LIST

One of the best ways to keep yourself informed about SIGLaC events is to get email notification via our mailing list. If you would like to be added to the SIGLaC mailing list, please contact a member of the organizing committee.

SIGLaC Organizing Committee

Barry Cooper s.b.cooper @ leeds.ac.uk
Martin Dyer dyer @ comp.leeds.ac.uk
Pat Hill hill @ comp.leeds.ac.uk
John Truss j.k.truss @ leeds.ac.uk
Stan Wainer s.s.wainer @ leeds.ac.uk

SIGLaC Links

Computing Theoretical Computer Science
Knowledge Representation and Reasoning
Mathematics The Leeds Logic Group


Last modified February 27, 2006
Maintained by Pat Hill (hill @ comp.leeds.ac.uk) and Barry Cooper (pmt6sbc @ leeds.ac.uk)