Research Talks

LIST of RESEARCH TALKS:


Invited Talks and Keynote Lectures at International Conferences:


2002


  • What has operational quantum logic to do with linear logic?, Logic & Interaction Week 3, Marseille, France, February 2002.


2005


  • The logic of quantum actions: Reasoning about change in quantum systems. Invited lecture and an invited tutorial on Quantum Dynamic Logic (joint with A. Baltag), the International Workshop on Quantum Information, Computation and Logic: Exploring New Connections (QICL’05), Perimeter Institute for Theoretical Physics, Waterloo, Canada. July 2005.

  • Towards a logic of quantum entanglement. The First Mini-Conference on Philosophy, Probability and Physics, LSE, London, November 2005.

  • Reasoning about entanglement: The logic of quantum actions in compound systems, Q-day II: Mathematical Structures in Quantum Informatics. Institut Henri Poincare, Paris, December 2005.


2006


  • Dynamic conditionals in quantum logic, belief revision and logics for communication: Towards a unifying setting for information change, The ESF Exploratory Workshop: Applied Logic in the Methodology of Science, Bristol, September 2006.


2007


  • A qualitative approach to dynamic interactive belief revision, Working Day on Belief Revision, Lille, June 2007.

  • Dynamic logic meets knowledge and belief (joint with A. Baltag), International Conference on Dynamic Logics for Social Agents: new trends in philosophical research Montreal, Canada, June 2007.

  • Dynamic logic meets quantum information, The First Workshop on the Philosophy of Information and Logic, Oxford University, UK, November 2007.

  • A dynamic understanding of doxastic attitudes, The International Workshop on Science in Flux, Sweden, Lund University, December 2007.

  • A dynamic approach to conditionals, The International Workshop “What if? So what!” on counterfactual conditionals, Erasmus Universiteit Rotterdam, December 2007.


2008


  • A dynamic-logical perspective on quantum behavior (Joint with A. Baltag), International Symposium on Logic and Physics, Utrecht University, the Netherlands, January 2008.

  • Dynamic rationality and the open future (Joint with A. Baltag), Workshop on Decisions and Games, Indiana University, USA, May 2008.

  • A dynamic-epistemic perspective on quantum correlations (Joint with A. Baltag), 1st European ESF Workshop on Correlations in Computer Science, Vielsalm, Belgium, August 2008.

  • On the logical structure of quantum mechanics, Beth Symposium, Amsterdam, September 2008.

  • The logical dynamics of entanglement, Two-Day Conference on the Foundations of Quantum Mechanics, Vrije Universiteit Brussel, Belgium, October 2008


2009


  • Iterated dynamic belief revision, LSE-Groningen Workshop 2009, Part I: Models of Value and Opinion, UK, February 2009.

  • Dynamic and Epistemic Perspectives on Quantum Behavior. Workshop on Quantum Logic Inspired by Quantum Computation, Indiana University, Bloomington May, 2009.


2010


  • Interactive Belief Revision Part II, Workshop on Alternative Approaches to Belief Change. University of Hyderabad, India, January 2010.

  • Merging beliefs by sincere persuasive communication, Workshop on Formal theories of communication at the Lorentz Center, Leiden, February 2010.

  • Merging beliefs by sincere persuasive communication. Second International Workshop on the Philosophy of Information, Ankara, Turkey, 20-23 May, 2010.

  • Belief Dynamics Under Iterated Revision: From cycles of upgrades to doxastic fixed points, Second Colloquium on Mathematical Logic in the Netherlands, Utrecht, 27-28 May, 2010.

  • Meeting of the Rationality and Decision network, Leuven, 28-30 May, 2010.

  • Quantum Logic in Action, The 3rd International Workshop on Physics and Computation, Egypt, August 30-September 5, 2010.

  • Doxastic Attitudes and Norms for Interactive Belief Change, Lecture at the NIP-Copenhagen Formal Epistemology Workshop, University of Copenhagen, 15-16 October.

  • Dynamic Conditionals as a Unifying Setting for Information Change: From Quantum Logic to Dynamic Belief Revision, The Tandem Workshop on Optimality in Language and Geometric Approaches to Cognition, Berlin December 11-13, 2010.


