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 Second International Meeting of the Association for the Philosophy of Mathematical Practice (APMP) will be held October 3-4, 2013 at the University of Illinois at Urbana-Champaign, USA.

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice---including issues in history of mathematics, the applications of mathematics, cognitive science, etc. This meeting will be the first part of a four day meeting on problems and prospects in the philosophy of mathematics. The second part will be the Fourteenth Midwest PhilMath Workshop (MWPMW 14): we hope APMP participants will also stay for this second part.

For more information, see http://institucional.us.es/apmp/index_APMP2013.htm

The Second International Meeting of the Association for the Philosophy of Mathematical Practice (APMP) will be held October 3-4, 2013 at the University of Illinois at Urbana-Champaign, USA.

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice---including issues in history of mathematics, the applications of mathematics, cognitive science, etc. This meeting will be the first part of a four day meeting on problems and prospects in the philosophy of mathematics. The second part will be the Fourteenth Midwest PhilMath Workshop (MWPMW 14): we hope APMP participants will also stay for this second part.

For more information, see http://institucional.us.es/apmp/index_APMP2013.htm

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 LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

For more information, see http://loriweb.org/blog/ai1ec_event/lori-4-logic-rationality-and-interaction/

The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

For more information, see http://loriweb.org/blog/ai1ec_event/lori-4-logic-rationality-and-interaction/

Natural language semantics is today a wide-ranging and methodologically diverse discipline. One can distinguish broadly between those who use experimental methods from those who don't. Mostly, semanticists in psychology or neuro-science work experimentally, while philosophers, logicians and linguists work non-experimentally. However, the variety of approaches and methods among both groups is huge. Even within the camp of theoretical semantics there are numerous communities: formal semantics, possible world semantics, discourse representation theory, etc. The same heterogeneity is present in the camp of empirical researchers: psycho- and neuro-linguistics, corpus linguistics, etc.

The aim of the workshop is to bring together these different branches which are often working on very related topics. The workshop will not only present the variety of empirical and theoretical approaches to semantics, but also invites explicit discussions of the neurobiological and psychological basis of semantics as well as its methods, and epistemology.

For more information, see http://www.rub.de/phil-lang/investigating/ or contact insemp at rub.de.

The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

For more information, see http://loriweb.org/blog/ai1ec_event/lori-4-logic-rationality-and-interaction/

Natural language semantics is today a wide-ranging and methodologically diverse discipline. One can distinguish broadly between those who use experimental methods from those who don't. Mostly, semanticists in psychology or neuro-science work experimentally, while philosophers, logicians and linguists work non-experimentally. However, the variety of approaches and methods among both groups is huge. Even within the camp of theoretical semantics there are numerous communities: formal semantics, possible world semantics, discourse representation theory, etc. The same heterogeneity is present in the camp of empirical researchers: psycho- and neuro-linguistics, corpus linguistics, etc.

The aim of the workshop is to bring together these different branches which are often working on very related topics. The workshop will not only present the variety of empirical and theoretical approaches to semantics, but also invites explicit discussions of the neurobiological and psychological basis of semantics as well as its methods, and epistemology.

For more information, see http://www.rub.de/phil-lang/investigating/ or contact insemp at rub.de.

Professor Andrzej Mostowski (1913-1975) was one of the leading researchers of Logic and Foundations of Mathematics in the period from WWII to his untimely death in 1975. A student of both Gödel and Tarski, he became world-wide famous for his contributions to all major areas of the Foundations, including Model Theory, Recursion Theory, Set Theory, and others. In celebration of the centenary of his birth, the Mostowski Centenary Conference will focus on his contributions to logic and the foundations of mathematics, as well as on the continuing influence of his work.

The objective of this meeting is to present and discuss up-to-date research advances in the field, with an emphasis on today's perspectives and challenges. The program will consist of eight plenary lectures related to Mostowski's heritage in modern Foundations of Mathematics, with additional invited presentations on current perspectives in the areas of Mostowski's mathematical activities. We will host an informal rump session intended for short and engaging presentations on recent unpublished results, work in progress, breaking news, progress reports, memories, or other short and entertaining topics of interest to the Conference attendees.

For more information, see http://mostowski100.mimuw.edu.pl/doku.php or contact mostowski100 at mimuw.edu.pl. Due to the space limitations, we may not be able to accept registration after September 1.

