The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 51st Convention will be held at the University of Kent, Canterbury, UK, from 20-22nd April 2015.

The convention is structured as a number of co-located symposia, together with a number of plenary talks and events. A symposium lasts for one or two days, and can include any type of event of academic benefit: talks, posters, panels, discussions, debates, demonstrations, outreach sessions, exhibits, etc. Each symposium is organised by its own programme committee.

For more information, see http://www.cs.kent.ac.uk/events/2015/AISB2015/. or contact C.G.Johnson at kent.ac.uk.

ECAP-conferences are organized every three years by the /European Society for Analytic Philosophy/ (ESAP). The aim of these conferences is to establish contacts and encourage collaboration among European analytic philosophers.

For more information, see http://www.esap.info/ecap8/

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

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://wollic.org/wollic2014/.

ECAP-conferences are organized every three years by the /European Society for Analytic Philosophy/ (ESAP). The aim of these conferences is to establish contacts and encourage collaboration among European analytic philosophers.

For more information, see http://www.esap.info/ecap8/

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

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://wollic.org/wollic2014/.

There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.

A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.

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

Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular.

The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields

For more information, see http://ecsi.sintelnet.eu

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

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://wollic.org/wollic2014/.

There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.

A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.

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

Confirmed keynote speakers: Kit Fine (New York), Øystein Linnebo (Birbeck), David McCarty (Indiana) and Gabriel Sandu (Helsinki).

For more information, please contact: Sorin Costreie s.cos3e at yahoo.ca or visit http://www.srfa.ro/bcap-2014

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://wollic.org/wollic2014/.

There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.

A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.

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

Confirmed keynote speakers: Kit Fine (New York), Øystein Linnebo (Birbeck), David McCarty (Indiana) and Gabriel Sandu (Helsinki).

For more information, please contact: Sorin Costreie s.cos3e at yahoo.ca or visit http://www.srfa.ro/bcap-2014

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

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

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

The Colloquium Logicum is organized every two years by the DVMLG, the German association of logicians in mathematics, philosophy and theoretical computer science. In 2014 the conference will take place in Munich at the Universität der Bundeswehr München, Neubiberg. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

Besides the regular scientific programme it is planned to include a PhD Colloquium with invited presentations of excellent recent PhD graduates.

For more information, see the web page at http://cca-net.de/cl2014/

There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.

A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.

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

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

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

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

The Colloquium Logicum is organized every two years by the DVMLG, the German association of logicians in mathematics, philosophy and theoretical computer science. In 2014 the conference will take place in Munich at the Universität der Bundeswehr München, Neubiberg. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

Besides the regular scientific programme it is planned to include a PhD Colloquium with invited presentations of excellent recent PhD graduates.

For more information, see the web page at http://cca-net.de/cl2014/

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

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

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

The Colloquium Logicum is organized every two years by the DVMLG, the German association of logicians in mathematics, philosophy and theoretical computer science. In 2014 the conference will take place in Munich at the Universität der Bundeswehr München, Neubiberg. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

Besides the regular scientific programme it is planned to include a PhD Colloquium with invited presentations of excellent recent PhD graduates.

For more information, see the web page at http://cca-net.de/cl2014/

The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) organises a one-day conference devoted to AXIOMATIC THEORIES OF TRUTH on Saturday the 6th of September in Neuchatel (Switzerland).

The following speakers have confirmed their venue
Sebastian Eberhard (Bern, Paul Bernays Award 2013)
Volker Halbach (Oxford)
Leon Horsten (Bristol)
Philip Welch (Bristol)

You will find more information on our website at http://www.sgslps.ch/events.php.

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

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

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

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

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

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

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

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

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

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

For more information, see http://www.tsdconference.org/tsd2014/ or contact the organizers at tsd2014 at tsdconference.org.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

For more information, see http://www.tsdconference.org/tsd2014/ or contact the organizers at tsd2014 at tsdconference.org.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

