The aim of the interdisciplinary workshop is to bring together recent work addressing questions related to open issues in neural-cognitive integration, i.e., research trying to bridge the gap(s) between different levels of description, explanation, representation, and computation in symbolic and sub-symbolic paradigms, and which sheds light onto canonical solutions or principled approaches occurring in the context of neural-cognitive integration.

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

Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behaviour of adversaries. The SR international workshop aims to bring together researchers working on different aspects of strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.

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

RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).

For more information, see http://rewriting.loria.fr/rta/ and http://rdp15.mimuw.edu.pl/, or contact the PC chair: Maribel.Fernandez at kcl.ac.uk

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.

For more information, see http://www.cs.ox.ac.uk/conferences/MPC2015/ or email jv at informatik.uni-bonn.de.

The conference aims at promoting interdisciplinary research and disseminating results at the interface between: Non-Classical Logics, Social choice and related topics, and Formal Approaches to Market Dynamics.

For more information, see http://www.appliedlogictudelft.nl/ or contact trendslsb at tudelft.nl

CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

For more information, see http://fmi.unibuc.ro/CiE2015/

The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.

For more information, see http://www.mimuw.edu.pl/tlca/ and http://rdp15.mimuw.edu.pl/.

The conference aims at promoting interdisciplinary research and disseminating results at the interface between: Non-Classical Logics, Social choice and related topics, and Formal Approaches to Market Dynamics.

For more information, see http://www.appliedlogictudelft.nl/ or contact trendslsb at tudelft.nl

CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

For more information, see http://fmi.unibuc.ro/CiE2015/

The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.

For more information, see http://www.mimuw.edu.pl/tlca/ and http://rdp15.mimuw.edu.pl/.

The 2015 annual conference of the Australasian Association of Logic (AAL) will be held in Sydney, Australia, on Thursday 2nd July and Friday 3rd July 2015. The venue is the Muniment Room, Main Quadrangle, University of Sydney.

The AAL was founded in 1965 and this conference marks its fiftieth anniversary.

For more information, see http://aal.ltumathstats.com/

As in the previous editions, the purpose of this meeting is to inform you about 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 (also in the ILLC Common Room).

For more information, contact illc at uva.nl.

This workshop aims at promoting and exploring the possibilities for research and practical applications involving Natural Language Processing (NLP) and Games. The main objective is to provide a forum for researchers and practitioners to discuss and share ideas regarding how the NLP research community can contribute to games research and vice versa. The workshop welcomes the participation of both academics and industry practitioners interested in the use of NLP in games or vice versa. It is to be held at the 11th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15).

For more information, see https://gamnlp15.soe.ucsc.edu/ or send an email to gamnlp15 at gmail.com.

The Intelligent Narrative Technologies (INT) workshop series aims to advance research in artificial intelligence for the computational understanding and expression of narrative. INT8, the eighth workshop in the series, will be co-located with the Eleventh Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2015) at University of California, Santa Cruz.

Recent years have witnessed significant advances in the technical, creative, and aesthetic interpretation of narratives with digital media, including games, simulations, interactive fiction, and electronic literature. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. Previous meetings of this workshop have brought together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.

For more information, see http://go.ncsu.edu/int8

The conference aims at promoting interdisciplinary research and disseminating results at the interface between: Non-Classical Logics, Social choice and related topics, and Formal Approaches to Market Dynamics.

For more information, see http://www.appliedlogictudelft.nl/ or contact trendslsb at tudelft.nl

CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

For more information, see http://fmi.unibuc.ro/CiE2015/

The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.

For more information, see http://www.mimuw.edu.pl/tlca/ and http://rdp15.mimuw.edu.pl/.

The 2015 annual conference of the Australasian Association of Logic (AAL) will be held in Sydney, Australia, on Thursday 2nd July and Friday 3rd July 2015. The venue is the Muniment Room, Main Quadrangle, University of Sydney.

The AAL was founded in 1965 and this conference marks its fiftieth anniversary.

For more information, see http://aal.ltumathstats.com/

The formal analysis of ethical concepts and theories (via the application of tools from logic, rational choice theory, natural language semantics, AI) is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. The series Formal Ethics conferences aims at providing an international platform for the discussion and promotion of formal approaches to ethics, to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy, and to push the frontiers of the research being conduced in this field.

Contact and further information:
Email: organization at formalethics dot net
Web: www dot formalethics dot net

