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/

This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as 'theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an "inverse planning" model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people's observed behavior.

For more information, see http://www.ai.rug.nl/conf/reasoningminds2/.

In this workshop, we aim to bring together philosophers, computer scientists, argumentation scholars, and experts in persuasive communication to discuss the nature and dynamics of argumentation on the Internet, how new technologies change the argumentative practices of users, what skills and expertise become critical in such a new info-ecology, how ICT can be used to foster rather than hamper critical reflection and debate, and what implications this should have for education, societal change and policy making.

For more information, see http://www.sintelnet.eu/content/arguing-web-20-0 or contact Ulle Endriss (ulle.endriss at uva.nl).

Programme:
10.15--11.15 Stefania Centrone (Oldenburg) `On Husserl's view of a threefold stratification of formal logic'
11.30--12.30 Ansten Klev (Leiden) `Husserl's conception of pure grammar' 13.30--14.30 Clinton Tolley (San Diego) `From forms of acts to forms of contents: the relation between Kant's formal and transcendental logics'
14.45--15.45 Stefan Roski (Essen) 'Logical deducibility in Bolzano'
16.00--17.00 Thomas Brouwer (Aberdeen) `Logical expressivism, or What is logical structure the structure of?

Questions may be addressed to anstenklev at gmail.com

Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.

For more information, see http://filozof.uni.lodz.pl/trends

The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.

For more information, see http://filozof.uni.lodz.pl/trends

The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

A Workshop on Computability Theory will be held in Prague on July 3 and July 4, 2014. The workshop will take place in the week between the end of the conference Computability in Europe 2014 Language, Life and Limits in Budapest and the start of the Vienna Summer of Logic.

This will be the seventh in the Workshops on Computability Theory (WCT) Series. The WCT series onsists of short satellite workshops that are meant to attract more computability theorists to the meeting that they are associated with, and to provide a relaxed environment for specialists in all areas of computability theory to give full length talks on their recent work.

More information about the workshop can be found here http://www.math.uconn.edu/~damir/wctprague/

Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.

For more information, see http://filozof.uni.lodz.pl/trends

The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

A Workshop on Computability Theory will be held in Prague on July 3 and July 4, 2014. The workshop will take place in the week between the end of the conference Computability in Europe 2014 Language, Life and Limits in Budapest and the start of the Vienna Summer of Logic.

This will be the seventh in the Workshops on Computability Theory (WCT) Series. The WCT series onsists of short satellite workshops that are meant to attract more computability theorists to the meeting that they are associated with, and to provide a relaxed environment for specialists in all areas of computability theory to give full length talks on their recent work.

More information about the workshop can be found here http://www.math.uconn.edu/~damir/wctprague/

Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.

For more information, see http://filozof.uni.lodz.pl/trends

The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness. These different approaches have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.

For more information, see the conference website at http://sotfom.wordpress.com/.

The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

For any questions, please contact easllc2014 at gmail.com. Or see here or http://tsinghualogic.net/events/2014/easllc/?p=92.

Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness. These different approaches have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.

For more information, see the conference website at http://sotfom.wordpress.com/.

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

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

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

This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.

For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014

Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.

For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.

This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.

For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014

Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.

For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.

The workshop is the second in a series of workshops, the BELUX Colloquia in Epistemology, that we organize in an alternating way at the KU Leuven and the University of Luxembourg.

We would like to investigate what normative epistemic reasons there might be and how we are to conceive of them, in a teleological or deontic or ... fashion. Talk of normative reasons in practical philosophy is quite well understood, to a certain extent. But normative epistemic reasons are not yet clarified equally well. How the concept(s) of normative epistemic reasons might be defined, and how these reasons might be explained, and explain other things, is the central question of this workshop.

Free admission, everybody welcome, but please register by sending an email to frank.hofmann at uni.lu. For more information, see http://philosophie.uni.lu/news_and_events.

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.

For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014

Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.

For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.

The workshop is the second in a series of workshops, the BELUX Colloquia in Epistemology, that we organize in an alternating way at the KU Leuven and the University of Luxembourg.

We would like to investigate what normative epistemic reasons there might be and how we are to conceive of them, in a teleological or deontic or ... fashion. Talk of normative reasons in practical philosophy is quite well understood, to a certain extent. But normative epistemic reasons are not yet clarified equally well. How the concept(s) of normative epistemic reasons might be defined, and how these reasons might be explained, and explain other things, is the central question of this workshop.

Free admission, everybody welcome, but please register by sending an email to frank.hofmann at uni.lu. For more information, see http://philosophie.uni.lu/news_and_events.

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.

For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014

Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.

