Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

The AGI conference series is the premier international forum for cutting-edge research focusing on the original goal of the AI field: the creation of thinking machines with general intelligence at the human level and ultimately beyond. The AGI conference series is held in cooperation with AAAI, and AGI-13 will co-locate with IJCAI-13. This is the first AGI conference to be held in Asia, and will be hosted by Peking University.

Like its predecessors, AGI-13 will gather researchers in AGI and associated disciplines for wide-ranging presentation and discussion of approaches, architectures, algorithms and ideas relevant to the advancement of artificial general intelligence.

For more information, see http://agi-conf.org/2012

The AGI conference series is the premier international forum for cutting-edge research focusing on the original goal of the AI field: the creation of thinking machines with general intelligence at the human level and ultimately beyond. The AGI conference series is held in cooperation with AAAI, and AGI-13 will co-locate with IJCAI-13. This is the first AGI conference to be held in Asia, and will be hosted by Peking University.

Like its predecessors, AGI-13 will gather researchers in AGI and associated disciplines for wide-ranging presentation and discussion of approaches, architectures, algorithms and ideas relevant to the advancement of artificial general intelligence.

For more information, see http://agi-conf.org/2012

The AGI conference series is the premier international forum for cutting-edge research focusing on the original goal of the AI field: the creation of thinking machines with general intelligence at the human level and ultimately beyond. The AGI conference series is held in cooperation with AAAI, and AGI-13 will co-locate with IJCAI-13. This is the first AGI conference to be held in Asia, and will be hosted by Peking University.

Like its predecessors, AGI-13 will gather researchers in AGI and associated disciplines for wide-ranging presentation and discussion of approaches, architectures, algorithms and ideas relevant to the advancement of artificial general intelligence.

For more information, see http://agi-conf.org/2012

The Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) will be co-located with IJCAI 2013 in Beijing, and builds on the success of TAFA 2011 (co-located with IJCAI 2011). The workshop is inspired by the recent rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of Artificial Intelligence. TAFA 2013 aims to further foster uptake of argumentation as a viable AI paradigm with wide ranging application by providing a forum for further development of existing ideas and for the initiation of new and innovative collaborations.

For more information, see http://homepages.abdn.ac.uk/n.oren/pages/TAFA-13/

The biennial Workshop on Nonmonotonic Reasoning, Action and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

This year's special theme is the qualification problem, the fundamental problem of assuming away by default unexpected circumstances preventing the successful execution of an action.

For more information, see http://innovation.it.uts.edu.au/nrac2013/

Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics, in order to better understand how information circulates in an artificial society, how it affects trust, and how it contributes to the construction of reputation and collective attitudes, and to the emergence of conventions. The workshop is an associated event of IJCAI-13.

For more information, see the workshop website at http://www.irit.fr/~Laurent.Perrussel/itdas-13/.

The Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) will be co-located with IJCAI 2013 in Beijing, and builds on the success of TAFA 2011 (co-located with IJCAI 2011). The workshop is inspired by the recent rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of Artificial Intelligence. TAFA 2013 aims to further foster uptake of argumentation as a viable AI paradigm with wide ranging application by providing a forum for further development of existing ideas and for the initiation of new and innovative collaborations.

For more information, see http://homepages.abdn.ac.uk/n.oren/pages/TAFA-13/

The biennial Workshop on Nonmonotonic Reasoning, Action and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

This year's special theme is the qualification problem, the fundamental problem of assuming away by default unexpected circumstances preventing the successful execution of an action.

For more information, see http://innovation.it.uts.edu.au/nrac2013/

Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics, in order to better understand how information circulates in an artificial society, how it affects trust, and how it contributes to the construction of reputation and collective attitudes, and to the emergence of conventions. The workshop is an associated event of IJCAI-13.