2011


  • Logic and Quantum Physics, Logic and Philosophy Today Workshop, University of Delhi, India, January 5-6, 2011.

  • Logics for 'Soft' Interactive Epistemology, Dagstuhl Seminar 11101 on Reasoning about Interaction : From Game Theory to Logic and Back, Dagstuhl, Germany, March, 2011.

  • Merging Beliefs by Sincere Persuasive Communication, Lecture at the Dynamics in Logic Workshop, Brussels, 3 May 2011.

  • Logics for reasoning about quantum information: a dynamic-epistemic perspective, Lecture at the ESF workshop on The Philosophy of Computer Science and Artificial Intelligence, 8-9 September 2011, Azores.

  • Logics for reasoning about quantum information: a dynamic-epistemic perspective. Lecture at the Ninth Tbilisi Symposium on Language, Logic and Computation. Kutaisi, Georgia, 26-30 September, 2011.


2012


  • Logics for “soft” interactive epistemology, Lecture at the R&D Workshop, 26-28 January, 2012, Munich.

  • Learning by Questions and Answers: Belief Dynamics under Iterated Revision, Interrogative Model of Inquiry Workshop, 30-31 January, 2012, Paris.

  • Playing for “knowledge”, Workshop on Dialogue, Argumentation and Knowledge, Lille, 2 March, 2012.

  • Playing for “knowledge”, Conference on Games, Interactive Rationality and Learning, Lund, 19-21 April, 2012

  • Playing for “knowledge”, Fourth Workshop on the Philosophy of Information, Hertfordshire, 10-11 May 2012

  • Surprise! The lying hangman, or how to avoid unexpected exams, Workshop on the Logic and Culture of Lying, Regensburg, 25-26 May 2012.

  • The dynamic logic of quantum Information BSL 2012. Lecture at the First Joint Conference of the Belgian, Royal Spanish, and Luxembourg. Mathematical Societies. Liege, Belgium, 6-8 June 2012

  • Lecture at the Prague workshop on non-classical epistemic logics, June 14-15, 2012.

  • Round table with R. Bradley, A. Friedenberg, H. Leitgeb and S. Smets (chair: F. Huber) during the Sixth Workshop in Decisions, Games & Logic, Munich, June 2012.

  • Playing for “knowledge”, Lecture at the Workshop on Game Theory, Epistemic Logic and Related Topics,Tsukuba, Japan, August 2012.

  • Evidence based belief revision, a logical analysis. Lecture at the Workshop "Belief Revision, Conditional Logic and Possible Worlds Semantics", part of GAP, 8th Meeting of the German Association for Analytic Philosophy, Konstanz September 2012.


2013


  • The Logic Behind Collective Learning in Social Contexts. Amsterdam Truth Workshop, March 2013.

  • Logics for Evidence-Based Belief Revision. Conference GIRL2013, Lund. May 2013.

  • Logics for Evidence-Based Belief Revision. International Workshop on Philosophy and Logic, May 2013, Kyiv

  • Group Knowledge and Interrogative Agendas. Joint Lecture with A. Baltag at the LoQI, the 2nd workshop on Questions and Inquiry, Paris. May-June 2013.

  • Group Knowledge and Interrogative Agendas in Social Networks at the 2013 Workshop on Game Theory, Epistemic Logic and Related Topics, August 2013. Tsukuba, Japan.

  • Epistemic Topology: problem-solving, belief-revision and simplicity-based priors; Trends in Logic XII workshop, Pittsburgh USA 2013.

  • Collective learning versus informational cascades: towards a logical approach to social information flow, Many-valued logic conference in Prague, September 2013.

  • Collective Learning versus Informational Cascades: towards a logical approach to social information flow (part I) at the Meeting of the Society for the Advancement of Economic Theory in Paris, 2013.

  • Logical models of informational cascades, Special Session on Philosophical Logic at the 13th Asian Logic Conference in Guangzhou, September 2013. China.

  • The Epistemic Potential of Groups at the LORI IV Conference in Hangzhou, October 2013, China.

  • Playing for Knowledge, the Door to Logic workshop, Tsinghua University, China, October 2013.

  • Logical Models of Informational Cascades, Workshop: Logic Across the University, Foundations and Applications, Tsinghua University, October 2013, China.

  • Presented commentaries on the paper of Leitgeb and on the paper of Abramsky at the workshop Logic Across the University, Foundations and Applications, Tsinghua University, October 2013, China.

  • Modal logics for social networks, joint presentation given by Alexandru Baltag at the LogiCIC project workshop on Social Dynamics of Information Change, Amsterdam, December 2-4, 2013.