For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.

For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

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

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

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

The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.

Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/, or contact floc14cfw at easychair.org.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".

This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.

For more information, see http://www.deon2014.ugent.be/

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

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

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

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

The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.

Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/, or contact floc14cfw at easychair.org.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".

This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.

For more information, see http://www.deon2014.ugent.be/

Researchers attending the Vienna Summer of Logic who are interested in interactive theorem proving, are invited to consider attending either of these two parallel events:

- A half-day hands-on tutorial on Isabelle for novices. Amongst other things you get to try the famous Sledgehammer.

- A full-day Isabelle workshop, including a talk by Larry Paulson on his verification of Goedel's two incompleteness theorems.

For details see http://vsl2014.at/isabelle. For the workshop program click on PROGRAM.

This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the sequent calculus and natural deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics resisting a simpler description, including hypersequents, deep inference systems, display calculi, labelled deductive systems, tableaux, and proof nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches.

A broader aim of the workshop is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic systems, are shared. ------------------------------------------------------------------------------------

For more information, see http://vsl2014.at/pages/GSB-cfp.html

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.

Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/, or contact floc14cfw at easychair.org.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".

This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.

For more information, see http://www.deon2014.ugent.be/

This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.

For more information, see http://vsl2014.at/rta-tlca

CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

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/

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".

This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.

For more information, see http://www.deon2014.ugent.be/

This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.

For more information, see http://vsl2014.at/rta-tlca

CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

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

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

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

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.

For more information, see http://vsl2014.at/rta-tlca

CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

An International Bernard Bolzano meeting in Prague, Villa Lanna in mid-July (16-19) 2014 will be co-organised by the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the International Bernard Bolzano Society.

The community of Bolzano scholars will be present en masse at the meeting. If you have done any work on BB's thought (plan to, beginning to venture into), this is the place to be! Special Guest: Johan van Benthem.

For more information, see http://bolzano2014.wordpress.com/about/

The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.

Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

For more information please visit the official web page of the conference: http://www.logic.at/latd2014/. All correspondence should be directed to latd2014 at logic.at.

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.

For more information, see http://vsl2014.at/rta-tlca

CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

An International Bernard Bolzano meeting in Prague, Villa Lanna in mid-July (16-19) 2014 will be co-organised by the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the International Bernard Bolzano Society.

The community of Bolzano scholars will be present en masse at the meeting. If you have done any work on BB's thought (plan to, beginning to venture into), this is the place to be! Special Guest: Johan van Benthem.

For more information, see http://bolzano2014.wordpress.com/about/

The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.

Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

For more information please visit the official web page of the conference: http://www.logic.at/latd2014/. All correspondence should be directed to latd2014 at logic.at.

Students interested in research in computational logic are invited to attend the 2014 Summer School on Computational Logic. The 2-day summer school is suited for those who wish to learn advanced topics in computational logic and logic programming. The summer school will consist of four half-day tutorials on the following topics: Probabilistic Logic Programming (C.R. Ramakrishnan), Answer Set Programming (Martin Gebser), Horn Clauses and Verification (Andrey Rybalchenko), and Constraint Logic Programming (Roman Bartak).

A number of scholarships for students that cover local expenses for the duration of the summer school are available. To apply, send a short vita along with a letter of recommendation for the faculty advisor to Prof. Gopal Gupta at gupta at utdallas.edu by May 31st. The letter should also certify that the applicant is a full-time student. Significant travel support is also available through the FLoC organization.

For more information, see http://utd.edu/~gupta/summer_school.html

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

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

The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.

NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).

For more information, see http://www.kr.tuwien.ac.at/nmr14/ or email nmr14 at kr.tuwien.ac.at.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

An International Bernard Bolzano meeting in Prague, Villa Lanna in mid-July (16-19) 2014 will be co-organised by the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the International Bernard Bolzano Society.

The community of Bolzano scholars will be present en masse at the meeting. If you have done any work on BB's thought (plan to, beginning to venture into), this is the place to be! Special Guest: Johan van Benthem.

For more information, see http://bolzano2014.wordpress.com/about/

The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.

Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

For more information please visit the official web page of the conference: http://www.logic.at/latd2014/. All correspondence should be directed to latd2014 at logic.at.

Students interested in research in computational logic are invited to attend the 2014 Summer School on Computational Logic. The 2-day summer school is suited for those who wish to learn advanced topics in computational logic and logic programming. The summer school will consist of four half-day tutorials on the following topics: Probabilistic Logic Programming (C.R. Ramakrishnan), Answer Set Programming (Martin Gebser), Horn Clauses and Verification (Andrey Rybalchenko), and Constraint Logic Programming (Roman Bartak).

