Logic and Complexity
19.September 2011 - 18.December 2011
MALOA (Mathematical Logic and Applications)
a Marie Curie Initial Training Network
in which the Charles University participates (see
info on people in the Prague node).
As a part of the MALOA program there was a special
semester on Logic and Complexity, organized by
Jan Krajicek at the
Department of Algebra of the
Faculty of Mathematics and Physics of the Charles University
The program started with the
Fall School (19. - 23.September 2011).
Courses and seminars
During the semester proper there were two
Proof complexity and the P vs. NP problem, by
Place: seminar room of the Dept. of Algebra.
Time: Tuesday 10.40 - 12.10 (starts October 4).
Final lecture: 20.December.
of complexity theory, by
Place: blue lecture hall of the
Institute of Mathematics (ground floor of the rear building).
Time: Monday 10 - 11.3o
Final lecture: 12.December.
and several regular seminars including:
Logic seminar and Complexity seminar serve
as venues for presenting the research of its
participants and visitors or of new advances in the field.
This semester the seminars will be run together.
Place: same as Pudlak's lecture above.
Time: Monday 14.oo - 15.3o (starts properly October 17).
Final seminar: 12.December.
Open problems/work in progress
During the semester this seminar
was devoted to discussions of open
problems in the area of Logic&Complexity and of a
research in progress.
(For Czech students planning to sign up for it:
it will run under the
usual Student logic seminar
Place: seminar room of the Dept. of Algebra
Time: Thursday 10.40 - 12.10 (starts October 6).
Final seminar: 14.December (Wed exceptionally).
Participants of the semester activities included:
Dai Tri Man Le,
Alexander Vladimirovich Smal,
Pictures (courtesy of Sasha Smal).