For more information, see the workshop website at http://www.irit.fr/~Laurent.Perrussel/itdas-13/.

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. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why and to what extent narrative is universal and explain (or explain away) the function it serves. The aim of this workshop series is to address key questions that advance our understanding of narrative and our ability to model it computationally.

This workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. The workshop will be held as a satellite event of the 2013 Annual Meeting of the Cognitive Science Society (to be held in Berlin 31st July - 3rd August), and so will have a special focus on the cognitive science of narrative.

For more information, see http://narrative.csail.mit.edu/ws13. Questions should be directed to narrative-ws13 at csail.mit.edu.

The Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) will be co-located with IJCAI 2013 in Beijing, and builds on the success of TAFA 2011 (co-located with IJCAI 2011). The workshop is inspired by the recent rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of Artificial Intelligence. TAFA 2013 aims to further foster uptake of argumentation as a viable AI paradigm with wide ranging application by providing a forum for further development of existing ideas and for the initiation of new and innovative collaborations.

For more information, see http://homepages.abdn.ac.uk/n.oren/pages/TAFA-13/

The biennial Workshop on Nonmonotonic Reasoning, Action and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

This year's special theme is the qualification problem, the fundamental problem of assuming away by default unexpected circumstances preventing the successful execution of an action.

For more information, see http://innovation.it.uts.edu.au/nrac2013/

Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics, in order to better understand how information circulates in an artificial society, how it affects trust, and how it contributes to the construction of reputation and collective attitudes, and to the emergence of conventions. The workshop is an associated event of IJCAI-13.

For more information, see the workshop website at http://www.irit.fr/~Laurent.Perrussel/itdas-13/.

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. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why and to what extent narrative is universal and explain (or explain away) the function it serves. The aim of this workshop series is to address key questions that advance our understanding of narrative and our ability to model it computationally.

This workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. The workshop will be held as a satellite event of the 2013 Annual Meeting of the Cognitive Science Society (to be held in Berlin 31st July - 3rd August), and so will have a special focus on the cognitive science of narrative.

For more information, see http://narrative.csail.mit.edu/ws13. Questions should be directed to narrative-ws13 at csail.mit.edu.

The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

For more information, see http://www.bnlsp.ws/.

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

For more information, see http://www.esslli2013.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. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why and to what extent narrative is universal and explain (or explain away) the function it serves. The aim of this workshop series is to address key questions that advance our understanding of narrative and our ability to model it computationally.

This workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. The workshop will be held as a satellite event of the 2013 Annual Meeting of the Cognitive Science Society (to be held in Berlin 31st July - 3rd August), and so will have a special focus on the cognitive science of narrative.

For more information, see http://narrative.csail.mit.edu/ws13. Questions should be directed to narrative-ws13 at csail.mit.edu.

The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

For more information, see http://www.bnlsp.ws/.

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

For more information, see http://www.bnlsp.ws/.

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

For more information, see http://www.bnlsp.ws/.

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

The biennial meeting of the Society for Music Perception and Cognition will be held August 8-11, 2013 at Ryerson University in Toronto, Canada. Ryerson has the fastest rate of research growth in the Province of Ontario (as measured by external research funding), and it leads the country in research publication growth over the past decade.

For more information, seehttp://www.smpc2013.com/

The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

For more information, see http://www.bnlsp.ws/.

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

The biennial meeting of the Society for Music Perception and Cognition will be held August 8-11, 2013 at Ryerson University in Toronto, Canada. Ryerson has the fastest rate of research growth in the Province of Ontario (as measured by external research funding), and it leads the country in research publication growth over the past decade.

For more information, seehttp://www.smpc2013.com/

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

The biennial meeting of the Society for Music Perception and Cognition will be held August 8-11, 2013 at Ryerson University in Toronto, Canada. Ryerson has the fastest rate of research growth in the Province of Ontario (as measured by external research funding), and it leads the country in research publication growth over the past decade.

For more information, seehttp://www.smpc2013.com/

