Marek Zaionc

Back to the main page

Grants

  1. 2019 - 2022 Grant NCN Opus 16, Tytuł: Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
  2. 2017 Grant Polonium "Ilościowe aspekty logiki i programów" grant numer 34648/2016.
  3. 2014 - 2017 Grant NCN Opus 6 Tytuł: "Asymptotyczne metody w rachunku lambda i logice kombinatorycznej"
  4. 2014 - 2017 Grant NCBiR "Kolonoskopia - Innowacyjna diagnostyka..."
  5. 2011 - 2012, Quantitative logic, Ministerstwo Nauki i Szkolnictwa Wyższego, grant polsko - francuski POLONIUM,Współpraca pomiedzy Uniwersytetem Jagiellonskim a Laboratoire d'informatique de Paris 6 (LIP6) Theoretical Computer Science, 4 place Jussieu, Paris, France, kontrakt 8434/2011
  6. 2010 - 2012 Śledzenie poruszających się osób w monitorowanych strefach Ministerstwo Nauki i Szkolnictwa Wyższego projekt badawczo-rozwojowy, grant obronny R00 0081 11
  7. 2009 - 2012  Marek Zaionc, Katarzyna Grygiel, Jakub Kozik, Mikołaj Pudo, Paweł Waszkiewicz   Ministry of Science and Higher Education grant. Contract number N206 376137 Title "Quantitative study in logics and computation theory".
  8. 2008 -2009. European grant given by region Rhone-Alpes (France) for the project CASIMIR, ( MIRA 2007 programme Recherche: CASIMIR : Recherche coopérative en logique computationnelle) between Theoretical Computer Science Department of Jagiellonian University at Krakow, L'Ecole Normale Superieure de Lyon. Kontract number 2008 - 0042, 0842C312
  9. 2006 - 2008 Grant polsko - francuski POLONIUM, Badania ilosciowe w logice i jezykach funkcyjnych, wspólpraca pomiedzy Uniwersytetem Jagiellonskim a L' \'Ecole Normale Sup\'erieure de Lyon oraz Universite de Versailles Saint-Quentin, kontrakt 7087/R07/R08
  10. 2004 -2006, Sixth Framework Program, Information Society Technologies, title: Types for Proofs and Programs, Project of 35 European Universities, contract number 510996. See also Polish TYPES webpage.
  11. 2004 -2005. European grant given by region Rhone-Alpes (France) for the project MIKOLAJ, between Institute of Computer Science Jagiellonian University at Krakow, L'Ecole Normale Superieure de Lyon and the University of Savoie at Chambery.
  12. 2001 - 2003 KBN (Committee for Scientific Research) grant. Contract number 7~T11C 022 21. Title "Object complexity and asymptotic density"
  13. 2001 -2003. European grant given by region Rhone-Alpes (France) for the project LAMBDA, between Institute of Computer Science Jagiellonian University at Krakow, L'Ecole Normale Superieure de Lyon and the University of Savoie at Chambery.
  14. 2001 Office of Naval Research, grant number N00014-01-1-0450. Title: Support for Fifth International Conference of Typed Lambda Calculi and Applications.
  15. 1999 - 2000 KBN (Committee for Scientific Research) grant. Contract number 8~T11C 018 16. Title "Simple Lambda Calculus as a Base For Higher Order Programming"
  16. 1997-1998 Internal Jagiellonian University grant. Title "Lambda definability"
  17. 1993- 1995 KBN (Committee for Scientific Research) grant. Contract number 3~P406~019~X05. Title "Lambda definability of higher order functionals"
  18. 1992- 1995. Joint European Project TEMPUS Contract number JEP 4349~92/1. Title "Computer Science in Cracow".