A number of scholarships for students that cover local expenses for the duration of the summer school are available. To apply, send a short vita along with a letter of recommendation for the faculty advisor to Prof. Gopal Gupta at gupta at utdallas.edu by May 31st. The letter should also certify that the applicant is a full-time student. Significant travel support is also available through the FLoC organization.

For more information, see http://utd.edu/~gupta/summer_school.html

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

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

The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.

NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).

For more information, see http://www.kr.tuwien.ac.at/nmr14/ or email nmr14 at kr.tuwien.ac.at.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.

Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding than would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Moreover, theoretical results established for the quantifier-free formalism typically cannot be directly transferred to the quantified case. Further, techniques successfully implemented in reasoning tools for quantifier-free formulas cannot directly be lifted to a quantified version.

The goal of the 1st International Workshop on Quantification (QUANTIFY 2014) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view. Quantification is a topic in different research areas such as in SAT in terms of QBF, in CSP in terms of QCSP, in SMT, etc. This workshop has the aim to provide an interdisciplinary forum where researchers of various fields may exchange their experiences.

For more information, see http://vsl2014.at/quantify

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

An International Bernard Bolzano meeting in Prague, Villa Lanna in mid-July (16-19) 2014 will be co-organised by the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the International Bernard Bolzano Society.

The community of Bolzano scholars will be present en masse at the meeting. If you have done any work on BB's thought (plan to, beginning to venture into), this is the place to be! Special Guest: Johan van Benthem.

For more information, see http://bolzano2014.wordpress.com/about/

The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.

Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

For more information please visit the official web page of the conference: http://www.logic.at/latd2014/. All correspondence should be directed to latd2014 at logic.at.

The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.

NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).

For more information, see http://www.kr.tuwien.ac.at/nmr14/ or email nmr14 at kr.tuwien.ac.at.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

The International Network for Economic Method (INEM) and Centre for Humanities Engaging Science and Society (CHESS, Durham) will be holding an International Summer School in Economics and Philosophy for graduate students and researchers.

The Summer School is part of the UPV/EHU XXXII Summer Courses and XXV European Courses and continues the series initiated by the Urrutia Elejalde Foundation (UEF).

For more information, seehttp://chess-centre.org/index.php/chess-events/

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/cca2014/

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

The International Network for Economic Method (INEM) and Centre for Humanities Engaging Science and Society (CHESS, Durham) will be holding an International Summer School in Economics and Philosophy for graduate students and researchers.

The Summer School is part of the UPV/EHU XXXII Summer Courses and XXV European Courses and continues the series initiated by the Urrutia Elejalde Foundation (UEF).

For more information, seehttp://chess-centre.org/index.php/chess-events/

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/cca2014/

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

The International Network for Economic Method (INEM) and Centre for Humanities Engaging Science and Society (CHESS, Durham) will be holding an International Summer School in Economics and Philosophy for graduate students and researchers.

The Summer School is part of the UPV/EHU XXXII Summer Courses and XXV European Courses and continues the series initiated by the Urrutia Elejalde Foundation (UEF).

For more information, seehttp://chess-centre.org/index.php/chess-events/

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/cca2014/

The ARQNL workshop aims at fostering the development of proof calculi, ATP systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. In particular, we are interested in all sorts of applications and problem formalizations that use a quantified non-classical logic. A particular emphasis of the first edition of the ARQNL workshop will be on quantified modal logics.

For further information see the workshop web page at http://vsl2014.at/arqnl/.

PRUV 2014 is the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. The aim of PRUV is to make researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, and to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, that are working on these topics.

PRUV 2014 is associated with the Vienna Summer of Logic, a major event hosting logic conferences and workshops. In particular, PRUV will be hosted by FLoC and associated to IJCAR.

For more information, see http://vsl2014.at/pruv/

In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

For more information: http://vsl2014.at

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/cca2014/

PRUV 2014 is the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. The aim of PRUV is to make researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, and to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, that are working on these topics.

PRUV 2014 is associated with the Vienna Summer of Logic, a major event hosting logic conferences and workshops. In particular, PRUV will be hosted by FLoC and associated to IJCAR.

For more information, see http://vsl2014.at/pruv/

The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.

Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjackson at me.com. The deadline is February 15th 2014.

Further information about the conference: http://www.reasoningconference.net/conference

The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.

Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjackson at me.com. The deadline is February 15th 2014.

Further information about the conference: http://www.reasoningconference.net/conference

The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.

Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjackson at me.com. The deadline is February 15th 2014.