On 10 August 2013, three Master's students in set theory will publicly defend their Master's theses with a committee that includes external committee members. We use this opportunity to have a day of set theory with short talks by the external researchers and an afternoon of thesis defenses. Everyone is cordially welcome to attend the entire day!

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

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

The biennial meeting of the Society for Music Perception and Cognition will be held August 8-11, 2013 at Ryerson University in Toronto, Canada. Ryerson has the fastest rate of research growth in the Province of Ontario (as measured by external research funding), and it leads the country in research publication growth over the past decade.

For more information, seehttp://www.smpc2013.com/

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

For more information, see https://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

For more information, see https://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

For more information, see https://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

For more information, see https://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

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

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

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

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

In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

For more information, see https://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

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

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

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

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

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

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

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology (University of St Andrews), and CSMN, Centre for the Study of Mind in Nature (University of Oslo), are pleased to announce the seventh in a series of graduate conferences aimed at showcasing excellent international graduate work in contemporary analytic philosophy

For more information, see the conference website at http://www.st-andrews.ac.uk/arche/acgc/

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

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

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

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

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

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.

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

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

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.

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

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

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.

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

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

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialog to both academic and industry researchers. Continuing with a series of thirteen successful previous meetings, this conference spans the research interest areas of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA.

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.

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

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

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialog to both academic and industry researchers. Continuing with a series of thirteen successful previous meetings, this conference spans the research interest areas of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA.

The notion of groundedness has been central to research on the semantic paradoxes ever since Kripke's seminal work on truth, and the notion continues to inspire work in this area. Recently, the notion has been applied more widely, for instance to criteria of identity, abstraction principles, and the semantics of modal predicates. There is also a renewed interest in the notion of grounding in metaphysics, and of course the focus on 'grounded objects' in all of these areas is closely related to the emphasis on well-founded sets in set theory. This workshop aims to bring together researchers who deal with groundedness in logic, semantics, metaphysics, and the philosophy of mathematics in order to get a clearer understanding of this concept and of its applications.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/conferences/ or contact Jõnne Speck at jonnesp at ifikk.uio.no.

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialog to both academic and industry researchers. Continuing with a series of thirteen successful previous meetings, this conference spans the research interest areas of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA.

The notion of groundedness has been central to research on the semantic paradoxes ever since Kripke's seminal work on truth, and the notion continues to inspire work in this area. Recently, the notion has been applied more widely, for instance to criteria of identity, abstraction principles, and the semantics of modal predicates. There is also a renewed interest in the notion of grounding in metaphysics, and of course the focus on 'grounded objects' in all of these areas is closely related to the emphasis on well-founded sets in set theory. This workshop aims to bring together researchers who deal with groundedness in logic, semantics, metaphysics, and the philosophy of mathematics in order to get a clearer understanding of this concept and of its applications.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/conferences/ or contact Jõnne Speck at jonnesp at ifikk.uio.no.

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

"Modal epistemology" has witnessed a Rationalist Renaissance and is now witnessing what might end up being an anti-rationalist turn. This workshop aims to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the discipline

For more information, see http://www.epistemologyofmodality.weebly.com

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

Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).

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

Established in 2004, the ICDCIT conference series has become a a primary international forum for the presentation of state-of-the-art results in distributed computing and internet technologies, and their application in society, economy and governance; with proceedings published by Springer in the LNCS volumes.

For more information, see http://www.icdcit.ac.in/.

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

"Modal epistemology" has witnessed a Rationalist Renaissance and is now witnessing what might end up being an anti-rationalist turn. This workshop aims to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the discipline

For more information, see http://www.epistemologyofmodality.weebly.com

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

Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).

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

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

"Modal epistemology" has witnessed a Rationalist Renaissance and is now witnessing what might end up being an anti-rationalist turn. This workshop aims to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the discipline

For more information, see http://www.epistemologyofmodality.weebly.com

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

Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).

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