The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

For more information, see http://www.illc.uva.nl/ILLCColloquium/Midwinter2014/ or contact rens.bod at gmail.com.

This is the first meeting of monthly Cognition at ILLC seminar. The goal of the seminar is to create a joint platform to discuss cognition related research. It is organized jointly by three ILLC research groups: LoCo, LaLo, and LaCo. For more information, see here or contact Jakub Szymanik at jakub.szymanik at gmail.com.

In the last decade, a number of deep connections between a form of type theory and homotopy theory have been discovered, which leads to a new research area: Homotopy Type Theory (HoTT) that attracts theoretical computer scientists, topologists, logicians and categorical theorists. In this talk, I will give a very brief introduction for HoTT: Martin Löf's dependent type theory; homotopy theory; their connections and maybe Voevodsky's Univalence Axiom.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy. We point out that these logical Bell's Inequalities are provable in the probability logic of Fagin, Halpern and Megiddo. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this end we generalise the team semantics of dependence logic first to probabilistic team semantics, and then to, what we call quantum team semantics.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

For more information, see http://www.illc.uva.nl/lgc/seminar

(dutch only)
Op vrijdag 12 december is er 14.00-17.00 een feestelijke bijeenkomst vanwege de pensionering van Roel de Vrijer bij de Afdeling Informatica aan de VU, afgelopen september. Je bent hiervoor van harte uitgenodigd.

De bijeenkomst zal plaatsvinden in de Kerkzaal, op de 16e verdieping van het Hoofdgebouw van de VU. U bereikt het Hoofdgebouw vanaf de Boelelaan zijde, de hoofdingang. In de ontvangsthal loopt u linksaf naar de liften. Neem de lift naar de 15de (hoogst bereikbare met lift) verdieping. De Kerkzaal is bereikbaar via een trap vanaf de 15e verdieping. Zie ook http://www.vu.nl/nl/over-de-vu/contact-routebeschrijving/

Het programma van de bijeenkomst is ongeveer als volgt:
14.00 koffie
14.15 praatjes door Vincent van Oostrom, Jan Willem Klop, en Roel zelf
15.15 muzikaal intermezzo
15.30 praatjes door Guus Schreiber en Wan Fokkink
15.45 borrel
17.00 einde

For more information see here or contact rdewolf at cwi.nl

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

In this talk, I shall critically discuss some issues related to Frege's paradigms of second-order abstraction principles: Hume's Principle and Axiom V. The focus is on the referential indeterminacy of value-range terms arising from a semantic stipulation later to be embodied in Axiom V of Grundgesetze. I shall discuss Frege's attempt to remove the indeterminacy as well as his subsequent proof of referentiality for his formal language with special emphasis on the case of value-range terms. Attention will also be paid to the assumptions that underly his overall strategy.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

The upcoming session of the CLS will be a presentation by Desmond Elliott (CWI).

As this is the last CLS of the year, we might go for drinks afterwards.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.

Abstract: In Japanese, the particle ka occurs (at least) in disjunctions, indefinites, wh-questions, and polar questions; Malayalam oo and Sinhala de/hari have a similarly wide distribution (Jayaseelan 2001, 2008, 2011; Shimoyama 2006; Slade 2011; a.o.). In many other languages, the distribution of what I generically dub “KA particles” is narrower (Bhat 2000; Cable 2010; Haspelmath 1997; Szabolcsi, Whang & Zu 2014; Winter 1995; a.o.). This talk will ask what unifies the signature contexts of KA, and why the particle is not always present in such contexts.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

For more information, see http://www.illc.uva.nl/lgc/seminar

The six faculty winners of the contest for UvA Teacher of the Year 2014 have been selected. Ulle Endriss won for the Faculty of Science.

The faculty winners will give their final presentations on Thursday December 4th, in an open event at the CREA Muziekzaal. The overall winner will be announced at the Dies Natalis on 8 January 2015.

For more information (in dutch), see http://medewerker.uva.nl/fnwi/actueel/nieuws/nieuws/nieuws/content-2/folder/2014/

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (s.sourabh at uva.nl).

For more information, see http://medewerker.uva.nl/fnwi/actueel/agenda/item/

In this talk, we will focus on the topological interpretation of knowledge in comparison to the standard relational (Kripke) interpretation and argue in favour of the former.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.

The details can be found at https://www.cwi.nl/events/krzysztof-apt. To attend this event please register at https://www.cwi.nl/node/4720 in connection with reception planning.

No matter how chaotic the world may seem, some of us think that structure is all there is. We are not going to determine whether this view is correct, but we will focus on the requirements for a mathematical foundation that enables us to talk in the most direct way about structure and relations.

Program:
10:00-11:00 F.A. Muller (Erasmus University Rotterdam, Utrecht University), Axiomatising Structure: Why? What? How?
11:00-12:00 Benno van den Berg (University of Amsterdam), Univalent Foundation
12:00-13:00 Lunch
13:00-14:00 Joop Leo (Utrecht University), A new logic of relations
14:00-14:30 Discussion

For more information, contact Joop Leo at joop.leo at uu.nl.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (s.sourabh at uva.nl).

Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

For more information, see http://www.illc.uva.nl/LogiCIC14/

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

The goal of this meeting is to bring together researchers using formal methods in epistemology, methods ranging from logic to probability theory. We create a forum to present new developments, exchange ideas, explore and establish new connections between the use of qualitative and quantitative methods in formal philosophy.

For more information, see http://www.illc.uva.nl/Synthese/

Ever since Dedekind and Cantor, there is a well-known procedure which, starting with the set of natural numbers, produces in a canonical fashion the complete ordered field of the reals. In this talk, we study what happens when one replaces $\omega$ by any infinite cardinal $\kappa$ in the above construction(s). This is joint work in progress with David Aspero.

For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

The UvA organises a seminar with practical advice for members of staff who want to organise a summer school or a similar event at the UvA (finances, accommodation, catering, etc.).

For more information and to register, see: http://uva.nl/summerschoolseminar

The next History of Humanities and Science meeting will be on Monday 17 November with two talks that aim to bridge several disciplines at our university. Next we will give an update on the future of our Center (funding, courses, new journal).

For more information, please contact rens.bod at gmail.com. Or see here.

