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

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

Despite its austere appearance, formal logic can often be viewed through the lens of game theory, whereby various logical concepts -- validity, consequence, provability, satisfiability, (in)dependence, possibility, etc. -- become animated as games. Going in the other direction, one can start with games and find logics, and various logical concepts, therein. The idea of viewing logics as games, and vice versa, is by no means new, but it has enjoyed a certain renaissance in recent years. The workshop is intended to serve as a magnet to attract the latest research in the spirit of connecting logic to games.

Logic and Games will be a one-day event consisting of three invited 60-minute talks, together with selected shorter contributed talks. Invited speakers: Gabriel Sandu (Helsinki), Ondrej Majer (Prague) and Kazushige Terui (Kyoto).

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

KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi- Agent System Technologies).

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

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

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

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

LCC 2014/ImmermanFest will be held in Vienna, Austria, on July 12-13, 2014, as an affiliated meeting of the Vienna Summer of Logic. The program will consist of a first day (July 12th) of talks which include both invited lectures and contributed talks selected by the program committee (based on submitted abstracts), and a second day (July 13th) devoted entirely to invited talks in celebration of Neil Immerman's 60th birthday.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, to which Neil Immerman has made numerous fundamental and inspiring contributions. In particular, he has been one of the leading figures in the development of descriptive complexity, which has elucidated intimate and beautiful connections between complexity theory and finite model theory. This year, day two of LCC 2014 will honor Neil's 60th birthday with a series of invited lectures by some of the leading researchers working in areas that have been influenced by Neil's work.

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

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is a satellite workshop of AAMAS 2014 that serves the community as a platform for presentation, exchange, and publication of ideas.

For more information, see http://lamas2014.in.tu-clausthal.de

The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.

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

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://aamas2014.lip6.fr/

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is a satellite workshop of AAMAS 2014 that serves the community as a platform for presentation, exchange, and publication of ideas.

For more information, see http://lamas2014.in.tu-clausthal.de

The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.

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

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://aamas2014.lip6.fr/

The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.

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

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://aamas2014.lip6.fr/

The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.

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

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://aamas2014.lip6.fr/

The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.

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

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://aamas2014.lip6.fr/

The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) organises a one-day conference on Descriptive Set Theory on May 9 in Lausanne (Switzerland).

Descriptive Set Theory is the study of the sets of reals that can be explicitly defined or constructed, and so can be expected to have certain properties, such as Lebesgue Measurability, not enjoyed by arbitrary sets. It is a central part of contemporary Set Theory and therefore dealing with major logical concepts, such as definability and undecidability. Prof. Andretta (Universita di Torino) will provide the audience with a gentle introduction to Descriptive Set Theory and its interactions with other parts of mathematics. Prof. Duparc (Université de Lausanne) will then focus on infinite games, a major technique in this field.

For more information, see http://www.sgslps.ch/events.php

Rosemarie Rheinwald died, all too early, five years ago at the age of 60. She was a professor at the philosophy department of the Universtity of Münster and worked mainly in the fields of philosophy of science, philosophy of language, and logics. Her publications were not large in number, but deep in thought. Her very original and excellent work does not yet seem to have the repercussions it deserves.The convenors wish to help changing this a little bit and honour Rosemarie Rheinwald by discussing some of the main topics she worked on, and relating their own philosophical work to her thoughts and results.

To register, please send an email at your earliest convenience, preferably before April 30, to Claudia.guestrau at uni-muenster.de. For more information, see https://www.uni-muenster.de/imperia/md/content/philosophischesseminar/ (PDF). or contact the local organizer at ulrich.krohs at uni-muenster.de.

MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.

Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).

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

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

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

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

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

Rosemarie Rheinwald died, all too early, five years ago at the age of 60. She was a professor at the philosophy department of the Universtity of Münster and worked mainly in the fields of philosophy of science, philosophy of language, and logics. Her publications were not large in number, but deep in thought. Her very original and excellent work does not yet seem to have the repercussions it deserves.The convenors wish to help changing this a little bit and honour Rosemarie Rheinwald by discussing some of the main topics she worked on, and relating their own philosophical work to her thoughts and results.

To register, please send an email at your earliest convenience, preferably before April 30, to Claudia.guestrau at uni-muenster.de. For more information, see https://www.uni-muenster.de/imperia/md/content/philosophischesseminar/ (PDF). or contact the local organizer at ulrich.krohs at uni-muenster.de.

MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.

Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).

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

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

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

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous fourteen, very successful, editions, the 15th CLIMA will take place in Prague, Czech Repulblic, on the 18th and 19th of August 2014. It will be co-located with ECAI~14. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Logics for Games, Strategic Reasoning, and Social Choice' and on 'Logics for Agreement Technologies'.

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

MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.

Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).

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

Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. This conference focusses on its logical aspects.

This conference is organised as part of the French-German ANR-DFG project HYPOTHESES, In conjunction with ESSLLI 2014.

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

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2014 is the tenth conference in the series.

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

This workshop is organized for the centennial of Peirce's death.

For more information, see http://philevents.org/event/show/14202

The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.

For more information, see http://bcc.impan.pl/14Young/

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.

For more information, see http://bcc.impan.pl/14Young/

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.

For more information, see http://bcc.impan.pl/14Young/

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

Crane's The Objects of Thought takes as its starting part the truism that some of the objects we can think about do not exist. This truism however raises a number of ontological puzzles. What is it that we are thinking about when we think about entities that do not exist? Crane defends two seemingly incompatible claims. On the one hand, he argues that reality contains only what exists, and since non-existent entities do not exist, there is no room in reality for non-existents. Crane also argues that we can make true claims about entities that do not exist – we can correctly predicate properties of non-existent entities like Pegasus and Sherlock Holmes. The remainder of the book consists of characteristically careful argument demonstrating how one can, and indeed should, hold both these claims.

The workshop will feature lectures by Franz Berto, Arianna Betti, Christian Skirke, Julian Kiverstein, plus presentations from graduate students, and will be followed by a lecture from Prof. Cranehave as speakers be followed by a lecture from Prof Crane titled "Intentional Identity Revisited"

This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.

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

The 7th European Starting AI Researcher Symposium will be held as a satellite event of ECAI-2014, the 21st European Conference in Artificial Intelligence, in Prague in August 2014.

STAIRS is aimed at young researchers in Europe and beyond, particularly PhD students, but also advanced Master's students and postdoctoral researchers holding a PhD for less than one year at the time of the paper submission deadline. STAIRS offers opportunities to gain ex­peri­ence with submitting to and presenting at an international event with a broad scientific scope.

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

The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.

For more information, see http://bcc.impan.pl/14Young/

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

The aim of this workshop is to bring together experts in algebra, coalgebra, and proof theory to share ideas and methods. Everybody is welcome to attend the workshop. Giving a talk is by invitation only. This is the fifth issue of this workshop. Previous meetings were held in London, Bern, Prague and Utrecht. This meeting is partially sponsored by the British Logic Colloquium.

Invited Speakers include Samson Abramsky, Michael Rathjen, Sara Negri, Corina Cirstea, Marcelo Fiore and Bart Jacobs. Plus 13 contributed talks.

More details can be found on the workshop webpage: http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html There is no registration fee for attending the workshop, but we need to keep track of numbers. Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

PCC 2014 is organised as a satellite event of TYPES 2014. Registration for PCC 2014 will be through the TYPES 2014 site, with details to be announced later on. The workshop is scheduled for the full day of Friday, May 16. The participants are encouraged to attend the Thursday sessions of TYPES 2014. If the number and quality of submissions justifies this, then PCC 2014 will start in the afternoon of Thursday, May 15. This will be known by the notification date.

For more information, see http://www.irit.fr/PCC2014/

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

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

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

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

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

The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.

For more information, see http://bcc.impan.pl/14Young/

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

The aim of this workshop is to bring together experts in algebra, coalgebra, and proof theory to share ideas and methods. Everybody is welcome to attend the workshop. Giving a talk is by invitation only. This is the fifth issue of this workshop. Previous meetings were held in London, Bern, Prague and Utrecht. This meeting is partially sponsored by the British Logic Colloquium.

Invited Speakers include Samson Abramsky, Michael Rathjen, Sara Negri, Corina Cirstea, Marcelo Fiore and Bart Jacobs. Plus 13 contributed talks.

More details can be found on the workshop webpage: http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html There is no registration fee for attending the workshop, but we need to keep track of numbers. Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

PCC 2014 is organised as a satellite event of TYPES 2014. Registration for PCC 2014 will be through the TYPES 2014 site, with details to be announced later on. The workshop is scheduled for the full day of Friday, May 16. The participants are encouraged to attend the Thursday sessions of TYPES 2014. If the number and quality of submissions justifies this, then PCC 2014 will start in the afternoon of Thursday, May 15. This will be known by the notification date.

