The aim of the workshop is to draw together new research, conducted in various countries, under the broad heading of lattices with additional operations. A particular focus will be on lattices of binary relations expanded with relational operations. Examples of such lattice expansions include various fragments/variants of relation algebra, Kleene algebra, domain algebra, residuated algebras, etc. Particular research topics include
- (finite) axiomatisability of classes of algebras
- computational aspects e.g. decidability and complexity of the equational theory, representation problem for abstract algebras, finite representation property
- duality theory, completions and canonical extensions
- applications to substructural logics and program semantics.

The workshop is aimed at postgraduate research students with a background in mathematics and advanced researchers in the field.

For more information, see http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

For more information, see http://www.cie2010.uac.pt/

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

For more information, see http://www.cie2010.uac.pt/

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

For more information, see http://www.cie2010.uac.pt/

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

For more information, see http://www.cie2010.uac.pt/

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

For more information, see http://www.cie2010.uac.pt/

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.

This is the ninth in a series of 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://www.econ.ucdavis.edu/faculty/bonanno/loft9.html

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.

This is the ninth in a series of 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://www.econ.ucdavis.edu/faculty/bonanno/loft9.html

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

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 Seventeenth WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010.

Special Event 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naive Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" (http://zalafilms.com/films/halmos.html).

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

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.

This is the ninth in a series of 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://www.econ.ucdavis.edu/faculty/bonanno/loft9.html

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

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 Seventeenth WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010.

Special Event 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naive Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" (http://zalafilms.com/films/halmos.html).

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

Cognitive Informatics (CI) is a cutting-edge and transdisciplinary research area that tackles the fundamental problems shared by modern informatics, computing, AI, cybernetics, computational intelligence, cognitive science, neuropsychology, medical science, systems science, software engineering, telecommunications, knowledge engineering, philosophy, linguistics, economics, management science, and life sciences. CI is a transdisciplinary enquiry on the internal information processing mechanisms and processes of the natural intelligence ~ human brains and minds ~ and their engineering applications in cognitive computing, computational intelligence, as well as the information/communication technology and software industries.

The development and the cross fertilization between the aforementioned science and engineering disciplines have led to a whole range of extremely interesting new research areas known as CI. Following the first eight successful conferences on Cognitive Informatics (ICCI'02 through ICCI'09), the 9th IEEE Int'l Conference on Cognitive Informatics (ICCI'10) focuses on the theme of Cognitive Computing and Cognitive Communications. ICCI'10 welcomes researchers, practitioners, and graduate students to join the international cognitive informatics and cognitive computing initiative toward the investigation of cognitive mechanisms and processes of human information processing, and the development of next generation computers that learn and think.

For more information, see http://www.icci2010.edu.cn

SING 6 is the sixth in the series of Spain-Italy-Netherlands Meetings on Game Theory. Presentations will focus on new research directions in different disciplines. The meeting provides an avenue where new research collaborations can be forged.

For more information, see http://www.unipa.it/sing6/

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, organisation theory and law.

In addition to these general themes, DEON2010 will encourage a special focus on the topics: Deontic Logic and Legal Systems.

For more information, see here.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

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 Seventeenth WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010.

Special Event 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naive Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" (http://zalafilms.com/films/halmos.html).

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

Cognitive Informatics (CI) is a cutting-edge and transdisciplinary research area that tackles the fundamental problems shared by modern informatics, computing, AI, cybernetics, computational intelligence, cognitive science, neuropsychology, medical science, systems science, software engineering, telecommunications, knowledge engineering, philosophy, linguistics, economics, management science, and life sciences. CI is a transdisciplinary enquiry on the internal information processing mechanisms and processes of the natural intelligence ~ human brains and minds ~ and their engineering applications in cognitive computing, computational intelligence, as well as the information/communication technology and software industries.

The development and the cross fertilization between the aforementioned science and engineering disciplines have led to a whole range of extremely interesting new research areas known as CI. Following the first eight successful conferences on Cognitive Informatics (ICCI'02 through ICCI'09), the 9th IEEE Int'l Conference on Cognitive Informatics (ICCI'10) focuses on the theme of Cognitive Computing and Cognitive Communications. ICCI'10 welcomes researchers, practitioners, and graduate students to join the international cognitive informatics and cognitive computing initiative toward the investigation of cognitive mechanisms and processes of human information processing, and the development of next generation computers that learn and think.

For more information, see http://www.icci2010.edu.cn

SING 6 is the sixth in the series of Spain-Italy-Netherlands Meetings on Game Theory. Presentations will focus on new research directions in different disciplines. The meeting provides an avenue where new research collaborations can be forged.

For more information, see http://www.unipa.it/sing6/

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, organisation theory and law.

In addition to these general themes, DEON2010 will encourage a special focus on the topics: Deontic Logic and Legal Systems.

For more information, see here.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

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 Seventeenth WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010.

Special Event 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naive Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" (http://zalafilms.com/films/halmos.html).

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