The 2013 Joint Rough Set Symposium (JRS2013) is a joint conference of the 14th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC13) and the Eighth International Conference on Rough Sets and Knowledge Technology (RSKT2013). The aim of JRS2013 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of rough set and its applications.

The conference will include workshops on Rough Set Theory (RST 2013) and Rough Set Applications (RSA 2013), as well as special sessions on "Covering-Based Rough Set and Its Applications", "Three-way Decisions and Probabilistic Rough Sets", "Soft Clustering", "Fuzzy and Rough Hybridization and Applications", "Mining Complex Data with Granular Computing", "Data Mining for Intelligent CCTV", "Granular Computing Theory Research and Application" and "Vagueness, Imprecision and Uncertainty in Description Logics"

For more information, see http://cs.smu.ca/jrs2013/

The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

For more information, see http://loriweb.org/blog/ai1ec_event/lori-4-logic-rationality-and-interaction/

Natural language semantics is today a wide-ranging and methodologically diverse discipline. One can distinguish broadly between those who use experimental methods from those who don't. Mostly, semanticists in psychology or neuro-science work experimentally, while philosophers, logicians and linguists work non-experimentally. However, the variety of approaches and methods among both groups is huge. Even within the camp of theoretical semantics there are numerous communities: formal semantics, possible world semantics, discourse representation theory, etc. The same heterogeneity is present in the camp of empirical researchers: psycho- and neuro-linguistics, corpus linguistics, etc.

The aim of the workshop is to bring together these different branches which are often working on very related topics. The workshop will not only present the variety of empirical and theoretical approaches to semantics, but also invites explicit discussions of the neurobiological and psychological basis of semantics as well as its methods, and epistemology.

For more information, see http://www.rub.de/phil-lang/investigating/ or contact insemp at rub.de.

Professor Andrzej Mostowski (1913-1975) was one of the leading researchers of Logic and Foundations of Mathematics in the period from WWII to his untimely death in 1975. A student of both Gödel and Tarski, he became world-wide famous for his contributions to all major areas of the Foundations, including Model Theory, Recursion Theory, Set Theory, and others. In celebration of the centenary of his birth, the Mostowski Centenary Conference will focus on his contributions to logic and the foundations of mathematics, as well as on the continuing influence of his work.

The objective of this meeting is to present and discuss up-to-date research advances in the field, with an emphasis on today's perspectives and challenges. The program will consist of eight plenary lectures related to Mostowski's heritage in modern Foundations of Mathematics, with additional invited presentations on current perspectives in the areas of Mostowski's mathematical activities. We will host an informal rump session intended for short and engaging presentations on recent unpublished results, work in progress, breaking news, progress reports, memories, or other short and entertaining topics of interest to the Conference attendees.

For more information, see http://mostowski100.mimuw.edu.pl/doku.php or contact mostowski100 at mimuw.edu.pl. Due to the space limitations, we may not be able to accept registration after September 1.

The 2013 Joint Rough Set Symposium (JRS2013) is a joint conference of the 14th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC13) and the Eighth International Conference on Rough Sets and Knowledge Technology (RSKT2013). The aim of JRS2013 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of rough set and its applications.

The conference will include workshops on Rough Set Theory (RST 2013) and Rough Set Applications (RSA 2013), as well as special sessions on "Covering-Based Rough Set and Its Applications", "Three-way Decisions and Probabilistic Rough Sets", "Soft Clustering", "Fuzzy and Rough Hybridization and Applications", "Mining Complex Data with Granular Computing", "Data Mining for Intelligent CCTV", "Granular Computing Theory Research and Application" and "Vagueness, Imprecision and Uncertainty in Description Logics"

For more information, see http://cs.smu.ca/jrs2013/

The 20th annual meeting of the working group "Logic in Computer Science" of the "Society for Computer Science" will be held at the University of Bremen on November 8 and 9, 2013 (presumably from Friday noon to Saturday noon). The following speakers have confirmed to give an invited talk: Christel Baier (TU Dresden) and Manuel Bodirsky (LIX Palaiseau).

We plan to have an informal dinner the night of November 8. To registrater (free of charge), please send an email by October 13 to Thomas Schneider at tschneider at informatik.uni-bremen.de, and please indicate whether you intend to join the dinner (at your own expense).