Franz Berto was appointed professor of philosophy, in particular metaphysics and the history of philosophy, at the Faculty of Humanities in October 2013. He will hold his inaugural lecture (in English) entitled The Metaphysical Basis of Logic on Friday 14 November 2014 at 16:00 hours in the Aula of the University of Amsterdam.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, contact M. Aloni (m.d.aloni at uva.nl).

Or see here.

If humans are social animals, are they also logical animals?

Perhaps it is not by chance that the same Aristotle who recognized the social nature of human beings as their defining trait is also the father of logic.

Classical logic - the logic of Aristotle's syllogisms - is wonderfully clear but it also offers a limited perspective for the study of social behaviour. Humans speak languages which abound in vague concepts, interact with one another in open-ended forms of cooperation and coordination, can take decisions in groups on the basis of what group members consider to be half-truths, can form opinions on the basis of what they have understood of the opinions of others. Classical logic is not the right tool for all these phenomena.

To deal with them, new, nonclassical logics have been developed. This public lecture will focus on how nonclassical logics can help to describe and understand social behaviour, focusing on multi-player games, decision making in the face of uncertainty, and aggregation of information, preferences, and opinions.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650.

For more information, seehttp://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/.

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

The interpretative variability of noun-noun combinations raises a number of issues concerning their constituents' contribution and mode of composition. Faced with these problems it is often emphasized that their proper treatment requires a delicate balance between (semantic and syntactic) constraints and (pragmatic) flexibility. Although many proposals acknowledge the central role of context and world knowledge to determine their meaning, the challenge they pose to the classical interpretation(s) of the principle of compositionality have received little attention. In this talk, we proceed by carefully evaluating where things go wrong, on possible ways to fix them and on what we can learn from them.

For more information, contact coollogic.uva at gmail.com

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar

On Wednesday 5 November 2014 at 17:00 a group of students from the UvA's three Bachelor's programmes in the Information Sciences (Computer Science, Artificial Intelligence, and Information Studies) will visit the ILLC. The event will include three short talks on research in AI at the ILLC: Jelle Zuidema will speak about AI and Cognitive Science, Ivan Titov will speak about Natural Language Processing, and Ulle Endriss will speak about Knowledge Representation and Multiagent Systems. The scientific part of the event will take roughly one hour and be followed by a small borrel.

For more information, contact Raquel Fernández (raquel.fernandez at uva.nl).

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.Sourabh at uva.nl).

The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).

For more information, see http://www.math.uni-hamburg.de/spag/ml/AST2014/

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, contact illc at uva.nl

For more information, see http://www.illc.uva.nl/lgc/seminar

Life is all about making choices. In this public lecture at SPUI25, the UvA's academic-cultural centre, Richard Ridderinkhof (UvA Psychology) and Ulle Endriss (ILLC) will discuss the ins and outs of taking difficult decisions, be it as an individual or in a group. Please note that this event will be held in Dutch and that registration is required.

For more information, see http://www.spui25.nl/programma/item/29.10.14---fnwi-collegetour.html.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.Sourabh at uva.nl).

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

Is it possible to give a non-circular justification for the systematic scientific bias in favor of simpler theories? Combining ideas from belief revision, learning theory and topology, we give a justification for Ockham's razor grounded in truth-finding efficiency. Connections are demonstrated between monotonicity principles in belief revision, Popperian falsificationism and simplicity.

For more information, contact coollogic.uva at gmail.com

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar

Prof. Andy Tanenbaum is finally retiring. He has been at the Vrije Universiteit for 43 years, but everything must eventually end. To say goodbye to everyone, he will give a final lecture at the VU, to which everyone is invited.

Register for his farewell lecture ("afscheidscollege"). For more information, see http://www.cs.vu.nl/tanenbaum/

For more information, see http://jeroengoudsmit.com/piia/.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.Sourabh at uva.nl).

This lecture will be an introduction to the field of judgment aggregation, which deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions into a single such view that appropriately reflects the stance of the group as a whole.

For more information, see http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

The workshop "The Logical Dynamics of Information, Agency and Interaction" will be organised by Alexandru Baltag and Fenrong Liu on October 2 and 3, with invited speakers from Tsinghua university and from the ILLC.

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2513 or http://zoechristoff.files.wordpress.com/2014/09/final-program-october-2-3.pdf.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.Sourabh at uva.nl).

On the occasion of 50 years of research activity in mathematics, Peter van Emde Boas will organise drinks at Polder. All are cordially invited!

For more information, see http://bronstee.com/invitatie/Invitatie20141001aa.pdf (english) and http://bronstee.com/invitatie/Invitatie20141001nl1.pdf (dutch)

For more information on this talk and future events please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

On 26 and 27 September 2014 the Institute for Logic, Language and Computation (ILLC) and the University of Amsterdam organize a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day will have lectures for the general public, Johan's valedictory lecture 'Fanning the Flames of Reason', and a reception. The second day is a scientific workshop devoted to current trends in logic, with emphasis on the areas where Johan was or is active.

For more information, see http://www.illc.uva.nl/J65/

Vaught's Conjecture states that the collection of countable models of a first-order complete theory in a countable language is either countable, or has the cardinality of the continuum. This talk provides an approach to Vaught's Conjecture, its importance in the mathematical logic field and some of the current developments around it. I will also discuss the controversy lead by Professor Knight from Oxford University when he claimed had a “counterexample” for Vaught's Conjecture in 2002.

For more information, contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.

For more information, see http://www.spui25.nl/programma/item/

On the occasion of Jeroen's retirement the ILLC and department of philosophy will organise a `borrel' at Kapitein Zeppos on Friday 19 September 2014. All are invited!

For more information, see http://www.zeppos.nl/ or contact illc at uva.nl.

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (s.sourabh at uva.nl).

Do Chinese and Westerners think and reason very differently, or do we think alike after all? How has communication between us been possible throughout history? In her talk Prof. Dr. Fenrong Liu of the University of Amsterdam and Tsinghua University will take the logical stance, introduce Chinese ancient logic, and explain how this indigenous tradition engaged with Western ideas from the 17th century onward. Prof. Dr. Fenrong Liu will illustrate how we can discuss the similarities and differences between our two traditions in a meaningful way.

