"Path Models and Their Corresponding Sequent Calculi for Modal Logics" (March 2024). Sapporo One-day Workshop on Hybrid Logic and Proof Theory, Hokkaido, Japan.
"A New Semantics for Modal Logic and its Calculi" (Dec 2023). Annual Conference of Taiwan Philosophical Association, Kaohsiung, Taiwan.
"The development of a new framework for dealing with modal logic" (Jun 2023). LMPST Taiwan 2023, Taipei, Taiwan.
"Logic of proofs in Gentzen style" (Dec 2022). Logic Workshop in Chiayi, Chiayi, Taiwan.
"Logic of Gentzen-style proofs" (Jan 2022). Logical Foundations of Computer Science (LFCS 2022) - Discussion Session, Florida, USA. (online)
"Another Proof of the Realization Theorem" (Aug 2020). Advances in Modal Logic, Helsinki, Finland. (online)
"Knowledge, Reasoning Time, and Moore’s Paradox" (Aug 2019). Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST), Prague, Czech Republic.
"Multi-agent timed Modal Epistemic Logic with Common Knowledge" (Aug 2017). Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017), Stockholm, Sweden.
"Logic Omniscience and Deductive Rationality" (Jul 2016). JAIST Logic Seminar Series, School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan.
"Epistemic Logic: Then and Now" (Apr 2016). Regular Academic Talks of the Department of Philosophy, National Tsing Hua University, Hsinchu, Taiwan.
"An Analysis of the Problem of Logical Omniscience of Epistemic Logic" (Aug 2015). 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS), Helsinki, Finland.
"Epistemic Logic, Deductive Rationality, and Logical Omniscience" (Jul 2015). Logic and Interactive Rationality (LIRa) session, Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam, Netherlands.
"Epistemic Logic and the Problem of Logical Omniscience" (May 2015). Regular Academic Talks of the Center for Logic, Language and Cognition, Department of Philosophy, Peking University, Beijing, China.
"Proof Realization on Modal Logics" (May 2015). Tsinghua Logic Colloquium, Tsinghua University, Beijing, China.
"Epistemic Logic, Deductive Rationality, and Logical Omniscience" (Feb 2015). Regular Academic Talks of the School of Philosophy, Australian National University, Canberra, Australia.
"Epistemic Logic, Logical Omniscience, and Deductive Rationality" (May 2014). Regular Academic Talks of the Department of Philosophy, National Taiwan University, Taipei, Taiwan.
"Temporalizing Modal Epistemic Logic" (Oct 2012). Workshop on Logic, Philosophy, and Computation, Academia Sinica, Taipei, Taiwan.
"Timed Modal Epistemic Logic" (Mar 2012). Regular Academic Talks of the Department of Philosophy, National Chung Cheng University, Chiayi, Taiwan.
"A New Semantics for Modal Logic and its Calculi" (Dec 2023). Annual Conference of Taiwan Philosophical Association, Kaohsiung, Taiwan.
"The development of a new framework for dealing with modal logic" (Jun 2023). LMPST Taiwan 2023, Taipei, Taiwan.
"Logic of proofs in Gentzen style" (Dec 2022). Logic Workshop in Chiayi, Chiayi, Taiwan.
"Logic of Gentzen-style proofs" (Jan 2022). Logical Foundations of Computer Science (LFCS 2022) - Discussion Session, Florida, USA. (online)
"Another Proof of the Realization Theorem" (Aug 2020). Advances in Modal Logic, Helsinki, Finland. (online)
"Knowledge, Reasoning Time, and Moore’s Paradox" (Aug 2019). Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST), Prague, Czech Republic.
"Multi-agent timed Modal Epistemic Logic with Common Knowledge" (Aug 2017). Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017), Stockholm, Sweden.
"Logic Omniscience and Deductive Rationality" (Jul 2016). JAIST Logic Seminar Series, School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan.
"Epistemic Logic: Then and Now" (Apr 2016). Regular Academic Talks of the Department of Philosophy, National Tsing Hua University, Hsinchu, Taiwan.
"An Analysis of the Problem of Logical Omniscience of Epistemic Logic" (Aug 2015). 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS), Helsinki, Finland.
"Epistemic Logic, Deductive Rationality, and Logical Omniscience" (Jul 2015). Logic and Interactive Rationality (LIRa) session, Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam, Netherlands.
"Epistemic Logic and the Problem of Logical Omniscience" (May 2015). Regular Academic Talks of the Center for Logic, Language and Cognition, Department of Philosophy, Peking University, Beijing, China.
"Proof Realization on Modal Logics" (May 2015). Tsinghua Logic Colloquium, Tsinghua University, Beijing, China.
"Epistemic Logic, Deductive Rationality, and Logical Omniscience" (Feb 2015). Regular Academic Talks of the School of Philosophy, Australian National University, Canberra, Australia.
"Epistemic Logic, Logical Omniscience, and Deductive Rationality" (May 2014). Regular Academic Talks of the Department of Philosophy, National Taiwan University, Taipei, Taiwan.
"Temporalizing Modal Epistemic Logic" (Oct 2012). Workshop on Logic, Philosophy, and Computation, Academia Sinica, Taipei, Taiwan.
"Timed Modal Epistemic Logic" (Mar 2012). Regular Academic Talks of the Department of Philosophy, National Chung Cheng University, Chiayi, Taiwan.