Further information about the conference: http://www.reasoningconference.net/conference

The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.

Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjackson at me.com. The deadline is February 15th 2014.

Further information about the conference: http://www.reasoningconference.net/conference

The summer school will consist of 3 intensive days of lectures, seminars, and group discussions. The course addresses a variety of theoretical and foundational issues in quantum computing. It will focus on the logical and physical scope of quantum computing. The course is primarily intended for graduate students in Cognitive Science, Computer Science, and Mathematics

Topics to be addressed include the physical structure of quantum information, strategies and issues in experimental approaches to the physical representation and control of quantum information, mathematical models of quantum computing and quantum algorithms, diagrammatic patterns in quantum computing, and the relation of quantum computing computational models of cognition.

Applications should be submitted by May 10th (extended deadline). For more information, see http://www.lu.lv/isscss/

This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information, see http://folk.uib.no/nmita/LOFT11

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

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging 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 theories of individual and collective decision-making, agent-based modeling, and epistemic logic. 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 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/

The summer school will consist of 3 intensive days of lectures, seminars, and group discussions. The course addresses a variety of theoretical and foundational issues in quantum computing. It will focus on the logical and physical scope of quantum computing. The course is primarily intended for graduate students in Cognitive Science, Computer Science, and Mathematics

Topics to be addressed include the physical structure of quantum information, strategies and issues in experimental approaches to the physical representation and control of quantum information, mathematical models of quantum computing and quantum algorithms, diagrammatic patterns in quantum computing, and the relation of quantum computing computational models of cognition.

Applications should be submitted by May 10th (extended deadline). For more information, see http://www.lu.lv/isscss/

This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information, see http://folk.uib.no/nmita/LOFT11

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

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging 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 theories of individual and collective decision-making, agent-based modeling, and epistemic logic. 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 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/

Euler diagrams represent relationships between sets, including intersection, containment, and disjointness. These diagrams have become the foundations of various visual languages and have notably facilitated the modelling of, and logical reasoning about, complex systems. This workshop of peer-reviewed submissions will afford the growing Euler diagrams community the opportunity to present and discuss new research, and share multi-interdisciplinary expertise. We envisage that this will stimulate collaborations on current and future research needs.

For more information, see http://www.diagrams-conference.org/2014/ED2014 or contact the workshop organizers at ed2014 at easychair.org.

The UbiCrypt Summer School "crypt@b-it" offers the opportunity for interested Postdocs, PhD and Master students to learn more about current research questions on cryptography and cryptoanalysis. In cooperation with the Bonn-Aachen International Center for Information Technology we offer a diversed program with various talks and exercises.

This year's invited speakers are:
Gary McGuire (UCD Schol of Mathematical Sciences, Dublin) | Discrete Logs
Hoeteck Wee (École normale supérieure Paris) | Functional Encryption

For more information, see http://www.ubicrypt.hgi.rub.de/veranstaltungen/summerschool2014/

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

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

The University of Bamberg Philosophy Department together with the Forum Theoretical Philosophy will be hosting the second Summer School in Theoretical Philosophy. Our topic this year will be "Individuals and Indeterminacy. Perspectives in Contemporary Ontology" and we are looking forward to an excellent program with some of the world~s most distinguished scholars in the field. Kit Fine (NYU), Peter van Inwagen (Notre Dame), Peter Simons (Trinity College Dublin) and Gabriele De Anna (University of Bamberg) will present their current research and discuss their recent work with graduate students from all over the world.

The deadline for applications is April 30, 2014. For more details and information on our summer school, please refer to http://www.summerschool-bamberg.de/.

The summer school will consist of 3 intensive days of lectures, seminars, and group discussions. The course addresses a variety of theoretical and foundational issues in quantum computing. It will focus on the logical and physical scope of quantum computing. The course is primarily intended for graduate students in Cognitive Science, Computer Science, and Mathematics

Topics to be addressed include the physical structure of quantum information, strategies and issues in experimental approaches to the physical representation and control of quantum information, mathematical models of quantum computing and quantum algorithms, diagrammatic patterns in quantum computing, and the relation of quantum computing computational models of cognition.

Applications should be submitted by May 10th (extended deadline). For more information, see http://www.lu.lv/isscss/

This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information, see http://folk.uib.no/nmita/LOFT11

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

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging 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 theories of individual and collective decision-making, agent-based modeling, and epistemic logic. 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 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/

The UbiCrypt Summer School "crypt@b-it" offers the opportunity for interested Postdocs, PhD and Master students to learn more about current research questions on cryptography and cryptoanalysis. In cooperation with the Bonn-Aachen International Center for Information Technology we offer a diversed program with various talks and exercises.