For more information, see http://www.tsdconference.org/tsd2014/ or contact the organizers at tsd2014 at tsdconference.org.

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

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

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

For more information, see http://www.tsdconference.org/tsd2014/ or contact the organizers at tsd2014 at tsdconference.org.

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

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

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

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

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

For more information, see http://www.tsdconference.org/tsd2014/ or contact the organizers at tsd2014 at tsdconference.org.

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

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

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

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

Predicate Approaches to modality are a viable alternative to the now standard operator approaches to modality. They allow for a uniform treatment of truth and the modal notions, are expressively rich and they fit in nicely with the relational analysis of propositional attitudes. The workshop is intended to further and foster research on predicate approaches to modality in philosophical and mathematical logic.

For more information see http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/pam2014/ or contact the organizers: Martin Fischer (M.Fischer at lrz.uni-muenchen.de) or Johannes Stern (Johannes.Stern at lrz.uni-muenchen.de).

The 10th Symposium for Cognition, Logic and Communication, to be held at the University of Latvia in Riga on September 12-13, 2014, will focus on the cognitive processing of space, its cognitive and formal representation, and its linguistic encoding. We will explore the content and the scope of spatial cognition and how universal it is. The impact of non-spatial factors on spatial cognition and transformations of spatial cognition into non-spatial domains will be discussed. Scale-dependency of spatial cognition and differences between small-scale and large-scale spatial cognition will be explored. The syntax and semantics of locative and other spatial expressions will be examined, along with their relations to cognitive structures of spatial representation.

For more information, see http://cognition.lu.lv/symp/10-call.html or contact jurgis.skilters at lu.lv or jurgisskilters at gmail.com.

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

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

The 10th Symposium for Cognition, Logic and Communication, to be held at the University of Latvia in Riga on September 12-13, 2014, will focus on the cognitive processing of space, its cognitive and formal representation, and its linguistic encoding. We will explore the content and the scope of spatial cognition and how universal it is. The impact of non-spatial factors on spatial cognition and transformations of spatial cognition into non-spatial domains will be discussed. Scale-dependency of spatial cognition and differences between small-scale and large-scale spatial cognition will be explored. The syntax and semantics of locative and other spatial expressions will be examined, along with their relations to cognitive structures of spatial representation.

For more information, see http://cognition.lu.lv/symp/10-call.html or contact jurgis.skilters at lu.lv or jurgisskilters at gmail.com.

We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

Meeting of the board and consortium of the Language and Interaction project.

For more information, contact illc at uva.nl

CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

To view the programme and to register please visit http://ccc2014.fmf.uni-lj.si/

Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, and these experts will engage in open discussions with each other as well as interact with the participants.

The school is open to students, researchers and practitioners. Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

Visit the web site of the school for more information: http://iaoa.org/isc2014/.

We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

To view the programme and to register please visit http://ccc2014.fmf.uni-lj.si/

Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, and these experts will engage in open discussions with each other as well as interact with the participants.

The school is open to students, researchers and practitioners. Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

Visit the web site of the school for more information: http://iaoa.org/isc2014/.

We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

To view the programme and to register please visit http://ccc2014.fmf.uni-lj.si/

Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, and these experts will engage in open discussions with each other as well as interact with the participants.

The school is open to students, researchers and practitioners. Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

Visit the web site of the school for more information: http://iaoa.org/isc2014/.

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.

For more information regarding the conference, see the ICTAC 2014 web page at http://fmi.unibuc.ro/ictac2014/ or contact the conference email address: ictac2014 at fmi.unibuc.ro

We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

To view the programme and to register please visit http://ccc2014.fmf.uni-lj.si/

Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, and these experts will engage in open discussions with each other as well as interact with the participants.

The school is open to students, researchers and practitioners. Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

Visit the web site of the school for more information: http://iaoa.org/isc2014/.

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.

For more information regarding the conference, see the ICTAC 2014 web page at http://fmi.unibuc.ro/ictac2014/ or contact the conference email address: ictac2014 at fmi.unibuc.ro

