Following four successful years of the Buenos Aires Metaethics Workshop under the auspices of the Center for Advanced Studies in Philosophy and Phenomenology, The Languages of Emotion Programme at Freie Universität Berlin announces the first Berlin edition of the yearly Metaethics Workshop. This year the theme of the workshop shall be Moral Psychology and Ethics of Emotions.

For more information, see here or contact Dr. Johannes Windrich (johannes.windrich at fu-berlin.de) and Dr. Martin Gak (m.gak at kosmopolitica.org).

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The aim of the Conference on Logic, Questions and Inquiry (LoQI) is to address issues in the philosophical and logical investigations of questions and inquiry from the various perspectives of formal epistemology, formal semantics and pragmatics, philosophy of science and philosophy of mathematics. The conference intends to bring together researchers from these different fields in order to trigger interactions between the various existing approaches to questions and inquiry, and to promote cooperation and exchange on research projects related to these issues. The event will then be the occasion to assess the different past scientific contributions on these topics, and to discuss possibilities for new research directions.

For more information, see http://loqi.sciencesconf.org/ or contact loqi at sciencesconf.org

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

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 Monday, 3 June 2013, at the Radboud University Nijmegen, in room HG02.702 in the Huygens building, from 13:30 until 16:00. The schedule is as follows:
13:30 - 14:15 Frank Roumen
14:15 - 15:00 Helle Hvid Hansen
15:15 - 16:00 Matteo Mio

For more information, see http://homepages.cwi.nl/~winter/coin.html

Speakers include Lara Buchak (Berkeley), Anna-Sara Malmgren (Stanford), Jennifer Nagel (Toronto) and Carolina Sartorio (Arizona).

For more information, see http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 or contact corina.stroessner at uni-konstanz.de.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Speakers include Lara Buchak (Berkeley), Anna-Sara Malmgren (Stanford), Jennifer Nagel (Toronto) and Carolina Sartorio (Arizona).

For more information, see http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 or contact corina.stroessner at uni-konstanz.de.

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Speakers include Lara Buchak (Berkeley), Anna-Sara Malmgren (Stanford), Jennifer Nagel (Toronto) and Carolina Sartorio (Arizona).

For more information, see http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 or contact corina.stroessner at uni-konstanz.de.

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

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 thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Argumentation Technologies and on Norms and Normative Multi-Agent Systems.

For more information, see http://centria.di.fct.unl.pt/events/climaXIV/ or send enquiries to climaxiv2013 at easychair.org.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

There will be three speakers:
Jan-Willem Romeijn (Groningen): "Model uncertainty and implicit complexity",
Liesbeth de Mol (Ghent): "Unpredictability in computer-assisted mathematics", and
Peter Streufert (University of Western Ontario, London): "Off-equilibrium beliefs in a game, and off-paradigm beliefs in a science".

For more information and abstracts, see http://philevents.org/event/show/9716.

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The 4th Meeting of the Medieval Philosophy Network will take place at the The Warburg Institute, University of London, on the 7th of June, 2013.

For more information, see here or http://www.medievalphilosophy.org.uk, or contact the organisers: Prof John Marenbon and Dr Anna Marmodoro.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with prospective or well established philosophers, take a first peek into the philosophical business, and to attend interesting presentations. Beside the conference presentations there will be a workshop on Mathematical Philosophy.

Keynote Speakers: Catarina Dulith Novaes, Ole T. Hjortland, Martin Kusch and Herlinde Pauer-Studer.

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

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The workshop 'Methods for Modalities' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term 'modal logics' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.

For more information, see http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/

The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

For more information, see http://spe6conference.wordpress.com/

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.

These aims are reflected by the format of this year workshop, with tutorials by James Cummings, Sy Friedman, Su Gao and John Steel, and talks by Tristan Bice, Scott Cramer, Luca Motto Ros, Victor Torres Perez, and Trevor Wilson, as well as open discussion sessions. Special registration fees are available to Ph.D. and master students, however the conference is open to all interested scholars.

The official website of the conference is at http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

For more information, see http://icail2013.ittig.cnr.it

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