2014


  • Playing for Knowledge: An Introduction to Soft Interactive Epistemology, International Workshop on Unawareness, Brisbane, Australia, January 29-30, 2014.

  • Lecture on The logic of justified belief change, soft evidence and defeasible knowledge, the Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions, Japan, February 21-22, 2014.

  • The Epistemic Potential of Groups, the Dependence Logic workshop KNAW, Amsterdam, March 3-5, 2014.

  • The Epistemic Potential of Groups, Workshop at the Pacific division of the American Philosophical Association meeting in San Diego, April 16-20, 2014.

  • The Epistemic Potential of Groups, the Methods and Modality conference, Lund, Sweden, May 22-24, 2014.

  • Logic goes viral: modalities for social networks. Invited joint presentation given by A. Baltag at the Trends in Logic workshop Presenting the Tsinghua-UvA Joint Research Center, Tsinghua University, July 2nd, 2014.

  • The Epistemic Potential of Groups, the workshop on Epistemic Logic for Individual, Social, and Interactive Epistemology, held at the 26th European Summer School in Logic, Language and Information in Tübingen, Germany, on August 11-15, 2014.

  • An Evidence-based Framework for Belief and Knowledge, Workshop in the framework of the China Exchange KNAW Project, October 2-3, 2014, University of Amsterdam.

  • Belief Revision based on evidence and trust in social networks, LogiCIC workshop Amsterdam November 24-26, 2014.

  • Belief revision based on evidence and trust in Social Networks, Lille Workshop France, November 2-3, 2014.

  • A Logical Analysis of Belief Formation and Doxastic Influence based on Evidence and Trust, Workshop on Formalized Social Intelligence, Technical University Copenhagen, Denmark, December 18, 2014.


2015


  • Interrogative Epistemology: The Epistemic Potential of Groups. 16th Szklarska Poreba workshop, Tsjech republic and Poland, February 20-23, 2015.

  • Reasoning about Classical and Quantum Interaction. Workshop on Categories and Quantum Mechanics, Barbados, (McGill university), March 15-19, 2015.

  • The Epistemic Potential of Groups. Second Belgrade graduate conference in philosophy and logic, Serbia, April 24-26, 2015.

  • Logical models for Correlated Information Change. MBR015, Model Based Reasoning in Science and Technology. Models and Inferences: Logical, Epistemological and Cognitive Issues. Italy, June 25-27, 2015.

  • The Epistemic Potential of Groups and Belief Aggregation via Communication. Trends in Logic XV: Logics for Social Behaviour, June 29 – July 3rd, 2015.

  • Reasoning about Classical and Quantum Interaction, Logic Colloquium, Helsinki, August 3-7, 2015.

  • Logics for Reasoning about Quantum Information: A Dynamic-Epistemic Perspective. the 2nd International Conference on Logic, Relativity and Beyond, Budapest, August 9-13, 2015.

  • Logics for Quantum Information. FOI-2015. Workshop on Foundations of Informatics, Chisinau, Republic of Moldova, August 24-20, 2015.

  • New Developments in the Logical Foundations of Quantum Physics. Salzburg Conference for Young Analytic Philosophy, SOPhiA September 2-4, 2015.

  • invited lecture at the Jin Yuelin Conference, Tsinghua University Beijing, October 17-19, 2015.

  • invited lecture at the Pluridisciplinary Workshop on Game Theory, Toulouse, November 2015.


2016


  • invited lecture at the OZSW Graduate Conference in Theoretical Philosophy, Utrecht, 20-22 April, 2016

  • invited lecture at the first CADILLAC workshop, in Copenhagen at the cinema of Christiania, Byens Lys, 23-25 May 2016.

  • invited lecture at FEW Groningen 2016

  • invited lecture at ToLo V, Topological Methods in Logic, Georgia, June 13-17, 2016.

  • invited lecture at the 12th edition of LOFT, Conference on Logic and the Foundations of Game and Decision Theory, Maastricht, the Netherlands, July 20-22, 2016.

  • invited lecture at WOLLIC 2016, Mexico

  • invited lecture at AiML 2016, Budapest

2017


  • The logical basis of a formal epistemology for social networks, Invited Keynote at Logic Colloquium, Stockholm 2017

  • Logic Goes Viral: Modalities for Epistemic Social Networks, Invited Lecture at LOGICA conference, Czech Republic, 2007

  • Logic and Quantum Physics, Invited lecture 6th CSLI Workshop on Logic, Rationality & Intelligent Interaction, 2017, Stanford University.

  • Prague Workshop on Group Attitudes. Part I and Part II. (joint invited lectures with A. Baltag), October 2017, Prague, Czech Republic.


