Marek Zaionc
Back to the main page
Pictures
- Picture from 1995 Conference in
Swansea.
- Picture from TLCA 97 in Nancy, April
1997
- Picture from TLCA 97 in Nancy, April
1997
- Picture from TLCA 99 in L'Aquila,
April 1999
- Picture from TLCA 99 in L'Aquila,
April 1999
- Picture from British Logic
Colloquium in Gregynog, September 1999
- Picture from the "V-th Conference on
Applications of Logic in Philosophy and Foundations of Mathematics" in
Karpacz (Poland) , May 2000
- Picture from TLCA 2001. Krakow,
May 5, 2001
- Picture from TLCA 2001. Krakow,
May 5, 2001
- Picture from TLCA 2001. Krakow,
May 5, 2001
- Picture from TLCA 2001. Krakow,
May 5, 2001
- Picture from TLCA 2001. Krakow,
May 5, 2001
- Picture from Computer Science
Department, L'Ecole Normale Superieure de Lyon, France." , September 2002
- Picture from Avignon." , September
2002
- Picture from conference FIT16
Karpacz" , December 2002
- Picture from conference FIT16
Karpacz" , December 2002
- Picture from conference FIT16
Karpacz" , December 2002
- Picture from TLCA 2003. Valenia,
Spain, June, 2003
- Picture from TLCA 2003. Valenia,
Spain, June, 2003
- Picture from Wollic 2003, Oro
Preto, Brazil, August 2003.
- Picture from Wollic 2003, Oro
Preto, Brazil, August 2003.
- Picture from CHAMBERY
KRAKOW LYON WORKSHOP on Computational Logic and Applications, June 17-18
2004.
- Picture from inauguration
ceremonies of the academic year 2004 at the Department of Mathematics and
Computer Science of Jagiellonian University October 2004.
- Picture from Studia Logica
celebration at Ryszard Wojcicki home at Powalczyn (North of Poand), October
2004.
- Picture from conference CLA in
Chambery, June 2005.
- Picture from inauguration
ceremonies of the academic year 2005 at the Department of Mathematics and
Computer Science of Jagiellonian University October 2005.
- Picture from Discrete
Mathematic Days workshop in Zakopane, October 2005.
- Picture from University picnic at
Jagiellonian University Astronomical Observatory, May 2006.
- Picture with the President of
Poland, Lech Kaczynski. Professors nomination ceremony, May 2006
.
- Pictures from the conference
Computability in Europa in Swansea, July 2006.
- Pictures from the Fourth
Colloquium on Mathematics and Computer Science, Algorithms, Trees,
Combinatorics and Probabilities in Nancy, September 2006.
- Picture with students
of Introduction to Mathematics , February
2007.
- Picture with students
from winter school, February 2007.
- Picture from FIT2017
conference in Zakopane, April 2007.
- Picture from conference
TYPES 2007 in Cividale, Italy, May 2007.
- Mountains near Chambery,
France. Picture with Rene David, June 2007.
- Picture with students
of Introduction to Mathematics , January 2008.
- Graduation party with Nowy
Sacz students. March 2008.
- Computer Science on Trail,
Beskid Niski, Huta Polanska. May, 2008.
- Picture with Introduction to
Mathematics students, January 2012.
- Inauguration ceremonies
of the academic year 2011. October 2011.
- Picture from conferment of
PhD for Jarosław Duda. May 10, 2012.
- Pictures with students of
Formal Methods in Computer Science, January 2014.
- Professors cortege for the
occasion of 650 anniversary of the Jagiellonian University, May, 2014
- Picture from conferment
of PhD for Katarzyna Grygiel, October 2014.
- Pictures with students of
Formal Methods in Computer Science, January 2015.
- Pictures with Polish
Accreditation Committee, January 2016.
- Pictures with students of
Formal Methods in Computer Science, January 2016.
- Pictures with students of
Formal Methods in Computer Science, January 2017.
- Pictures from habilitation
conferment of Jakub Kozik, Sepotember, 2017.
- CELEBRATING DONALD
KNUTH’S 80TH BIRTHDAY.Pitea, Northern Sweden, January, 2018.
- Pictures with students of
Formal Methods in Computer Science, January 2018.
- Pictures with students of
Formal Methods in Computer Science, January 2019.
- Pictures with students of
Formal Methods in Computer Science, January 2020.
- Pandemic pictures with students
of Formal Methods in Computer Science, January 2021.
- Almost pandemic pictures with
students of Formal Methods in Computer Science, January 2022.
- The picture under the trivial
proof of Kuratowski - Zorn lemma with Formal Methods in Computer Science
students, January 26, 2023.
- Marek Zaionc's 70th birthday session Kraków, Poland, December 13, 2023.
- Pictures from Marek Zaionc's 70th birthday session, Kraków, Poland, December 13,
- Pictures with students of
Formal Methods in Computer Science, January 24, 2024.