Student Session

[Updated on June 29]

The Student Session of the Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience, with an opportunity to receive feedback from an expert audience. In addition, we plan a “mentoring” program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

Programs of the Student Session (at XinZhai 324)

  • Talk: Computer, projector and screen are provided to speakers for playing slides. Speakers are encouraged to test their slides and solve technical issues in advance. The talk and slides should be mainly in English. According to our current plan, each talk is 10 min long, directly followed by 5 min of questions and answers.
  • Poster: Each work should be presented in English on a paper-based poster no larger than A1 (594 mm × 841 mm). Please print your poster and give it to our organizers by 20:00 on July 6th.
  • July 3rd
      11:15 – 11:30 Wang Shuqing and Zhang Yun
      Logical Equilibria in Dynamic Preference Multi-context System
      11:30 – 11:45 Harvey Lederman
      Epistemic Conditions Without Introspection
      11:45 – 12:00 Neethi Konar
      A Study on Three-valued Paraconsistent Logics
      12:00 – 12:15 Zhang Yun
      Intuitionistic Public Announcement Monotone Modal Logic
  • July 4th
      11:15 – 11:30 Carlos Mario Marquez Sosa
      Radical Neo-fregean Contextualism
      11:30 – 11:45 Hu Jingbo
      Quine’s Criticism of Analycity: An Argument Reconstruction of ‘Two Dogmas’
      11:45 – 12:00 Dai Yibin
      Defeasible Reasoning
      12:00 – 12:15 Muji Wuni
      A Preliminary Study on Yi Language Semantic Case Marker
  • July 5th
      11:15 – 11:30 Wang Shanxia
      Lattice-graded Modal Logics
      11:30 – 11:45 He Shunan
      Tarski’s criterion and L-S-T downward theorem in Dependence Logic
      11:45 – 12:00 Gianluca Paolini
      Independence Logic and Boolean Algebras
      12:00 – 12:15 Hou Liping
      Axiomatic Classes of Basic Propositional Logical Models
  • July 6th No program in this session (it is a tourist day)
  • July 7th Poster Session
      Dong Wenyuan
      Sun Xinyi
      Wang Shuqin and Zhu Yinqiu
      Yang Zhengyuan
      Yang Zhiwei
      Yao Yuanho
      Ying Teng
      Zhao Nannan
  • July 8th
      11:15 – 11:30 Miika Hannula
      Hierarchies in inclusion logic with lax semantics
      11:30 – 11:45 Lu Yaojun
      Saving Modus Ponens
      11:45 – 12:00 Da Fan and Linton Wang
      The Powerlessness of Laws
      12:00 – 12:15 Yu Zhe
      Causal reasoning based on argumentation theory

For any questions, please contact easllc2014@gmail.com

CALL FOR PAPERS

We invite submissions of abstracts of original, unpublished papers from students in the area of logic, language and computation. Submissions will be reviewed by several experts in the field, and authors of accepted papers will be invited to present in the student session, and will be provided with free accommodation.

Instruction for Authors

Students are invited to submit an abstract of maximum 5 pages on any topic in logic, language and computation. The abstract should be written in properly readable English, and must be in PDF format that is to be submitted using our EasyChair website.

Important Dates

  • April 1, 2014 – deadline for short abstracts of papers (at most 5 pages)
  • April 20, 2014 – notification date of acceptance/rejection of the papers

For any questions, please contact easllc2014@gmail.com