The formal analysis of ethical concepts and theories (via the application of tools from logic, rational choice theory, natural language semantics, AI) is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. The series Formal Ethics conferences aims at providing an international platform for the discussion and promotion of formal approaches to ethics, to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy, and to push the frontiers of the research being conduced in this field.

Contact and further information:
Email: organization at formalethics dot net
Web: www dot formalethics dot net

The formal analysis of ethical concepts and theories (via the application of tools from logic, rational choice theory, natural language semantics, AI) is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. The series Formal Ethics conferences aims at providing an international platform for the discussion and promotion of formal approaches to ethics, to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy, and to push the frontiers of the research being conduced in this field.

Contact and further information:
Email: organization at formalethics dot net
Web: www dot formalethics dot net

Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.

MC'15 is affiliated with 42nd International Colloquium on Automata, Languages and Programming (ICALP 2015) and 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)

For more information, see http://www.indiana.edu/~iulg/nlcs.html

RPPW is a biannual summit that seeks to explore innovative means of understanding rhythm production and perception. Rhythms are paramount in human functioning. Walking, talking, music performance – they all have rhythmic components. As of today the neurobiology of the underlying timing is not well understood, let alone the corresponding cognitive processes. The 15th edition of RPPW is therefore devoted to integrating various disciplines like biophysics, neurophysiology, cognitive psychology, and the science of music.

For more information, see http://www.move.vu.nl/en/news-agenda/conferences-and-symposia/rppw15/index.asp

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2015/

RPPW is a biannual summit that seeks to explore innovative means of understanding rhythm production and perception. Rhythms are paramount in human functioning. Walking, talking, music performance – they all have rhythmic components. As of today the neurobiology of the underlying timing is not well understood, let alone the corresponding cognitive processes. The 15th edition of RPPW is therefore devoted to integrating various disciplines like biophysics, neurophysiology, cognitive psychology, and the science of music.

For more information, see http://www.move.vu.nl/en/news-agenda/conferences-and-symposia/rppw15/index.asp

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2015/

The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.

The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.

For more information, see http://www.ub.edu/slmfce8 or contact 8slmfce at gmail.com.

RPPW is a biannual summit that seeks to explore innovative means of understanding rhythm production and perception. Rhythms are paramount in human functioning. Walking, talking, music performance – they all have rhythmic components. As of today the neurobiology of the underlying timing is not well understood, let alone the corresponding cognitive processes. The 15th edition of RPPW is therefore devoted to integrating various disciplines like biophysics, neurophysiology, cognitive psychology, and the science of music.

For more information, see http://www.move.vu.nl/en/news-agenda/conferences-and-symposia/rppw15/index.asp

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2015/

The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.

The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.

For more information, see http://www.ub.edu/slmfce8 or contact 8slmfce at gmail.com.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2015/

The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.

The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.

For more information, see http://www.ub.edu/slmfce8 or contact 8slmfce at gmail.com.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2015/

The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.

The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.

For more information, see http://www.ub.edu/slmfce8 or contact 8slmfce at gmail.com.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2015/

The International Association for Science and Cultural Diversity (IASCUD) is pleased to announce a one-day workshop being held in Paris, France on Saturday, 11 July 2015. The event will consist of a number of presentations from invited expert speakers and round-table discussions/debates to question the notions of "culture", "diversity", and "comparison" in the history and philosophy of science. This workshop, held in English, will be interactive and discussions will be encouraged. We hope you will join us this summer in Paris.

Registration is free and required ahead of time. On-site registration will not be available. Participation via Skype is possible with a requisite arrangement. On-line or physical participation will be limited, so please let us know as soon as possible if you with to attend this workshop. For more information, see http://www.math.uni-hamburg.de/home/loewe/IASCUD/paris2015.html

The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see the Conference Web Page at http://cca-net.de/cca2015/

The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see the Conference Web Page at http://cca-net.de/cca2015/

This summer school, intended for PhD students, postdocs, and advanced Master's students in a variety of disciplines, will provide a thorough introduction to the research area of fair division, which is concerned with the problem of fairly dividing a number of goods between the members of a group of agents. It is organised by COST Action IC1205 on Computational Social Choice, and in addition supported by a grant from the Persyval Labex.

Participation is free of costs, but you need to apply to be offered a spot (deadline: 10 April 2015). You can apply for a travel grant to cover (most of) your transport and accommodation expenses. Interested participants can present a poster of their own work at the summer school.

