Aim and Scope
The proposed workshop focuses on the interaction and cross-fertilization between Non-classical logic is a wide research area that can bring ideas from different application areas together. It plays a significant role in the cross-discipline research in logic, theoretical computer science, game theory, social choice theory, linguistics and cognitive sciences. The aim of this conference is to work on various non-classical logical theories with the perspectives on their applications. We warmly invite all contributions in the area of non-classical logics and their applications in sciences. The scope of this conference includes, but is not limited to:
(1) Proof theory and Computational complexity
(2) Algebraic semantics and abstract algebraic logic
(3) Fuzzy, many-valued and open-class logics
(4) logic and social choice theory
(5) Substructural logics
(6) Modal logicsand Correspondence theory
(7) Philosophical logics
(8) Coalgebra
(9) Categorical methods in logic
(10) Logical approach to natural language and reasoning (syntax and semantics)
(11) Finite Model Theory and Complexity of Logical Theories
(12) Type theory and Logic programming semantics

Program Committee
> Shier Ju, Sun Yat-sen University (Chair)
> Alessandra Palmigiano, TU Delft (Co-chair)
> Marta Bílková, Charles University
> Petr Cintula, The Czech Academy of Science
> Hans van Ditmartsch, LORIA
> Sabine Frittella, TU Delft
> Helle Hvid Hansen, TU Delft
> Andreas Herzig, Université Paul Sabatier
> Zhe Lin, Sun Yat-sen University
> Hu Liu, Sun Yat-sen University
> Xudong Luo, Sun Yat-sen University
> Minghui Ma, Sun Yat-sen University
> Revantha Ramanayake, TU Wien
> Katsuhiko Sano, JAIST
> Yuping Shen, Sun Yat-sen University
> Yuanjing Wang, Peking University
> Fan Yang, TU Delft
> Xishun Zhao, Sun Yat-sen University

Invited Speakers

> Wojciech Buszkowski, Adam Mickiewicz University
> Willem Conradie, University of Johannesburg
> Tommaso Flaminio, università dell'insubria
> Nikolaos Galatos, University of Denver
> Giuseppe Greco, TU Delft
> Ying Jiang, Chinese Academy of Sciences
> Hailin Liu, Sun Yat-sen University
> Daniele Mundici, University of Florence
> Revantha Ramanayake, TU Wien
> Yde Venema, University of Amsterdam
> Sanmin Wang, Zhejiang Sci-Tech University
> Nachoem Wijnberg, University of Amsterdam

Program
Available here in PDF.

Venue
The workshop will take place in the Lecture Room 103, Xi Chang Tang, Sun Yat-sen University.

Accommodation
We have reserved some (limited number) rooms at the following campus hotels, participants are encourged to book as early as possible.

West Gate Guest House (Tel: +86-20-84112978)
Internet Access
10 Minutes to Conference Hall
Twin Room[60 EUR]
Twin Room Delux [70 EUR]
Three Beds Room [70 EUR]
7 Days Inn (Pearl River Natatorium,East of Binjiang Road) (Tel:+86-20-34396589)
Internet Access
20 Minutes to Conference Hall
Single Room Delux [30 EUR]
Twin Room [30 EUR]
Home Inn (Guangzhou East Binjiang Road, Sun Yat-sen University) (Tel: +86-20-34261628-9)
Internet Access
20 Minutes to Conference Hall
Single Room Delux [30 EUR]
Twin Room [30 EUR]
Aloft Tianhe, Guangzhou (Tel: +86-20-38028888)
Internet Access
40 Minutes to Conference Hall (A bit distance)
Single Room Delux [75 EUR]
Twin Room [75 EUR]

Transportation to SYSU Campuses

If you take a flight to Baiyun International Airport in Guangzhou, you can:
1. Take a taxi to SYSU (about RMB150). The drive takes about one hour.
2. Take the Airport Express Bus and continue with a taxi:
please take the Airport Express Bus (about RMB30) to the New Pearl River Hotel (line 6) or to Guangzhou Textile Exchange Park (line 10), get off and take a taxi (RMB10) to the South Campus.
3. Take the metro at Airport South Station to SYSU (about RMB 12):
please take Line 3 (Airport S. to Tiyuxi Road) to the Tiyuxi Road Station. Transfer to another Line 3 (Tianhe Coach Terminal to Panyu Square) and when you get to the Kecun Station, then you can transfer to Line 8 (towards Fenghuang Xincun). Get off the train at Sun Yat-sen University Station (Exit A).

If you take a flight to Hong Kong, you can:
1. Take the HK-Guangzhou Express:
take a taxi from HK Airport to Hung Hom Train Station (about HKD350). Get on the HK-Guangzhou Express and you will arrive at the East Train Station of Guangzhou. (about HKD190-230)
Follow the instruction there and you will find the metro entry. (line 3+line 8)
2. Take a bus to Guangzhou (about HKD230-250): Ask the Bus Service Staff to check bus arrangements heading for Guangzhou.

Map of SYSU and Traffic information
Download here.

Contact
Zhe Lin (Local Chair)
[email protected],[email protected]