This year's invited speakers are:
Gary McGuire (UCD Schol of Mathematical Sciences, Dublin) | Discrete Logs
Hoeteck Wee (École normale supérieure Paris) | Functional Encryption

For more information, see http://www.ubicrypt.hgi.rub.de/veranstaltungen/summerschool2014/

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

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

The University of Bamberg Philosophy Department together with the Forum Theoretical Philosophy will be hosting the second Summer School in Theoretical Philosophy. Our topic this year will be "Individuals and Indeterminacy. Perspectives in Contemporary Ontology" and we are looking forward to an excellent program with some of the world~s most distinguished scholars in the field. Kit Fine (NYU), Peter van Inwagen (Notre Dame), Peter Simons (Trinity College Dublin) and Gabriele De Anna (University of Bamberg) will present their current research and discuss their recent work with graduate students from all over the world.

The deadline for applications is April 30, 2014. For more details and information on our summer school, please refer to http://www.summerschool-bamberg.de/.

This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information, see http://folk.uib.no/nmita/LOFT11

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

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging 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 theories of individual and collective decision-making, agent-based modeling, and epistemic logic. 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 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/

The UbiCrypt Summer School "crypt@b-it" offers the opportunity for interested Postdocs, PhD and Master students to learn more about current research questions on cryptography and cryptoanalysis. In cooperation with the Bonn-Aachen International Center for Information Technology we offer a diversed program with various talks and exercises.

This year's invited speakers are:
Gary McGuire (UCD Schol of Mathematical Sciences, Dublin) | Discrete Logs
Hoeteck Wee (École normale supérieure Paris) | Functional Encryption

For more information, see http://www.ubicrypt.hgi.rub.de/veranstaltungen/summerschool2014/

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

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

The University of Bamberg Philosophy Department together with the Forum Theoretical Philosophy will be hosting the second Summer School in Theoretical Philosophy. Our topic this year will be "Individuals and Indeterminacy. Perspectives in Contemporary Ontology" and we are looking forward to an excellent program with some of the world~s most distinguished scholars in the field. Kit Fine (NYU), Peter van Inwagen (Notre Dame), Peter Simons (Trinity College Dublin) and Gabriele De Anna (University of Bamberg) will present their current research and discuss their recent work with graduate students from all over the world.

The deadline for applications is April 30, 2014. For more details and information on our summer school, please refer to http://www.summerschool-bamberg.de/.

Since the 1990s, the practice of natural language processing (NLP) has gradually shifted from logic-based symbol manipulation systems first to purely statistical, and more recently to hybrid systems that combine structural and statistical methods. The mathematical theory of hybrid NLP is still not fully mature, and the special issue will lend focus to this expanding research area by including papers from mathematicians, computer scientists, theoretical and computational linguists and AI researchers with an interest in its foundations.

Subjects suitable for the special issue include, but are not limited to, NLP-related advances in
- inductive learning
- spectral techniques
- formal grammars
- commonsense reasoning
- low-pass semantics
- sparse models
- LSTM, deep learning
- compressed sensing
- cvs/distributional theories

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

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging 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 theories of individual and collective decision-making, agent-based modeling, and epistemic logic. 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 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/

The UbiCrypt Summer School "crypt@b-it" offers the opportunity for interested Postdocs, PhD and Master students to learn more about current research questions on cryptography and cryptoanalysis. In cooperation with the Bonn-Aachen International Center for Information Technology we offer a diversed program with various talks and exercises.

This year's invited speakers are:
Gary McGuire (UCD Schol of Mathematical Sciences, Dublin) | Discrete Logs
Hoeteck Wee (École normale supérieure Paris) | Functional Encryption

For more information, see http://www.ubicrypt.hgi.rub.de/veranstaltungen/summerschool2014/

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

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

The University of Bamberg Philosophy Department together with the Forum Theoretical Philosophy will be hosting the second Summer School in Theoretical Philosophy. Our topic this year will be "Individuals and Indeterminacy. Perspectives in Contemporary Ontology" and we are looking forward to an excellent program with some of the world~s most distinguished scholars in the field. Kit Fine (NYU), Peter van Inwagen (Notre Dame), Peter Simons (Trinity College Dublin) and Gabriele De Anna (University of Bamberg) will present their current research and discuss their recent work with graduate students from all over the world.

The deadline for applications is April 30, 2014. For more details and information on our summer school, please refer to http://www.summerschool-bamberg.de/.

Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. The aim of this workshop series is to address key questions that advance our understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

For more information, see http://narrative.csail.mit.edu/cmn14/