Recent decades have seen an explosion of research into formal argumentation theory within computer science, drawing on roots in philosophy and legal theory. The formalisms developed enable reasoning with incomplete and inconsistent information to reach decisions that are rational according to various criteria. However, this work has largely been conducted in isolation from the established mathematical decision sciences in microeconomic theory.

The workshop will bring together philosophers, economists, computer scientists and psychologists to discuss areas of common interests and possible directions for research.

For more information, see http://www.doc.ic.ac.uk/~rac101/ard/

Modal epistemology explores the possibilities and boundaries of our modal knowledge, primarily the knowledge of metaphysical possibility and of metaphysical necessity. Until recently, the dominant method of dealing with this topic consisted in investigating to what extent conceivability can be a guide for assessing metaphysical modality. However, nowadays what might be called abductivist turn has shifted the focus from conceivability to the sort of the evidential base regarding metaphysical modalities as such.

In view of the last fact, the aim of the conference is, on the one hand, to deepen our understanding of the nature of metaphysical modality in order to find out what is the evidential base that any good theory of modal epistemology should explain, and, on the other hand, to establish how flexible are competing theories of modal epistemology in explaining the nature of modal knowledge.

Entrance is free. For further information see https://sites.google.com/site/philosophyinbelgrade/events/future-events/ or contact Mr. Dusko Prelevic (dprelevic at yahoo.com) or Mr. Milos Arsenijevic (marsenij at f.bg.ac.rs).

We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

To view the programme and to register please visit http://ccc2014.fmf.uni-lj.si/

Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, and these experts will engage in open discussions with each other as well as interact with the participants.

The school is open to students, researchers and practitioners. Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

Visit the web site of the school for more information: http://iaoa.org/isc2014/.

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.

For more information regarding the conference, see the ICTAC 2014 web page at http://fmi.unibuc.ro/ictac2014/ or contact the conference email address: ictac2014 at fmi.unibuc.ro

Recent decades have seen an explosion of research into formal argumentation theory within computer science, drawing on roots in philosophy and legal theory. The formalisms developed enable reasoning with incomplete and inconsistent information to reach decisions that are rational according to various criteria. However, this work has largely been conducted in isolation from the established mathematical decision sciences in microeconomic theory.

The workshop will bring together philosophers, economists, computer scientists and psychologists to discuss areas of common interests and possible directions for research.

For more information, see http://www.doc.ic.ac.uk/~rac101/ard/

Modal epistemology explores the possibilities and boundaries of our modal knowledge, primarily the knowledge of metaphysical possibility and of metaphysical necessity. Until recently, the dominant method of dealing with this topic consisted in investigating to what extent conceivability can be a guide for assessing metaphysical modality. However, nowadays what might be called abductivist turn has shifted the focus from conceivability to the sort of the evidential base regarding metaphysical modalities as such.

In view of the last fact, the aim of the conference is, on the one hand, to deepen our understanding of the nature of metaphysical modality in order to find out what is the evidential base that any good theory of modal epistemology should explain, and, on the other hand, to establish how flexible are competing theories of modal epistemology in explaining the nature of modal knowledge.

Entrance is free. For further information see https://sites.google.com/site/philosophyinbelgrade/events/future-events/ or contact Mr. Dusko Prelevic (dprelevic at yahoo.com) or Mr. Milos Arsenijevic (marsenij at f.bg.ac.rs).

We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.

For more information regarding the conference, see the ICTAC 2014 web page at http://fmi.unibuc.ro/ictac2014/ or contact the conference email address: ictac2014 at fmi.unibuc.ro

Modal epistemology explores the possibilities and boundaries of our modal knowledge, primarily the knowledge of metaphysical possibility and of metaphysical necessity. Until recently, the dominant method of dealing with this topic consisted in investigating to what extent conceivability can be a guide for assessing metaphysical modality. However, nowadays what might be called abductivist turn has shifted the focus from conceivability to the sort of the evidential base regarding metaphysical modalities as such.