For further information (accommodation etc.), see http://www.informatik.uni-bremen.de/tdki/events/loginf2013 or contact one of the organizers at clu at informatik.uni-bremen.de, goeller at informatik.uni-bremen.de or tschneider at informatik.uni-bremen.de.

Professor Andrzej Mostowski (1913-1975) was one of the leading researchers of Logic and Foundations of Mathematics in the period from WWII to his untimely death in 1975. A student of both Gödel and Tarski, he became world-wide famous for his contributions to all major areas of the Foundations, including Model Theory, Recursion Theory, Set Theory, and others. In celebration of the centenary of his birth, the Mostowski Centenary Conference will focus on his contributions to logic and the foundations of mathematics, as well as on the continuing influence of his work.

The objective of this meeting is to present and discuss up-to-date research advances in the field, with an emphasis on today's perspectives and challenges. The program will consist of eight plenary lectures related to Mostowski's heritage in modern Foundations of Mathematics, with additional invited presentations on current perspectives in the areas of Mostowski's mathematical activities. We will host an informal rump session intended for short and engaging presentations on recent unpublished results, work in progress, breaking news, progress reports, memories, or other short and entertaining topics of interest to the Conference attendees.

For more information, see http://mostowski100.mimuw.edu.pl/doku.php or contact mostowski100 at mimuw.edu.pl. Due to the space limitations, we may not be able to accept registration after September 1.

The 2013 Joint Rough Set Symposium (JRS2013) is a joint conference of the 14th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC13) and the Eighth International Conference on Rough Sets and Knowledge Technology (RSKT2013). The aim of JRS2013 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of rough set and its applications.

The conference will include workshops on Rough Set Theory (RST 2013) and Rough Set Applications (RSA 2013), as well as special sessions on "Covering-Based Rough Set and Its Applications", "Three-way Decisions and Probabilistic Rough Sets", "Soft Clustering", "Fuzzy and Rough Hybridization and Applications", "Mining Complex Data with Granular Computing", "Data Mining for Intelligent CCTV", "Granular Computing Theory Research and Application" and "Vagueness, Imprecision and Uncertainty in Description Logics"

For more information, see http://cs.smu.ca/jrs2013/

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

The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session.

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

The 2013 Joint Rough Set Symposium (JRS2013) is a joint conference of the 14th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC13) and the Eighth International Conference on Rough Sets and Knowledge Technology (RSKT2013). The aim of JRS2013 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of rough set and its applications.

The conference will include workshops on Rough Set Theory (RST 2013) and Rough Set Applications (RSA 2013), as well as special sessions on "Covering-Based Rough Set and Its Applications", "Three-way Decisions and Probabilistic Rough Sets", "Soft Clustering", "Fuzzy and Rough Hybridization and Applications", "Mining Complex Data with Granular Computing", "Data Mining for Intelligent CCTV", "Granular Computing Theory Research and Application" and "Vagueness, Imprecision and Uncertainty in Description Logics"

For more information, see http://cs.smu.ca/jrs2013/

Logic has a long tradition at Tsinghua where the modern logic has been taught since the 1930s by pioneers like Jin Yuelin. In recent years, several initiatives have been taken to make it flourish once more. With the support of the newly established School of Humanities at Tsinghua University, we are organizing this conference 14-16 October 2013 and invite an international and Chinese group of speakers to present their research works, to show the broad interdisciplinary range of logic today, while also strengthening research contacts between Chinese and international colleagues.

For more information, see http://tsinghualogic.net/

Logic has a long tradition at Tsinghua where the modern logic has been taught since the 1930s by pioneers like Jin Yuelin. In recent years, several initiatives have been taken to make it flourish once more. With the support of the newly established School of Humanities at Tsinghua University, we are organizing this conference 14-16 October 2013 and invite an international and Chinese group of speakers to present their research works, to show the broad interdisciplinary range of logic today, while also strengthening research contacts between Chinese and international colleagues.

For more information, see http://tsinghualogic.net/

Logic has a long tradition at Tsinghua where the modern logic has been taught since the 1930s by pioneers like Jin Yuelin. In recent years, several initiatives have been taken to make it flourish once more. With the support of the newly established School of Humanities at Tsinghua University, we are organizing this conference 14-16 October 2013 and invite an international and Chinese group of speakers to present their research works, to show the broad interdisciplinary range of logic today, while also strengthening research contacts between Chinese and international colleagues.