2018

  • Where Logic meets the Social Sciences, Opening keynote lecture at the Conference AIPS2018, 4 September 2018, Amsterdam.

  • Logic and Law, Keynote lecture at EALE2018 Conference, 21 September 2018, Milano, Italy.

  • A Semantic Modal View on Ramsey’s Test, keynote lecture at the Concluding Project Conference, ‘The Many What ifs’ , University of Konstanz (October 11-13, 2018), Konstanz, Germany 2018.

  • Computing Social Behavior. Invited lecture at the ‘Tsinghua Encounter with Logic Workshop’, Beijing, 23 April, 2018.

  • Modalities for Social Networks. Joint lecture with A. Baltag at the ‘Reasoning in Social Context’ colloquium KNAW, May-June, Amsterdam Netherlands, 2018.

2019


  • Computing Social Behavior, Invited Talk at the SEGA workshop, July 2019 in Bayreuth, Germany.

  • Logic and Computation of Social Behavior, Keynote lecture at CIE2019, Computability in Europe Conference, UK.

  • Logic and Computation of Social Behavior, Invited lecture at IACAP 2019 Conference, Mexico.

2020


  • When Dynamic Quantum Logic and Dynamic Epistemic Logic meet, Invited lecture together with A. Baltag, Online Quantum & Beyond Workshop, Amsterdam, 28-29 April 2020.

  • Invited lecture at DEON2020: postponed

  • LoC Conference, Amsterdam 2020: cancelled

  • SILFS 2020, Italy, postponed.

2021

(under construction)


Invited Lectures at Local Research Seminars:


1) The logic of physical properties in static and dynamic perspective, Invited lecture at the University of Florence, Italy, March 2001.

2) Over het kritisch wetenschappelijk realisme, Invited talk presented at the annual series on philosophy of science organised by “Centrum voor Empirische Epistemologie”, Brussels, Belgium, 28th March & 25th April 2002.

3) Logique quantique opérationelle: Introduction et développement récents, Invited lecture presented at Institut de Mathématiques de Jussieu, Université Paris 7, 17th May 2002.

4) On intuitionistic logic with a quantum modal operator, Invited talk presented at “Dag van de jonge onderzoekers”, workshop, Leuven University, 4th February 2003.

5) Is quantum logic a logic? Invited talk at “Séminaire Interuniversitaire de logique Mathématique”, Université Libre de Bruxelles, 6th March 2003.

6) Classical reasoning about quantum phenomena, Invited talk at “Seminarie Centrum Leo Apostel”, Free University of Brussels, 22nd April 2003.

7) Varieties of operationalism, Invited lecture presented at the Evening Seminar of the HIW, Catholic University of Leuven, 28th May 2003.

8) Part I: from quantum physics to operational quantum logic, And: Part II: On the logicality of quantum systems, both invited talks were presented at the Combined Colloquium, organized in Utrecht by J. Uffink of the Institute for History and Foundations of Science and by Lev Beklemishev of the Faculty of Philosophy, Utrecht, 14th November 2003. two abstracts

9) Actions in the logical foundations of physics, Invited talk presented at Oxford, Lecture Theatre, Computing Laboratory, 28th November 2003.

10) Actions in the logical foundations of physics and quantum PDL, Invited talk presented at the Seminar of the Department of Computer Science, King’s College, London, 3rd December 2003.

11) Dynamic quantum logic, Invited lecture presented at Séminaire d’Informatique, Institut d’Informatique, Namur, Belgium, 20th September 2004. abstract

12) On quantum propositional dynamic logics, Invited lecture presented at Instituto Superior Técnico Departamento de Matematica, Lisbon, Portugal, 12th November 2004.

13) On quantum transition systems and quantum dynamic algebras (Joint work with A. Baltag from Comlab, Oxford University), Invited talk presented at “Séminaire Interuniversitaire de logique Mathématique”, Université Libre de Bruxelles, 10th February 2005.

14) What is "quantum" about quantum systems: Reasoning about non-classical information flow, Invited talk presented at the CPNSS Research Seminar, LSE, London, 31 October 2005.

15) Reasoning about non-classical information flow, Invited talk presented at the Information Ethics Group (IEG) Meeting, Oxford University, 17 February 2006.

16) Reasoning about quantum information flow, Invited talk presented at the Philosophy of Physics seminar, Department of Philosophy, University of Bristol, 21st of November, 2006.

17) Dynamic conditionals in quantum logic, belief revision and logics for communication: Towards a unifying setting for information change, Invited talk presented at the Institut d’Histoire et de Philosophie des Sciences et des Techniques, 12th of March 2007.

18) Complete axiomatizations of quantum actions, Presentation for the Quantum Reading Group, Nijmegen, 24 April, 2007

19) Dynamic conditionals as a unifying setting for information change: From quantum logic to belief revision, Presented at the IEG II workshop at Oxford e-Research Centre, 8 June 2007.

20) Dynamic epistemic quantum logic, Logic Tea Seminar, ILLC, University of Amsterdam, 27 September 2007.