For more information, see http://spe6conference.wordpress.com/

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.

These aims are reflected by the format of this year workshop, with tutorials by James Cummings, Sy Friedman, Su Gao and John Steel, and talks by Tristan Bice, Scott Cramer, Luca Motto Ros, Victor Torres Perez, and Trevor Wilson, as well as open discussion sessions. Special registration fees are available to Ph.D. and master students, however the conference is open to all interested scholars.

The official website of the conference is at http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

For more information, see http://icail2013.ittig.cnr.it

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

For more information, see http://spe6conference.wordpress.com/

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.

These aims are reflected by the format of this year workshop, with tutorials by James Cummings, Sy Friedman, Su Gao and John Steel, and talks by Tristan Bice, Scott Cramer, Luca Motto Ros, Victor Torres Perez, and Trevor Wilson, as well as open discussion sessions. Special registration fees are available to Ph.D. and master students, however the conference is open to all interested scholars.

The official website of the conference is at http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

For more information, see http://icail2013.ittig.cnr.it

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

For more information, see http://spe6conference.wordpress.com/

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.

These aims are reflected by the format of this year workshop, with tutorials by James Cummings, Sy Friedman, Su Gao and John Steel, and talks by Tristan Bice, Scott Cramer, Luca Motto Ros, Victor Torres Perez, and Trevor Wilson, as well as open discussion sessions. Special registration fees are available to Ph.D. and master students, however the conference is open to all interested scholars.

The official website of the conference is at http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

For more information, see http://icail2013.ittig.cnr.it

The amount of literary material available on-line keeps growing rapidly: there are machine-readable texts from libraries, collections and e-book stores, as well as "live" literature such as e-zines, blogs or self-published e-books. We need tools to help navigate, visualize and better appreciate the high volume of available literature.

CLFL-2013 will focus on the subject of applying state-of-the art NLP methods to literary data, and consider questions such as: What characteristics of literature make it special? Is it, indeed, a unique type of language data? How should we adapt our tools to find meaning in literary text? What lessons from automatic processing of literature could apply to other types of data?

All information sits at: https://sites.google.com/site/clfl2013/

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

For more information, see http://spe6conference.wordpress.com/

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.

These aims are reflected by the format of this year workshop, with tutorials by James Cummings, Sy Friedman, Su Gao and John Steel, and talks by Tristan Bice, Scott Cramer, Luca Motto Ros, Victor Torres Perez, and Trevor Wilson, as well as open discussion sessions. Special registration fees are available to Ph.D. and master students, however the conference is open to all interested scholars.

The official website of the conference is at http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

For more information, see http://icail2013.ittig.cnr.it

The amount of literary material available on-line keeps growing rapidly: there are machine-readable texts from libraries, collections and e-book stores, as well as "live" literature such as e-zines, blogs or self-published e-books. We need tools to help navigate, visualize and better appreciate the high volume of available literature.

CLFL-2013 will focus on the subject of applying state-of-the art NLP methods to literary data, and consider questions such as: What characteristics of literature make it special? Is it, indeed, a unique type of language data? How should we adapt our tools to find meaning in literary text? What lessons from automatic processing of literature could apply to other types of data?

All information sits at: https://sites.google.com/site/clfl2013/

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

For more information, contact illc at uva.nl

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.

For more information, see http://www.esslli2014.de/

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The Faculty of Philosophy at the University of Oxford is pleased to announce a colloquium to mark the retirement of Dan Isaacson, celebrating his four decades working at Oxford.

The one-day colloquium, 'Arithmetic, Structures and the Rise of Modern Logic', will be held on Saturday 15 June 2013 and will consist of papers by leading scholars in logic and the philosophy of mathematics. Lunch will be provided and registration is free. Attendees may also wish to attend the post-colloquium dinner, which will be very reasonably priced and held at a nearby college.

For further details and registration, please see here: http://users.ox.ac.uk/~sfop0114/isaacson/isaacson.htm.

The 'Symposium on Logic, Music and Quantum Information', will take place in Florence from June 15 till June 17. Each of the three days of the Symposium will be devoted to a different theme, ranging from new developments in logic, quantum logic and quantum information to formal models for music analysis.

