Appendix 3.10
Pedagogical activity, participation of the team members in the
activities of the scientific community
Institute
Institute of Mathematics CAS
Scientific
team
Logic and Theoretical Computer Science
1. Pedagogical activity of the team members, including involvement of
students in the research
Maximum length of 5 pages.
Most researchers in our group do not teach on a regular basis. Nevertheless, we
have had a lot of contacts with students, mainly from Charles University. The central
role in these interactions play our regular seminars, Logic Seminar, Complexity
Seminar and Seminar on Reckoning. Students from Charles University can sign in
and get credit for attending these seminars. Most students participate actively and
present their own work or give presentations of some recent important results.
In the fall of 2011, Jan Krajíček organized a special semester Logic and Complexity
in the framework of the European project Maloa at Charles University. Two semesterlong courses Proof complexity and the P vs. NP problem, given by Krajíček, and
Logical aspects of complexity theory, given by Pudlák, took place in the Institute of
Mathematics. The courses were attended by students from 10 different countries.
Krajíček, Koucký, Sgall while their main affiliation was still in the institute gave many
advanced courses at the Faculty of Mathematics and Physics of Charles University.
Koucký also gave a course for graduate students Random walks on graphs and their
applications at Aarhus University, Denmark. Chodounský gave courses on forcing,
Hladký on stochastic processes (Technical University of Prague), Jeřábek on model
theory. Pudlák has a regular course Logic for Computer Science.
Komenda and Masopust gave 5 courses at the DISC School on Control of DiscreteEvent Systems in Cagliari, Italy, in June 2011. The School has been organized for
PhD students mainly from European countries in the framework of the ICT-224498
European Project DISC.
Members of the group supervised several students. The most successful PhD
students were Michal Doucha (supervised by Zapletal) and Jan Bulánek (supervised
by Koucký).
1.1
Supervising students
Type of study
No. of supervisors
(theses, dissertations)
No. of consultants
and co-supervisors
Theses defended
in 2010-2014
Bachelor
0
0
0
Master
2
0
2
Doctoral
9
0
4
1
Appendix 3.10
2. Participation of the team members in the activities of the scientific
community
Membership in scientific commissions and panels – EU, CSF, TACR etc., scientific councils, editorial
boards, review activities etc. Maximum length of 2 pages.
Panels
Zapletal serves regularly as a NSF panel member for the Division of Mathematical
Sciences program Foundations of Mathematics.
Editorial boards
Masopust: Kybernetika, International Journal of Computational Mathematics
Pudlák: Computational Complexity, Math. Logic Quarterly
Komenda: Automatica
Organizing conferences
Since 2011 Chodounský organizes annual international conference Winter School in
Abstract Analysis, section Set Theory & Topology. This conference has a long
tradition and always takes place in the Czech Republic.
Program committees
Koucký
-
International Computer Science Symposium in Russia (CSR) 2011, 2013
-
Workshop on Computational Complexity of Discrete Problems, organizing and
program committee Dagstuhl, Germany, 2011, 2014 (leading the committe in
2014),
-
International Colloquium on Automata, Languages, and Programming (ICALP)
2011, 2014
-
Symposium on Theoretical Aspects of Computer Science (STACS), Kiel,
Germany, 2013
Masopust
-
OrdRing 2014 -- 3rd International Workshop on Ordering and Reasoning,
Trentino, Italy
-
ETFA 2014
-- 19th IEEE International Conference on Emerging
Technologies and Factory Automation, Barcelona, Spain
-
DCFS 2011
-- 13th International Workshop on Descriptional Complexity of
Formal Systems, Giessen, Germany
Komenda
-
IEEE/IFAC Workshops on Discrete-Event Systems (WODES) 2010, 2012,
2014
-
Modélisation des Systèmes Réactifs (MSR) 2011, 2013
-
Conference on Analysis and Design of Hybrid Systems (ADHS) 2012,
2
Appendix 3.10
-
European Control Conference (ECC) 2013, 2014
Thapen
-
Computability in Europe (CiE) 2014
Review activities
Chodounský
-
journals: Topology and its Applications, Archive for Mathematical Logic,
Annals of Pure and Applied Logic
Masopust
-
journals: Automatica, CAI, IandC, IJCM, IJFCS, IPL, ITA, JALC, JCSS,
JDEDS, Kybernetika, TAC, T-ASE, TCS, TCST
-
conferences: 2010 – LATA, CONCUR, DCFS; 2011 – LATA, DCFS, CDCECC, SYNASC, ACC; 2012 – CDC, DCFS, WODES, ICARCV, SOFSEM,
ACC; 2013 – PODS, DLT, CDC, DCFS, ACC; 2014 – WODES, PetriNets,
ICALP, CIAA, ETFA, DL, EXPRESS/SOS, OrdRing, CIKM, STACS
Thapen
3.
-
journals: Archive for Mathematical Logic, Bulletin of the Iranian Mathematical
Society, Journal of Symbolic Logic, Logical Methods in Computer Science,
Portugaliae Mathematica, SIAM Journal on Computing, ACM Transactions on
Computational Logic;
-
conferences: Computer Science Logic, Mathematical Foundations of
Computer Science, Symposium on Theory of Computing.
Activity in the area of research popularization
Courses and lectures for the public, popularization publications etc. Maximum length of 10 pages.
Masopust held public lectures Matematické hlavolamy a rébusy (Mathematical
puzzles and riddles) 7. 11. 2013 in Brno, 8. 11. 2013 and 11. 11. 2013 in Prague
Thapen released an on-line fractal sketching tool, "Doodal" - http://dood.al
3