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

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.esslli2015.org/ or email A.Jung at cs.bham.ac.uk.

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/

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

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 aim of the workshop is to bring together experts who are working in the areas of doxastic agency, belief-revision theory, epistemic deontologism, and epistemic justification, and to discuss recent advances regarding the interplay between doxastic agency and epistemic responsibility. The workshop addresses questions such as: do we have the same kind of control over our beliefs as we have over our actions, what kind of control do we have over our doxastic attitudes and how is epistemic responsibility related to notions such as epistemic justification and practical responsibility?

There is no registration fee, but the number of participants is limited. If you want to participate in the workshop, please register by writing an e-mail to andrea.kruse at rub.de. For further information visit the website of the workshop: http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html

The RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.

Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtg at unt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.

The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).

How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.

If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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 aim of the workshop is to bring together experts who are working in the areas of doxastic agency, belief-revision theory, epistemic deontologism, and epistemic justification, and to discuss recent advances regarding the interplay between doxastic agency and epistemic responsibility. The workshop addresses questions such as: do we have the same kind of control over our beliefs as we have over our actions, what kind of control do we have over our doxastic attitudes and how is epistemic responsibility related to notions such as epistemic justification and practical responsibility?

There is no registration fee, but the number of participants is limited. If you want to participate in the workshop, please register by writing an e-mail to andrea.kruse at rub.de. For further information visit the website of the workshop: http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html

The RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.

Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtg at unt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.

The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).

How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.

If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

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 RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.

Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtg at unt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.

The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).

How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.

If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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 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 RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.

Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtg at unt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.

The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).

How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.

If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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 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 https://sites.google.com/site/bws2014edinburgh/

The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. Doreen Fraser (University of Waterloo) will be giving the keynote address.

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

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 RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.

Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtg at unt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.

The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).

How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.

If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

For more information, see https://sites.google.com/site/bws2014edinburgh/

The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. Doreen Fraser (University of Waterloo) will be giving the keynote address.

Additional information can be found on our website: http://logicmathphysics.ca. Please send questions to the LMP Conference Committee: uwolmp at gmail.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/.

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

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

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

June 07 and 08, 2014, UC Berkeley will host a conference honoring William Mitchell on the occasion of his 70th birthday.

See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/MitchellConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel ( coremodel at berkeley.edu ).

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

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

June 07 and 08, 2014, UC Berkeley will host a conference honoring William Mitchell on the occasion of his 70th birthday.

See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/MitchellConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel ( coremodel at berkeley.edu ).

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

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

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

UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).

See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel (coremodel at berkeley.edu).

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).

See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel (coremodel at berkeley.edu).

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).

See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel (coremodel at berkeley.edu).

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).

See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel (coremodel at berkeley.edu).

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

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).

See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel (coremodel at berkeley.edu).

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

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/

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

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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/

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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/

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/

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

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/

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in Gothenburg, Sweden during 16-18 of June 2014. The meeting will feature invited talks, a tutorial on feasible analysis, and a number of contributed talks. Possible topics include:

Provability and Definability in Arithmetics
Model Theory and Arithmetics
(Un)decidability of Arithmetics
Modelling computations on Logical Theories

Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to: ali.enayat at gu.se

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

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in Gothenburg, Sweden during 16-18 of June 2014. The meeting will feature invited talks, a tutorial on feasible analysis, and a number of contributed talks. Possible topics include:

Provability and Definability in Arithmetics
Model Theory and Arithmetics
(Un)decidability of Arithmetics
Modelling computations on Logical Theories

Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to: ali.enayat at gu.se

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

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in Gothenburg, Sweden during 16-18 of June 2014. The meeting will feature invited talks, a tutorial on feasible analysis, and a number of contributed talks. Possible topics include:

Provability and Definability in Arithmetics
Model Theory and Arithmetics
(Un)decidability of Arithmetics
Modelling computations on Logical Theories

Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to: ali.enayat at gu.se

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

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

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.

The Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

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

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.

The Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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

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 https://www.illc.uva.nl/lgc/seminar/?p=2441

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.

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

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

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

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.

The Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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 https://www.illc.uva.nl/ILLCColloquium/

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/

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 Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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/

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 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 Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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/

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 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 Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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 Reasoning Club Conference is organised by the Reasoning Club, a network of of research institutes, centres, departments and groups whose research focusses on topics connected to reasoning, inference and methodology broadly construed. The purpose of the conference is to bring together scholars, and students, working on reasoning in a number of different areas, such as philosophy, formal epistemology, psychology, and mathematics.

Keynote Speakers: Katie Steele (LSE) and Richard Pettigrew (Bristol).

Registration is free. However, if you would like to attend, please send an email to reasoningclub.kent at gmail.com by June 1st, 2014. For more information, please consult the conference website at http://reasoningclubkent.wordpress.com/.

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.

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

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 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 Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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 Reasoning Club Conference is organised by the Reasoning Club, a network of of research institutes, centres, departments and groups whose research focusses on topics connected to reasoning, inference and methodology broadly construed. The purpose of the conference is to bring together scholars, and students, working on reasoning in a number of different areas, such as philosophy, formal epistemology, psychology, and mathematics.

Keynote Speakers: Katie Steele (LSE) and Richard Pettigrew (Bristol).

Registration is free. However, if you would like to attend, please send an email to reasoningclub.kent at gmail.com by June 1st, 2014. For more information, please consult the conference website at http://reasoningclubkent.wordpress.com/.

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.

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

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 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 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 Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

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

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.

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

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

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

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 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 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 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 6th North American Summer School in Logic, Language and Information (NASSLLI 2014), a bi-annual summer school loosely modeled on the long-running ESSLLI series in Europe, will be held at the University of Maryland, College Park, June 23 - 27, 2014. In addition, we will run three intensive introductory courses ("bootcamps") on Saturday and Sunday, June 21-22. Additional events will be held during the weekend following the summer school, June 28-29.

The summer school will consist of 18 courses, scheduled in five parallel sessions throughout the week. Courses will meet for 90 minutes on each of five days. The instructors are prominent researchers who volunteer their time and energy to present work in their disciplines. NASSLLI courses are aimed at graduate students and advanced undergraduates in any of the fields represented at the summer school, but will also be of interest to post-docs and researchers in those fields. Courses are designed with an interdisciplinary audience in mind, by instructors who enjoy addressing students and colleagues from a wide range of disciplines.

For more information including the full program, see http://www.nasslli2014.com/.

The purpose of the Semantics and Philosophy in Europe colloquia is provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology, etc.). Previous SPE meetings have taken place in Paris (SPE1, 2008 and SPE3, 2010), London (SPE2, 2009), Bochum (SPE4, 2011), Turin (SPE5, 2012) and St.Peterburg (SPE6, 2013).

In addition to the general theme, SPE 7 will feature two special topics
- Conceptual structures and truth-conditional semantics
- Questions

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

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

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/

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.

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

Math tests held at secondary schools have generated a lot of discussion about arithmetic, and the testing and teaching thereof. Five years after a KNAW report mathematicians, psychologists and didacticians take stock.

For more information, see https://www.knaw.nl/nl/actueel/agenda/themabijeenkomst-rekenen-en-rekenonderwijs