21) A Dynamic-logical perspective on quantum behavior, Seminar on Logics for Dynamics of Information and Preferences, ILLC, University of Amsterdam, 17 October 2007.

22) An abstract dynamic-logical setting for quantum mechanics, Presented at the Mathematical Logic Seminar, ILLC, University of Amsterdam, 30 November 2007.

23) A dynamic-logical perspective on quantum behavior, Presented at the Logic Seminar, Indiana University at Bloomington, 26 March, 2008

24) From dynamic belief revision to dynamic rationality, Invited Talk, Logic Seminar, Stanford University, 29 May 2008.

25) A Dynamic-Logical Perspective on Epistemology, GRIPH Lecture, 1 October 2008, University of Groningen

26) When Logic meets Physics. Invited talk, Logic Tea Seminar, ILLC UvA, Amsterdam, 28 April 2009

27) A Dynamic-Logical Perspective on Epistemology. Invited talk, the TilPS Colloquium, Tilburg, 7 October, 2009

28) Safety of Beliefs and Truth Approximation. at "2nd EPSA (European Philosophy of Science Association) conference, symposium on belief revision aiming at truth approximation". VU, Amsterdam, 21-24 October 2009.

29) An Abstract Dynamic-Logical Setting for Quantum Mechanics. Invited talk, Mathematics Colloquium, RUG, 10 November 2009.

30) Merging beliefs by talking your way into agreement. Invited talk, Formal Philosophy Seminar series, Leuven, Belgium, 27 November 2009

31) Redeneren over qubits: de logica achter quantumteleportatie en quantumcommunicatie. Koninklijk Natuurkundig Genootschap Groningen, 16 March 2010.

32) From dynamic belief revision to dynamic rationality, Invited Talk, ISLA Colloquium, University of Amsterdam, 11 May, 2010.

33) Merging beliefs by sincere persuasive communication, Invited seminar talk, Prague, Czech Republic, 3 December, 2010.

34) Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking, University of Munich, May, 2011.

35) The Landscape of Epistemic Topology: shapes and types of “knowing”, “learning” and “answering” a question. LIRA seminar on Logic and Learning Theory, UVA, 12 January, 2012

36) Dynamic and Epistemic Perspectives on Quantum Behavior, CWI, Amsterdam, 14 march, 2012.

37) Belief Dynamics under Iterated Revision, Amsterdam Center for Law and Economics, 9 October 2012.

38) Lecture on logic at the “Landelijke onderzoekschool Wijsbegeerte”, Eindhoven 2 November 2012.

39) Evidence-Based Belief Revision, a Logical Analysis, the University of Liverpool, February 2013.

40) Evidence-Based Belief Revision, a Logical Analysis, Lego Seminar, University of Amsterdam, March 2013.

41) Evidence-Based Belief Revision, a Logical Analysis, the University of Rotterdam, March 2013.

42) The Logic Behind Collective Learning in Social Contexts, Beijing Normal University, September 2013.

43) The epistemic potential of groups, Tsinghua University, May 2014.

44) Logic Goes Viral, Modalities for Social Networks (joint with A. Baltag), Stanford University. January 2015.

45) From Degrees of Belief to Defeasible Knowledge (joint with A. Baltag) at the Logic Circle Meeting, San Francisco, Stanford-Berkeley, January 2015.

46) The Epistemic potential of Groups, Amsterdam University College, May 11, 2015.

47) Quantum Logic in Action, Amsterdam university college, March 2016.

48) Work experiences Amsterdam-China, Presented at the UvA Alumni Event, 24 April 2018, Beijing.

49) The Creation and Change of Social Networks, Edinburgh Seminar Lecture CISA Institute, School of Informatics, 28 May 2018.

50) The Logical Structure of Correlated Information Change. ERC celebration event, Organized by IXA-IAS University of Amsterdam, 7 September 2017.

Contributed Talks at International Conferences and Workshops:


1) S. Smets: The Brussels-Geneva approaches of classical and quantum physics, presented at the International Colloquium “Philosophy of Quantum Mechanics”, Brussels, Belgium, November 1996.

2) D. Aerts, J. Broekaert and S. Smets: Inconsistencies in constituent theories of world views: quantum mechanical examples, presented at the First World Congress on Paraconsistency, Ghent, Belgium, July 1997.

3) S. Smets: Towards the construction of an interactive logic, presented at the First Summer School for Theory of Knowledge, Warsaw-Madralin, Poland, August 1997.

4) Aerts, J. Broekaert and S. Smets: A quantum structure description of the liar-paradox, presented at the International Quantum Structures Association’s Conference “Atlanta ‘97”, Atlanta, USA, October 1997.

