Second MALOA Training Workshop
University of Leeds
Sunday June 26 to Saturday July 2 2011
Organiser: Dugald Macpherson Course outline and prerequisites
This is a workshop on mathematical logic intended mainly for PhD students, but post-docs and more senior mathematicians are welcome. It is one of a series of training events organised by the Marie Curie Initial Training Network MALOA (see the first training workshop ). The workshop will cover a range of topics in logic, and will consider also applications of logic outside mathematics.
Lectures and courses overview:
There will be three courses of 4 lectures each by Romain Kervarc (Onera), Ben Miller (Muenster) and Charles Steinhorn (Vassar College), and individual lectures by Anand Pillay (Leeds), Jenny Rivas and David Bond (Leeds) and Ben Azvine (BT).
In addition, there will be two 4-5 lecture sessions running in parallel for one day, one around constructive set theory and proof theory given by
Peter Aczel (Manchester), Michael Rathjen (Leeds) and Nicola Gambino (Palermo), and the other on constraint satisfaction with homogeneous templates (complexity theory/model theory), given by Michael Pinsker (Paris VII).
Workshop dates:
The workshop itself will start at 9.00 on Tuesday June 28 (expected arrival day, Monday June 27), and end lunchtime on Saturday July 2. However, the workshop is immediately preceded by the mid-term review of MALOA on Monday June 27, and MALOA participants involved in this may wish to arrive on the evening of Sunday June 26.
It is expected that MALOA-funded students will give short talks on Monday 27th, and there will be an opportunity for all participants to present posters.
Lecture Notes:
Lecture notes can be found on the lecture notes pages
Workshop Timetable
Titles and Abstracts of lectures
List of Participants
Excursion on free afternoon to Bolton Abbey
|
Group in front of Abbey |
Group crossing stepping stones |
|