In addition to an exciting scientific programme in one of the most beautiful locations in Florence, we offer two concerts and a special lecture on Schoenberg, given by Nuria Schoenberg.

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

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The 'Symposium on Logic, Music and Quantum Information', will take place in Florence from June 15 till June 17. Each of the three days of the Symposium will be devoted to a different theme, ranging from new developments in logic, quantum logic and quantum information to formal models for music analysis.

In addition to an exciting scientific programme in one of the most beautiful locations in Florence, we offer two concerts and a special lecture on Schoenberg, given by Nuria Schoenberg.

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

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

The 'Symposium on Logic, Music and Quantum Information', will take place in Florence from June 15 till June 17. Each of the three days of the Symposium will be devoted to a different theme, ranging from new developments in logic, quantum logic and quantum information to formal models for music analysis.

In addition to an exciting scientific programme in one of the most beautiful locations in Florence, we offer two concerts and a special lecture on Schoenberg, given by Nuria Schoenberg.

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

This is a joint workshop of the research group of Inquisitive logic and the research group of Dependence logic. Anyone can attend.

Speakers: Ivano Ciardelli, Pietro Galliani, Jeroen Groenendijk, Miika Hannula, Juha Kontinen, Floris Roelofsen, Jouko Väänänen, Matthijs Westera, Fan Yang

For more information, see http://mathstat.helsinki.fi/logic/ILDL_workshop.htm or contact Jouko Väänänen at jouko.vaananen at helsinki.fi.

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL2013, these will be: Sven Ove Hansson, Annika Wallin, and Jörgen Weibull.

For more information, see http://www.meansandends.com/workshop13/

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL2013, these will be: Sven Ove Hansson, Annika Wallin, and Jörgen Weibull.

For more information, see http://www.meansandends.com/workshop13/

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL2013, these will be: Sven Ove Hansson, Annika Wallin, and Jörgen Weibull.

For more information, see http://www.meansandends.com/workshop13/

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

The goal of this conference is to integrate the community working on logic, games and automata. Papers on these topics are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. A visit to the Highlights conference gives you a wide picture of the latest research in the area, as well as a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume.

Representative areas include, but are not restricted to: logic and finite model theory, automata theory, and games for logic and verification. The programme includes one tutorial day and three days of contributed talks and keynote speakers.

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

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

Logica 2013 will be the 27th in the series of annual international symposia devoted to logic. The official language of the symposium is English. Invited speakers are Johan van Benthem, Michael Dunn, Volker Halbach and Michiel van Lambalgen.

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

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

Logica 2013 will be the 27th in the series of annual international symposia devoted to logic. The official language of the symposium is English. Invited speakers are Johan van Benthem, Michael Dunn, Volker Halbach and Michiel van Lambalgen.

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

On the occasion of Michel DeGraff's visit to Amsterdam, we are planning an informal lunchtime colloquium on linguistic complexity.

The colloquium will take the form of six very brief presentations (10 minutes each), followed by discussion. The programme is the following:
Sterre Leufkens "Learnability: complexity + transparency"
Jenny Audring "How complex is grammatical gender?"
Jeannette Schaeffer "On the complexity and learnability of direct object scrambling"
Judith Rispens "Complexity in bilingual acquisition: the role of phonotactic frequency of past tense forms"
Jakub Szymanik "Computational Complexity in Semantics"
Fred Weerman "The different faces of complexity"

For more information, see http://smartcognitivescience.wordpress.com/2013/06/05/. Lunch will be provided courtesy of SMART. Please send a short message toE.O.Aboh at uva.nl and j.audring at uva.nl to let us know you're coming.

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