In view of the last fact, the aim of the conference is, on the one hand, to deepen our understanding of the nature of metaphysical modality in order to find out what is the evidential base that any good theory of modal epistemology should explain, and, on the other hand, to establish how flexible are competing theories of modal epistemology in explaining the nature of modal knowledge.

Entrance is free. For further information see https://sites.google.com/site/philosophyinbelgrade/events/future-events/ or contact Mr. Dusko Prelevic (dprelevic at yahoo.com) or Mr. Milos Arsenijevic (marsenij at f.bg.ac.rs).

The scope of the conference includes algorithms and data structures, automata and formal languages, computational complexity, and logic in computer science, ass well as current challenges such as natural computing, quantum computing and mobile and net computing. The conference features invited speakers Sanjeev Arora (CS, Princeton), Manuel Bodirsky (CNRS, LIX, Palaiseau) and Peter Sanders (KIT, Karlsruhe), as well as tutorials on Computational Social Choice (by Felix Brandt, TUM, Munich) and Algorithmic Game Theory (TBA).

For more information, see http://www14.in.tum.de/STACS2015 or email pc-chairs-stacs2015 at easychair.org (for information regarding paper submission).

In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. Amounts of data of ever increasing scale are now handled and processed. The ARCOE-Logic workshop aims to provide a dedicated forum for the researchers to discuss recent developments, important open issues and future directions in the area of contextual knowledge representation and knowledge management.

ARCOE-Logic 2014 is held in conjunction with The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014).

For more information, see http://www.arcoe.org/2014/.

Concepts, their acquisition, representation, generation, and adaptation stand in the focus of research in several different areas spanning a very diverse range of fields and disciplines: From artificial intelligence and computational creativity, through cognitive science, psychology and the learning sciences/pedagogics, to theoretical and formal philosophy. In this workshop, we want to shed light on several different key aspects of a concept life cycle.

For more information, see http://cogsci.uni-osnabrueck.de/~cigar/

Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C~s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.

The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.

For more information, see http://ast2014.fzi.de or contact the AST 2014 organising committee: ast2014 at fzi.de

The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.

The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014

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

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

Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C~s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.

The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.

For more information, see http://ast2014.fzi.de or contact the AST 2014 organising committee: ast2014 at fzi.de

The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.

The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014

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

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

This workshop, held in conjunction with KI 2014, aims at bringing together researchers from Artificial Intelligence, Automated Deduction, Computer Science, Cognitive Psychology, Philosophy, and related areas to foster a multi-disciplinary exchange between research in higher-level cognition and computation.

Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning.

For more information, see http://imodspace.iig.uni-freiburg.de/kik-ws/

Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C~s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.

The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.

For more information, see http://ast2014.fzi.de or contact the AST 2014 organising committee: ast2014 at fzi.de

The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.

The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014

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

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

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

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

The symposium of the Italian Association for Artificial Intelligence (AI*IA) is a traditional two-yearly meeting of researchers working on theory and applications in Artificial Intelligence. The XIII symposium will be hosted by the Department of Computer Science at the University of Pisa.

AI*IA 2014 will be centred on thematic workshops, tutorials, panels, doctoral consortium, demo session, plenary sessions with invited speaker seminars, and a special track on the theme Artificial Intelligence for Society and Economy. We hope that the 2014 meeting will strengthen awareness that AI is assuming a central role in the competitive strategies of the present scenario of rapid changes.

The AI*IA Doctoral Consortium on December 11th is a full-immersion occasion, for Ph.D. students, to discuss their ongoing research work, establish research connections with peer researchers, and receive first-class mentorship from domain experts.

For more information, see http://aiia2014.di.unipi.it/

Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C~s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.

The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.

For more information, see http://ast2014.fzi.de or contact the AST 2014 organising committee: ast2014 at fzi.de

The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.

The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014

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

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

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

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

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 12th European Conference 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 conference 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.

EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS). To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned.