5) S. Smets: Linear logic: Analyzing its syntax and formal semantics, presented at the workshop “Current Research in Operational Quantum Logic I”, Brussels, Belgium, June 1998.

6) D. Aerts, J. Broekaert and S. Smets: The liar-paradox in a quantum mechanical perspective, presented at the Twentieth World Congress of Philosophy, Boston, USA, August 1998.

7) D. Aerts, J. Broekaert and S. Smets: Integrating worldviews: Modeling the Layered structure of reality, presented at the Third International Conference on Emergence, ECHO III, Helsinki, Finland, August 1998.

8) S. Smets: Analyzing interactive aspects of quantal proposition systems and linear logic, presented at the 4th International Quantum Structures Association Meeting, Liptovski -Jan, Slovakia, September 1998.

9) S. Smets: Combining operational quantum logic and linear logic for propagating physical systems, presented at the 11th International Congress of Logic, Methodology and Philosophy of Science, Krakow, Poland, August 1999.

10) S. Smets: Reflections on OQL, presented at the workshop “Current Research in Operational Quantum Logic III”, Brussels, Belgium, April 2000.

11) S. Smets: Reflections on dynamic operational quantum logic, presented at the 3rd Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Brussels, Belgium, October 2000.

12) S. Smets: "The Logic of Physical Properties in Static and Dynamic Perspective", invited lecture at the University of Florence, Italy, March 2001.

13) S. Smets: The logic of propagating properties, presented at the 5th International Quantum Structures Association Meeting, Cesena, Italy, March 2001.

14) S. Smets: Operational quantum logic in dynamic perspective, presented at the Logic Colloquium 2001, Vienna, Austria, August 2001.

15) S. Smets: The problem of implication in quantum logic, presented at the Ist Flemish-Polish Workshop on Adaptive and Erotetic Logics and Their Applications, Zielona Gora, Poland, November, 2001.

16) S. Smets: On causation and a counterfactual in operational quantum logic: The Sasaki hook, presented at the International Quantum Structures Association Meeting 2002, Austria, July 2002.

17) K. Verelst, S. Smets, H. Amira: On experimental observations and physical properties: aspects of the measurement process in the context of operational quantum logic, presented at the International Quantum Structures Association Meeting 2002, Vienna, Austria, July 2002.

18) B. Coecke and S. Smets: Interpreting orthomodularity dynamically, poster presented at the International Quantum Structures Association Meeting 2002, Vienna, Austria, July 2002.

19) S. Smets: Why is the Sasaki hook not a static implication within quantum logic? presented at the Flemish-Polish Workshop on Adaptive and Erotetic Logics, VlaPoLo6, Gent,Belgium, October 2002.

20) H. Amira and S. Smets: From operationalism to mathematical formalism: Mathematical metascience in action, presented at the International Conference “Perspectives on Mathematical Practices”, Brussels, Belgium, October, 2002.

21) S. Smets: On quantum modality, presented at SLI-2003, International Workshop, Free University of Brussels, 31st March 2003.

22) S. Smets: Classical reasoning about quantum phenomena, Invited talk at “Seminarie Centrum Leo Apostel”, Free University of Brussels, 22nd April 2003.

23) S. Smets: Quantum modality for superpositions, presented at VlaPoLo7: Problem Solving in the Sciences: Adaptive and Interrogative Perspectives, Free University of Brussels, 9th May 2003.

24) B. Van Kerkhove and S. Smets: SWOTs of category theory in the foundations of mathematics, presented at VlaPoLo7: Problem Solving in the Sciences: Adaptive and Interrogative Perspectives, Free University of Brussels, 9th May 2003.

25) S. Smets: The nature of quantum modality, presented at the International Conference in Quantum Theory: Reconsideration of Foundations-2, Växjö, Sweden, June 2003.

26) S. Smets: The place of quantum logic in the landscape of non-classical logics, presented at the International Conference on Algebraic and Topological Methods in Non-Classical Logics, Tbilisi, Georgia, July 2003.

27) S. Smets: The place of quantum logic in the landscape of non-classical logics, presented at the 12th International Congress of Logic, Methodology and Philosophy of Science, Spain, August 2003.

28) S. Smets: Classical reasoning about quantum systems, presented at Logic Colloquium 2003, Helsinki, Finland, August 2003.

29) S. Smets: On the incompleteness of quantum mechanics, presented at VlaPoLo8, Zielona Gora, Poland, November 2003.

30) S. Smets: On quantum propositional dynamic logic, presented at PML-2004, International Workshop, Free University of Brussels, 5th February 2004.

