The Eighth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'13) will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from a wide range of disciplines including:
- Computer Science,
- Artificial Intelligence and Ubiquitous Computing,
- Cognitive Science,
- Organizational Sciences,
- Application areas such as Medicine, Law, domotics, context-aware systems, ...
Context affects a wide range of activities in humans and animals as well as in artificial agents and other systems. The importance of context is widely acknowledged, and “context” has become an area of study in its own right, as evidenced by numerous workshops, symposia, seminars, and conferences on this area. CONTEXT, the oldest conference series focusing on context, is unique in its emphasis on interdisciplinary research. Previous CONTEXT conferences have been held in Rio de Janeiro, Brazil (CONTEXT'97), Trento, Italy (CONTEXT'99, LNCS 1688), Dundee, Scotland (CONTEXT'01, LNCS 2116), Palo Alto, U.S.A. (CONTEXT'03, LNCS 2680), Paris, France (CONTEXT'05, LNCS 3554), Roskilde, Denmark (CONTEXT'07 LNCS 4635), Karlsruhe (CONTEXT'11, LNCS 6967). Each of these conferences brought together researchers and practitioners from many disparate fields to discuss and report on context-related research and projects.http://www.polytech.univ-savoie.fr/index.php?id=2218
The 25th European Summer School in Logic, Language and Information (ESSLLI 2013) will be held at Heinrich Heine University in Düsseldorf, Germany, August 5-16, 2013.
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI
(the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.
Previous ESSLLIs have been held in Opole (2012)
, Ljubljana (2011)
, Copenhagen (2010)
, andBordeaux (2009)
. We are very proud to be hosting the 25th ESSLLI in Düsseldorf and we look forward to seeing you there!
Under the auspices of FoLLI
(the Association for Logic, Language, and Information) and of the Vice President for Research and Innovation of the University of Düsseldorf.http://esslli2013.de/
Thursday 18th - Saturday 20th April 2013
The Department of Theoretical Philosophy at the University of Groningen is proud to organize and host the Dutch graduate conference focusing on topics within theoretical philosophy. The aim of the conference is to give graduate students working within some field of theoretical philosophy (e.g. epistemology, logic, metaphysics, philosophy of science / mind / language, etc.) the opportunity to present their work in progress and to get to know each other. Students from outside of the Netherlands are most welcome. To further enhance the experience, four professional keynote speakers will also be giving a talk providing inspiration for new ideas.
We are proud to present the following keynote speakers:
Ruth Millikan http://www.philos.rug.nl/GCTP2013/
March 14-15, 2013
Honouring Paul Gochet
Program to be posted...
On the character of temporal indexicals
University of Roskilde
In this talk (which is based on joint work with Klaus Frovin Jørgensen) I re-examine early work on the semantics of temporal indexicals through the lens of modern hybrid logic. Modern hybrid logic is a natural tool for handling many varieties of temporal reference, and as I shall show, this suitability extends even to temporal indexicals such as Now, Yesterday, Today and Tomorrow.
The key idea is to return to the classic work of Hans Kamp and David Kaplan on this topic. However, instead of exploiting their two-dimensional semantics using additional modalities, we make use of character-encoding propositional symbols instead. One of these symbols (namely Now) turns out to work much like an ordinary nominal, and this enables us to unlock the logic of indexicality in an extremely general way.
I won't be assuming much knowledge of logic or linguistics in this talk. Rather my aim will be to present a clear overview of the issues involved and to explain in accessible terms how hybrid logic gives us simple solutions to some rather tricky issues.
The first workshop for: Formalization in Philosophy
1-2 December 2012
Philosophy Department of Lund University, Kungshuset, Lundagård, Lund Sweden
Organizer: Sebastian Enqvist
Location: room 318, Kungshuset
Klaus Frovin Jorgensen, Roskilde University
Rasmus Rendsvig, Roskilde University
Valentin Goranko, Technical University of Denmark
Staffan Angere, Bristol University
Erik Palmgren, Stockholm University
Carlo Proietti, Lund University
Paula Quinon, Lund University
Patrick Blackburn, Roskilde University
Erik Olsson, Lund University
Stig Andur Pedersen, Roskilde University
Justine Jacot, Lund University
Sten Lindström, Umeå Universityhttp://www.fil.lu.se/institutionen/anknuten-verksamhet/konferenser/formalization-in-philosophy/
Computational Logic: A 70th Birthday Celebration Honoring Melvin Fittinghttp://cslogic.info/ComputationalLogicFitting70/
October 4 & 5, 2012
Graduate Center, City University of New York
365 Fifth Avenue, New York City
Melvin Fitting received the 2012 Herbrand Award
Distinguished Contributions to Automated Deduction.
Patrick Blackburn, Michael Dunn, Melvin Fitting, Arnold Koslow, Saul Kripke, Vladimir Lifschitz, Jan Plaza, Raymond Smullyan
The Advances in Modal Logic 2012 (AiML-2012)
is the ninth conference in the series. It is organized by Thomas Bolander (Technical University of Denmark) and Torben Braüner (Roskilde University) and will be held on 22-25 August 2012 in Copenhagen, Denmark.
8th Scandinavian Logic Symposium, 20-21 August 2012, Roskilde University, Denmark
After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS) and will be held at Roskilde University (RUC), Denmark, a short train ride from the centre of Copenhagen.
Also note that the Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. And just a few days before the Scandinavian Logic Symposium, the PCC 2012 - Proof, Computation, Complexity workshop will take place in Copenhagen on 17-18 August 2012. So this will truly be Logic Summer in the greater Copenhagen area.
Reasoning and Interaction at NASSLLI (RAIN)
is a workshop concluding the NASSLLI summer school, June 23-24. Featuring talks by NASSLLI instructors, participants and other visiting scholars whose work is related to reasoning and/or interactions among individuals and groups, RAIN is a forum for the presentation of formally-minded work of wide interest to an interdisciplinary audience.