Marek Zaionc

Back to the main page

Involvement, other than as an ordinary participant, in the following international scientific meetings.

  1. Computation Logic and Information Conference, July 3-5, 2024, Jagiellonian University, Krakow. Organizer togeher with prof. Wojciech Szpankowski (Purdue University)

  2. Research in Adaptive and Convergent Systems 2017 (ACM SIGAPP) (RACS 2017), Krakow, September 20-23, 2017, Honorable General Chair.

  3. The Tenth Workshop on Information Theoretic Methods in Science and Engineering, 11-13 September 2017 - Paris, France, Invited speaker.

  4. 10th Workshop Computational Logic and Applications Göteborg, Sweden, 18-19 May 2017, Program Committee.

  5. AofA 2016, 27th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, July 2016 Krakow, Poland, Program Committee Chair.

  6. SOFSEM 2012, 38th International Conference on Current Trends in Theory and Practice of Computer Science, January 21–27, 2012, Program Committee.

  7. Versailles-Lyon-Krakow Workshop on Computational Logic and Applications (CLA 2008), June 6-7 2008, Program Committee.

  8. Versailles-Lyon-Krakow Workshop on Computational Logic and Applications (CLA 2007), September 24-25, 2007, Program Committee.

  9. CHAMBERY KRAKOW LYON WORKSHOP on Computational Logic and Applications, Chambery, June 20-21, 2005, Program Committee.

  10. DISC 2005, 19th International Symposium on Distributed Computing, September 26-29, 2005, Cracow, Poland. Organizing Committee.

  11. WollIC005 (12th Workshop on Logic, Language, Information and Computation), Florianópolis, Santa Catarina, Brazil, August 2005, program committee.

  12. TLCA2005, Seventh International Conference Typed Lambda Calculi and Applications Nara, Japan, 21-23 April 2005, Program Committee.

  13. CHAMBERY KRAKOW LYON WORKSHOP on Computational Logic and Applications, Lyon, June 17-18, 2004, Program Committee.

  14. Chambery-Krakow-Lyon Workshop on lambda-calculus, type theory and mathematical logic , Krakow June 27, June 29, 2002, Program Committee.

  15. Fifth International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS 2001, Krakow May 2-5, 2001, Organizing Committee Chairman.

  16. FCT`97, Fundamentals of Computation Theory, September 1997, Program Committee, Kraków.