For more information, see http://fairdiv-15.imag.fr/ or contact Ulle Endriss (ulle.endriss at uva.nl).

CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg

Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2015
Email: csr2015 "at" googlegroups.com

This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials

For more information, see http://www.cs.ox.ac.uk/qpl2015/

The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see the Conference Web Page at http://cca-net.de/cca2015/

This summer school, intended for PhD students, postdocs, and advanced Master's students in a variety of disciplines, will provide a thorough introduction to the research area of fair division, which is concerned with the problem of fairly dividing a number of goods between the members of a group of agents. It is organised by COST Action IC1205 on Computational Social Choice, and in addition supported by a grant from the Persyval Labex.

Participation is free of costs, but you need to apply to be offered a spot (deadline: 10 April 2015). You can apply for a travel grant to cover (most of) your transport and accommodation expenses. Interested participants can present a poster of their own work at the summer school.

For more information, see http://fairdiv-15.imag.fr/ or contact Ulle Endriss (ulle.endriss at uva.nl).

CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg

Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2015
Email: csr2015 "at" googlegroups.com

This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials

For more information, see http://www.cs.ox.ac.uk/qpl2015/

General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.

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

The 2015 meeting of the British Logic Colloquium will be held in Cambridge on 2nd-4th September. It will be preceded by BLC PhD day (1st-2nd September). This is a general Logic meeting covering a variety of topics within mathematical, philosophical and computer science logic. The meeting will include ten invited talks (speakers listed below) and a number of contributed talks.

For more information, see https://www.newton.ac.uk/event/blc-2015

The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see the Conference Web Page at http://cca-net.de/cca2015/

This summer school, intended for PhD students, postdocs, and advanced Master's students in a variety of disciplines, will provide a thorough introduction to the research area of fair division, which is concerned with the problem of fairly dividing a number of goods between the members of a group of agents. It is organised by COST Action IC1205 on Computational Social Choice, and in addition supported by a grant from the Persyval Labex.

Participation is free of costs, but you need to apply to be offered a spot (deadline: 10 April 2015). You can apply for a travel grant to cover (most of) your transport and accommodation expenses. Interested participants can present a poster of their own work at the summer school.

For more information, see http://fairdiv-15.imag.fr/ or contact Ulle Endriss (ulle.endriss at uva.nl).

CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg

Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2015
Email: csr2015 "at" googlegroups.com

This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials

For more information, see http://www.cs.ox.ac.uk/qpl2015/

This summer school, intended for PhD students, postdocs, and advanced Master's students in a variety of disciplines, will provide a thorough introduction to the research area of fair division, which is concerned with the problem of fairly dividing a number of goods between the members of a group of agents. It is organised by COST Action IC1205 on Computational Social Choice, and in addition supported by a grant from the Persyval Labex.

Participation is free of costs, but you need to apply to be offered a spot (deadline: 10 April 2015). You can apply for a travel grant to cover (most of) your transport and accommodation expenses. Interested participants can present a poster of their own work at the summer school.

For more information, see http://fairdiv-15.imag.fr/ or contact Ulle Endriss (ulle.endriss at uva.nl).

CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg

Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2015
Email: csr2015 "at" googlegroups.com

This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials

For more information, see http://www.cs.ox.ac.uk/qpl2015/

The invited speakers are: David Beaver (University of Texas)Noah Goodman (Stanford University), Yi Ting Huang (University of Maryland), Hannah Rohde (Edinburgh University), and Michael Tanenhaus (University of Rochester).

For more information, see http://xprag2015.uchicago.edu/

This summer school, intended for PhD students, postdocs, and advanced Master's students in a variety of disciplines, will provide a thorough introduction to the research area of fair division, which is concerned with the problem of fairly dividing a number of goods between the members of a group of agents. It is organised by COST Action IC1205 on Computational Social Choice, and in addition supported by a grant from the Persyval Labex.

Participation is free of costs, but you need to apply to be offered a spot (deadline: 10 April 2015). You can apply for a travel grant to cover (most of) your transport and accommodation expenses. Interested participants can present a poster of their own work at the summer school.

For more information, see http://fairdiv-15.imag.fr/ or contact Ulle Endriss (ulle.endriss at uva.nl).

CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg

Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2015
Email: csr2015 "at" googlegroups.com

This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials

For more information, see http://www.cs.ox.ac.uk/qpl2015/

