Projekter pr. år
Originalsprog | Engelsk |
---|---|
Publikationsdato | 2018 |
Status | Udgivet - 2018 |
Begivenhed | 4th Asian Workshop on Philosophical Logic - Beijing, Kina Varighed: 20 okt. 2018 → 21 okt. 2018 Konferencens nummer: 4 http://resources.illc.uva.nl/LogicList/newsitem.php?id=8842 |
Workshop
Workshop | 4th Asian Workshop on Philosophical Logic |
---|---|
Nummer | 4 |
Land/Område | Kina |
By | Beijing |
Periode | 20/10/2018 → 21/10/2018 |
Andet | Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated <br/>by a group of Asian logicians, and in 2012 the first installment took <br/>place at the JAIST in Japan. It is devoted to promote awareness, <br/>understanding, and collaborations among researchers in philosophical logic <br/>and related fields. The workshop emphasizes the interplay of philosophical <br/>ideas and formal theories. Topics of interest include non-classical <br/>logics, philosophical logics, algebraic logics, and their applications in <br/>computer science, cognitive science, and social sciences. The second and <br/>third workshop took place successfully in Guangzhou (2014) and Taipei <br/>(2016), respectively. And the two post conference proceedings were <br/>published in the Studia Logica book series "Logic in Asia" <br/>(http://www.springer.com/ series/13080?detailsPage=titles) with Springer. <br/>The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held <br/>in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA <br/>Joint Research Centre for Logic at Tsinghua University.<br/><br/>INVITED SPEAKERS<br/>- Bo An (Nanyang Technological University, Singapore)<br/>- Sergei Artemov (City University of New York, United States)<br/>- Kamal Lodaya (The Institute of Mathematical Sciences, India)<br/>- Tomoyuki Yamada (Hokkaido University, Japan)<br/><br/>INVITED TUTORIAL<br/>- Melvin Fitting (City University of New York, United States) |
Internetadresse |
Bibliografisk note
Proceedings of the 4th Asian Workshop on Philosophical Logic, Tsinghua University, Beijing, ChinaProjekter
- 1 Afsluttet
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Projektdeltager), Blackburn, P. R. (Projektdeltager) & Polyanskaya, I. (Projektdeltager)
01/01/2014 → 30/04/2019
Projekter: Projekt › Forskning