|
|
The Leeds Logic Group is one of the largest and most active in
Europe, with an international reputation for research in
several of the main areas of mathematical logic - computability
theory, model theory, set theory and foundations, proof theory,
and in applications to algebra, analysis and theoretical
computer science.
The group has been very successful in
obtaining EPSRC and EU support for Research Students and
Post-Doctoral Fellows, and has been the focus of extensive
international collaboration via various
research projects and networks in proof theory,
computability theory and model theory. Our past postgraduates
and researchers
have been very successful in moving to research or teaching
positions in Mathematics and Computer Science departments
around the world.
Further details of individual staff's research interests can
be found on their homepages, accessed via the links
on the left. Applications to visit or to
pursue research within the Leeds Logic Group are always
welcome. We have a large, lively, and very international
community of faculty, research students and postdoctoral fellows.
For full information on how to
apply to do research in Pure Mathematics at Leeds,
please contact
the Pure Mathematics
Postgraduate Tutor, Prof.
Michael
Rathjen.
Alternatively, you can contact
Prof. Dugald Macpherson,
who is always
willing to give helpful advice, and who coordinates
EU MALOA funding of
PhD students in logic at Leeds - just click
on his photograph.
NEWS
|
On June 23rd, 2012, Alan Turing
was born in London, and went on to have a huge impact on logic, computing,
cryptography and artificial intelligence.
Barry Cooper
from Leeds Chairs
the Turing Centenary Advisory
Committee (TCAC), which will coordinate the
Alan Turing Year
celebrating this unique anniversary.
|
Leeds Symposium on
Proof Theory and Constructivism was held at
the University of Leeds, 3-16 July 2009.
Included was a
Conference on Proofs and Computations in honour of
Stan
Wainer's 65th
birthday, 4-5, July, and a Gentzen Centenary Conference on
the 5th and 6th of July, celebrating 100 years since the birth of
Gerhard
Gentzen, the founder of structural proof theory.
|
 In 2009, the
Leeds
Logic Group welcomed Dr.
Peter
M. Schuster.
Having
taken his doctorate at the University of Munich,
he has
been active in recent years, co-editing
books and special issues of journals, speaking at meetings, and
authoring more than 45 research articles.
Contributions include
reverse and choice-free mathematics; formal topology; and
constructive set theory. In 2008 the
Humboldt Foundation awarded him a
Feodor Lynen Research Fellowship.
|
The 2008
Löb Lecturer was
Professor Solomon
Feferman from
Stanford University. An ex-student of Alfred Tarski, Sol Feferman received the
Rolf Schock Prize in Logic and Philosophy for 2003, is an ex-President
of the ASL, and is Editor-in-Chief of the Gödel Collected
Works.
Anita Burdman Feferman, author of From Trotsky to Gödel:
The Life of Jean Van Heijenoort, and (with Sol)
Alfred Tarski: Life
and Logic
gave a fascinating talk on Tarski before the Löb Lecture.
Some photos from the two lectures,
thanks to Bahareh Afshari.
Anand Pillay
from Leeds will give the
21st Tarski Lecture at UC Berkeley.
|
Recently rejoined the Leeds Logic Group is
Andrew
Lewis.
He has been awarded a prestigious Royal
Society Research Fellowship (only 30 granted nationally)
to work at Leeds for 5 years
(renewable for up to a further 5 years).
Andy was a recent invited speaker at
Logic Colloquium 2006
in Nijmegen, and at the 2008
Association for Symbolic Logic Annual Meeting in Irvine, California.
|
The Leeds Algebra and Logic Group has been selected as a
University
Gold
Peak of Excellence, in recognition of its world-leading
research and its international renown.
|
Martin Löb, a central figure in the development of
CMathematical Logic in the UK, and founder of the
Leeds Logic Group, has died in Holland at the age of 85.
For an account of his life and work, see the
Guardian Obituary by Stan Wainer,
or this Amsterdam webpage.
|
MATHLOGAPS -
the EU Marie Curie EST project,
Mathematical Logic
and Applications,
involving Leeds, Lyon, Munich and
Manchester, recently finished. Its successor,
starting in 2009, is the
Marie Curie ITN project
MALOA, also
coordinated from Leeds by
Dugald
Macpherson.
Leeds was a main
participant in
the Marie Curie model theory network
MODNET, 2005-08.
|
Barry
Cooper has been elected President of the
Association Computability in Europe. CiE conferences held include
CiE
2005 in Amsterdam,
CiE
2006 in Swansea,
CiE
2007 in Siena,
CiE
2008 in Athens, and
CiE
2009 in Heidelberg.
CiE
2010 will be in Ponta Delgada, the Azores, Portugal.
|
|
|