For more information, see http://www.irit.fr/PCC2014/

The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theoryday. This event consists of a scientific part and a business part. In the business part, members of the NVTI discuss the activities of the NVTI and decide what actions and new activities should be undertaken. The scientific part consists of four scientific contributions which are organized as follows: Four speakers are invited, two speakers from abroad and two domestic speakers.

This year, the talks will be by the following speakers: Erika Abraham (RWTH Aachen University, Germany), Marieke Huisman (University of Twente), Elena Marchiori (Radboud University, Nijmegen) and Peter Bro Miltersen (Aarhus University, Denmark).

For more information, see http://www.nvti.nl/Theorydays.html

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

The aim of JELIA-2014 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross- fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

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

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fourth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are urged to apply early. For more information, see http://fm.csl.sri.com/SSFT14

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fourth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are urged to apply early. For more information, see http://fm.csl.sri.com/SSFT14

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fourth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are urged to apply early. For more information, see http://fm.csl.sri.com/SSFT14

This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.

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

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

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

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fourth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are urged to apply early. For more information, see http://fm.csl.sri.com/SSFT14

This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.

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

The concept of object is one of the most general concepts in philosophy. On the one hand, we may be interested in the general question of what it is to be an object. On the other hand, we face the problem of delineating the criteria of objecthood in connection with specialized topics, giving rise to specific questions on what it is to be an object of a certain kind (such as concrete, abstract, indeterminate, mathematical, etc.). Accepting or refusing things of a certain kind as legitimate objects (of that particular kind) when developing a scientific theory or a philosophical position is likely to have important general repercussions.

In our workshop we wish to investigate the notion of object, both generally and in relation to particular fields of research. The emphasis is on the grounds and consequences of specific views on objects.

For more information, see http://evenements.univ-lille3.fr/oak/ or contact ronzitti at gmail.com or tero.tulenheimo at univ-lille3.fr (for information concerning the workshop) or matthieu.gallais at univ-lille3.fr (for practical information).

Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

For more information, see http://www.epicenter.name/course

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fourth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are urged to apply early. For more information, see http://fm.csl.sri.com/SSFT14

This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.

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

The concept of object is one of the most general concepts in philosophy. On the one hand, we may be interested in the general question of what it is to be an object. On the other hand, we face the problem of delineating the criteria of objecthood in connection with specialized topics, giving rise to specific questions on what it is to be an object of a certain kind (such as concrete, abstract, indeterminate, mathematical, etc.). Accepting or refusing things of a certain kind as legitimate objects (of that particular kind) when developing a scientific theory or a philosophical position is likely to have important general repercussions.

In our workshop we wish to investigate the notion of object, both generally and in relation to particular fields of research. The emphasis is on the grounds and consequences of specific views on objects.

For more information, see http://evenements.univ-lille3.fr/oak/ or contact ronzitti at gmail.com or tero.tulenheimo at univ-lille3.fr (for information concerning the workshop) or matthieu.gallais at univ-lille3.fr (for practical information).

In the year 2014, Peter Koepke and Philip Welch are celebrating their 60th birthdays, and we wish to celebrate this festive occasion with a scientific workshop in their honour. Peter has been a professor at the University of Bonn for many years; Philip was a Mercator professor in Bonn during the academic year 2002/03. The workshop speakers are students, collaborators, colleagues and friends of Peter and Philip whose research was influenced by them.

For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2014/ or contact schlicht at math.uni-bonn.de

In the year 2014, Peter Koepke and Philip Welch are celebrating their 60th birthdays, and we wish to celebrate this festive occasion with a scientific workshop in their honour. Peter has been a professor at the University of Bonn for many years; Philip was a Mercator professor in Bonn during the academic year 2002/03. The workshop speakers are students, collaborators, colleagues and friends of Peter and Philip whose research was influenced by them.

For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2014/ or contact schlicht at math.uni-bonn.de

The aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.

For more information, see https://portfolio.du.edu/ramsey/

The International Workshop on Defeasible and Ampliative Reasoning (DARe), held in conjunction with ECAI 2014 in Prague, Czech Republic, aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss the defeasible and ampliative aspects of reasoning in a multi-disciplinary forum.

The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.

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