31) A. Baltag and S. Smets: A dynamic logic of quantum programming, presented by B. Coecke at the LICS-workshop: 2nd International Workshop on Quantum Programming Languages, July 12-13, 2004, Finland.

32) A. Baltag and S. Smets: The logic of quantum actions, presentation at the International Quantum Structures Meeting IQSA2004. International Conference, Denver, July, 2004.

33) S. Smets: Classical versus quantum propositional dynamic logic, Presentation at 1st World Congress and School on Universal Logic, Montreux, Zwitserland, 26 March 2005 – 3 April 2005.

34) S. Smets: Axiomatizations of quantum actions, Presentation at the Conference: Algebraic and Topological Methods in non-classical logics II, Barcelona, Spain, 15-18 June 2005.

35) A. Baltag and S. Smets: What can Logic learn from quantum mechanics?, Fifth European Congress for Analytic Philosophy. And a special 2-day workshop on Quantum Information – Epistemological and Logical Lessons, Lisbon, Portugal, 27-31 August 2005.

36) S. Smets: Comparing processes: from simulations to bisimulations, presented at the Workshop on Models and Simulations, Paris, June 2006 (Organization: LSE in London and IHPST in Paris)

37) A. Baltag and S. Smets: Dynamic belief revision over multi-agent plausibility models, in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), Presented at the 7th Conference on Logic and the Foundations of Game and Decision (LOFT06), University of Liverpool, July 2006.

38) A. Baltag and S. Smets: Conditional doxastic models: A qualitative approach to dynamic belief revision, Presented at the WOLLIC2006 conference in Stanford, July 2006.

39) A. Baltag and S. Smets: The logic of conditional doxastic actions: A theory of dynamic multi-agent belief revision, Presented at the Workshop on Rationality and Knowledge, ESSLLI2006, August 2006, Malaga, Spain.

40) S. Smets: A qualitative perspective on quantum information, talk at 15th UK and European Meeting on the Foundations of Physics, Leeds, 29-31 March 2007

41) A. Baltag and S. Smets: From conditional probability to the logic of doxastic actions, joint talk at TARK 07, Brussels, 27 June 2007.

42) A. Baltag and S. Smets: Probabilistic dynamic belief revision, talk at LORI, Beijing, 7 August 2007.

43) S. Smets: Dynamic conditionals as a unifying setting for information change: From quantum logic to belief revision, talk at LMPS, 13th International Congress of Logic Methodology and Philosophy of Science, Beijing, 14 August 2007.

44) S. Smets: The Logical Dynamics of Entanglement, Contributed talk, International Quantum Structures Association Meeting, 6-12 July, 2008.

45) S. Smets: Dynamic conditionals as a unifying setting for information change: From quantum logic to dynamic belief revision, Prague International Colloquium “Logic of Change, Change of Logic”. September 2008.

46) S. Smets: Correlated Information: A Logic for Multi-Partite Quantum Systems. Contributed talk at "the 6th QPL workshop on Quantum Physics and Logic", April 8-9, 2009, Oxford University, UK

47) S. Smets: Correlated Information: A Logic for Multi-Partite Quantum Systems. Contributed talk at the "Colloquium on Mathematical Logic in the Netherlands", Nijmegen, 25-26 May 2009.

48) A. Baltag and S. Smets: Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. Contributed talk, 16th workshop on Logic, Language, Information and Computation, WOLLIC, Tokyo, 21-24 juni 2009.

49) A. Baltag and S. Smets: Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades. Contributed talk at "the workshop Theoretical Aspects of Rationality and Knowledge TARK", Stanford, 6-8 July 2009.

50) A. Baltag and S. Smets: Logic and Computation advanced course: Dynamic Logics for Interactive Belief Revision. At the "European Summer School for Logic, Language and Information ESSLLI 2009". Bordeaux 20-31 July, 2009.

51) A. Baltag and S. Smets: Talking Your Way into Agreement: Belief Merge by Persuasive Communication. Contributed talk at "the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (FAMAS)", Turin, Italy, 7-10 September, 2009.

52) A. Baltag and S. Smets: A Semantic Modal View on Ramsey’s Test, Contributed talk at the Second ILCLI

International Workshop on Logic and Philosophy of Knowledge, Communication and Action, San Sebastian, Spain, November 2010.

53) V. Fiutek, S. Gosh and S. Smets: Higher-order belief change in a branching-time setting, Contributed talk presented at the CLMPS 2011 meeting on Logic, Methodology and Philosophy of Science, France, 2011.

54) J. Bergfeld, K. Kishida and S. Smets: Coalgebraic Dynamic Quantum Logic, CMCS’12, 11th International