For more information, see http://tsinghualogic.net/

The workshop is addressed to all researchers (early and not so early career) in all disciplines with an interest in inductive logic and confirmation in science. PhD students are particularly encouraged to participate.

Invited speakers: Branden Fitelson (Rutgers), Jan-Willem Romeijn (Groningen).

The workshop is free and open to everyone with an interest in inductive logic and confirmation in science. To register simply drop an email to the organizers (j.landes at kent.ac.uk) with your name and affilation. For more information, see http://www.kent.ac.uk/secl/philosophy/jw/2013/ilacis/

The workshop is addressed to all researchers (early and not so early career) in all disciplines with an interest in inductive logic and confirmation in science. PhD students are particularly encouraged to participate.

Invited speakers: Branden Fitelson (Rutgers), Jan-Willem Romeijn (Groningen).

The workshop is free and open to everyone with an interest in inductive logic and confirmation in science. To register simply drop an email to the organizers (j.landes at kent.ac.uk) with your name and affilation. For more information, see http://www.kent.ac.uk/secl/philosophy/jw/2013/ilacis/

"Tsinghua Meets..." is a new series of workshops that Tsinghua University is going to host. It will take place annually. The idea is to create a platform for Tsinghua logicians, as well as those researchers from neighbouring universities, to meet other research groups in the world, discuss ongoing works and establish future collaborations.

We are happy to open the new series of “Tsinghua Meets..." with a meeting with researchers at the ILLC, University of Amsterdam. We have invited researchers who are either from Tsinghua or the ILLC, or have closely worked with researchers in these institutions, to present their recent work and exchange ideas for future collaboration. We will have a panel discussion to explore further possibilities of joint project, including joint grant applications.

For more information, see http://tsinghualogic.net/?page_id=629.

To celebrate the successful conclusion of a Translations Project, we are going to organize a workshop "A Door to Logic, A Meeting on Logic, Language and Translation" on 19 October 2013 in Beijing. All participants of the translation projects of the four volumes are invited. As usual, while paying special attention to this Translation Project, the aims of the Workshop are broader. In particular, the lectures will address the current interdisciplinary position of logic in China and discuss the interface of logic and philosophy today. In addition, the workshop will include working sessions on major research themes by mostly younger researchers, with a view to sharing results and brainstorming about future collaborations, inside China and internationally. The workshop is open to everyone.

For more information, see http://tsinghualogic.net/?page_id=362

LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions

For more information, see http://grammars.grlmc.com/lata2014/ or contact florentinalilica.voicu at urv.cat

There is a long-standing tradition of using logical and, more specifically, model-theoretic tools in the analysis of natural languages. Building on this tradition, this ISLA-2014 workshop aims at addressing one specific issue that has been the topic of discussion lately in the areas of formal semantics, applied logic, computational linguistics, and philosophy. The issue at stake is the notion of *experiencer*, across languages and across linguistic categories.

In addressing questions concerning experiencers, our workshop aims at reaching a better understanding of the nature of argument structure in natural language, which we take to be a key element in understanding the logical patterns that linguistic constructions give rise to, and in modeling the logic of natural language. Our interdisciplinary workshop will provide a platform for a fruitful exchange between those working in foundational areas in logic and those who are interested in the applications of logic to natural languages.

For more information, see http://parles.upf.edu/llocs/bgehrke/experiencers2014/

Language Under Discussion is a new open-access peer-reviewed journal devoted to promoting open-minded debate on central questions in the study of language, from all relevant disciplinary and theoretical perspectives.

Each issue of the journal will be composed of a focus paper and discussion notes responding to it. An issue will remain "open" for adding discussion notes to it for a year after the focus paper is out, after which the author(s) of the focus paper will be invited to respond to the discussion notes. In addition, the journal will occasionally feature round-table discussions.

"Language under Discussion" is looking for open-minded and original authors and volunteer reviewers. This call for papers is ongoing and there is no specific deadline. For more information, see http://www.ludjournal.org/ or contact editors at ludjournal.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

In the past two and a half decades, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr13/

In the past two and a half decades, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr13/

In the past two and a half decades, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr13/

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013).

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

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013).

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