Cognitive Informatics (CI) is a cutting-edge and transdisciplinary research area that tackles the fundamental problems shared by modern informatics, computing, AI, cybernetics, computational intelligence, cognitive science, neuropsychology, medical science, systems science, software engineering, telecommunications, knowledge engineering, philosophy, linguistics, economics, management science, and life sciences. CI is a transdisciplinary enquiry on the internal information processing mechanisms and processes of the natural intelligence ~ human brains and minds ~ and their engineering applications in cognitive computing, computational intelligence, as well as the information/communication technology and software industries.

The development and the cross fertilization between the aforementioned science and engineering disciplines have led to a whole range of extremely interesting new research areas known as CI. Following the first eight successful conferences on Cognitive Informatics (ICCI'02 through ICCI'09), the 9th IEEE Int'l Conference on Cognitive Informatics (ICCI'10) focuses on the theme of Cognitive Computing and Cognitive Communications. ICCI'10 welcomes researchers, practitioners, and graduate students to join the international cognitive informatics and cognitive computing initiative toward the investigation of cognitive mechanisms and processes of human information processing, and the development of next generation computers that learn and think.

For more information, see http://www.icci2010.edu.cn

SING 6 is the sixth in the series of Spain-Italy-Netherlands Meetings on Game Theory. Presentations will focus on new research directions in different disciplines. The meeting provides an avenue where new research collaborations can be forged.

For more information, see http://www.unipa.it/sing6/

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, organisation theory and law.

In addition to these general themes, DEON2010 will encourage a special focus on the topics: Deontic Logic and Legal Systems.

For more information, see here.

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride. Hybrid logic is now a mature field with significant impact on a range of other fields.

The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power.

See the workshop home page at http://hylocore.ruc.dk/HyLo2010.html for further information.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.

For more information, see http://www.informatik.hu-berlin.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.

For more information, see http://www.informatik.hu-berlin.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org.

TMFCS is an important event in the theoretical, mathematical and logical areas of computer science. The conference will be held at the same time and location where several other major international conferences will be taking place.

Please see http://www.promoteresearch.org/2010/tmfcs/ for more details.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.

For more information, see http://www.informatik.hu-berlin.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org.

TMFCS is an important event in the theoretical, mathematical and logical areas of computer science. The conference will be held at the same time and location where several other major international conferences will be taking place.

Please see http://www.promoteresearch.org/2010/tmfcs/ for more details.

The Northern Institute of Philosophy (Aberdeen) and The Institute of Philosophy (London) are pleased to announce the first joint NIP/IP Summer School. The Summer School will be dedicated to contemporary issues in one of the Northern Institute's main research areas: Epistemology.

The school will cover three areas of interest in Epistemology: Modal Epistemology, Entitlement, and Fallibilism versus Infallibilism. It will be led by Crispin Wright, Carrie Jenkins, Jonathan Ichikawa, Sonia Roca Royes, Elia Zardini, Dylan Dodd, Aidan McGlynn and Bjorn Brodowski.

For more information go to the summer school webpage http://www.abdn.ac.uk/philosophy/nip/page?id=23. The Summer School will be followed by the IP/NIP graduate conference (16-18 July). Summer School participants are most welcome to stay on to attend the Graduate Conference.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.

For more information, see http://www.informatik.hu-berlin.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org.

TMFCS is an important event in the theoretical, mathematical and logical areas of computer science. The conference will be held at the same time and location where several other major international conferences will be taking place.

Please see http://www.promoteresearch.org/2010/tmfcs/ for more details.

The Northern Institute of Philosophy (Aberdeen) and The Institute of Philosophy (London) are pleased to announce the first joint NIP/IP Summer School. The Summer School will be dedicated to contemporary issues in one of the Northern Institute's main research areas: Epistemology.

The school will cover three areas of interest in Epistemology: Modal Epistemology, Entitlement, and Fallibilism versus Infallibilism. It will be led by Crispin Wright, Carrie Jenkins, Jonathan Ichikawa, Sonia Roca Royes, Elia Zardini, Dylan Dodd, Aidan McGlynn and Bjorn Brodowski.

For more information go to the summer school webpage http://www.abdn.ac.uk/philosophy/nip/page?id=23. The Summer School will be followed by the IP/NIP graduate conference (16-18 July). Summer School participants are most welcome to stay on to attend the Graduate Conference.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The Northern Institute of Philosophy (Aberdeen) and The Institute of Philosophy (London) are pleased to announce the first joint NIP/IP Summer School. The Summer School will be dedicated to contemporary issues in one of the Northern Institute's main research areas: Epistemology.

The school will cover three areas of interest in Epistemology: Modal Epistemology, Entitlement, and Fallibilism versus Infallibilism. It will be led by Crispin Wright, Carrie Jenkins, Jonathan Ichikawa, Sonia Roca Royes, Elia Zardini, Dylan Dodd, Aidan McGlynn and Bjorn Brodowski.