From Saturday, 22 June 2013, to Monday, 24 June 2013, we shall host a workshop on "Alternative Set Theories" at the Universiteit van Amsterdam. The workshop is primarily (but not exclusively) intended for postgraduate students working in the area (i.e., Master's and PhD students). For the purposes of this workshop, a set theory is "alternative" if it violates one of the axioms of ZF or has an underlying logic that is not classical.

Everyone interested in the subject is cordially invited to attend. No registration fee is required, but we expect registration via an informal e-mail to bloewe at science.uva.nl by 15 June 2013 in order to attend.

For more information, see http://www.math.uni-hamburg.de/home/loewe/AST2013/.

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

From Saturday, 22 June 2013, to Monday, 24 June 2013, we shall host a workshop on "Alternative Set Theories" at the Universiteit van Amsterdam. The workshop is primarily (but not exclusively) intended for postgraduate students working in the area (i.e., Master's and PhD students). For the purposes of this workshop, a set theory is "alternative" if it violates one of the axioms of ZF or has an underlying logic that is not classical.

Everyone interested in the subject is cordially invited to attend. No registration fee is required, but we expect registration via an informal e-mail to bloewe at science.uva.nl by 15 June 2013 in order to attend.

For more information, see http://www.math.uni-hamburg.de/home/loewe/AST2013/.

RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.

For more information, see http://www.win.tue.nl/rdp2013/

A one day workshop on `Logics for Resources, Processes, and Programs' will be held the 16th September 2013 in conjunction with the Tableaux Conference in Nancy, France, with D. Galmiche and D. Pym as co-chairs.

The purpose of this workshop would be to discuss recent results on logics, including systems formulated in the style of Hoare and Hennessy-Milner, for modelling resources, processes, programs, and their interactions. We envisage a range of perspectives: proof-theoretic foundations, including decidability and complexity; semantic foundations (e.g., new resource semantics); specification of properties and behaviours; verification and analysis of programs and systems. It should help to establish and publicize a research agenda for such logics and their use in the development of trusted systems.

The workshop is intended to provide a forum for discussion between researchers interested in logics of resources (from foundations to related calculi and applications) and researchers interested in languages and methods for specification of mobile, distributed, concurrent systems and their verification.

Additional information will be available through WWW address: http://www.loria.fr/~galmiche/LRPP2013.html.

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

From Saturday, 22 June 2013, to Monday, 24 June 2013, we shall host a workshop on "Alternative Set Theories" at the Universiteit van Amsterdam. The workshop is primarily (but not exclusively) intended for postgraduate students working in the area (i.e., Master's and PhD students). For the purposes of this workshop, a set theory is "alternative" if it violates one of the axioms of ZF or has an underlying logic that is not classical.

Everyone interested in the subject is cordially invited to attend. No registration fee is required, but we expect registration via an informal e-mail to bloewe at science.uva.nl by 15 June 2013 in order to attend.

For more information, see http://www.math.uni-hamburg.de/home/loewe/AST2013/.

RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.

For more information, see http://www.win.tue.nl/rdp2013/

The RTA conferences series serves as a forum for presenting original work on all aspects of rewriting.

RTA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2013) and several related events.

For more information, see http://rta2013.few.vu.nl/

The main aims of the meeting are:
- To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
- To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.

For more information, see http://www.win.tue.nl/rdp2013/

The RTA conferences series serves as a forum for presenting original work on all aspects of rewriting.

RTA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2013) and several related events.

For more information, see http://rta2013.few.vu.nl/

The main aims of the meeting are:
- To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
- To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

The workshop aims at connecting two debates from two different disciplines: the debate over logical constants in philosophy of logic and the debate on the functional vs. lexical distinction in linguistics. It further aims at examining the notion of semantic invariance, both as used by logicians (namely, as a criterion for logicality) and by linguists and philosophers of language in discussions of semantics. One of the main goals of the workshop is to examine whether the distinction between logical vs. non-logical expressions maps onto the
distinction between functional vs. lexical (or 'substantive') categories.

For more information, see http://parles.upf.edu/llocs/istojanovic/workshop/

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

For more information, see http://lii.rwth-aachen.de/lics/lics13/

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.

For more information, see http://www.win.tue.nl/rdp2013/

The RTA conferences series serves as a forum for presenting original work on all aspects of rewriting.

RTA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2013) and several related events.

For more information, see http://rta2013.few.vu.nl/

The main aims of the meeting are:
- To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
- To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

For more information, see http://lii.rwth-aachen.de/lics/lics13/

The ILLC Midsummernight Colloquium 2013 will have three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Martin Stokhof (LoLa), Jakub Szymanik (LoCo) and Ashley Burgoyne (LaCo) have accepted to give presentations.

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

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.

For more information, see http://www.win.tue.nl/rdp2013/

The main aims of the meeting are:
- To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
- To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

For more information, see http://lii.rwth-aachen.de/lics/lics13/

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.

For more information, see http://www.win.tue.nl/rdp2013/

The main aims of the meeting are:
- To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
- To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

For more information, see http://lii.rwth-aachen.de/lics/lics13/

The human mind grows and develops in an environment rich with material and symbolic practices and other patterns of social interaction. From the moment we are born, we begin to learn how to adapt our behaviour to this richly structured developmental environment. The cognitive capacities that emerge out of this developmental process are the joint product of human nature and nurture. How should we understand this process of enculturation? More specifically how can the patterns of social interaction, preferences, presuppositions and expectations that define a cultural practice exert a causal influence on our behaviour? This interdisciplinary workshop will draw on research from philosophy, cognitive science and the social sciences to address these and other questions. We will focus in particular on the domains of mathematical cognition, social cognition and communication.

Speakers: Tad Zawidzki (Georgetown); Richard Menary (Macquarie); Catarina Duthil Novaes (Groningen); Marc Slors (Nijmegen); Julian Kiverstein (ILLC).

To register or for more information, please contact j.d.kiverstein at uva.nl.

The Digital Humanities are booming. However, philosophy is underrepresented in the Digital Humanities. This workshop has three aims: (i) to present computational methods that can be used by philosophers; (ii) to present research in which philosophical problems are studied by means of computational methods; (iii) to reflect on the relevance of research in the Digital Humanities for research in the humanities and philosophy.

Attendance is free, but please register by sending an e-mail to axiom.erc at gmail.com. For more further information and abstracts: http://axiom.vu.nl/activities.

Within the Cultural Heritage domain, games are used in various ways. We are currently witnessing a large effort at international level towards the long-term preservation and accessibility of cultural heritage through many initiatives. While multimedia archives and the digitized artifacts and places offer easy access of cultural content to people regardless space and time constraints, it is through game mechanics that the large public is motivated to explore these resources.

Serious Games (SG) enable visitors to explore a realistic and engaging virtual environment, and immersive gameplay can reawaken history and encourage virtual tourists to learn more. On the other hand, Games With A Purpose (GWAP) are games designed to collect annotation data or solve a problem. While playing the game, the users provide information about collections of images or music, that is otherwise laborious to obtain.

For more information and a programme, see http://www.nwo.nl/en/research-and-results/programmes/, or contact j.a.burgoyne at uva.nl.

The word 'know' seems to find a comfortable and colloquial equivalent in every human language, which suggests that the concept expressed by this word plays important roles in human life and thought. In recent years, a number of philosophers have investigated the various roles or purposes of knowledge attributions in epistemic evaluation. This workshop seeks to advance the debate by bringing together scholars working in epistemology and related areas. We are interested in exploring any topics that are concerned with the roles of knowledge (or the word 'knowledge') in human life.

For more information, see http://www.phil.cam.ac.uk/news_events/roles_of_knowledge/roles_of_knowledge.html

The word 'know' seems to find a comfortable and colloquial equivalent in every human language, which suggests that the concept expressed by this word plays important roles in human life and thought. In recent years, a number of philosophers have investigated the various roles or purposes of knowledge attributions in epistemic evaluation. This workshop seeks to advance the debate by bringing together scholars working in epistemology and related areas. We are interested in exploring any topics that are concerned with the roles of knowledge (or the word 'knowledge') in human life.

For more information, see http://www.phil.cam.ac.uk/news_events/roles_of_knowledge/roles_of_knowledge.html

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.

For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

Topics include:
Boolean functions
Block ciphers
Hash functions
Differential and linear cryptanalysis
Implementation attacks
Fault injection attacks
Countermeasures
Leakage-resilient cryptography
White-box cryptography
Security of embedded systems

For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/