For more information, see http://agents.fel.cvut.cz/eumas2014/, or email the organizers, Jiri Vokrinek (jiri.vokrinek at fel.cvut.cz) and Michal Jakob (jakob at agents.fel.cvut.cz).

Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C~s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.

The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.

For more information, see http://ast2014.fzi.de or contact the AST 2014 organising committee: ast2014 at fzi.de

The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.

The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014

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

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

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

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

On 26 and 27 September 2014 the Institute for Logic, Language and Computation (ILLC) and the University of Amsterdam organize a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day will have lectures for the general public, Johan's valedictory lecture 'Fanning the Flames of Reason', and a reception. The second day is a scientific workshop devoted to current trends in logic, with emphasis on the areas where Johan was or is active.

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

On 26 and 27 September 2014 the Institute for Logic, Language and Computation (ILLC) and the University of Amsterdam organize a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day will have lectures for the general public, Johan's valedictory lecture 'Fanning the Flames of Reason', and a reception. The second day is a scientific workshop devoted to current trends in logic, with emphasis on the areas where Johan was or is active.

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

Epistemic reasons ground belief: in a factual sense they are actual grounds for belief, and in a normative sense they are good grounds for belief. This year's symposium will be devoted to exploring the concept of epistemic reasons, whether factual or normative. Specific topics of presentation may include the relevance of practical interests and affective states to epistemic reasons, psychologism about epistemic reasons and its competitors, epistemic reasons in foundationalist, coherentist, and externalist frameworks, a priori epistemic reasons, epistemic reasons and testimonial knowledge, and the role of epistemic reasons in automatic vs. deliberative cognitive processes.

For more information, visit the Symposium's website at http://sce-cse.recherche.usherbrooke.ca or write to Yves Bouchard (yves.bouchard at usherbrooke.ca) or David Matheson (david_matheson at carleton.ca).

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.

The programme will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic. In addition there will be many contributed talks. The conference topics include, but are not limited to: Set Theory; Model theory; Recursion Theory; Proof theory; Computability Theory; Algebraic Structures; Logical Aspects of Computation; Philosophical Logic.

Conference page: http://www.cse.iitb.ac.in/~alc15/index.html

The Post-quantum Cryptography Summer School is a two-day program focused on cryptography in a quantum era.

The Post-quantum crypto summer school aims to provide an overview and introduction to the main approaches to providing cryptographic tools that may be safe against quantum algorithmic attacks. The target audience is students and other researchers conducting or interested in conducting research related to designing, testing or deploying quantum-safe cryptography.

The summer school will be followed by the PQCrypto 2014 conference (October 1-3, 2014). Students who come to the summer school are encouraged to attend the conference.

For more information, see http://pqcrypto2014.uwaterloo.ca/summer-school/

The second edition of the conference series Proof Theory, Modal Logic and Reflection Principles (formerly Proof Theory and Modal Logic) will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.

A recent approach to proof theory uses techniques from modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert's programme. This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

The programme will include both tutorials and presentations of new results. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration.

For more information, see http://personal.us.es/dfduque/PMR/

The Post-quantum Cryptography Summer School is a two-day program focused on cryptography in a quantum era.

The Post-quantum crypto summer school aims to provide an overview and introduction to the main approaches to providing cryptographic tools that may be safe against quantum algorithmic attacks. The target audience is students and other researchers conducting or interested in conducting research related to designing, testing or deploying quantum-safe cryptography.

The summer school will be followed by the PQCrypto 2014 conference (October 1-3, 2014). Students who come to the summer school are encouraged to attend the conference.

For more information, see http://pqcrypto2014.uwaterloo.ca/summer-school/

The second edition of the conference series Proof Theory, Modal Logic and Reflection Principles (formerly Proof Theory and Modal Logic) will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.

A recent approach to proof theory uses techniques from modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert's programme. This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

The programme will include both tutorials and presentations of new results. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration.

For more information, see http://personal.us.es/dfduque/PMR/