For more information go to the summer school webpage http://www.abdn.ac.uk/philosophy/nip/page?id=23. The Summer School will be followed by the IP/NIP graduate conference (16-18 July). Summer School participants are most welcome to stay on to attend the Graduate Conference.

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. Details of these workshops will be posted on the conference website at http://ali.cmi.ac.in/icla2011 in due course. Any queries related to the conference may be sent to the following email address: icla at cse.iitk.ac.in.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

For more information, see http://www.floc-conference.org/IJCAR-home.html.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

For more information, see http://www.floc-conference.org/IJCAR-home.html.

The Amsterdam Graduate Philosophy Conference 2010 is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The 3rd Amsterdam Graduate Philosophy Conference is devoted to continue the discussions that were raised in the previous two conferences, as well as to lay the ground for new ones. The theme this year is Truth, Meaning, and Normativity.

We invite submissions from graduate researchers conducting novel philosophical research into any of the three conference topics. We also encourage submissions that inform the discussion about truth, meaning, and/or normativity by offering a philosophical interpretation of results from other fields such as logic, cognitive psychology and linguistics (including formal semantics and sociolinguistics).

Since the topics of truth, meaning, and normativity naturally feed into each other, we also welcome contributions whose particular aim is to explore any of the many intricate ways in which these notions relate to one another. Submissions on the role that these notions have played, or play, in the broad (analytic) tradition or, more specifically, within the linguistic turn are also of interest to the conference.

For more information, please visit the conference website at https://www.illc.uva.nl/agpc/agpc10/, or contact agpc at uva.nl.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

For more information, see http://www.floc-conference.org/IJCAR-home.html.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

For more information, see http://www.floc-conference.org/IJCAR-home.html.

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium.

For further details see the webpage http://events.cs.bham.ac.uk/BLC2010.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The Young Researchers' Roundtable on Spoken Dialogue Systems (YRRSDS) is an annual workshop designed for post-graduate students, post-docs and junior researchers working in research related to spoken dialogue systems in both academia and industry. The roundtable provides an open forum where participants can discuss their research interests, current work and future plans. The workshop is meant to provide an interdisciplinary forum for creative thinking about current issues in spoken dialogue systems research, and help create a stronger international network of young researchers working in the field.

Participants will be asked to submit a 2-page position paper. Submissions will be accepted on a rolling basis until the maximum number of participants for the workshop (50) is reached, or until the submission deadline 23 July 2010.

For more information, see http://www.yrrsds.org/ or contact Raquel Fernandez.

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote speakers: John Carroll (University of Sussex, UK) and Christiane Fellbaum (Princeton University, USA).

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2010 at tsdconference.org.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

Rationality, Markets and Morals (RMM) offers a forum to all scholars interested in problems at the intersection of philosophy and economics, whether they are looking at economic problems from a philosophical point of view, are applying economic methods in investigating philosophical problems, or are engaging issues concerning the common foundations of both disciplines as, for instance, in the theory of rational decision making.

RMM is an international online journal based in Europe, published by Frankfurt School Verlag. Articles are generally published in English. Authors using formal methods are welcomed yet requested to take pains to make their arguments accessible to a broad audience. Technical details should be placed in appendices. In addition to original research articles, RMM features a discussion section with short articles and comments and a book review section.

For more information, see http://www.rmm-journal.de/index.html

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

2nd Brazilian Workshop of the Game Theory Society, in honor of John Nash, on the occasion of the 60th anniversary of Nash equilibrium.

The workshop will offer the participants the opportunity to interact with some of the most productive researchers in Game Theory. The week-long event will consist of conferences, contributed papers sessions and mini-courses which will start at the introductory level and will reach the frontiers of current research.

Early registration; 03/15/2010. For more information, see http://www.gametheorysociety.org/conferences/#29July2010 and http://aplicativos.fipe.org.br/bwgt2010/index.htm

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

2nd Brazilian Workshop of the Game Theory Society, in honor of John Nash, on the occasion of the 60th anniversary of Nash equilibrium.

The workshop will offer the participants the opportunity to interact with some of the most productive researchers in Game Theory. The week-long event will consist of conferences, contributed papers sessions and mini-courses which will start at the introductory level and will reach the frontiers of current research.

Early registration; 03/15/2010. For more information, see http://www.gametheorysociety.org/conferences/#29July2010 and http://aplicativos.fipe.org.br/bwgt2010/index.htm

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

2nd Brazilian Workshop of the Game Theory Society, in honor of John Nash, on the occasion of the 60th anniversary of Nash equilibrium.

The workshop will offer the participants the opportunity to interact with some of the most productive researchers in Game Theory. The week-long event will consist of conferences, contributed papers sessions and mini-courses which will start at the introductory level and will reach the frontiers of current research.

Early registration; 03/15/2010. For more information, see http://www.gametheorysociety.org/conferences/#29July2010 and http://aplicativos.fipe.org.br/bwgt2010/index.htm