XXXVIII Konferencja Historii Logiki. 17-18 November 1992, Kraków; UJ.
Sixth Conference of the European Chapter of the Computational Linguistics, EACL'93. 21-23 April 1993, Utrecht; EACL.
Third Kurt Gödel Colloquium, KGC'93. 24-27 August 1993, Brno; Kurt Gödel Society.
XXXIX Konferencja Historii Logiki. 10 November 1993, Kraków; UJ. Intuicjonistyczne operatory zdaniowe i ich interpretacje topologiczne.
International Summer School, Marktoberdorf: Proof and Computation. 20 July - 1 August 1993, Marktoberdorf; NATO Science Comeittee & Institute für Informatik Technische Universität München.
XL Konferencja Historii Logiki. 16-17 November 1994, Kraków; UJ.
Conference on Philosophical Logic. Including a Workshop: Navigating Around Inconsistent Structures. 15-16 December 1994, Gent; University of Gent. On Some Nonstandard Intuitionistic Propositional Operators and Their Topological Interpretations.
Complexity, Logic and Recursion Theory. 1995 COLORET Workshop. 2-7 May 1995, Certosa di Pontignano; University of Siena.
International Summer School, Marktoberdorf: Logic of Computation. 25 July - 6 August 1995, Marktoberdorf; NATO Science Comeittee & Institute für Informatik Technische Universität München.
10th International Congress of Logic, Methodology and Philosophy of Science. 19-25 August, Florence; International Union of History and Philosophy of Science. Topological Interpretations of Second Order Intiuitionistic Propositional Logic.
XLI Konferencja Historii Logiki. 25 October 1995, Kraków; UJ. Kwantyfikatory zdaniowe w logice intuicjonistycznej.
Zastosowania Logiki w Matematyce i Filozofii. 18-21 April 1996, Karpacz; UWr & UŚ. Pitts' Quantifiers are not Topological Quantification.
AMS-BeNeLux Congress. 22-25 May 1996, Antwerp; American, Belgian, Dutch, Luxemburg Mathematical Societies & University of Antwerp. Pitts' Quantification vs Topological Quantification (23 May 1996).
XLII Konferencja Historii Logiki. 19-20 November 1996, Kraków; UJ.
Applications of Logic in Philosophy and the Foundations of Mathematics.24-27 kwietnia 1997, Karpacz; Uniwersytet Wroclawski, Uniwersytet Opolski, US.
I Ogólnopolska Konferencja Zastosowan Algebry w Logice i Informatyce. 19-25 maja 1997, Zakopane; WSP Czestochowa. Zanurzenia algebr Heytinga w przestrzenie topologiczne.
Fifth Kurt Gödel Colloquium. Computational Logic and Proof Theory. August 25-29, 1997, Vienna; Kurt Gödel Society. Propositional Quantification in Intuitionistic Logic.
Warsztaty Logiczno-Filozoficzne. 2-6 September 1997, Górzno; UMK. Kwantyfikacja zdaniowa w logice intuicjonistycznej.
XLIII Konferencja Historii Logiki. 18-19 November 1997, Kraków; UJ.
Third Conference on Applications of Logic in Foundations of Mathematics and Philosophy. May 6-10, 1998, Karpacz, Poland. Models of Heyting Arithmetic.
Second National Conference on Applications of Algebra in Logic and Computer Science. May 18-25, 1998, Zakopane, Poland. Kripke Models of Heyting Arithmetic.
XLIV Logic Conference. November 19-20, 1998, Kraków, Poland. Models of Intuitionistic Arithmetic.
Logic Group Seminary, Opole University. December 15, 1998. Modele arytmetyki intuicjonistycznej.
Logic Colloquium'99. Utrecht, August 1-6 1999. Kripke Models of Arithmetical Theories.
11th International Congress of Logic, Methodology and Philosophy of Science. Kraków, August 20-26 1999. Kripke Models of Arithmetical Theories.
XLV Konferencja Historii Logiki. Kraków, October 26-27 1999. Modele kripkowskie a hierarchia Burra.
Applications of Logic in Philosophy and the Foundations of Mathematics V. Karpacz, May 17-21 2000. Constructing Kripke Models of Arithmetic.
XLVI Konferencja Historii Logiki. Kraków, October 24-25 2000.
Applications of Logic in Philosophy and the Foundations of Mathematics VI. Karpacz, April 25-29 2001. The Maximum Property for Propositional Quantifiers.
Logic Colloquium 2001. Vienna; August 6-11, 2001. Quantifying over propositions in the class of trees.
Summer School on General Algebra and Ordered Sets, 2001.Stara Lesna September 2-8, 2001. Intuitionistic logic, propositional quantification, and the class of trees.
Applications of Logic in Philosophy and the Foundations of Mathematics VII. Polanica Zdrój; April 24-28, 2002. Propositional quantifiers and decidability problems.
Summer School on General Algebra and Ordered Sets, 2002.Liptovsky Mikulas, Slovakia; September 1-6, 2002. An algebraic approach to weak arithmetic.
Warsztaty Logiczno-Filozoficzne. Zawoja, September 23-37, 2002. On some fragments of arithmetic.
XLVIII Konferencja Historii Logiki. Kraków, October 22-23 2002.
VII Ogólnopolska Konferencja Zastosowan Algebry w Logice i Informatyce. March 10-16, 2003, Zakopane-Jaszczurówka. A universal Horn fragment of arithmetic.
Applications of Logic in Philosophy and the Foundations of Mathematics VIII. Karpacz; May 6-10, 2003. An equational fragment of arithmetic.
Colloquium of Department of Mathematics, University of Puerto Rico. Mayaguez, Puerto Rico; October 2003. Constructing models of constructive theories.
SIDIM 2004. Cayey, Puerto Rico; February 27-28, 2004. Kripke models of first-order theories.
Summer School on General Algebra and Ordered Sets, 2004.Mala Moravka, Czech Republic; September 5-11, 2004. Projective formulas via universal Kripke models.
L Konferencja Historii Logiki. Kraków; October 26-27, 2004. A characterization of projective formulas.
IX Ogólnopolska Konferencja Zastosowan Algebry w Logice i Informatyce. March 7-13, 2005, Zakopane-Jaszczurówka. Archetypal Rules or: Who is an Omniscient Agent?
Applications of Logic in Philosophy and the Foundations of Mathematics X. Szklarska Poręba, May 9-13, 2005. Kripke models of Heyting Arithmetic and its fragments.
Letnia Szkoła Instytutu Matematyki UŚ. Ustroń, September 2005. Arytmetyka intuicjonistyczna.
Applications of Logic in Philosophy and the Foundations of Mathematics XI. Szklarska Poręba, May 8-12, 2006. Collection schema in intuitionistic aruthmetic.
Logic Colloquium 2006. Nijmegen, the Netherlands, 27 July-2 August, 2006. Partially-elementary extension Kripke models and subtheories of Heyting Arithmetic.
Letnia Szkoła Instytutu Matematyki UŚ. Ustroń, September 2006. Archetypal rules.
Applications of Logic in Philosophy and the Foundations of Mathematics XII. Szklarska Poręba, May 7-11, 2007. Back and forth between Kripke models.
Logic Colloquium 2007. Wrocław, July 14-19 2007. Back and forth between Kripke models.
Applications of Logic in Philosophy and the Foundations of Mathematics XIII. Szklarska Poreba, 5–9.05.2008. Representing Kripke models in classical structures.
Summer School on General Algebra and Ordered Sets, 2010. Malenovice, Czech Republic; September 4–10.09.2010. Bisimulation and first-order intuitionistic Kripke models.
Applications of Logic in Philosophy and the Foundations of Mathematics XVI. Szklarska Poręba, 9–13.05.2011. Structural Completeness: A Look Back.
Logica 2011. Hejnice, Czech Republic; 20–24.06.2011. Archetypal Rules and Intermediate Logics.
Non-classical logics. Theory and Applications, IV. Łódź, 27–29.09.2011. On submodels and elementary submodels of Kripke models.
Non-classical Modal and Predicate Logics. 5-9.12.2011, Guangzhou, China. Elementary submodels of Kripke models.
Applications of Logic in Philosophy and the Foundations of Mathematics XVII, Szklarska Poręba, 7-11.05.2012. Bisimulation Reducts of Kripke Models for Intuitionistic Predicate Logic.
Applications of Algebra in Logic and Computer Science, Zakopane, 4-9.03.2013. Conservativity: a semantical approach.
Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 6-10.05.2013. Proving Conservativity by Means of Kripke Models.
Logica 2013, Hejnice, Czech Republic, 17-21.06.2013. Conservativity via Kripke Models.
Kolokwium Logiczne Katedry Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego z okazji 25-lecia powstania Wydziału Nauk Społecznych Uniwersytetu Wrocławskiego. Wrocław, 14-15.06.2013, O konserwatywności teorii klasycznych nad ich konstruktywnymi odpowiednikami.
Non-Classical Logics, Theory and Applications, Łódź, 4-6.09.2013. A Stronger Version of Conservatibility of Peano Arithmetic over Heyting Arithmetic.
Minikonferencja Środowiskowych Studiów Doktoranckich Nauk Matematycznych, Katowice, 18-19.10.2013. Być albo nie być czyli dygresje logiczno-matematyczne.
Seminarium IM PAN Logiczne Podstawy Arytmetyki, Warszawa, 27.11.2013. Konserwatywność Arytmetyki Peano nad Arytmetyką Heytinga.
Applications of Logic in Philosophy and the Foundations of Mathematics XIX, Szklarska Poręba, 5-9.05.2014. Conservativity of Arithmetic and Its Subtheories
Trends in Logic XIII, Łódź, 2-5.07.2014. Conservativity of Arithmetic
Logic, Algebra and Truth Degrees. Vienna Summer of Logic, Vienna, 16-19.07.2014. A semantic approach to conservativity
XV Warsztaty Logiczne Instytutu Filozofii Uniwersytetu Warszawskiego Arytmetyka - Prawdopodobieństwo - Złożoność, Białka Tatrzańska, 3-10.08.2014. O konserwatywniości fragmentów PA nad HA.
Letnia Szkoła Instytutu Matematyki, Podlesice, 22-26.09.2014. Izomorfizm Curry'ego-Howarda.
Interdyscyplinarne Seminarium Granice poznania w filozofii i nauce, Katowice, 14.01.2015. Niesprzeczność, niezupełność, nierozstrzygalność.
Sympozjum Nieskończoność w filozofii i matematyce, Katowice, 15.04.2015. Nieskończoność w matematyce
Applications of Logic in Philosophy and the Foundations of Mathematics, XX, Szklarska Poręba, 4-8.05.2015. Looking for classical counter-models in intuitionistic Kripke structures
Prague Seminar on Non-Classical Mathematics, 2015, Praha, 11-13.06.2015. How to prove conservativity by means of Kripke models
Non-Classical Logic. Theory and Applications. VII, Toruń, 24-26.09.2015. Another approach to conservativity
Applications of Algebra in Logic and Comuter Science XX. Zakopane, 7-13.03.2016. Archetypal Rules (joint work with Lloyd Humberstone, Monash University)
Applications of Logic in Philosophy and the Foundations of Mathematics, XXI, Szklarska Poręba, 9-13.05.2016. Classically Archetypal Rules (joint work with Lloyd Humberstone, Monash University)
Non-Classical Logic. Theory and Applications. VIII, Łódź, 5-7.09.2016. A Characterization of Archetypal Rules (joint work with Lloyd Humberstone, Monash University)
LXII Konferencja Historii Logiki, Kraków, 25-28.10.2016.
Applications of Algebra in Logic and Comuter Science XXI. Zakopane, 20-26.03.2017. Archetypal rules and intermediate logics (joint work with Lloyd Humberstone, Monash University).
Applications of Logic in Philosophy and the Foundations of Mathematics, XXII, Szklarska Poręba, 8-12.05.2017. Archetypal Rules: Beyond Classical Logic (joint work with Lloyd Humberstone, Monash University).
Applications of Algebra in Logic and Computer Science, XXII, Zakopane, 5-11.03.2018. Conservativity of ZF over CZF.
Applications of Logic in Philosophy and the Foundations of Mathematics XXIII, Szklarska Poręba, 7-11.05.2018. Conservativity of Classical Set Theory Over Its Constructive Counterpart.
Logica 2018. Hejnice, Czech Republic, 18-22.06.2018. A Characterization of Classically Archetypal Rules.
Non-Classical Logic. Theory and Applications IX, Toruń, 24-27.09.2018. Conservativity of Classical Set Theory Over Its Constructive Counterpart.