CFP: TARK 2017

TARK 2017 16th Conference on Theoretical Aspects of Rationality and Knowledge Dates: July 24-26, 2017 Venue: University of Liverpool, U.K.. Official site: http://tark17.csc.liv.ac.uk/. About the Conference The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including – Artificial Intelligence, Knowledge Representation, Multi-Agent Systems – Cognitive Science, Psychology – Cryptography […]


The 15th Asian Logic Conference 2017

Dates: July 10-14, 2017 Venue: National Institute for Mathematical Sciences, South Korea. Official site: https://camp.nims.re.kr/activities/eventpages/?id=207811&action=overview


CFP: The 6th International Conference on Logic, Rationality and Interaction (LORI-VI)

Call for Papers: The Sixth International Conference on Logic, Rationality and Interaction (LORI-VI) Submission deadline: March 31, 2017 Conference date(s): September 11-14, 2017 Conference Venue: Hokkaido University, Sapporo, Japan workshop site: golori.org/lori2017/ The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the […]


CFP: Formal Epistemology Workshop (FEW) 2017

Call for Papers: Formal Epistemology Workshop (FEW) 2017 Conference date(s): May 26, 2017 – May 28, 2017 Conference Venue: Department of Philosophy, University of Washington, Seattle, United States workshop site: https://philevents.org/event/show/26594 call for paper page: http://mayowilson.org/FEW/cfp.htm


[talk] Connecting Proof Theory and Semantics (Johan van Benthem)

Time: 2016 Oct. 28, 09:30-11:00 Venue: Rm 301 XinZhai (新斋), Tsinghua University, Beijing. Speaker: Johan van Benthem (Stanford University and University of Amsterdam) Title: Connecting Proof Theory and Semantics Abstract: Proof theory and semantics seem very different aspects of logic. But the two aspects meet in many productive ways, and I will explain two cases: semantic tableaux and substructural logic. Hand-out: [ click […]