A special
MALOA semester
Logic and Complexity
19.September 2011 - 18.December 2011
MALOA (Mathematical Logic and Applications)
is
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
in Prague.
The program started with the
Fall School (19. - 23.September 2011).
Courses and seminars
During the semester proper there were two
lecture series:
Proof complexity and the P vs. NP problem, by
Jan Krajicek
Place: seminar room of the Dept. of Algebra.
Time: Tuesday 10.40 - 12.10 (starts October 4).
Final lecture: 20.December.
Logical aspects
of complexity theory, by
Pavel Pudlak
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.
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
seminar.
Program.
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
heading.)
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:
Anupam Das,
Yuval Filmus,
Luke Friedman,
Michal Garlik
Kaveh Ghasemloo,
Jana Glivicka,
Zuzana Hanikova,
Stepan Holub,
Karel Chvalovsky,
Emil Jerabek,
Jan Krajicek,
Petra Kurinova,
Dai Tri Man Le,
Sebastian Muller,
Alena Peterova,
Jan Pich,
Pavel Pudlak,
Alexander Vladimirovich Smal,
Neil Thapen,
Jonathan Verner,
Vaclav Vlcek,
Zi Wang.
Pictures (courtesy of Sasha Smal).