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.

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

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

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

In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties.

The present workshop is motivated by the conviction that the two paradigms to understand norms in strategic interaction are by no means incompatible and can be effectively used together for regulative purposes. The aim of the symposium is to gather researchers looking at norms in strategic interaction from different perspectives, i.e. philosophy, computer science, game theory, logic, fostering discussion and interdisciplinary collaboration. Researchers will be given the opportunity of presenting their work in a stimulating environment, without novelty constraints on their contribution.

For more information please have a look at the workshop website http://www.doc.ic.ac.uk/~pturrini/NAG/

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing. The aim of this symposium is to zoom into one fundamental aspect of computing, that is the foundational and the historical problems and developments related to the science of programming.

The convention is organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) as part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014.

For more information, see http://www.computing-conference.ugent.be/hapop2.

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

In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties.

The present workshop is motivated by the conviction that the two paradigms to understand norms in strategic interaction are by no means incompatible and can be effectively used together for regulative purposes. The aim of the symposium is to gather researchers looking at norms in strategic interaction from different perspectives, i.e. philosophy, computer science, game theory, logic, fostering discussion and interdisciplinary collaboration. Researchers will be given the opportunity of presenting their work in a stimulating environment, without novelty constraints on their contribution.

For more information please have a look at the workshop website http://www.doc.ic.ac.uk/~pturrini/NAG/

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing. The aim of this symposium is to zoom into one fundamental aspect of computing, that is the foundational and the historical problems and developments related to the science of programming.

The convention is organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) as part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014.

For more information, see http://www.computing-conference.ugent.be/hapop2.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing. The aim of this symposium is to zoom into one fundamental aspect of computing, that is the foundational and the historical problems and developments related to the science of programming.

The convention is organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) as part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014.

For more information, see http://www.computing-conference.ugent.be/hapop2.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing. The aim of this symposium is to zoom into one fundamental aspect of computing, that is the foundational and the historical problems and developments related to the science of programming.

The convention is organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) as part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014.

For more information, see http://www.computing-conference.ugent.be/hapop2.

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

For more information, see http://www.coalg.org/cmcs14

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

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.

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

For more information, see http://www.coalg.org/cmcs14

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

The purpose of the BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The conference will consist of invited presentations by distinguished researchers and a number of contributed talks.

More information about the meeting including updates are available from the conference webpages at: http://bctcs.lboro.ac.uk/. Queries can be sent to: bctcs at lboro.ac.uk

The purpose of the BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The conference will consist of invited presentations by distinguished researchers and a number of contributed talks.

More information about the meeting including updates are available from the conference webpages at: http://bctcs.lboro.ac.uk/. Queries can be sent to: bctcs at lboro.ac.uk

MC3 is the third in a series of three conferences with associated publications on mathematics as culture and mathematics in culture. The third conference will consider the relation between mathematics and other cultures, whether popular or specialist. Amongst other topics, it will explore the question "why should I study mathematics?" - from perspectives within and outside mathematical cultures.

For more information, see https://sites.google.com/site/mathematicalcultures/conference-3

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/

The purpose of the BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The conference will consist of invited presentations by distinguished researchers and a number of contributed talks.

More information about the meeting including updates are available from the conference webpages at: http://bctcs.lboro.ac.uk/. Queries can be sent to: bctcs at lboro.ac.uk

MC3 is the third in a series of three conferences with associated publications on mathematics as culture and mathematics in culture. The third conference will consider the relation between mathematics and other cultures, whether popular or specialist. Amongst other topics, it will explore the question "why should I study mathematics?" - from perspectives within and outside mathematical cultures.

For more information, see https://sites.google.com/site/mathematicalcultures/conference-3

The Department of Logic and Philosophy of Science at the University of California, Irvine, is pleased to announce a workshop on mathematical depth. In this workshop, we will be examining and discussing examples of mathematics typically judged to be deep (or not deep) in hope of clarifying what's at issue in these judgments.

For more information, see the webpage at http://www.lps.uci.edu/node/16463 or contact Bennett McNulty at mmcnulty at uci.edu.

Everyone is welcome to attend the workshop, and there is no registration fee. If you would like to attend, please register by emailing the organizers. Attendees are encouraged to familiarize themselves with selected background readings in advance of the workshop.

For more information, including selected background readings and a preliminary program, please visit the workshop website at http://users.ox.ac.uk/~jesu2281/workshop/.

MC3 is the third in a series of three conferences with associated publications on mathematics as culture and mathematics in culture. The third conference will consider the relation between mathematics and other cultures, whether popular or specialist. Amongst other topics, it will explore the question "why should I study mathematics?" - from perspectives within and outside mathematical cultures.

For more information, see https://sites.google.com/site/mathematicalcultures/conference-3

The Department of Logic and Philosophy of Science at the University of California, Irvine, is pleased to announce a workshop on mathematical depth. In this workshop, we will be examining and discussing examples of mathematics typically judged to be deep (or not deep) in hope of clarifying what's at issue in these judgments.

For more information, see the webpage at http://www.lps.uci.edu/node/16463 or contact Bennett McNulty at mmcnulty at uci.edu.

Everyone is welcome to attend the workshop, and there is no registration fee. If you would like to attend, please register by emailing the organizers. Attendees are encouraged to familiarize themselves with selected background readings in advance of the workshop.

For more information, including selected background readings and a preliminary program, please visit the workshop website at http://users.ox.ac.uk/~jesu2281/workshop/.