On Monday 28 October 2013 the philosophy department will visit the ILLC in order to strengthen the ties between the two. After three short talks by Benedikt Loewe, Michiel van Lambalgen and Christian Skirke drinks will be served.

For more information, contact illc at uva.nl

Our world is increasingly visual, and diagrams are an essential aspect of many of the fields that try to make sense of it. These include demography, cartography, medical imaging, aviation, and so on. In particular, diagrammatic logic is gaining ground in logic and mathematics as an alternative to or when used in parallel with symbolic logics, and recent years have seen the appearance of increasingly expressive diagrammatic systems.

The purpose of the workshop is manyfold. Firstly, we want to gain deeper insights into the activities involved in reasoning with diagrammatic systems: how can a modern, highly-expressive diagrammatic logic help with inferential tasks in practice, such as those undertaken in the field of knowledge engineering? Our second purpose, closely related to the first, is cognition: the verbaliser-visualiser cognitive style classification. Finally, our meeting will also focus on the topics of diagram aesthetics and visual complexity.

For more information, see http://www.cem.brighton.ac.uk/dlac2013/ or contact one of the organisers, Jim Burton (j.burton at brighton.ac.uk) or Lopmudra Choudhury (choudhuryl at yahoo.com).

The birth of the computing and its sciences has often been the topic of philosophical and historical reflection. The HaPoC-conferences have decided to bring together the historical and the philosophical viewpoints. They want to create an environment for a true interdisciplinary convergence around computer science, reenforcing research on the science(s) of computing and its history and stimulating a theoretical dialogue between these domains.

Please check out the website of HaPoC 2013 for more information on the conference: http://hapoc2013.sciencesconf.org

Our world is increasingly visual, and diagrams are an essential aspect of many of the fields that try to make sense of it. These include demography, cartography, medical imaging, aviation, and so on. In particular, diagrammatic logic is gaining ground in logic and mathematics as an alternative to or when used in parallel with symbolic logics, and recent years have seen the appearance of increasingly expressive diagrammatic systems.

The purpose of the workshop is manyfold. Firstly, we want to gain deeper insights into the activities involved in reasoning with diagrammatic systems: how can a modern, highly-expressive diagrammatic logic help with inferential tasks in practice, such as those undertaken in the field of knowledge engineering? Our second purpose, closely related to the first, is cognition: the verbaliser-visualiser cognitive style classification. Finally, our meeting will also focus on the topics of diagram aesthetics and visual complexity.

For more information, see http://www.cem.brighton.ac.uk/dlac2013/ or contact one of the organisers, Jim Burton (j.burton at brighton.ac.uk) or Lopmudra Choudhury (choudhuryl at yahoo.com).

The birth of the computing and its sciences has often been the topic of philosophical and historical reflection. The HaPoC-conferences have decided to bring together the historical and the philosophical viewpoints. They want to create an environment for a true interdisciplinary convergence around computer science, reenforcing research on the science(s) of computing and its history and stimulating a theoretical dialogue between these domains.

Please check out the website of HaPoC 2013 for more information on the conference: http://hapoc2013.sciencesconf.org

The birth of the computing and its sciences has often been the topic of philosophical and historical reflection. The HaPoC-conferences have decided to bring together the historical and the philosophical viewpoints. They want to create an environment for a true interdisciplinary convergence around computer science, reenforcing research on the science(s) of computing and its history and stimulating a theoretical dialogue between these domains.

Please check out the website of HaPoC 2013 for more information on the conference: http://hapoc2013.sciencesconf.org

The birth of the computing and its sciences has often been the topic of philosophical and historical reflection. The HaPoC-conferences have decided to bring together the historical and the philosophical viewpoints. They want to create an environment for a true interdisciplinary convergence around computer science, reenforcing research on the science(s) of computing and its history and stimulating a theoretical dialogue between these domains.

Please check out the website of HaPoC 2013 for more information on the conference: http://hapoc2013.sciencesconf.org

The central topic of this workshop is natural language learning and invention using (robotic) agents. The speakers are Michael Franke, Paul Vogt, Michael Spranger, and Simon Pauw. The workshop is concluded with a public SMART lecture by Luc Steels in a different building.

For more information, see https://www.illc.uva.nl/LaCo/smartcs/languageandrobots.html.