workshop on Coalgebraic Methods in Computer Science,Tallinn, Estonia, 31 March – 1 April, 2012.

55) V. Fiutek and S. Smets: Playing with Knowledge. Contributed talk at the Conference on Games, Game Theory and Game Semantics, 18-20 May, Lativa, Riga, 2012.

56) A. Baltag, B. Rodenhauser and S. Smets: Dynamic Doxastic Attitudes as Strategies for Belief Change, Workshop on Reasoning and Interaction, during NASSLLI, 23 June 2012.

57) J. Bergfeld, K. Kishida and S. Smets: Coalgebraic Dynamic Quantum Logic, IQSA Quantum Structures Meeting, Italy, July, 2012.

58) A. Baltag, J. Bergfeld, K. Kishida and S. Smets: Decidability of Quantum Logic, IQSA Quantum Structures Meeting, Italy, July, 2012.

59) A. Baltag, J. Bergfeld, K. Kishida, S. Smets and S. Zhong: A Decidable Dynamic Logic for Quantum Reasoning, QPL 2012 Conference, Brussels, 2012.

60) A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge, Presented at the 4th International LORi conference 2013, Hangzhou, China.

61) A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong. A Decidable Dynamic Logic for Quantum Reasoning, WoLLIC 2013, Workshop on Logic, Language, Information and Computation, August Darmstadt, 2013.

62) A. Baltag, N. Gierasimczuk and S. Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. Presented at the 15th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Pittsburgh, USA.

63) C. Shi and S. Smets. Beliefs supported by Arguments, At the Chinese Conference on Logic and Argumentation (CLAR) 2016.

64) A. Baltag, N. Bezhanishvili, A. Ozgun and S. Smets. Justified Belief and the Topology of Evidence. 23rd International Workshop on Logic, Language, Information, and Computation, 2016.

65) A. Baltag, Z. Christoff, R. K. Rendsvig, and S. Smets. Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. Presented at LOFT 12, 2016.

66) A. Baltag and S. Smets. Reasoning about Classical and Quantum Interactions. IQSA2016 meeting of the International Quantum Structures Association, Leicester, UK, July 2016.

67) S. Rafiee Rad, E. Shirinkalam and S. Smets, Deriving the Correctness of Quantum Voting Protocols in the Probabilistic Logic of Quantum Programs, IQSA2016 meeting of the International Quantum Structures Association, Leicester, UK, July 2016.

68) A.Baltag and S. Smets. The Dynamic Logic of Tests, Presented at the IQSA workshop Nijmegen 2017.

69) S. Rafiee Rad, A. Hossein Sharafi and S. Smets, Logic of Lattice Effect Algebras, Presented at IQSA workshop Nijmegen 2017.

70) S. Smets, F Velázquez-Quesada, How to make friends: a logical approach to social group creation, Presented at LOGICA 2017, June 19-23, Hejnice, Czech Republic.

71) S. Smets and F. R. Velázquez-Quesada, The Creation and Change of Social Networks: a logical study based on group size. Presented at the DALI Workshop, Brasilia, 2017.

72) S. Smets, F. Velazquez-Quesada, A logical study of agents’ distances in social network creations. Workshop on logical aspects of multi-agent systems (LAMAS 2017). August 25, 2017. Stockholm, Sweden.

73) A. Baltag, N. Gierasimczuk, A.L. Vargas, A. Özgün and S. Smets, A Dynamic Logic for Learning Theory, Presented at the DALI Workshop, Brasilia, 2017.

74) C. Shi, S. Smets and F. R. Velázquez-Quesada, Argument-based Belief in Topological Structures. Presented at the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, UK, 2017.

75) S. Smets, F Velázquez-Quesada. How to Make Friends: A Logical Approach to Social Group Creation, Presented at LORI-workshop September 11-14, Hokkaido, Japan, 2017.

76) S. Smets, F Velázquez-Quesada. A logical study of agents' distances in social network creations. Presented at LAMAS 2017 (Workshop on Logical Aspects of Multi-Agent Systems), Stockholm 2017.

77) S. Smets and A. Solaki. The effort of reasoning: modelling the inference steps of boundedly rational agents. Presented at WOLLIC 2018.

78) C. Shi, S. Smets, and F. Velazquez-Quesada. Belief based on evidence and argumentation. To be presented at WOLLIC 2018.

79) F. Barbero, K.Schulz, S. Smets, F. R. Velázquez-Quesada and K. Xie: Thinking about Causation: A Causal Language with Epistemic Operators. Presentation given by K. Xie at the online DALI conference 2020.