The invited speakers are: David Beaver (University of Texas)Noah Goodman (Stanford University), Yi Ting Huang (University of Maryland), Hannah Rohde (Edinburgh University), and Michael Tanenhaus (University of Rochester).

For more information, see http://xprag2015.uchicago.edu/

As part of the Emmy Noether Research Group Ontology after Quine: Fictionalism and Fundamentality, the University of Hamburg will host a 2-day workshop on Fiction and Depiction. As its name suggests, the workshop is intended to address issues concerning fiction and depiction, with a particular emphasis on issues that arise at the intersection of philosophical work on fiction and pictorial representation.

The workshop will take place on Friday 17th and Saturday 18th July and the speakers will be: Catharine Abell (Manchester), Paloma Atencia-Linares (UNAM), Rob Hopkins (NYU), Kathleen Stock (Sussex), Kendall Walton (Michigan) and Richard Woodward (Hamburg).

Attendance is free, but please let us know if you intend to attend by emailing richard.woodward at uni-hamburg.de and julia.zakkou at uni-hamburg.de For more details, please see the announcement at http://carvingnature.net/2015/02/09/fiction-and-depiction/

The invited speakers are: David Beaver (University of Texas)Noah Goodman (Stanford University), Yi Ting Huang (University of Maryland), Hannah Rohde (Edinburgh University), and Michael Tanenhaus (University of Rochester).

For more information, see http://xprag2015.uchicago.edu/

As part of the Emmy Noether Research Group Ontology after Quine: Fictionalism and Fundamentality, the University of Hamburg will host a 2-day workshop on Fiction and Depiction. As its name suggests, the workshop is intended to address issues concerning fiction and depiction, with a particular emphasis on issues that arise at the intersection of philosophical work on fiction and pictorial representation.

The workshop will take place on Friday 17th and Saturday 18th July and the speakers will be: Catharine Abell (Manchester), Paloma Atencia-Linares (UNAM), Rob Hopkins (NYU), Kathleen Stock (Sussex), Kendall Walton (Michigan) and Richard Woodward (Hamburg).

Attendance is free, but please let us know if you intend to attend by emailing richard.woodward at uni-hamburg.de and julia.zakkou at uni-hamburg.de For more details, please see the announcement at http://carvingnature.net/2015/02/09/fiction-and-depiction/

Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses.

This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.

For more information, see http://www.andrew.cmu.edu/user/arieg/hcvs15/

Logic was originally meant to systematize and analyze arguments in natural language. But in the 20th century the main developments in logic focused on mathematics and its foundations. Recently, a number of researchers have focused on logical systems tuned to natural language semantics to reconnect with the older tradition. The logical and conceptual underpinnings of some of these systems remains unclear, although some recent work has begun to address formal foundations.

The aim of this conference is to contribute to this direction in semantics and to discuss logics, especially proof systems, well-suited for natural language semantics and to explore comparisons between these systems. We also welcome input from people invoved in computational semantics, psychology of reasoning, and computer implementations of natural reasoning systems.

For more information, see http://www.indiana.edu/~iulg/wollic/coconat.htm

Logic was originally meant to systematize and analyze arguments in natural language. But in the 20th century the main developments in logic focused on mathematics and its foundations. Recently, a number of researchers have focused on logical systems tuned to natural language semantics to reconnect with the older tradition. The logical and conceptual underpinnings of some of these systems remains unclear, although some recent work has begun to address formal foundations.

The aim of this conference is to contribute to this direction in semantics and to discuss logics, especially proof systems, well-suited for natural language semantics and to explore comparisons between these systems. We also welcome input from people invoved in computational semantics, psychology of reasoning, and computer implementations of natural reasoning systems.

For more information, see http://www.indiana.edu/~iulg/wollic/coconat.htm

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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.

It 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) (SBL).

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

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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.

It 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) (SBL).

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

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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.

It 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) (SBL).

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

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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.

It 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) (SBL).

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

Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.

For more information, see http://event.cwi.nl/wine2015/.

MoL is a biannual conference, organized by the Association for Mathematics of Language, and devoted to the study of mathematical structures and methods that are of importance to the description of language. The meeting takes place on the last weekend of the Linguistic Summer Institute of the Linguistic Society of America.

For more information, see http://www.molweb.org/mol2015/, or contact mol2015 at easychair.org (for inquiries about the scientific program of the conference) or mol2015.chicago at gmail.com (for inquiries about the local organization and all practical aspects of the conference).

IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

For more information, see http://ijcai-15.org/

MoL is a biannual conference, organized by the Association for Mathematics of Language, and devoted to the study of mathematical structures and methods that are of importance to the description of language. The meeting takes place on the last weekend of the Linguistic Summer Institute of the Linguistic Society of America.

For more information, see http://www.molweb.org/mol2015/, or contact mol2015 at easychair.org (for inquiries about the scientific program of the conference) or mol2015.chicago at gmail.com (for inquiries about the local organization and all practical aspects of the conference).

IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

For more information, see http://ijcai-15.org/

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

For more information, see http://www.math.uni-goettingen.de/summer

The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including formal epistemology, simulation techniques, the semantics-pragmatics interface. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for application is March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

For more information, see http://ijcai-15.org/

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

For more information, see http://www.math.uni-goettingen.de/summer

The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including formal epistemology, simulation techniques, the semantics-pragmatics interface. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for application is March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

The Fourth Hamburg Summer School will be taught by Prof. Stephen Yablo from the Massachusetts Institute of Technology. The course will take place between the 27th July and 31st July 2015 at the University of Hamburg, Germany. Prof. Yablo will present material from his new book Aboutness.

Further information will follow soon on the following website: https://hamburgersommerkurs.wordpress.com/.

The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.

Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Åsa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.

For more information, see http://www.helsinki.fi/sls2015/ or contact Juliette Kennedy at juliette.kennedy at helsinki.fi.

IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

For more information, see http://ijcai-15.org/

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

For more information, see http://www.math.uni-goettingen.de/summer

The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including formal epistemology, simulation techniques, the semantics-pragmatics interface. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for application is March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

The Fourth Hamburg Summer School will be taught by Prof. Stephen Yablo from the Massachusetts Institute of Technology. The course will take place between the 27th July and 31st July 2015 at the University of Hamburg, Germany. Prof. Yablo will present material from his new book Aboutness.

Further information will follow soon on the following website: https://hamburgersommerkurs.wordpress.com/.

The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.

Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Åsa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.

For more information, see http://www.helsinki.fi/sls2015/ or contact Juliette Kennedy at juliette.kennedy at helsinki.fi.

IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

For more information, see http://ijcai-15.org/

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

For more information, see http://www.math.uni-goettingen.de/summer

The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including formal epistemology, simulation techniques, the semantics-pragmatics interface. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for application is March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

The Fourth Hamburg Summer School will be taught by Prof. Stephen Yablo from the Massachusetts Institute of Technology. The course will take place between the 27th July and 31st July 2015 at the University of Hamburg, Germany. Prof. Yablo will present material from his new book Aboutness.

Further information will follow soon on the following website: https://hamburgersommerkurs.wordpress.com/.

The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.

Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Åsa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.

For more information, see http://www.helsinki.fi/sls2015/ or contact Juliette Kennedy at juliette.kennedy at helsinki.fi.

IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

For more information, see http://ijcai-15.org/

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

For more information, see http://www.math.uni-goettingen.de/summer

The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including formal epistemology, simulation techniques, the semantics-pragmatics interface. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for application is March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

The Fourth Hamburg Summer School will be taught by Prof. Stephen Yablo from the Massachusetts Institute of Technology. The course will take place between the 27th July and 31st July 2015 at the University of Hamburg, Germany. Prof. Yablo will present material from his new book Aboutness.

Further information will follow soon on the following website: https://hamburgersommerkurs.wordpress.com/.

The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.

Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Åsa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.

For more information, see http://www.helsinki.fi/sls2015/ or contact Juliette Kennedy at juliette.kennedy at helsinki.fi.

IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

For more information, see http://ijcai-15.org/

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

For more information, see http://www.math.uni-goettingen.de/summer

The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including formal epistemology, simulation techniques, the semantics-pragmatics interface. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for application is March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

The Fourth Hamburg Summer School will be taught by Prof. Stephen Yablo from the Massachusetts Institute of Technology. The course will take place between the 27th July and 31st July 2015 at the University of Hamburg, Germany. Prof. Yablo will present material from his new book Aboutness.

Further information will follow soon on the following website: https://hamburgersommerkurs.wordpress.com/.

The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.

Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Åsa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.

For more information, see http://www.helsinki.fi/sls2015/ or contact Juliette Kennedy at juliette.kennedy at helsinki.fi.