Reference:F. Liu, J.Seligman and J.Zhai, eds, Handbook of Logical Thought in China, Springer, to appear.

For more information, see http://www.auc.nl/news-events/who-s-in-town/upcoming-whos-in-town-lectures/ or contact t.achourioti at uva.nl.

Meeting of the board and consortium of the Language and Interaction project.

For more information, contact illc at uva.nl

Drawing the line between science and pseudoscience is known to be a hard task that has haunted philosophers and scientists at least since the birth of the Galilean scientific tradition. Drawing inspiration from some works of Wittgenstein, and some of his intuitions on nonsense and the importance of practice, I try to outline a questioning procedure to help us place a couple of exemplary dubious practices on the one or the other side of the `worthiness' line. Most literature focuses on trying to obtain a demarcation between what's science ("and *thus* it's worthwhile") and what's not. My approach tries to go straight to what's worthwhile and what is not, by trying to clarify concepts such as `cure' and `effective therapy'. What needs have a healer for us to put our dear bones in their hands?

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/ or here.

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

As every year, we'd like to welcome the new class of Master of Logic students with drinks and pizza in a tent outside of restaurant Polder at Science Park.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information see here, or contact rdewolf at cwi.nl.

The European Summer School in Logic, Language and Information (ESSLLI) is an 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/

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information see here, or contact rdewolf at cwi.nl.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information see here, or contact c.schaffner at uva.nl.

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.

For more information, see http://www.sintelnet.eu/content/arguing-web-20-0 or contact Ulle Endriss (ulle.endriss at uva.nl).

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

For more information, see http://www.illc.uva.nl/ILLCColloquium/

For more information, see here or contact Christian Schaffner (c.schaffner at uva.nl)

There will be a LogiCIC mini workshop on the Dynamics of Information States in the afternoon after the PhD defense of Ben Rodenhäuser. Hans Rott, Branden Fitelson and Wesley Holliday will give talks.

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2441

on June 19th the Amsterdam Brain and Cognition center organizes the ABC Brain Day, an exciting opening conference to introduce the ABC (formerly CSCA) to their members and the general public. The conference will highlight the research that is being conducted by ABC members and there will be an ABC Poster Prize awarded.

Also on this day the Creative Mind Prize will be awarded by comic and initiator Freek de Jonge.

For more information, see http://abc.uva.nl/brainday

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (sumit.sourabh at gmail.com).

The Utrecht Philosophy Lectures is a series of talks on philosophical issues, hosted by Utrecht University's Department of Philosophy and Religious Studies. On 10 June, Dr Sean Walsh (University of California Irvine) will speak about Alonzo Church's intensional logic, in relation to other well-known intensional logics.

For more information, see http://news.hum.uu.nl/events/lecture-sean-walsh-on-churchs-intensional-logic/

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2412 and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/event/35041/

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

The scientific cooperation between China and the Netherlands dates back more than thirty years. Throughout the years, training of talented young researchers has always been an important aim. PhD candidates from both China and Netherlands benefit from the complementary expertise of excellent scientists in the two countries while getting to know the science system in both countries, building closer ties and a lasting cooperation. The PhD event is organised for this group of young researchers.

Like the first PhD event, we offer interesting and challenging disputes and workshops, a keynote speech of an international expert, lectures with very practical information for your PhD project and your future career and a lot of opportunity to get to know each other.

For more information, see https://www.knaw.nl/en/news/calendar/second-knaw-nwo-phd-event

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2409 and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/

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 illc at uva.nl

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://jeroengoudsmit.com/piia/ and http://www.illc.uva.nl/alg-coalg.

For more information, see http://www.uva.nl/en/about-the-uva/organisation/faculties/content/

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

Have you ever wondered how to fit a model to your behavioral data? The Amsterdam Center for Brain & Cognition (ABC) is organizing a 1½ day workshop with the aim to introduce cognitive mathematical models of decision making and their application. International and national speakers will discuss why the model-based approach is useful and attractive in both the cognitive and neuroscientific field. Topics will range from the theoretical background of several sequential sampling models to their application in neuroimaging studies. The course is particularly designed for PhD students, postdoctoral researchers, and anyone how takes an interest in getting more out of their behavioral data.

For more information, see http://abc.uva.nl/events/item/

A friendly sporting collaboration between the ILLC and the CWI. Play some games of table tennis, get to know some of your neighbors at the CWI, and enjoy some free drinks and snacks! All members of the ILLC and the CWI are welcome to participate, but you must register on the webpage.

The deadline for registration is Wednesday, May 21. For more information, see http://doodle.com/vgd4p428dw3tqqf9 or contact Nikhil Maddirala (nikhil.maddirala at student.uva.nl).

For more information and an abstract, see http://smartcognitivescience.wordpress.com/2014/02/14/410/

A debate between Rens Bod, Hans Radder and Frank van Vree about reuniting arts and sciences.

For more information (in dutch), see http://www.betabreak.nl/ and http://www.uva.nl/over-de-uva/organisatie/faculteiten/content/.

For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=332

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Thursday 15 May 2014, at Radbout University Nijmegen. As usual, everyone who is interested is cordially invited to come.
Speakers:
Sjaak Smetsers: Bialgebraic semantics in PVS
Joost Winter: Brzozowski Bialgebras
Enric Cosme-Llopez & Jan Rutten: The dual equivalence of equations and coequations for automata

For more information, see http://cs.ru.nl/~hbasold/coin/

For more information, see here or http://www.illc.uva.nl/alg-coalg/

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

For more information, see here or contact rdewolf at cwi.nl.

For more information, see http://www.uva.nl/en/about-the-uva/organisation/faculties/content/

For more information, see http://www.illc.uva.nl/lgc/seminar