In the year 2014, Peter Koepke and Philip Welch are celebrating their 60th birthdays, and we wish to celebrate this festive occasion with a scientific workshop in their honour. Peter has been a professor at the University of Bonn for many years; Philip was a Mercator professor in Bonn during the academic year 2002/03. The workshop speakers are students, collaborators, colleagues and friends of Peter and Philip whose research was influenced by them.

For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2014/ or contact schlicht at math.uni-bonn.de

The aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.

For more information, see https://portfolio.du.edu/ramsey/

The aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.

For more information, see https://portfolio.du.edu/ramsey/

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 aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.

For more information, see https://portfolio.du.edu/ramsey/

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.

Invited speakers: Stewart Shapiro (Ohio State University) and Marco Panza (IHPST-CNRS - Paris). Discussants: Alessandro Giordani (Unversità Cattolica del Sacro Cuore), Matteo Plebani (Università della Basilicata).

For more information, see http://filmat-network.com/fregereals/

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

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

The aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.

For more information, see https://portfolio.du.edu/ramsey/

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.

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

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

ELRA, the European Language Resources Association, is very pleased to announce that the 9th edition of the Language Resources and Evaluation Conference will take place in Reykjavik (Iceland) on May 26-June 1, 2014.

LREC has become the major event on Language Resources (LRs) and Evaluation for Human Language Technologies (HLT). The aim of LREC is to provide an overview of the state-of-the-art, explore new R&D directions and emerging trends, exchange information regarding LRs and their applications, evaluation methodologies and tools, ongoing and planned activities, industrial uses and needs, requirements coming from the e-society, both with respect to policy issues and to technological and organisational ones.

More information will be available soon on: http://www.lrec-conf.org.

The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.

In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.

For more information, see http://www.unisr.it/filosofia/filmat

ELRA, the European Language Resources Association, is very pleased to announce that the 9th edition of the Language Resources and Evaluation Conference will take place in Reykjavik (Iceland) on May 26-June 1, 2014.

LREC has become the major event on Language Resources (LRs) and Evaluation for Human Language Technologies (HLT). The aim of LREC is to provide an overview of the state-of-the-art, explore new R&D directions and emerging trends, exchange information regarding LRs and their applications, evaluation methodologies and tools, ongoing and planned activities, industrial uses and needs, requirements coming from the e-society, both with respect to policy issues and to technological and organisational ones.

More information will be available soon on: http://www.lrec-conf.org.

The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.

In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.

For more information, see http://www.unisr.it/filosofia/filmat

The workshop aims to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy. We encourage graduate students and members of underrepresented groups to submit to this conference.

For more information, see http://www.formalethics.net/ or email organization at formalethics.net.

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

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

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

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

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

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

Recent debates about semantic content have called into question traditional accounts and have renewed interest in unorthodox approaches, in particular approaches that operate with semantic contents that do not have absolute truth-values. These novel approaches to semantic content challenge the simple models of communication and information transfer that have traditionally been assumed. They also raise independently interesting questions about linguistic communication.

The project 'Semantic Content and Conversational Dynamics' organizes an international workshop on topics relevant to these issues. Invited speakers include Frank Veltman.

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

Aristotle is the founder of modal logic. His system of modal syllogisms has been studied for many centuries, with less than successful results. In 1955, Jan Lukasiewicz declared that "in contrast to the assertoric syllogistic which is perfectly clear and nearly free of errors, Aristotle's modal syllogistic is almost incomprehensible because of its many faults and inconsistencies". Some scholars have been trying to resist this pessimistic judgement and to articulate interpretations of the modal syllogistic that are, at the same time, logically consistent and plausible on exegetical grounds. This workshop wants to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the subject.

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

ELRA, the European Language Resources Association, is very pleased to announce that the 9th edition of the Language Resources and Evaluation Conference will take place in Reykjavik (Iceland) on May 26-June 1, 2014.

LREC has become the major event on Language Resources (LRs) and Evaluation for Human Language Technologies (HLT). The aim of LREC is to provide an overview of the state-of-the-art, explore new R&D directions and emerging trends, exchange information regarding LRs and their applications, evaluation methodologies and tools, ongoing and planned activities, industrial uses and needs, requirements coming from the e-society, both with respect to policy issues and to technological and organisational ones.

More information will be available soon on: http://www.lrec-conf.org.

The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.

In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.

For more information, see http://www.unisr.it/filosofia/filmat

The workshop aims to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy. We encourage graduate students and members of underrepresented groups to submit to this conference.

For more information, see http://www.formalethics.net/ or email organization at formalethics.net.