====== Conference talks ======
===== 1st year =====
^Author(s) ^Talk title ^Conference ^Place and time ^
^ Kovač, Srećko | Formal and transcendental logic |[[http://clmps2015.sched.org/event/1f496fdea0da6a1bf9dd7b024268046b#.VhpSrZcgwbw|Naming Logic(s)]], a symposium at the //15th Congress of Logic, Methodology and Philosophy of Science// | Helsinki, August 5, 2015 |
^ Świętorzecka, Kordula (with Marek Porwolik) | On some unknown ideas by Sobociński: comments on philosophical applications of Lesniewski’s systems (I): //On universal concepts// |[[http://clmps.helsinki.fi/|15th Congress of Logic, Methodology and Philosophy of Science]] | Helsinki, August 3-8, 2015|
^Świętorzecka, Kordula (with Marek Porwolik)|Z filozoficznych zastosowań mereologii : B. Sobocińskiego szkic koncepcji //totum reale//|[[http://zjazdfilozoficzny.amu.edu.pl/en|X Polski Zjazd Filozoficzny]]|Poznań, September 15-19, 2015|
^Kovač, Srećko|Concepts and time in religious discourse. Invited talk|[[http://www.icfo.ans.pw.edu.pl/en/?page_id=278|God, Time, Infinity]]|Warsaw, September 22--24, 2015|
^Trobok, Majda|Grasping concepts in mathematics and the natural sciences. |[[http://www.iuc.hr/conference-details.php?id=267|Philosophy of Science : Philosophy of Mathematics, Experimental Approaches to Philosophy, Colour Perception]]|Dubrovnik, April 11--15, 2016|
^Bašić, Gabriela|Argumentation rules as conventions vs. objective criteria for good argument(ation)|[[http://dis.hfiloloskod.hr/index.php/en/|Days of Ivo Škarić: 3rd International Conference on Rhetoric]]|Postira, April 20 --23, 2016|
^Świętorzecka, Kordula|On What Was Proved by S. Leśniewski in His Argumentation of 1927 Against Existence of Universals. Remarks on Formalization by B. Sobociński. |[[http://www.klmn.uni.wroc.pl/programen2016.html|XXI Conference Applications of Logic in Philosophy and the Foundations of Mathematics.]] | Szklarska Poręba, Poland, May 9-13, 2016 |
^Žarnić, Berislav|Von Wright's legacy: On metanormative interpretation of deontic logic within social pragmatics|[[https://www.filosofinenyhdistys.fi/toiminta/the-human-condition/|The Human Condition: Conference in Honour of Georg Henrik von Wright’s Centennial Anniversary]]|Helsinki, May 18--20, 2016|
^Žarnić, Berislav|Von Wright's pragmatics turn in deontic logic|[[https://www.cs.helsinki.fi/u/hakli/vw/programme.html|Modalities, Conditionals, and Values: A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright]]|Helsinki, May 23--25, 2016|
^Bašić, Gabriela|I-mode and We-mode Type of Cooperation in Argumentative Discourse|[[http://www.unist.hr/interculturalpragmatics2016|7th International Conference on Intercultural Pragmatics and Communication – INPRA 2016]]|Split, June 10 --12, 2016|
\\
===== 2nd year =====
^Author(s) ^Talk title ^Conference ^Place and time ^
^ Kovač, Srećko | Dokaz mogućnosti Božje opstojnosti (Leibniz - Kant - Gödel) | [[https://www.hrstud.unizg.hr/_news/36208/BPBA-Knjizica%20sazetaka.pdf | Božje postojanje i Božji atributi ]] | Zagreb, June 23--24, 2016 |
^Žarnić, Berislav | Deontic logic as a study of conditions of rationality in norm-related activities | [[http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft/Philosophie/deon2016/en/index.html | 13th International Conference on Deontic Logic and Normative Systems]] | Bayreuth, July 18--21, 2016|
^Bašić, Gabriela | Two Types of Cooperation in Argumentative Discourse|[[http://cgpublisher.com/conferences/360/web/program-detail.html | 11th International Conference on Interdisciplinary Social Sciences and the Interdisciplinary Social Sciences knowledge community]] | London, August 2--5 2016 |
^Świętorzecka, Kordula | Bernarda Bolzano argument na istnienie substancji. Formalizacja z dwoma typami predykacji |[[http://www.filozofia.uj.edu.pl/konferencja-historii-logiki | Konferencja Historii Logiki]] | Kraków, October 25-28, 2016 |
^Świętorzecka, Kordula | O pewnym rozszerzeniu meinongowskiej logiki Zalty. Fragment ontologii Bolzana |[[https://www.kul.pl/files/57/aktualnosci/2016_plakat_logika.pdf | Logika a modalność]] | Lubłin, November 22, 2016 |
^Świętorzecka, Kordula | Is Bolzano's Inbegriff of All Adherences Paradoxical? | [[http://ls.informatik.uni-tuebingen.de/CPTP/ | Consequence and Paradox: Between Truth and Proof]]| Tübingen, March 2--3, 2017|
^Bašić, Gabriela| Contribution to discussion on formal vs. informal logic | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017|
^Lojkić, Goran| Cumulative Intensional Ramified Type Theory | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017|
^Restović, Ivan| Brouwer’s Account of Time and Causality in the Logic of Change LCG | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017|
^Świętorzecka, Kordula| Towards semantics for Bolzano’s theory of substances and adherences | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017|
^Šekrst, Kristina| Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017|
^Kovač, Srećko| The Concept of Possibility in Ontological Proofs | [[http://logicandreligion.uw.edu.pl|2nd World Congress on Logic and Religion]] | Warsaw, June 18--22, 2017|
^Bašić, Gabriela| Why every theory of arguments needs a theory of arguing. Contribution to epistemological theories of argumentation | [[http://ecargument.org/?page_id=730|2nd European Conference on Argumentation: Argumentation and Inference]] | Fribourg, 20-23 June 2017|