Floris Roelofsen (ILLC) will explain `Inquisitive Epistemic Logic' to the first year AUC students currently following the course 'Logic, Information flow and Argumentation'. The lecture is open to all interested parties.

For more information, please contact t.achourioti at uva.nl.

For more information, see here or contact c.schaffner at uva.nl.

For more information, see http://jeroengoudsmit.com/piia/ and http://www.illc.uva.nl/alg-coalg.

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

On Thursday April 24th 2014, Frank Veltman will deliver his valedictory speech. Drinks will be served afterwards.

For more information, contact illc at uva.nl

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/, http://www.illc.uva.nl/logic_tea/ or here.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For more information, see http://www.illc.uva.nl/lgc/seminar

Abstract
We give a construction of finitely generated free algebras for Gödel-Löb provability logic, GL. On the semantic side, this construction yields a notion of canonical graded model for GL and a syntactic definition of those normal forms which are consistent with GL. Our two main techniques are incremental constructions of free algebras and finite duality for partial modal algebras. In order to apply these techniques to GL, we use a rule-based formulation of the logic GL by Avron (which we simplify slightly), and the corresponding semantic characterization that was recently obtained by Bezhanishvili and Ghilardi.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (sumit.sourabh at gmail.com).

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see here or http://www.cwi.nl/crypto/risc.html

DRIFT is a yearly philosophical festival organized by students of the University of Amsterdam. We aim at presenting academic philosophy in a relaxed setting by offering a night filled with lectures, debates, music, poetry and theatre, followed by a party.

With Markus Gabriel, Ray Brassier, Ruth Sonderegger, Francesco Berto, Phillipe Descola, Wayne Martin, Katrien Schaubroeck, Paul Cliteur, Victor Kal, and more!

For more info or tickets, see http://festivaldrift.nl/en/.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see here or contact Ronald de Wolf (rdewolf at cwi.nl)

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

Abstract
In this talk we will use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoy the uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under projection, which is known to hold for weak-pullback preserving functors, to a more general class of functors, i.e.; functors with quasi-functorial lax extensions. Then we will show thatclosure under projection implies definability of the bisimulation quantifier in the language of coalgebraic fixpoint logic, and finally we prove the uniform interpolation theorem.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.Sourabh at uva.nl).

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

Jakub Szymanik (ILLC) will talk about 'Logic and Complexity in Cognitive Science' to the first year AUC students currently following the course 'Logic, Information flow and Argumentation'. The lecture is open to all interested parties.

For more information, please contact t.achourioti at uva.nl.

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

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/.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

Abstract: In this talk I will discuss how to transform the method of implication-free canonical formulas for intuitionistic logic into the setting of modal logic.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://www.illc.uva.nl/coollogic/ or
contact coollogic.uva at gmail.com.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

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: lindsaythomas at umail.ucsb.edu ). For more information, contact rens.bod at gmail.com.

For abstract and more information, see here or contact rdewolf at cwi.nl

The Royal Netherlands Academy of Arts and Sciences will organise a master class for young researchers, PhD-students and research master students in dependence logic.

Lecturers:
Arnaud Durand (Paris): Computational aspects of dependence logic.
Phokion Kolaitis (Santa Cruz): Database dependencies.
Lauri Hella (Tampere): Modal Dependence Logic.

For more information, see https://www.knaw.nl/en/news/calendar/dependence-logic-masterclass

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.

For more information, see http://phil.uu.nl/piia/

Christian Schaffner (ILLC) will talk about about 'Quantum Cryptography' to the first year AUC students currently following the course 'Logic, Information flow and Argumention'. The lecture is open to all interested parties.

For more information, please contact c.schaffner at uva.nl.

For more information, see http://www.illc.uva.nl/coollogic/ or
contact coollogic.uva at gmail.com.

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/ or here.

For more information, see http://www.illc.uva.nl/alg-coalg/

For more information, see http://www.illc.uva.nl/alg-coalg/

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

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, contact illc at uva.nl.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

My research investigates the nature of categories and concepts in language, in non-linguistic perception and
cognition, and the relationship between them. I adopt a large-scale cross-cultural approach in order to
establish which aspects of categorisation are fundamentally shared, and which language-specific. My work is
interdisciplinary, combining standardised psychological methodology, in-depth linguistic studies and
ethnographically-informed description. This coordinated approach has been used to study of domains such as
space, event representation and more recently the language of perception.

For more information, see http://www.mpi.nl/news/people/majid-asifa

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

Abstract: In his book on non-well-founded sets Aczel proves a general final coalgebra theorem, showing that a wide class of endofunctors on the category of classes has a final coalgebra. I will discuss generalisations of this result to the setting of algebraic set theory and try to motivate why it is interesting to look at results at this level of generality.

For more information, see http://www.illc.uva.nl/alg-coalg/

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

On February 4th, from 16h-17h, there will be an Amsterdam Brain & Cognition (ABC) Lecture by Simon Fisher (MPI/RU Nijmegen) on "Decoding the genetics of speech and language"

Prior to this lecture, from 15h-16h, we will organize a SMART Cognitive Science debate on Genes & Linguistics ("Is genetic research revolutionizing our understanding of language?") with Johan Bolhuis (Utrecht), Caroline Junge (U. of Amsterdam) and Simon Fisher (MPI/RU Nijmegen).

Both events take place in room 1.02 of REC M (Plantage Muidergracht 12). All welcome!

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information, please contact anstenklev at gmail.com.

For more information, see http://medewerker.uva.nl/fnwi/actueel/agenda/item/

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

Symposium on the occasion of the publication of the English translation of the book "De vergeten wetenschappen. Een geschiedenis van de humaniora" by Rens Bod.

For more information, see https://www.knaw.nl/nl/actueel/agenda/

For more information, see http://phil.uu.nl/piia

How powerful are quantum computers? Despite the prevailing belief that quantum computers are more powerful than their classical counterparts, this remains a conjecture backed by little formal evidence. In this talk, the author will address this question from two different perspectives.

Based on joint work with Chris Umans

For more information, see or contact rdewolf at cwi.nl.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, contact m.d.aloni at uva.nl

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar

On January 16th, 2014 a workshop on (dynamic) modal logics and tableau systems will take place at the Vrije Universiteit Brussel. Attendence is free.

One day later, on January 17th, Jonas De Vuyst will publicly defend his PhD thesis on tableau systems for dynamic modal logics.

For more information, please contact jdevuyst at vub.ac.be or see here.

This talk takes place as part of lecture series and graduate seminar The Significance of Phenomenology. For further information on both contact j.d.kiverstein at uva.nl

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

For more information, see http://www.illc.uva.nl/lgc/seminar

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS). To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned.

For more information, see http://agents.fel.cvut.cz/eumas2014/, or email the organizers, Jiri Vokrinek (jiri.vokrinek at fel.cvut.cz) and Michal Jakob (jakob at agents.fel.cvut.cz).

There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science~with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.

Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness

The 25th International Symposium on Algorithms and Computation (ISAAC 2014) will be held in Jeonju, Korea during December 15-17, 2014. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcomed.

For more information, see http://tcs.postech.ac.kr/isaac2014/

In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.

For more information, see http://www.lmu.de/abmp2014

The symposium of the Italian Association for Artificial Intelligence (AI*IA) is a traditional two-yearly meeting of researchers working on theory and applications in Artificial Intelligence. The XIII symposium will be hosted by the Department of Computer Science at the University of Pisa.

AI*IA 2014 will be centred on thematic workshops, tutorials, panels, doctoral consortium, demo session, plenary sessions with invited speaker seminars, and a special track on the theme Artificial Intelligence for Society and Economy. We hope that the 2014 meeting will strengthen awareness that AI is assuming a central role in the competitive strategies of the present scenario of rapid changes.

The AI*IA Doctoral Consortium on December 11th is a full-immersion occasion, for Ph.D. students, to discuss their ongoing research work, establish research connections with peer researchers, and receive first-class mentorship from domain experts.

For more information, see http://aiia2014.di.unipi.it/

The Center for Logic and Philosophy of Science (CLWF) at Free University Brussels (VUB) will hold an international workshop on Logic and Philosophy of Mathematical Practices.

Invited keynote speakers are: Danielle Macbeth (Haverford College, Haverford, PA), Rik Pinxten (Ghent University) and Suzanne Prediger (Technische Universität Dortmund)

For more information, see http://www.vub.ac.be/CLWF/LPMP2014/

The Journal of Artificial Intelligence Research (JAIR) is pleased to announce the launch of the Special Track on Cross-language Algorithms and Applications. The core Artificial Intelligence technologies of speech and natural language processing need to address the challenges of processing multiple languages. While the first challenge of multilingualism is to bridge the nomenclature gap for the same concepts, the next significant challenge is to develop algorithms and applications that not only scale to multiple languages but also leverage cross-lingual similarities for improved natural language processing.

The goal of this special track is to serve as a home for the publication of leading research on Cross-language Algorithms and Applications, focusing on developing unified themes leading to the development of the science of multi- and cross-lingualism. Topics of interest include, but are not limited to: efforts in the direction of multilingual transliteration; multilingual document summarization; rapid prototyping of cross language tools for low resource languages; and machine translation.

Deadline for Submissions: 1st March 2015. For more information and submission instructions, please see http://www.jair.org/specialtrack-claa.html or contact martaruizcostajussa at gmail.com

The series of workshops on Computational Models of Natural Argument acts to nurture and provide succor to the ever growing community working on Argument and Computation, a field developed in recent years overlapping Argumentation Theory and Artificial Intelligence.

The workshop focuses on the issue of modelling "natural" argumentation. Naturalness may involve the use of means which are more visual than linguistic to illustrate a point, such as graphics or multimedia. Or to the use of more sophisticated rhetorical devices, interacting at various layers of abstraction. Or the exploitation of "extra-rational" characteristics of the audience, taking into account emotions and affective factors.

For more information, see http://www.cmna.info/CMNA14/

This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) provides a forum for researchers working in the areas of verification, program transformation, software engineering, rule-based programming, formal methods, and Web-oriented research, to submit their papers on the Automated Verification of Programs and Web Systems.

This special issue is devoted to the themes of the WWV and VPT workshop series on Automated Specification and Verification of Web Systems (WWV) and on Verification and Program Transformation (VPT). This is however an open call for papers. Both participants of the most recent editions of the WWV and VPT workshop series and others working on the themes of this special issue are hereby invited to submit a paper. Abstract submission deadline: 25 February 2015

For more information, see http://www.journals.elsevier.com/

Are you eager to share your research? Are there developments in your field that we should all know about? Then contribute to Amsterdam Science.

Amsterdam Science is a new university science magazine, publishing the best science writing of students and researchers in Amsterdam. The magazine will showcase research conducted by master students, PhD students and researchers in all areas, e.g., mathematics, chemistry, astronomy, physics, biological and biomedical sciences, ecology, earth and environmental sciences, forensic science, computer science, logic. The core of the magazine consists of scientific reports about recent research, written in an accessible yet academic style. The magazine will be distributed for free in print and online.

To contribute, please contact the scouting editors on magazine-science at uva.nl. They will guide you through the submission process. The publication of the first issue is scheduled for March 2015. The submission deadline is 1 January 2015. Two more issues will follow in the course of 2015.

For more information, see http://amsci.nl/

The 2014 annual meeting of the Australasian Association of Logic will be held just prior to the 2014 New Zealand Association of Philosophers Conference.

Please register by November 3. For more information, see http://aal.ltumathstats.com/ or contact zach.weber at otago.ac.nz.

In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. Amounts of data of ever increasing scale are now handled and processed. The ARCOE-Logic workshop aims to provide a dedicated forum for the researchers to discuss recent developments, important open issues and future directions in the area of contextual knowledge representation and knowledge management.

ARCOE-Logic 2014 is held in conjunction with The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014).

For more information, see http://www.arcoe.org/2014/.

AREW is a two-day workshop aimed at bringing together people working in the area of analogical reasoning, broadly speaking. The invited speakers are two people working on formal aspects of analogical reasoning, including issues of the logical representation of analogical reasoning and formal models of the same, and applications of analogical reasoning, particularly with reference to such applications in history.

Further information about the workshop can be found at https://analogicalreasoning.wordpress.com.

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).

Invited Speaker(s): Chris Barker (New York University), Kimiko Nakanishi (Ochanomizu University) Christopher Tancredi (Keio University) and Matthew Stone (Rutgers University) (TBC). This year the workshop will include a student session.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, is hosting the 8th Annual Arché Graduate Conference at the University of St Andrews in November 2014. The conference will feature Keynote Speakers Penelope Mackie (Nottingham) and Ian Rumfitt (Birmingham), as well as a Symposium on Conceptual Engineering by Herman Cappelen and Patrick Greenough (Arché, St Andrews).

For any further enquiries, email archegradconf at gmail.com or visit http://www.st-andrews.ac.uk/arche/acgc/.

Epistemic reasons ground belief: in a factual sense they are actual grounds for belief, and in a normative sense they are good grounds for belief. This year's symposium will be devoted to exploring the concept of epistemic reasons, whether factual or normative. Specific topics of presentation may include the relevance of practical interests and affective states to epistemic reasons, psychologism about epistemic reasons and its competitors, epistemic reasons in foundationalist, coherentist, and externalist frameworks, a priori epistemic reasons, epistemic reasons and testimonial knowledge, and the role of epistemic reasons in automatic vs. deliberative cognitive processes.

For more information, visit the Symposium's website at http://sce-cse.recherche.usherbrooke.ca or write to Yves Bouchard (yves.bouchard at usherbrooke.ca) or David Matheson (david_matheson at carleton.ca).

Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular.

The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields

For more information, see http://ecsi.sintelnet.eu

Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning.

The topics of interest for the special issue of the Kuenstliche Intelligenz journal, appearing in autumn 2015, include, but are not limited to: analogical reasoning, common sense and defeasible reasoning, deductive calculi for higher-level cognition * inductive reasoning and cognition, preferred mental models and their formalization, and probabilistic approaches of reasoning.

The Kuenstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: Technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors. Submission deadline: 19-Dec-2014 (EXTENDED).

For more information, see http://www.kuenstliche-intelligenz.de/index.php?id=7800

The DHCS Colloquium has been a lively regional conference (with non-trivial bi-coastal and overseas sprinkling), rotating since 2006 among the University of Chicago (where it began), DePaul, IIT, Loyola, and Northwestern. This year's colloquium will partly overlap and share some programming with the annual members meeting and conference of the Text Encoding Initiative, which will be hosted by Northwestern University, October 22-24.

For more information, see http://dhcs.northwestern.edu/

The cognitive diversity of agents has been a recurrent topic of contemporary investigations in the fields of artificial intelligence, information science, psychology, linguistics, neurosciences and logic, opening new horizons for logical inquiry that focuses on the in-depth analysis of rational agency. Today it is a novel challenge and a cross point for various lines of research including the study of formal theories, informal philosophical and logical approaches as well as that of their wider application. We encourage the discussions related to the logical aspects of the diversity of agents.

For more information, see http://ocs.philosophy.spbu.ru/index.php/LARA/

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.

For more information, see http://makingofthehumanities.blogspot.nl/

After a further year of successful work in the EU-IRSES project COMPUTAL and an excellent workshop in Ljubljana (Slovenia) in September this year, we are planning to publish a collection of papers dedicated to the meeting and the project in the Journal of Logic and Analysis.

The issue should reflect progress made in Computable Analysis and related areas, not only work in the project. Submissions are welcome from all scientists and should be on topics in the spectrum from logic to algorithms. Deadline for Submission: 31 January 2015.

For more information, see http://computal.uni-trier.de/ and http://logicandanalysis.org/.

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.

The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html

CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

For more information, see http://cla2014.ics.upjs.sk

Euler and Venn diagrams have been widely studied over recent years and their role in logical reasoning and information visualization is now prominent. Venn diagrams formed the basis of what is widely regarded to be the first sound and complete diagrammatic logic, called Venn-I, developed by Sun-Joo Shin in the 1990s. Since then, substantial research has been conducted on Euler and Venn diagrams, spanning logic, cognitive science and philosophy. We will consider submissions that focus on any aspect of Euler and Venn diagrams research, that falls within the scope of JOLLI, and encourage submissions from any discipline. The proposed special issue will bring together a valuable collection of papers for researchers working in this area.

We solicit papers consisting of original research contributions. Submitted papers that extend previously published conference papers should be submitted with a cover note to the editors explaining the contribution beyond the earlier version. It is expected that substantial new material is included in the submission to the special issue.

Abstract submission: October 15, 2014. Paper submission: October 30, 2014. More information, including formatting guidelines and details of the scope of JOLLI can be found on our web page https://sites.google.com/site/eulerandvenndiagrams/.

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.

For more information, see http://www.uma.pt/jelia2014/.

This workshop, held in conjunction with KI 2014, aims at bringing together researchers from Artificial Intelligence, Automated Deduction, Computer Science, Cognitive Psychology, Philosophy, and related areas to foster a multi-disciplinary exchange between research in higher-level cognition and computation.

Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning.

For more information, see http://imodspace.iig.uni-freiburg.de/kik-ws/

Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C~s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.

The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.

For more information, see http://ast2014.fzi.de or contact the AST 2014 organising committee: ast2014 at fzi.de

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).

For more information, see http://www.ki2014.de/ or contact ki2014 at easychair.org.

The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.

The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014

Recent decades have seen an explosion of research into formal argumentation theory within computer science, drawing on roots in philosophy and legal theory. The formalisms developed enable reasoning with incomplete and inconsistent information to reach decisions that are rational according to various criteria. However, this work has largely been conducted in isolation from the established mathematical decision sciences in microeconomic theory.

The workshop will bring together philosophers, economists, computer scientists and psychologists to discuss areas of common interests and possible directions for research.

For more information, see http://www.doc.ic.ac.uk/~rac101/ard/

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.

For more information regarding the conference, see the ICTAC 2014 web page at http://fmi.unibuc.ro/ictac2014/ or contact the conference email address: ictac2014 at fmi.unibuc.ro

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.

For more information, see http://cognition.lu.lv/symp/10-call.html or contact jurgis.skilters at lu.lv or jurgisskilters at gmail.com.

Predicate Approaches to modality are a viable alternative to the now standard operator approaches to modality. They allow for a uniform treatment of truth and the modal notions, are expressively rich and they fit in nicely with the relational analysis of propositional attitudes. The workshop is intended to further and foster research on predicate approaches to modality in philosophical and mathematical logic.

For more information see http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/pam2014/ or contact the organizers: Martin Fischer (M.Fischer at lrz.uni-muenchen.de) or Johannes Stern (Johannes.Stern at lrz.uni-muenchen.de).

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.

For more information, see http://www.lancog.com/modalsyllogistics.html

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.

Please visit the conference website http://gandalf2014.di.univr.it for more information.

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.

For more information, see http://semcon.wordpress.com/workshop-2/.

We welcome full paper submissions for a book titled: "Applications of Formal Philosophy: The Road Less Travelled" to be published with Springer, edited by Rafal Urbaniak and Gillman Payette.

Scope:
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 is to further counter the impression of idleness with respect to philosophy at large. The focus of the volume is 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.

The submission deadline is December 31, 2014. Please make sure that the content of the paper fits the scope of the volume. For more information, see http://entiaetnomina.blogspot.nl/2014/09/

SOPhiA 2014 aims at an opportunity for students and doctoral candidates in Philosophy to get in touch with prospective or well established philosophers and take a first peek into the philosophical business. Beside the conference presentations there also will be workshops on selected topics in analytic philosophy.

Keynote Speakers: Elke Brendel, Winfried Loeffler, Jeanne Peijnenburg and Benjamin Schnieder

For more information, see http://www.sophia-conference.org/

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.

For more information, see the web page at http://cca-net.de/cl2014/

Confirmed keynote speakers: Kit Fine (New York), Øystein Linnebo (Birbeck), David McCarty (Indiana) and Gabriel Sandu (Helsinki).

For more information, please contact: Sorin Costreie s.cos3e at yahoo.ca or visit http://www.srfa.ro/bcap-2014

There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.

A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.

For more information, see http://highlights-conference.org/

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).

For more information, see http://wollic.org/wollic2014/.

SemDial 2014 (DialWatt) will be the 18th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2014 the workshop will be hosted by the Interaction Lab, Heriot-Watt University, Edinburgh. It will be collocated with Ro-Man (The 23rd IEEE Symposium on Robot and Human Interactive Communication) and the world-famous Edinburgh festival.

For more information, see http://www.macs.hw.ac.uk/InteractionLab/Semdial/

ECAP-conferences are organized every three years by the /European Society for Analytic Philosophy/ (ESAP). The aim of these conferences is to establish contacts and encourage collaboration among European analytic philosophers.

For more information, see http://www.esap.info/ecap8/

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.

For more information, see http://www.sfb991.uni-duesseldorf.de/ctf-2014/

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.

For more information, see http://www.sis.uta.fi/SLS2014/ or write am email to scandinavianlogicsymposium at gmail.com.

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.

For more information, see http://ls.informatik.uni-tuebingen.de/hypo/

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.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2014/

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.

Please visit the workshop website (http://dare2014.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com.

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 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.

For more information, see http://www.ecai2014.org/ or email ecai2014 at guarant.cz.

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.

For more information, see http://www.irit.fr/~Laurent.Perrussel/idas-14/

Strategic reasoning occurs in many multi-agent scenarios. This is evident in theoretical approaches to MAS, as well as in practical solutions used, for example, in computer games, IT infrastructures for e-voting procedures, social network services, etc. This special session at CLIMA XV (Computational Logic in Multi-Agent Systems) addresses the question how formal logic can contribute to our understanding, modeling and analysis of strategic behavior, and investigates how the metaphors of game and social interaction can help in constructing and using logical formalisms.

For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXVsessions.html or contact the organizer, Wojtek Jamroga (University of Luxembourg), at wojtek.jamroga at uni.lu. For general information on CLIMA XI, see http://centria.di.fct.unl.pt/events/climaXIV/ or contact clima2014 at easychair.org .

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'.

For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

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 ex­peri­ence with submitting to and presenting at an international event with a broad scientific scope.

For more information, see http://www.ecai2014.org/stairs/.

Forms of figurative language such as metaphor and metonymy are key resources for communicating domain-specific information in an accessible way. Modelling such patterns of communication is a key aim of academic disciplines such as linguistics, discourse studies, and psycholinguistics, and understanding such phenomena is an emerging goal within Artificial Intelligence and the related field of Natural Language Processing. A particularly interesting current area of research is work on automatically generating as well as understanding metaphor, which are both emerging as important sites for addressing long-standing problems in linguistics, artificial intelligence, and cognitive science.

To facilitate communication about such efforts, we are planning a two-day workshop on modelling the meanings and patterns of health and political conflict, where discourse in these domains typically gives rise to some of the richest and most figurative forms of human discourse. The workshop will take place at the University of Birmingham, and will be jointly organized through the University's Institute for Advanced Studies (IAS) as well as the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB).

For more information, see http://www.cs.bham.ac.uk/~gargetad/

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

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 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).

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 dehaan at kr.tuwien.ac.at. For general inquiries about ESSLLI 2014, please consult the main ESSLLI 2014 page: http://www.esslli2014.info/.

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.

For more information, see http://www.philos.rug.nl/AiML2014/

This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as 'theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an "inverse planning" model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people's observed behavior.

For more information, see http://www.ai.rug.nl/conf/reasoningminds2/.

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.

For more information, see the conference website here: http://agi-conf.org/2014

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.

For more information, see http://narrative.csail.mit.edu/cmn14/

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.

For more information, see http://www.diagrams-conference.org/2014/ED2014 or contact the workshop organizers at ed2014 at easychair.org.

XVI SLALM will include four tutorial courses in Model Theory, Computability Theory, Set Theory and Non-classical Logic. About a hundred researchers and students from Latin-America and other continents will participate in the meeting. The Symposium has the scientific sponsorship of the Association for Symbolic Logic.

For more information, see the conference web site at http://www-2.dc.uba.ar/congresos/slalm2014/

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

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.

For more information, see http://vsl2014.at/pruv/

The ARQNL workshop aims at fostering the development of proof calculi, ATP systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. In particular, we are interested in all sorts of applications and problem formalizations that use a quantified non-classical logic. A particular emphasis of the first edition of the ARQNL workshop will be on quantified modal logics.

For further information see the workshop web page at http://vsl2014.at/arqnl/.

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.

For more information, see the Conference Web Page at http://cca-net.de/cca2014/

Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding than would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Moreover, theoretical results established for the quantifier-free formalism typically cannot be directly transferred to the quantified case. Further, techniques successfully implemented in reasoning tools for quantifier-free formulas cannot directly be lifted to a quantified version.

The goal of the 1st International Workshop on Quantification (QUANTIFY 2014) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view. Quantification is a topic in different research areas such as in SAT in terms of QBF, in CSP in terms of QCSP, in SMT, etc. This workshop has the aim to provide an interdisciplinary forum where researchers of various fields may exchange their experiences.

For more information, see http://vsl2014.at/quantify

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).

For more information, see http://www.kr.tuwien.ac.at/nmr14/ or email nmr14 at kr.tuwien.ac.at.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.

The extraction of computational content from proofs has a long tradition in logic, but usually depends on a concrete encoding that allows us to turn proofs into algorithms. A recent trend in this field is the departure from such encoding which not only makes it simpler to represent the mathematical content, but also makes the extracted computational content encoding independent. This shift in focus allows us to focus on what is relevant: the computational aspects of proofs and the specification (not representation) of the structures involved. We now have growing evidence that this move from representations (e.g. the signed digit representation of the reals) to axioms (e.g. of the real numbers) is possible. This development largely parallels the step from assembler to high level languages in programming. As a by-product this move has already opened up the possibility to gain computational information from axiomatic proofs in more abstract and genuinely structural areas of mathematics such as algebra and topology.

For more information, see http://vsl2014.at/psc/ or contact psc2014 at easychair.org.

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.

For more information please visit the official web page of the conference: http://www.logic.at/latd2014/. All correspondence should be directed to latd2014 at logic.at.

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).

For more information, see http://www.logic.at/logic-and-games-2014/ or contact the organizers at LG2014 at logic.at.

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/

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

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. ------------------------------------------------------------------------------------

For more information, see http://vsl2014.at/pages/GSB-cfp.html

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.

Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/, or contact floc14cfw at easychair.org.

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/

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.

For more information, see http://www.cs.swansea.ac.uk/lcc2014/

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.

The traditional notion of mathematical proof faces in the 21st century what we will call "the computer challenge". Three different aspects are worth separating. 'Proof search' has its known limitations due to undecidability and complexity results. However, special areas, such as semigroup theory, already enjoy considerable support from computer-generated proofs. 'Proof check' is recently the 'hottest' area, in no small part due to the attempt to formally verify the proof of the Kepler conjecture by its author Hales. 'Proof representation' seems currently be the stumbling block for convincing the mathematical community to accept computer-aided theorem proving as a viable complement to everyday mathematical research.

For our workshop we solicit contributions for discussions about the current state-of-the-art of automated theorem proving (ATP), approaching the topic from the mathematical (or even philosophical) side, as well as from computer science.

For more information, see the workshop homepage at http://cicm-conference.org/2014/cicm.php?event=nop.

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.

For more information, see the conference website at http://sotfom.wordpress.com/.

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<<.

For more information, see http://filozof.uni.lodz.pl/trends

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.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

Topoi: An international Review of Philosophy, is planning to devote a special issue to Epistemic Modals and the Epistemology of Modality, which will be edited by Berit Brogaard (University of Miami) and Dimitria Electra Gatzia (University of Akron).

Papers must be in English and should not exceed 8,000 words, though there is no minimum length. Each submission should also include a title page containing contact details, a brief abstract and list of keywords for indexing purposes. All submissions for this issue should be made through Topoi Editorial Manager (http://www.editorialmanager.com/topo/default.asp). Select 'S.I.: Epistemic modals (Brogaard/Gatzia)' as Article Type.

The deadline for the initial submission is March 15, 2015. Accepted papers will be published in 2016. For more information, see http://www.springer.com/philosophy/journal/11245 or email Dimitria E. Gatzia at dg29 at uakron.edu.

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/

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 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
- Questions

For more information, see http://www.zas.gwz-berlin.de/fileadmin/spe7/

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.

For more information, see http://web.pacuit.org/files/NASSLLI2014StuS_CFP.pdf or contact qharr at umd.edu

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.

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.

For more information, see http://cie2014.inf.elte.hu

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 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/

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.

For more information, see http://www.silfs.net/#442-2 pr contact the SILFS secretary, Matteo Morganti: matteo.morganti at uniroma3.it.

LACL'2014 is the 8th international conference on logical and formal methods in computational linguistics. This conference addresses the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at IRIT, Toulouse, France, from 18 to 20 June 2014 (with support from IRIT, Université Paul Sabatier et INP de Toulouse), and is co-located with CSLP 2014.

For more information, see http://www.irit.fr/LACL2014/ or contact soloviev at irit.fr and asher at irit.fr (co-chairs of LACL 2014).

Logica 2014 is the 28th in the series of annual international symposia devoted to logic.

For more information, see http://www.flu.cas.cz/cz/logica2014 or contact logica at flu.cas.cz

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/

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. For more information, see the Conference Web Page at http://www2.ims.nus.edu.sg/Programs/014algo/.

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.

For more information, see http://www.confhub.net/lola. For additional information, please do not hesitate to contact the organisers at: logogrammar at gmail.com

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.

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2014
Email: csr2014 at googlegroups.com

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.

For more information see http://www.lse.ac.uk/CPNSS/events/GraduateConferences/pop2014/.

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.

Additional information can be found on our website: http://logicmathphysics.ca. Please send questions to the LMP Conference Committee: uwolmp at gmail.com

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.

All information concerning editorial guidelines, deadlines, fees, programme, our speakers and venue are available on-line at http://www.2014.cwap.pl/.

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 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 here.

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

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 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 ronzitti at gmail.com or tero.tulenheimo at univ-lille3.fr (for information concerning the workshop) or matthieu.gallais at univ-lille3.fr (for practical information).

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'.

For more information, see http://philevents.org/event/show/12908. For any questions, please contact Salvatore Florio at florio at ksu.edu

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/

Since the 1990s, the practice of natural language processing (NLP) has gradually shifted from logic-based symbol manipulation systems first to purely statistical, and more recently to hybrid systems that combine structural and statistical methods. The mathematical theory of hybrid NLP is still not fully mature, and the special issue will lend focus to this expanding research area by including papers from mathematicians, computer scientists, theoretical and computational linguists and AI researchers with an interest in its foundations.

Subjects suitable for the special issue include, but are not limited to, NLP-related advances in
- inductive learning
- spectral techniques
- formal grammars
- commonsense reasoning
- low-pass semantics
- sparse models
- LSTM, deep learning
- compressed sensing
- cvs/distributional theories

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).

All conference-related information will be posted on the MS6 website at http://ms6conf.wordpress.com/. Further inquiries may be addressed to Xavi Lanao at MS6conf at gmail.com.

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 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/.