The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science.

Further information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/.

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

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

Everyone is welcome to attend the workshop, and there is no registration fee. If you would like to attend, please register by emailing the organizers. Attendees are encouraged to familiarize themselves with selected background readings in advance of the workshop.

For more information, including selected background readings and a preliminary program, please visit the workshop website at http://users.ox.ac.uk/~jesu2281/workshop/.

The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science.

Further information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/.

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 London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
1. Games, Trees and Models.
2. Second Order Logic and Foundations of Mathematics.
3. The Mathematical Theory of Dependence and Independence.

There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.

For further information see: http://www.uea.ac.uk/~h020/Jouko.html.

The 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 London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
1. Games, Trees and Models.
2. Second Order Logic and Foundations of Mathematics.
3. The Mathematical Theory of Dependence and Independence.

There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.

For further information see: http://www.uea.ac.uk/~h020/Jouko.html.

The London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
1. Games, Trees and Models.
2. Second Order Logic and Foundations of Mathematics.
3. The Mathematical Theory of Dependence and Independence.

There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.

For further information see: http://www.uea.ac.uk/~h020/Jouko.html.

The London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
1. Games, Trees and Models.
2. Second Order Logic and Foundations of Mathematics.
3. The Mathematical Theory of Dependence and Independence.

There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.

For further information see: http://www.uea.ac.uk/~h020/Jouko.html.

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 conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.

For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.

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

The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.

For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.

The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.

For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.

The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.

For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.

'PhDs in Logic' is a graduate conference organized by local graduate students. Its aim is to bring together PhD candidates and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011) and Munich (2013).

Following the previous meetings, the academic setup of the conference consists of two main parts:
(i) Four established researchers in logic will each give two 45-minute tutorial sessions on a relevant topic in logic;
(ii) About 15 PhD candidates will give 20-minute presentations on their work.
There will also be opportunities for informal gatherings, including a conference dinner.

If you would like to participate, please fill in the registration form on our website by 13 April 2014. For more information, see http://phdsinlogic2014.wp.hum.uu.nl/ or contact phdsinlogic at gmail.com.

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/

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

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

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.

The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.

For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.

'PhDs in Logic' is a graduate conference organized by local graduate students. Its aim is to bring together PhD candidates and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011) and Munich (2013).

Following the previous meetings, the academic setup of the conference consists of two main parts:
(i) Four established researchers in logic will each give two 45-minute tutorial sessions on a relevant topic in logic;
(ii) About 15 PhD candidates will give 20-minute presentations on their work.
There will also be opportunities for informal gatherings, including a conference dinner.

If you would like to participate, please fill in the registration form on our website by 13 April 2014. For more information, see http://phdsinlogic2014.wp.hum.uu.nl/ or contact phdsinlogic at gmail.com.

The Third International Conference on the History of Logic in China will take place on 26-28 April, 2014, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to advance our larger project, the production of the Handbook of Logical Thought in China, to be published by Springer-Verlag both online and in print in a few years. Many of the presentations will be of material aimed at chapters of the Handbook, for discussion and comment among experts both mainland China and outside.

For more information, see http://holicnet.net/?page_id=324

The Third International Conference on the History of Logic in China will take place on 26-28 April, 2014, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to advance our larger project, the production of the Handbook of Logical Thought in China, to be published by Springer-Verlag both online and in print in a few years. Many of the presentations will be of material aimed at chapters of the Handbook, for discussion and comment among experts both mainland China and outside.

For more information, see http://holicnet.net/?page_id=324

Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.

The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.

For more information, see http://mathcs.chapman.edu/ramics2014

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

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.

The Third International Conference on the History of Logic in China will take place on 26-28 April, 2014, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to advance our larger project, the production of the Handbook of Logical Thought in China, to be published by Springer-Verlag both online and in print in a few years. Many of the presentations will be of material aimed at chapters of the Handbook, for discussion and comment among experts both mainland China and outside.

For more information, see http://holicnet.net/?page_id=324

Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.

The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.

For more information, see http://mathcs.chapman.edu/ramics2014

The Department of Philosophy, History, Culture and Arts Studies at the University of Helsinki is holding a Colloquium on " Issues in Aristotle's modal ontology, logic, and moral epistemology". The colloquium is open to all interested in Aristotle's philosophy and these issues in general.

For more information, see http://helsinginyliopisto.etapahtuma.fi/Default.aspx?tabid=310&id=8921 or contact the organizer Mika Perälä (mika.perala at helsinki.fi).

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

Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.

The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.

For more information, see http://mathcs.chapman.edu/ramics2014

The 3rd Lund Conference on 'Games, Interaction, Reasoning, Learning and Semantics' (GIRLS14@LUND) welcomes researchers in philosophy, cognitive science, economics & linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground. G.I.R.L.S.14@LUND will be themed around Evolution and Cooperation.

For more information, see the GIRLS14@LUND website at http://girls.loriweb.org/.

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/

Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.

The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.

For more information, see http://mathcs.chapman.edu/ramics2014

The 3rd Lund Conference on 'Games, Interaction, Reasoning, Learning and Semantics' (GIRLS14@LUND) welcomes researchers in philosophy, cognitive science, economics & linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground. G.I.R.L.S.14@LUND will be themed around Evolution and Cooperation.

For more information, see the GIRLS14@LUND website at http://girls.loriweb.org/.