Epistemic Logic for Individual, Social, and Interactive Epistemology (ELISIEM)
https://sites.google.com/site/elisiem2014/
August 11-15, 2014
organized as part of the
European Summer School on Logic, Language, and Information
ESSLLI 2014 http://www.esslli2014.info/
August 11-22, 2014 in Tübingen, Germany
Workshop Organizers:
Wesley Holliday (UC Berkeley) - wesholliday@berkeley.edu
Thomas Icard (Stanford University) - icard@stanford.edu
Workshop Purpose:
Epistemic Logic is a formal approach to modeling knowledge, belief, and other informational attitudes, developed by logicians, philosophers, computer scientists, AI researchers, economists, linguists, and others. Historically, with its origins in philosophy, epistemic logic promised to illuminate traditional issues of epistemology, the theory of knowledge. In recent years, epistemic logic has been making good on that promise, with important new applications not only toindividual epistemology, a traditional focus of philosophers for the last two-and-a-half thousand years, but also in social epistemology, the more recent investigation of the social dimensions of knowledge and information flow, as well as interactive epistemology, the study of knowledge and belief in strategic, game-theoretic situations.
During five 90-minute sessions, the ELISIEM workshop will feature presentations covering the latest applications of epistemic logic to individual, social, and interactive epistemology, putting work at this fascinating intersection on the map of interdisciplinary activities in logic.
Workshop Topics:
Topics of interest include, but are not limited to:
Formal models of knowledge
Epistemic closure
Logical omniscience
Higher-order knowledge
Knowability
Epistemic paradoxes
Epistemic contextualism
Multi-dimensional epistemic logic
De se / self-locating attitudes
Dynamic epistemic logic
Epistemic logic and belief revision
Epistemic logic and learning theory
Quantified epistemic logic
Information cascades
Epistemic bandwagons
Epistemic trust
Pluralistic ignorance
Group knowledge
Information in games
Epistemic foundations of game theory
Submission details:
We invite submissions of papers (preferably shorter than 15 pages), including a brief abstract and several keywords, in PDF format through EasyChair: https://www.easychair.org/conferences/?conf=elisiem2014
Workshop format:
The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 slots for paper presentations and discussion per session.
Invited Speakers:
Eric Pacuit (University of Maryland, College Park)
Sonja Smets (University of Amsterdam)
Workshop Program Committee:
Alexandru Baltag (University of Amsterdam)
Johan van Benthem (University of Amsterdam and Stanford University)
Giacomo Bonanno (University of California, Davis)
Hans van Ditmarsch (LORIA, CNRS)
Wiebe van der Hoek (University of Liverpool)
Fenrong Liu (Tsinghua University)
Eric Pacuit (University of Maryland, College Park)
Sonja Smets (University of Amsterdam)
Roy Sorensen (Washington University, St. Louis)
Robert Stalnaker (Massachusetts Institute of Technology)
Timothy Williamson (Oxford University)
Rineke Verbrugge (University of Groningen)
Audrey Yap (University of Victoria)
Important Dates:
Submission deadline: March 8, 2014
Notification: April 21, 2014
Preliminary program: April 24, 2014
ESSLLI early registration: May 1, 2014
Final program: June 21, 2014
Workshop dates: August 11-15, 2014
Local Arrangements:
All workshop participants, including the presenters, will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the OC on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant.
Further Information:
About the workshop: https://sites.google.com/site/elisiem2014/
About ESSLLI: http://www.esslli2014.info/