| 2015 | Towards a non-Fregean axiomatic theory of truth, 15th Congress of Logic, Methodology and Philosophy of Science CLMPS’15, 3-8 August 2015, Helsinki, Finland (co-authored with and presented by T. Huuskonen) |
| 2014 | On dual tableau-based decision procedures for relational fragments, the Workshop on Automated Deduction: Decidability, Complexity, Tractability ADDCT’14, 18 July 2014 Vienna, affiliated with IJCAR 2014 and RTA 2014, Vienna Summer of Logic, 9-24 July 2014; (co-authored with D. Cantone and M. Nicolosi Asmundo, presented by M. Nicolosi Asmundo) |
| 2014 | Grzegorczyk's non-Fregean logics, Trends in Logic XIV, ∃ntia et Nomin∀ Workshop,
Ghent University, Belgium, 8-11 July 2014 (co-authored with and presented by T. Huuskonen) |
| 2014 | A relational dual tableau decision procedure for multimodal and description logics, 9th International Conference on Hybrid Artificial Intelligence Systems HAIS’14, Salamanca, Spain, 11-13 June 2014 (co-authored with D. Cantone and M. Nicolosi Asmundo, presented by M. Nicolosi Asmundo) |
| 2013 | Relational Dual Tableaux: Foundations and Applications, invited tutorial, 28th Italian Conference on Computational Logic, Catania, Italy |
| 2013 | Deterministic tableau-decision procedure via reductions for modal logic K, 6th International Conference on Computational Intelligence in Security for Information Systems, CISIS 2013, Salamanca, Spain (co-authored with and presented by E. Munoz-Velasco) |
| 2012 | On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility, 13th European Conference on Logics in Artificial Intelligence JELIA'2012, Toulouse, France |
| 2012 | Reasoning with qualitative velocity. Towards a hybrid approach, International Conference on Hybrid Artificial Intelligence Systems HAIS'2012, Salamanca, Spain (co-authored with and presented by E. Munoz-Velasco) |
| 2011 | Non-Fregean logics, invited talk, Department of Applied Mathematics, University of Malaga, Spain |
| 2011 | Reasoning with qualitative velocity, 22th International Joint Conference on Artificial Intelligence: Workshop on Qualitative Reasoning, Barcelona, Spain (co-authored with E. Munoz-Velasco) |
| 2010 | A front-end for theorem proving with modal logics, 10th International Conference Computational and Mathematical Methods in Science and Engineering, Almeria, Andalucía, Spain (co-authored with and presented by A. Mora Bonilla, E. Munoz-Velasco, and S. Martin) |
| 2010 | Information logics and their dual tableaux, Third Indian School on Logic and its Applications, ISLA 2010, University of Hyderabad, Gachibowli, India |
| 2009 | Decision procedure for modal logic K, 9th International Conference Computational and Mathematical Methods in Science and Engineering, Gijon, Spain (co-authored with and presented by A. Mora Bonilla and E. Munoz-Velasco) |
| 2008 | An ATP of a relational proof system for order of magnitude reasoning, Tenth Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam (co-authored with and presented by A. Mora Bonilla and E. Munoz-Velasco) |
| 2008 | Relational logics, invited talk, seminar of the Department of Applied Mathematics, University of Malaga, Spain |
| 2007 | Relational reasoning in Formal Concept Analysis, IEEE International Conference on Fuzzy Systems, Special Session ‘Relational Data Analysis’, London, UK (co-authored with E. Orłowska) |
| 2006 | Relational proof systems for interval temporal logics, INTAS Workshop Algebraic and Deduction Methods in Non-Classical Logics and their Applications to Computer Science, Olsztyn, Poland (co-authored with D. Bresolin and E. Orłowska) |
| 2005 | Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI, Trends in Logic III, International Conference in memoriam of A. Mostowski, H. Rasiowa, C. Rauszer, Warszawa-Ruciane-Nida, Poland |
| 2005 | Dual tableaux, Workshop of EU COST Action 274 TARSKI Theory and Application on Relational Structures as Knowledge Instruments, Bangor near Belfast, Nordirland, UK (co-authored with and presented by E. Orłowska) |
| 2003 | Number of extensions of non-Fregean logics, Logic Colloquium'03, Helsinki, Finland (co-authored with and presented by T. Huuskonen) |
| 2001 | On which operations are spectra of formulae with Henkin quantifiers closed?, 13th European Summer School in Logic, Language and Information, Helsinki, Finland |
| 1999 | Henkin quantifiers, Polish-Finnish Logical Workshop, University of Helsinki, Helsinki, Finland |
| 1999 | Some special spectra of formulae with Henkin quantifiers, 11th International Congress of Logic, Methodology and Philosophy of Science, Kraków, Poland (co-authored with K. Zdanowski) |
| 2013 | Logika równoznaczności, 59 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków |
| 2012 | Logika równoważności opisowej, 58 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków |
| 2012 | O pewnych własnościach logiki równoważności opisowej, sesja naukowa dedykowana profesorowi Andrzejowi Grzegorczykowi z okazji 90. rocznicy urodzin, Wydział Matematyki i Informatyki, Uniwersytet Warszawski, Warszawa |
| 2009 | Alfred Tarski. Życie i Logika. Kalendarium, Centrum Kultury Żydowskiej, Kraków (presentation co-authored with M. Srebrny) slides |
| 2009 | Szlakiem Alfreda Tarskiego po Warszawie, promocja polskiego wydania książki A. Burdman-Feferman i Solomona Fefermana Alfred Tarski. Life and Logic, Biblioteka Uniwersytetu Warszawskiego, Warszawa (presentation co-authored with J. Porębska-Srebrna and M. Srebrny) slides |
| 2007 | Weryfikacja prawdziwości w modelach skończonych, 53 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków |
| 2005 | O dualności dwóch systemów dowodowych dla logiki 1-go rzędu z identycznością, 51 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków |
| 2004 | O pewnym przekładzie niefregowskiego rachunku zdań z kwantyfikatorami, 50 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków |
| 2004 | O pewnych rozszerzeniach niefregowskiego rachunku zdań, VII Polski Zjazd Filozoficzny, Sekcja Logika, Szczecin |
| 2000 | Kwantyfikatory rozgałęzione a problem formy logicznej, IV Warsztaty Logiki, Informatyki i Filozofii Nauki “Tarski versus Hilbert”, Zakopane |
| 2000 | Platonizm Gödla w filozofii matematyki i jego założenia ontologiczne, konferencja Platonizm wczoraj i dziś, Katedra Logiki Uniwersytetu w Białymstoku |