News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 10 March 2014). Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Calls for Papers
Headlines Upcoming Conferences
Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.
The Student Session of the North American Summer School for Logic, Language and Information (NASSLLI) will provides students an excellent opportunity to present their work to experts in their field as well as to a broader, well-informed interdisciplinary audience.
NASSLLI welcomes paper submissions for presentation at its Student Session. Submissions may be in any of the fields related to the school (logic and language, logic and computation, or language and computation) and should represent original, unpublished work by individuals who will not yet have received their Ph.D. by the time of the conference. All submissions will be reviewed by at least three specialists who will provide commentary on the paper regardless of its acceptance status. Submissions due: March 14th, 2014 (by midnight).
For more information, see http://web.pacuit.org/files/NASSLLI2014StuS_CFP.pdf or contact qharrumd.edu
This workshop on controlled natural language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.
We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS format and should not exceed 10 pages. Submission deadline: 14 March 2014.
For more information, see http://attempto.ifi.uzh.ch/site/cnl2014/
Computational social choice is a growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing. Like its predecessors, this 5th edition of COMSOC will bring together theoretical computer scientists, researchers working in artificial intelligence, economicsts, political scientsists, mathematicians, and logicians working on these topics.
Submissions of papers describing original or recently published work on all aspects of computational social choice are invited. Submission deadline: March 15, 2014
For more information, see http://www.cs.cmu.edu/~arielpro/comsoc-14/.
Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.
We warmly invite all contributions offering novel and significant results in the area of logic. There are two types of submissions: Full papers (which will be subjected to a proper reviewing process) and short presentations (which will undergo a light reviewing). Submission deadline: 15 March 2014 (full papers) or 7 May 2014 (short papers).
For more information, see http://filozof.uni.lodz.pl/trends
The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field - the creation of thinking machines with general intelligence at the human level and possibly beyond.
AGI'14 will be co-located with and immediately after AAAI'14 and CogSci 2014. Yoshio Bengio will give a keynote on "Deep Learning for AI"; and AGI-14 will include a Workshop on AGI & Cognitive Science.
As in prior AGI conferences, we welcome submission of papers on all aspects of AGI R&D, with the key proviso that each paper should somehow contribute specifically to the development of Artificial General Intelligence. Two types of papers will be accepted: Regular Papers, and short Technical Communications. The submission deadline is March 15, 2014.
For more information, see the conference website here: http://agi-conf.org/2014
CCR 2014 will be held at the Institute for Mathematical Sciences in Singapore as a part of the Algorithmic Randomness Programme, 2-30 June 2014. Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.
Please register before 15 March 2014. Those who wish to talk during the conference should inform the IMS in subsequent correpondence. For more information, see the Conference Web Page at http://www2.ims.nus.edu.sg/Programs/014algo/.
ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.
ICTAC 2014 calls for regular research papers on theories of computation and programming, foundations of software engineering and on formal techniques in software design and verification, as well as papers about tools that support formal techniques for software modeling, system design and verification. Abstract submission deadline: 16 March 2014.
The "Logic, Grammar, and Language" Conference explores the the multifarious interactions between logic and natural language. We are interested to explore the relation(s) between logic and natural language from empirical (linguistic), philosophical, and logical perspectives.
We invite submissions on a broad range of topics related to the main theme of the conference. Submission deadline: March 20, 2014
SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.
Every researcher holding a PhD degree in the Faculty of Humanities at the University of Amsterdam is invited to submit a workshop proposal. We invite proposals in all areas of humanities and cognitive science but cross-disciplinary and innovative topics are particularly encouraged. Deadline for submissions: March 1st 2014.
For more information, see http://smartcognitivescience.wordpress.com/2014/02/04/394/ or http://cl.ly/230F1l0W1W42.
This is the fourth edition of the LSE Graduate Conferences in Philosophy of Probability. It aims to attract researchers working on any philosophical aspect of probability, including, but not limited to, Bayesian epistemology, the foundations of statistics, decision theory, probabilistic causation, probability logic and applications of probabilities in the natural, social and medical sciences.
Submissions are invited from graduate students and early career researchers (up to two years after the award of their PhD). Papers may be on any of the conference topics. We especially encourage submissions on applications of probabilities in the natural, social and medical sciences. Deadline for submissions: 23 March 2014. There are 6 travel grants of up to 150 GBP available to help authors of accepted papers to cover the costs of their travel and accommodation.
For more information see http://www.lse.ac.uk/CPNSS/events/GraduateConferences/pop2014/.
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.
WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date).
For more information, see http://wollic.org/wollic2014/.
The purpose of the BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The conference will consist of invited presentations by distinguished researchers and a number of contributed talks.
Participants at the colloquium are encouraged to present a contributed talk. Abstract submission will be open in January 2014. Deadline for submission of abstracts is 26/03/2014.
Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness. These different approaches have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.
We welcome submissions from scholars (in particular, young scholars, i.e. early career researchers or post-graduate students) on any area of the foundations of mathematics (broadly construed). Particularly desired are submissions that address the role of set theory in the foundations of mathematics, or the foundations of set theory (universe/multiverse dichotomy, new axioms, etc.) and related ontological and epistemological issues. Submission Deadline: 31 March 2014.
For more information, see the conference website at http://sotfom.wordpress.com/about/.
The Colloquium Logicum is organized every two years by the DVMLG, the German association of logicians in mathematics, philosophy and theoretical computer science. In 2014 the conference will take place in Munich at the Universität der Bundeswehr München, Neubiberg. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.
Besides the regular scientific programme it is planned to include a PhD Colloquium with invited presentations of excellent recent PhD graduates.
A call for papers with further details on the submission procedure will be distributed later in 2013.
For more information, see the web page at http://cca-net.de/cl2014/
The Student Session of the 26th European Summer School in Logic, Language, and Information (ESSLLI) is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. eadline for submissions: April 1st, 2014.
More detailed guidelines and policies regarding submission can be found on the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/ or by emailing dehaankr.tuwien.ac.at. For general inquiries about ESSLLI 2014, please consult the main ESSLLI 2014 page: http://www.esslli2014.info/.
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 event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.
In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.
We invite submissions of abstracts of original, unpublished papers from students in the area of logic, language and computation. Deadline for abstracts submission: April 1, 2014.
For any questions, please contact easllc2014gmail.com. Or see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5560 or http://tsinghualogic.net/events/2014/easllc/?p=92.
The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.
Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Programme Committee cordially invites all researchers to submit papers on any of the featured topics. We particularly welcome contributions on many-valued and related logical systems. The deadline for contributions is 6th April 2014.
CWAP 2014 is the 1st edition of what is planned to become a new platform for discussing problems in analytical philosophy in a small but stimulating environment. This year's edition shall focus on "normativity" as discussed within three areas of philosophical inquiry: theory of meaning, belief and knowledge.
We invite submissions of original papers for presentations at the workshop addressing any problem within the broad subject of the workshop. We are particularly interested in the issues investigating into the meta-theory of normativity restricted (or not) to the particular domain: epistemic, linguistic etc. The deadline for paper submissions is 6st April 2014.
All information concerning editorial guidelines, deadlines, fees, programme, our speakers and venue are available on-line at http://www.2014.cwap.pl/.
The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.
Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.
Authors are invited to submit 1-2 pages abstracts in PDF format. Submission deadline: April 7, 2014
For more information, see the Conference Web Page at http://cca-net.de/cca2014/
Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. The aim of this workshop series is to address key questions that advance our understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.
This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Papers should be relevant to issues fundamental to the computational modeling and scientific understanding of narrative; we especially welcome papers relevant to the neuroscientific and cognitive aspects of narrative. Regardless of its focus, reported work should provide some sort of insight of use to computational modeling of narratives. We accept both finished research and more tentative exploratory work. Submission deadline is April 11, 2014.
For more information, see http://narrative.csail.mit.edu/cmn14/
This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the sequent calculus and natural deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics resisting a simpler description, including hypersequents, deep inference systems, display calculi, labelled deductive systems, tableaux, and proof nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches.
A broader aim of the workshop is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic systems, are shared. ------------------------------------------------------------------------------------
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 13, 2014.
For more information, see http://vsl2014.at/pages/GSB-cfp.html
CiE 2014 is the tenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches.
Unlike the traditional format of computer science conferences with pre-conference proceedings, mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. Continuing the tradition of past CiE conferences, also this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and one page) by the deadline of April 14, 2014.
For more information, see http://cie2014.inf.elte.hu
The 4th conference on "*Concept Types and Frames in Language, Cognition, and Science*" (CTF'14) will take place on 25--27 August 2014 at the University of Düsseldorf, Germany. The conference is intended as an interdisciplinary platform that contributes to the development of a general theory of the structure of representation. Special focus is given to accounts using frames understood as recursive attribute-value structures with functional attributes. The topics range from formalisms to describe frames and their ontological interpretation to applications of frames in the modeling of dynamic aspects of concept formation in science and cognition and the description of natural language semantics.
We invite submission of abstracts for 25min oral presentations (plus 10min discussion). Deadline: 15h of April 2014. Conference Topics:
- The structure of representations in cognition
- Attribute-value structures, type signatures, and constructional schemas
- Ontological aspects of frames
- Lexical decomposition, constructions, and semantic composition
- Coercion, conceptual shifts, and co-composition
- Dynamic models of verb semantics
- Typological aspects of NP semantics
For more information, see http://www.sfb991.uni-duesseldorf.de/ctf-2014/
PRUV 2014 is the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. The aim of PRUV is to make researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, and to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, that are working on these topics.
PRUV 2014 is associated with the Vienna Summer of Logic, a major event hosting logic conferences and workshops. In particular, PRUV will be hosted by FLoC and associated to IJCAR.
PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness. We accept submissions of papers and results previously published in other major conferences and journals. Paper submission deadline: April 20, 2014.
For more information, see http://vsl2014.at/pruv/
Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. This conference focusses on its logical aspects.
This conference is organised as part of the French-German ANR-DFG project HYPOTHESES, In conjunction with ESSLLI 2014.
We invite contributed talks on any of the conference topics. Contributions on related topics are welcome, too. We especially encourage young researchers, including students, to contribute. There will be 12 slots for contributed talks (30 min) and 5 slots for shorter presentations. The deadline for submission is 22 April 2014.
For more information, see http://ls.informatik.uni-tuebingen.de/hypo/
The scope of SLS 2014 is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc. As with previous editions, the primary aims of the Symposium are to reflect the current activities in logic in the Nordic countries and to provide a local meeting forum for their logical communities, broadly conceived. Besides, it invites and warmly welcomes participation of logicians from all over the world.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: April 25, 2014
Confirmed keynote speakers: Kit Fine (New York), Øystein Linnebo (Birbeck), David McCarty (Indiana) and Gabriel Sandu (Helsinki).
We are looking for high-quality contributions on logic and philosophy of logic. Presentations will be 30 minutes, followed by 15 minutes for discussion. Deadline for submission is April 25th, 2014.
Euler diagrams represent relationships between sets, including intersection, containment, and disjointness. These diagrams have become the foundations of various visual languages and have notably facilitated the modelling of, and logical reasoning about, complex systems. This workshop of peer-reviewed submissions will afford the growing Euler diagrams community the opportunity to present and discuss new research, and share multi-interdisciplinary expertise. We envisage that this will stimulate collaborations on current and future research needs.
We solicit submissions on any of the conference topics, both full papers (consisting of original research or surveys) and short paperse (consisting of systems descriptions, software demonstrations, position statements or original research contributions). Paper submission deadline: April 28th (abstracts April 21st).
Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aimed at discussing formal theories and logics of information dynamics - including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation - in order to better understand how information circulates in an artificial society, and how it influences the individual and collective cognitive attitudes.
The workshop is an event of ESSLLI-14 and will take place on August 18-22 2014, Tubingen, Germany. It will form part of the coordination activities of SINTELNET, the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 30, 2014.
For more information, see http://www.irit.fr/~Laurent.Perrussel/idas-14/
KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi- Agent System Technologies).
The conference invites original research papers from all areas of AI, its fundamentals, its algorithms, its history and its applications. We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. Paper submission deadline: May 1st.
Despite its austere appearance, formal logic can often be viewed through the lens of game theory, whereby various logical concepts -- validity, consequence, provability, satisfiability, (in)dependence, possibility, etc. -- become animated as games. Going in the other direction, one can start with games and find logics, and various logical concepts, therein. The idea of viewing logics as games, and vice versa, is by no means new, but it has enjoyed a certain renaissance in recent years. The workshop is intended to serve as a magnet to attract the latest research in the spirit of connecting logic to games.
Logic and Games will be a one-day event consisting of three invited 60-minute talks, together with selected shorter contributed talks. Invited speakers: Gabriel Sandu (Helsinki), Ondrej Majer (Prague) and Kazushige Terui (Kyoto).
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st.
LCC 2014/ImmermanFest will be held in Vienna, Austria, on July 12-13, 2014, as an affiliated meeting of the Vienna Summer of Logic. The program will consist of a first day (July 12th) of talks which include both invited lectures and contributed talks selected by the program committee (based on submitted abstracts), and a second day (July 13th) devoted entirely to invited talks in celebration of Neil Immerman's 60th birthday.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, to which Neil Immerman has made numerous fundamental and inspiring contributions. In particular, he has been one of the leading figures in the development of descriptive complexity, which has elucidated intimate and beautiful connections between complexity theory and finite model theory. This year, day two of LCC 2014 will honor Neil's 60th birthday with a series of invited lectures by some of the leading researchers working in areas that have been influenced by Neil's work.
We welcome submissions of abstracts, including submissions based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. Abstract submission deadline: May 2nd, 2014
For more information, see http://www.cs.swansea.ac.uk/lcc2014/
The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 10th, 2014.
Please visit the conference website http://gandalf2014.di.univr.it for more information.
The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
Following the previous fourteen, very successful, editions, the 15th CLIMA will take place in Prague, Czech Repulblic, on the 18th and 19th of August 2014. It will be co-located with ECAI’14. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Logics for Games, Strategic Reasoning, and Social Choice' and on 'Logics for Agreement Technologies'.
We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Submissions will be peer-reviewed by at least three PC members. Submission deadline is May 11th.
For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXV.html
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2014 is the tenth conference in the series.
Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. Authors are also invited to submit short presentations, intended for presentation at the conference but not for the published proceedings. Submission deadline is 14 March 2014 (12 May 2014 for short presentations).
For more information, see http://www.philos.rug.nl/AiML2014/
The 7th European Starting AI Researcher Symposium will be held as a satellite event of ECAI-2014, the 21st European Conference in Artificial Intelligence, in Prague in August 2014.
STAIRS is aimed at young researchers in Europe and beyond, particularly PhD students, but also advanced Master's students and postdoctoral researchers holding a PhD for less than one year at the time of the paper submission deadline. STAIRS offers opportunities to gain experience with submitting to and presenting at an international event with a broad scientific scope.
We welcome submissions in all areas of AI, ranging from foundations to applications. Accepted papers will be presented either orally or in a poster session. The paper submission deadline is 15 May 2014.
For more information, see http://www.ecai2014.org/stairs/.
This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.
Submissions of papers in any topic of philosophy of mathematics are welcome. The languages of the workshop are French and English. The deadline for submission is May 15, 2014. The Scientific Committee (see below) will evaluate each submission and notifies acceptance by July 1, 2014.
Each talk should be no longer than 45 minutes, and will be followed by a 30 minutes discussion. Each submission should be no more than 15,000 characters, and formatted in Word, RTF or PDF. It should be sent to both brice.halimiu-paris10.fr and sebastien.maronnemath.univ-toulouse.fr. Receipt of submissions will be acknowledged by email.
Younger scholars and graduate students working on their dissertations are particularly encouraged to submit, as the workshop wll provide them with an opportunity to discuss their work with internationally renowned experts in the field.
The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html
The aim of JELIA-2014 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross- fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. Deadline: 19 May 2014.
For more information, see http://www.uma.pt/jelia2014/.
The International Workshop on Defeasible and Ampliative Reasoning (DARe), held in conjunction with ECAI 2014 in Prague, Czech Republic, aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss the defeasible and ampliative aspects of reasoning in a multi-disciplinary forum.
The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.
DARe welcomes contributions on all aspects of defeasible and ampliative reasoning. We invite submissions of papers presenting original research results or position statements. Submission deadline: 25 May 2014
Aristotle is the founder of modal logic. His system of modal syllogisms has been studied for many centuries, with less than successful results. In 1955, Jan Lukasiewicz declared that "in contrast to the assertoric syllogistic which is perfectly clear and nearly free of errors, Aristotle's modal syllogistic is almost incomprehensible because of its many faults and inconsistencies". Some scholars have been trying to resist this pessimistic judgement and to articulate interpretations of the modal syllogistic that are, at the same time, logically consistent and plausible on exegetical grounds. This workshop wants to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the subject.
We invite submissions of long abstracts or short papers on any aspect of the modal syllogistic. The time slot is 80 minutes (50' talk + 30' discussion). We aim at accepting five contributed papers. Submission deadline: May 31, 2014.
For more information, see http://www.lancog.com/modalsyllogistics.html
Recent debates about semantic content have called into question traditional accounts and have renewed interest in unorthodox approaches, in particular approaches that operate with semantic contents that do not have absolute truth-values. These novel approaches to semantic content challenge the simple models of communication and information transfer that have traditionally been assumed. They also raise independently interesting questions about linguistic communication.
The project 'Semantic Content and Conversational Dynamics' organizes an international workshop on topics relevant to these issues. Invited speakers include Frank Veltman.
Contributions are invited. There will be space for up to 8 contributed papers. Submission deadline: 31st of May 2014.
For more information, see http://semcon.wordpress.com/workshop-2/.
This is the fourth of a biennially organized conference that brings together scholars and historians interested in the comparative history of the humanities (philology, art history, historiography, linguistics, logic, literary studies, musicology, theatre studies, media studies, a.o.). Although histories of single humanities disciplines already exist for a long time, the history of the humanities as a whole has only very recently been investigated, and the first monographs have just appeared.
We welcome papers on any aspect of the history of humanities, but we especially encourage submissions on the conference theme Connecting Disciplines. Deadline for abstract submissions: 1 June 2014
For more information, see http://makingofthehumanities.blogspot.nl/
The Balkan Journal of Philosophy is pleased to announce the topic of the 2015 issue: 'Facets of Rationality: Reasoning, Communication and Decision making'.
"Human actions in all their appearances are evaluated and assessed as rational or irrational. Subject to evaluation are everyday thinking and decision-making, scientific research, economic and political behavior, even love-affaires and sport competitions, as well as communication and speech acts of all kinds. Rationality is a normative concept in the sense that it is supposed to provide a standard or criteria to evaluate a piece of reasoning or an instance of decision-making. Why is this important? Using these criteria we are able to evaluate, control and regulate our own and others actions, thinking and decision-making".
You are kindly invited to submit a paper on any of these topics. Papers should be between 6000 and 8000 words. The deadline for receiving manuscripts is the end of November 2014 but earlier submissions would be appreciated. This special issue will appear in 2015.
For more information, see http://www.issk-bas.org/BJP/call_for_papers.htm
Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.
LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions
The purpose of this workshop is to bring together philosophers, mathematicians, and mathematics educators to study a question which is both relevant and timely for all three groups, namely whether mathematical beauty and mathematical explanation are related.
Our approach is largely empirical- we will develop a set of examples that will help us make necessary distinctions and connections. The central questions of the workshop fall into three classes. One class concerns relations between beauty and visualization in mathematics; the other class concerns relations between explanation and visualization in mathematics. The third, perhaps most intriguing, class deals with the question whether visualization is an essential link between explanation and beauty and mathematics, that is: When some mathematics is both beautiful and explanatory, does the conjunction depend on the presence of a visual element?
In addition to the scientific aims of the workshop, an important goal is to reach across normally rigid disciplinary domains to work on an area of common interest. We have invited top people from respective fields, some of whom know each other, but others (even within the same field) have never read each other s work.
For more information, see the workshop website at http://mathbeauty.wordpress.com/wbem/
4Humanities.org will host a live-streamed event on "Global Humanities?" on March 12, 2014, noon-1:30 pm Pacific Standard Time. The featured participant will be Rens Bod, professor of humanities and digital humanities at University of Amsterdam, who will engage online with Alan Liu, David Marshall (Dean of Humanities & Fine Arts, University of California, Santa Barbara ), and others at UC Santa Barbara on the question of the humanities and global humanities.
The questions are:
How can we think comparatively about what the humanities mean in multiple areas of the world with educational and funding systems not necessarily commensurable with U.S.-style "liberal arts"?
For example, how are the humanities and arts talked about elsewhere?
How are their histories and traditions different?
How are they positioned relative to other disciplines, institutions, and social sectors?
How are their different functions interrelated--memorial, educational, critical, research-oriented, etc.?
In both the past and the contemporary moment, how are humanities and arts differently valued or challenged around the world?
The event will be livestreamed on YouTube from the event page at http://4humanities.org/2014/02/. Suggested readings from Rens Bod's book and Geoffrey Galt Harpham's *The Humanities and the Dream of America* are available from the event page (request a login to download the readings from Lindsay Thomas: lindsaythomasumail.ucsb.edu ). For more information, contact rens.bodgmail.com.
There are different ways of reporting what someone else has said. Common forms of speech reports are direct speech (Mary said 'I am sick') and indirect speech (Mary said that she is sick). Pretense and role play are closely related phenomena. Like in direct speech, someone engaging in role play adopts the perspective of another person and produces utterances from that shifted standpoint (I am sick). Another interesting parallel is that children start to use speech reports and to engage in role play at around the same time, namely at two to three years of age. This is well before they pass standard false belief tests (at around four) which are often taken to be the hallmark of Theory of Mind and metarepresentation. Since at least some forms of reported speech exhibit recursion, intensionality, and/or clausal embedding, this developmental gap may shed new light on the debate over the relationship between Theory of Mind and the syntax/semantics of recursive embedding. The aim of the conference is to discuss the cognitive and conceptual relationship of reported speech, pretense and cognitive abilities such as perspective-taking, metarepresentation and Theory of Mind.
For more information, see https://sites.google.com/site/representing2014/
The "experimental philosophy" movement has recently gained some momentum in the philosophical community. The movement's basic idea is to introduce experimental methods (other than thought experiments) or, more broadly conceived, empirical methods to philosophy. This workshop brings together researchers who implement empirical methods from linguistics in philosophical research.
Although the focus of the workshop is on the use of such methods in philosophy, both philosophers and linguists will be involved. Each of the workshop sessions will open with a paper demonstrating the application of a specific linguistic method in philosophy. This paper will be followed by two peer commentaries, one by a linguist, the other by a philosopher. The primary purpose of the workshop is exploratory: The potential applications, the benefits and the limits of linguistic methods in philosophy stand in need of clarification. The secondary purpose is to create a networking opportunity for researchers who employ (and those who intend to employ) empirical methods from linguistics in philosophy.
For more information, see the workshop page at PhilEvents: http://philevents.org/event/show/11885.
Behavioral science strongly indicates that which alternative we prefer depends on circumstances other than the properties of the alternatives themselves. For example, we are influenced by how alternatives are described, even when different descriptions contain the same information.
Issues raised by this context-dependence of preferences will be discussed in a two-day workshop by the following speakers: Richard Arneson (UC San Diego), Luc Bovens (London School of Economics), Sarah Conly (Bowdoin/Chicago), Jason Hanna (Northern Illinois), Sven Ove Hansson (KTH, Stockholm), Kalle Grill (Umeå), Danny Scoccia (New Mexico State), Robert Sugden (East Anglia) and Torbjörn Tännsjö (Stockholm).
Starts 10.00 Friday 21st (coffee 9.30). Ends 18.00 Saturday 22d. (There are flights from Stockholm Friday morning, returns Sunday morning). Registration required. No fee, free coffee. Dinner Friday, possibly subsidised.
For more information, contact kalle.grillumu.se.
The Logic and Language Conference is organised every other year by the Institute of Philosophy and the Northern Institute of Philosophy, in turn. The aim of the conference is to showcase cutting edge research in the Philosophy of Logic and Language, and to foster interaction between academics working in these areas both in the UK and abroad. In particular, we aim to give an opportunity to junior philosophers to interact with more senior colleagues working in the same field.
For more information, see http://philosophy.sas.ac.uk/LL2014
In celebration of Philip Welch's 60th birthday, a conference will take place on 22-23 March 2014 at the University of Bristol.
Confirmed speakers at the conference are: John Steel (Berkeley), Hugh Woodin (Harvard), Menachem Magidor (Jerusalem), David Aspero (UEA), Peter Koellner (Harvard), Volker Halbach (Oxford), Hannes Leitgeb (MÃ¼nchen) and Peter Koepke (Bonn).
The meeting is supported by the Heilbronn Institute at Bristol, by the School of Mathematics, and the British Logic Colloquium.
For more information, see http://www.bristol.ac.uk/philosophy/events/2014/220314
Location: Oost-Indisch Huis, Room E0.02
This three-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.
For more information, see http://www.joshuasack.info/events/workshop2014/.
A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing. The aim of this symposium is to zoom into one fundamental aspect of computing, that is the foundational and the historical problems and developments related to the science of programming.
The convention is organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) as part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014.
For more information, see http://www.computing-conference.ugent.be/hapop2.
In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties.
The present workshop is motivated by the conviction that the two paradigms to understand norms in strategic interaction are by no means incompatible and can be effectively used together for regulative purposes. The aim of the symposium is to gather researchers looking at norms in strategic interaction from different perspectives, i.e. philosophy, computer science, game theory, logic, fostering discussion and interdisciplinary collaboration. Researchers will be given the opportunity of presenting their work in a stimulating environment, without novelty constraints on their contribution.
For more information please have a look at the workshop website http://www.doc.ic.ac.uk/~pturrini/NAG/
Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.
For more information, see http://www.coalg.org/cmcs14
MC3 is the third in a series of three conferences with associated publications on mathematics as culture and mathematics in culture. The third conference will consider the relation between mathematics and other cultures, whether popular or specialist. Amongst other topics, it will explore the question "why should I study mathematics?" - from perspectives within and outside mathematical cultures.
For more information, see https://sites.google.com/site/mathematicalcultures/conference-3
The Department of Logic and Philosophy of Science at the University of California, Irvine, is pleased to announce a workshop on mathematical depth. In this workshop, we will be examining and discussing examples of mathematics typically judged to be deep (or not deep) in hope of clarifying what's at issue in these judgments.
Everyone is welcome to attend the workshop, and there is no registration fee. If you would like to attend, please register by emailing the organizers. Attendees are encouraged to familiarize themselves with selected background readings in advance of the workshop.
For more information, including selected background readings and a preliminary program, please visit the workshop website at http://users.ox.ac.uk/~jesu2281/workshop/.
The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science.
Further information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/.
The London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
1. Games, Trees and Models.
2. Second Order Logic and Foundations of Mathematics.
3. The Mathematical Theory of Dependence and Independence.
There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.
For further information see: http://www.uea.ac.uk/~h020/Jouko.html.
The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.
For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.
'PhDs in Logic' is a graduate conference organized by local graduate students. Its aim is to bring together PhD candidates and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011) and Munich (2013).
Following the previous meetings, the academic setup of the conference consists of two main parts:
(i) Four established researchers in logic will each give two 45-minute tutorial sessions on a relevant topic in logic;
(ii) About 15 PhD candidates will give 20-minute presentations on their work.
There will also be opportunities for informal gatherings, including a conference dinner.
The Third International Conference on the History of Logic in China will take place on 26-28 April, 2014, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to advance our larger project, the production of the Handbook of Logical Thought in China, to be published by Springer-Verlag both online and in print in a few years. Many of the presentations will be of material aimed at chapters of the Handbook, for discussion and comment among experts both mainland China and outside.
For more information, see http://holicnet.net/?page_id=324
Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.
The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.
For more information, see http://mathcs.chapman.edu/ramics2014
The 3rd Lund Conference on 'Games, Interaction, Reasoning, Learning and Semantics' (GIRLS14@LUND) welcomes researchers in philosophy, cognitive science, economics & linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground. G.I.R.L.S.14@LUND will be themed around Evolution and Cooperation.
For more information, see the GIRLS14@LUND website at http://girls.loriweb.org/.
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.
For more information, see http://aamas2014.lip6.fr/
There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is a satellite workshop of AAMAS 2014 that serves the community as a platform for presentation, exchange, and publication of ideas.
For more information, see http://lamas2014.in.tu-clausthal.de
The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.
For more information, see https://sites.google.com/site/trustworkshop/trust2014
MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.
Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).
Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.
This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.
For more information, see http://www.epicenter.name/course
The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.
YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.
For more information, see http://bcc.impan.pl/14Young/
The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.
PCC 2014 is organised as a satellite event of TYPES 2014. Registration for PCC 2014 will be through the TYPES 2014 site, with details to be announced later on. The workshop is scheduled for the full day of Friday, May 16. The participants are encouraged to attend the Thursday sessions of TYPES 2014. If the number and quality of submissions justifies this, then PCC 2014 will start in the afternoon of Thursday, May 15. This will be known by the notification date.
For more information, see http://www.irit.fr/PCC2014/
This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.
Speaker: Dale Jacquette (Bern), Wim Veldman (Nijmegen)
The concept of object is one of the most general concepts in philosophy. On the one hand, we may be interested in the general question of what it is to be an object. On the other hand, we face the problem of delineating the criteria of objecthood in connection with specialized topics, giving rise to specific questions on what it is to be an object of a certain kind (such as concrete, abstract, indeterminate, mathematical, etc.). Accepting or refusing things of a certain kind as legitimate objects (of that particular kind) when developing a scientific theory or a philosophical position is likely to have important general repercussions.
In our workshop we wish to investigate the notion of object, both generally and in relation to particular fields of research. The emphasis is on the grounds and consequences of specific views on objects.
For more information, see http://evenements.univ-lille3.fr/oak/ or contact ronzittigmail.com or tero.tulenheimouniv-lille3.fr (for information concerning the workshop) or matthieu.gallaisuniv-lille3.fr (for practical information).
In the year 2014, Peter Koepke and Philip Welch are celebrating their 60th birthdays, and we wish to celebrate this festive occasion with a scientific workshop in their honour. Peter has been a professor at the University of Bonn for many years; Philip was a Mercator professor in Bonn during the academic year 2002/03. The workshop speakers are students, collaborators, colleagues and friends of Peter and Philip whose research was influenced by them.
For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2014/ or contact schlichtmath.uni-bonn.de
ELRA, the European Language Resources Association, is very pleased to announce that the 9th edition of the Language Resources and Evaluation Conference will take place in Reykjavik (Iceland) on May 26-June 1, 2014.
LREC has become the major event on Language Resources (LRs) and Evaluation for Human Language Technologies (HLT). The aim of LREC is to provide an overview of the state-of-the-art, explore new R&D directions and emerging trends, exchange information regarding LRs and their applications, evaluation methodologies and tools, ongoing and planned activities, industrial uses and needs, requirements coming from the e-society, both with respect to policy issues and to technological and organisational ones.
More information will be available soon on: http://www.lrec-conf.org.
The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.
In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.
For more information, see http://www.unisr.it/filosofia/filmat
Costs: free, but registration required
The workshop aims to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy. We encourage graduate students and members of underrepresented groups to submit to this conference.
The 20th European Symposium on Medieval Logic and Semantics will take place in Cambridge (UK) in 2014, as was decided at the last meeting in Geneva. Most probably it will take place in the second half of June, although the exact dates has not yet been fixed. The topic for the meeting is: Theories and Uses of Relations in medieval logic, grammar and science.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=4819.
Kazan Federal University and Tatarstan Republic Academy of Science organize an International Conference "Algebra and Mathematical Logic: Theory and Applications" dedicated to 80-th anniversary of Department of Algebra of Kazan University and to 70-th anniversary of Professor M.M. Arslanov.
The main topics of the conference include (but are not limited to) Lie Algebras, Group Theory, Ring Theory, Algebraic Geometry, Universal Algebra, Model Theory, Mathematical Logic, Computability Theory, Algebraic and Logic Methods in Computer Science.
For more information, see http://www.kpfu.ru/main_page?p_sub=25931
The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).
How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.
If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.
As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.
For more information, see illcuva.nl
For more information, see https://sites.google.com/site/bws2014edinburgh/
The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. Doreen Fraser (University of Waterloo) will be giving the keynote address.
CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 9th conference in a series of regular events started with CSR 2006 in St. Petersburg.
June 07 and 08, 2014, UC Berkeley will host a conference honoring William Mitchell on the occasion of his 70th birthday.
See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/MitchellConference/. If you wish to participate, then please contact R. Schindler (rdswwu.de) and J. Steel ( coremodelberkeley.edu ).
UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).
See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rdswwu.de) and J. Steel (coremodelberkeley.edu).
Invited speakers are Leslie Valiant (Harvard University) and Michael Jordan (UC Berkeley). COLT 2014 will take place within a larger research program on the Mathematics of Machine Learning organized at the Centre de Recerca Matemática in Barcelona.
For more information, see the conference website at http://orfe.princeton.edu/conferences/colt2014/
Logica 2014 is the 28th in the series of annual international symposia devoted to logic.
On June 18-20 2014 SILFS, the Italian Society of Logic and Philosophy of Science will hold its triennial conference at the University of Rome 'Roma TRE'. Invited speakers are John Norton, Hannes Leitgeb and Tarja Knuuttila.
Costs: £395 including seven nights accommodation on campus
The Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.
Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeneyabdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.
The Formal Epistemology Workshop will be held in connection with the 2014 meeting of the Society for Exact Philosophy, which will take place immediately afterwards, at the California Institute of Technology, a short rail ride away in Pasadena.
There will be four contributed talks on Friday, June 20 and four contributed talks on Saturday, June 21. Sunday, June 22 will consist of shared events as part of both FEW and SEP, including a keynote address (by Bas van Fraassen) and a poster session.
For more information, see http://www.kennyeaswaran.org/few/
Costs: $175 for academics
The 6th North American Summer School in Logic, Language and Information (NASSLLI 2014), a bi-annual summer school loosely modeled on the long-running ESSLLI series in Europe, will be held at the University of Maryland, College Park, June 23 - 27, 2014. In addition, we will run three intensive introductory courses ("bootcamps") on Saturday and Sunday, June 21-22. Additional events will be held during the weekend following the summer school, June 28-29.
The summer school will consist of 18 courses, scheduled in five parallel sessions throughout the week. Courses will meet for 90 minutes on each of five days. The instructors are prominent researchers who volunteer their time and energy to present work in their disciplines. NASSLLI courses are aimed at graduate students and advanced undergraduates in any of the fields represented at the summer school, but will also be of interest to post-docs and researchers in those fields. Courses are designed with an interdisciplinary audience in mind, by instructors who enjoy addressing students and colleagues from a wide range of disciplines.
For more information including the full program, see http://www.nasslli2014.com/.
The purpose of the Semantics and Philosophy in Europe colloquia is provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology, etc.). Previous SPE meetings have taken place in Paris (SPE1, 2008 and SPE3, 2010), London (SPE2, 2009), Bochum (SPE4, 2011), Turin (SPE5, 2012) and St.Peterburg (SPE6, 2013).
In addition to the general theme, SPE 7 will feature two special topics
- Conceptual structures and truth-conditional semantics
For more information, see http://www.zas.gwz-berlin.de/fileadmin/spe7/
The Institute of Informatics Systems (Russian Academy of Sciences) and the Saint Petersburg State University are jointly organizing the Ershov Informatics Conference (the PSI Conference Series, the 9th edition) to be held in St. Petersburg, Russia, on June 24 - 27, 2014.
The PSI Conference is the premier international forum for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent trends, experiences and concerns in the conference area.
For more information, see http://psi.nsc.ru
The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance.
ISMIS'14 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas.
For more information, see http://isl.ruc.dk/ismis2014/
Location: Doelenzaal, Singel 425, AmsterdamCosts: free
In this workshop, we aim to bring together philosophers, computer scientists, argumentation scholars, and experts in persuasive communication to discuss the nature and dynamics of argumentation on the Internet, how new technologies change the argumentative practices of users, what skills and expertise become critical in such a new info-ecology, how ICT can be used to foster rather than hamper critical reflection and debate, and what implications this should have for education, societal change and policy making.
A Workshop on Computability Theory will be held in Prague on July 3 and July 4, 2014. The workshop will take place in the week between the end of the conference Computability in Europe 2014 Language, Life and Limits in Budapest and the start of the Vienna Summer of Logic.
This will be the seventh in the Workshops on Computability Theory (WCT) Series. The WCT series onsists of short satellite workshops that are meant to attract more computability theorists to the meeting that they are associated with, and to provide a relaxed environment for specialists in all areas of computability theory to give full length talks on their recent work.
More information about the workshop can be found here http://www.math.uconn.edu/~damir/wctprague/
Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.
Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.
For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.
This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.
For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014
In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.
The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014
*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.
At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."
The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.
For more information: http://vsl2014.at
The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".
This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.
For more information, see http://www.deon2014.ugent.be/
This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.
For more information, see http://vsl2014.at/rta-tlca
CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.
The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.
For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/
The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.
NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).
The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.
Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjacksonme.com. The deadline is February 15th 2014.
Further information about the conference: http://www.reasoningconference.net/conference
This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.
For more information, see http://folk.uib.no/nmita/LOFT11
The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to excellent female students who want to specialize in mathematical philosophy.
Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including theories of individual and collective decision-making, agent-based modeling, and epistemic logic. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.
The deadline for application is 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/
The European Summer School in Logic, Language and Information (ESSLLI) is annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.
For more information, see http://www.esslli2014.de/
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 to individual 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.
For more information, see https://sites.google.com/site/elisiem2014/.
The recently emerging field of experimental pragmatics has painted a complex picture of the interaction between semantic and pragmatic information in phenomena as diverse as implicature, referentiality, figurative meaning, prosody, and presupposition. In parallel, advances in probabilistic and game-theoretic models that treat pragmatic inference as a problem of reasoning under uncertainty have yielded testable quantitative predictions about the outcome of many different kinds of pragmatic inference. Despite this progress, a great deal of work is needed on the mathematical foundations and quantitative empirical grounding of pragmatics, and, most critically, the connection between the two. The aim of this ESSLLI-2014 workshop is to promote dialog and community for these lines of research: strengthening the search for an empirically grounded formal pragmatics.
For more information, see https://sites.google.com/site/fepesslli2014
The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI.
As well as a full programme of technical papers, ECAI'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference.
The field of natural-language semantics and pragmatics has undergone a shift away from defining or even mentioning models. Indeed, some scholars find their use redundant at best, harmful at worst. A generation of young semanticists got their first encounters with the formal theory through Heim and Kratzer's textbook, which does not mention models at all. There is little open discussion on these developments, but much anecdotal evidence that people have strong opinions about them. This ESSLII-2014 workshop will give the debate a public forum.
For more information, see http://homepages.uconn.edu/~stk12004/Models_ESSLLI2014/.
The ESSLLI-2014 Workshop 'Sociolingiostics and Network Games' provides a platform of new research on computational models of language use, language change and language contact. It focuses computational and simulation models of artificial multi-agent societies, particularly models that combine (i) techniques from network theory to build and analyze artificial social environments and (ii) decision/game theory to model (linguistic) behavior of its members.
For more information, see http://www.sfs.uni-tuebingen.de/~roland/SLANG/
The 10th Symposium for Cognition, Logic and Communication, to be held at the University of Latvia in Riga on September 12-13, 2014, will focus on the cognitive processing of space, its cognitive and formal representation, and its linguistic encoding. We will explore the content and the scope of spatial cognition and how universal it is. The impact of non-spatial factors on spatial cognition and transformations of spatial cognition into non-spatial domains will be discussed. Scale-dependency of spatial cognition and differences between small-scale and large-scale spatial cognition will be explored. The syntax and semantics of locative and other spatial expressions will be examined, along with their relations to cognitive structures of spatial representation.
We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.
We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.
Location: F1.21, ILLC Common room, Science Park 107, Amsterdam
Meeting of the board and consortium of the Language and Interaction project.
For more information, contact illcuva.nl