Seminar on Reckoning
Download 10.87 Kb.
|
- Navigate this page:
- IEEE/IFAC Workshops on Discrete-Event Systems (WODES) 2010, 2012, 2014
| 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 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 semester-long 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 Discrete-Event Systems in Cagliari, Italy, in June 2011. The School has been organized for Ph.D. 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ý). 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
Modélisation des Systèmes Réactifs (MSR) 2011, 2013Conference on Analysis and Design of Hybrid Systems (ADHS) 2012,European Control Conference (ECC) 2013, 2014Thapen 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, CDC-ECC, 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 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.
3. 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) 07.11.2013 in Brno, 08.11.2013 and 11.11.2013 in Prague Thapen released an on-line fractal sketching tool, "Doodal" - http://dood.al Directory: images images -> Pelan pentaksiran kursus images -> Military callsign list as of dec 2010 images -> For Date: 02/01/2013 Friday Call Number Time Call Reason Action 13-768 0008 motor vehicle stop warning Issued images -> New embedded S images -> Creating Buy-In – Building Relationships images -> Deadline: Saturday, March 12th, 2016 images -> News items from Raising Our Voices images -> Last year four of the best Afrikaans Christian singers joined forces to tour Down Under with the production ‘Manne wat Glo’ images -> World-renowned vocal ensemble sweet honey in the rock images -> Peoples Voice Café History Download 10.87 Kb. Share with your friends:
|