The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Third International Workshop on Logic, Rationality and Interaction (LORI-III) will take place in Guangzhou, China, during October 10-13, 2011. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://www.golori.org/lori2011/

LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2011/.

The first and fourth day of the conference will be at 105 Emerson Hall, Harvard University; the second and third day of the conference will be at Brandeis University. Registration includes bus taking people to and from Harvard and Brandeis Universities

For further information, please contact: Putnamconference2011 at gmail.com Also there will be a web site set up at: http://www.fas.harvard.edu/~phildept/putnamconference.html

The Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain, will focus on logic teaching software, teaching formal methods, dissemination of logic courseware, logic games, etc. Previously, these events have also been organized in Salamanca, in 2000 and in 2006. Invited speakers include David Gries, known as the author of The Science of Programming, and Jim Henle, known as an author of Sweet Reason. The organizing committee is: Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, and Fernando Soler.

For more information, see http://logicae.usal.es/TICTTL/

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

BLAST 2011 will feature invited talks by Themba Dube, Todd Eisworth, Christian Herrmann, Albin Jones, Milos Kurilic, Keye Martin, and Jorge Martinez, and invited tutorials by Magdalena Grzech, Pieter Hofstra, Marion Scheepers, and Stevo Todorcevic.

Early registration deadline: May 15, 2011. More information can be found at the conference web page at http://www.math.ku.edu/conferences/blast2011/, or contact the conference organizers at blast2011 at math.ku.edu

LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2011/.

The first and fourth day of the conference will be at 105 Emerson Hall, Harvard University; the second and third day of the conference will be at Brandeis University. Registration includes bus taking people to and from Harvard and Brandeis Universities

For further information, please contact: Putnamconference2011 at gmail.com Also there will be a web site set up at: http://www.fas.harvard.edu/~phildept/putnamconference.html

The Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain, will focus on logic teaching software, teaching formal methods, dissemination of logic courseware, logic games, etc. Previously, these events have also been organized in Salamanca, in 2000 and in 2006. Invited speakers include David Gries, known as the author of The Science of Programming, and Jim Henle, known as an author of Sweet Reason. The organizing committee is: Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, and Fernando Soler.

For more information, see http://logicae.usal.es/TICTTL/

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

BLAST 2011 will feature invited talks by Themba Dube, Todd Eisworth, Christian Herrmann, Albin Jones, Milos Kurilic, Keye Martin, and Jorge Martinez, and invited tutorials by Magdalena Grzech, Pieter Hofstra, Marion Scheepers, and Stevo Todorcevic.

Early registration deadline: May 15, 2011. More information can be found at the conference web page at http://www.math.ku.edu/conferences/blast2011/, or contact the conference organizers at blast2011 at math.ku.edu

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2011/.

The first and fourth day of the conference will be at 105 Emerson Hall, Harvard University; the second and third day of the conference will be at Brandeis University. Registration includes bus taking people to and from Harvard and Brandeis Universities

For further information, please contact: Putnamconference2011 at gmail.com Also there will be a web site set up at: http://www.fas.harvard.edu/~phildept/putnamconference.html

The Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain, will focus on logic teaching software, teaching formal methods, dissemination of logic courseware, logic games, etc. Previously, these events have also been organized in Salamanca, in 2000 and in 2006. Invited speakers include David Gries, known as the author of The Science of Programming, and Jim Henle, known as an author of Sweet Reason. The organizing committee is: Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, and Fernando Soler.

For more information, see http://logicae.usal.es/TICTTL/

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

BLAST 2011 will feature invited talks by Themba Dube, Todd Eisworth, Christian Herrmann, Albin Jones, Milos Kurilic, Keye Martin, and Jorge Martinez, and invited tutorials by Magdalena Grzech, Pieter Hofstra, Marion Scheepers, and Stevo Todorcevic.

Early registration deadline: May 15, 2011. More information can be found at the conference web page at http://www.math.ku.edu/conferences/blast2011/, or contact the conference organizers at blast2011 at math.ku.edu

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. Various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature.

The main goals of this Studia Logica International Conference include the discussion over the major results concerning the Church's Thesis (CT), as well as the presentation of contemporary approaches to problems connected with the CT.

For more information, see http://studialogica.org/TrendsIX

The Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain, will focus on logic teaching software, teaching formal methods, dissemination of logic courseware, logic games, etc. Previously, these events have also been organized in Salamanca, in 2000 and in 2006. Invited speakers include David Gries, known as the author of The Science of Programming, and Jim Henle, known as an author of Sweet Reason. The organizing committee is: Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, and Fernando Soler.

For more information, see http://logicae.usal.es/TICTTL/

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

BLAST 2011 will feature invited talks by Themba Dube, Todd Eisworth, Christian Herrmann, Albin Jones, Milos Kurilic, Keye Martin, and Jorge Martinez, and invited tutorials by Magdalena Grzech, Pieter Hofstra, Marion Scheepers, and Stevo Todorcevic.

Early registration deadline: May 15, 2011. More information can be found at the conference web page at http://www.math.ku.edu/conferences/blast2011/, or contact the conference organizers at blast2011 at math.ku.edu

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. Various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature.

The main goals of this Studia Logica International Conference include the discussion over the major results concerning the Church's Thesis (CT), as well as the presentation of contemporary approaches to problems connected with the CT.

For more information, see http://studialogica.org/TrendsIX

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

BLAST 2011 will feature invited talks by Themba Dube, Todd Eisworth, Christian Herrmann, Albin Jones, Milos Kurilic, Keye Martin, and Jorge Martinez, and invited tutorials by Magdalena Grzech, Pieter Hofstra, Marion Scheepers, and Stevo Todorcevic.

Early registration deadline: May 15, 2011. More information can be found at the conference web page at http://www.math.ku.edu/conferences/blast2011/, or contact the conference organizers at blast2011 at math.ku.edu

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. Various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature.

The main goals of this Studia Logica International Conference include the discussion over the major results concerning the Church's Thesis (CT), as well as the presentation of contemporary approaches to problems connected with the CT.

For more information, see http://studialogica.org/TrendsIX

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

The 43rd ACM Symposium on Theory of Computing (STOC 2011), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Jose, California, from Monday June 6 to Wednesday June 8, 2011, as part of the Federated Computing Research Conference (FCRC).

For more information, see http://www2.research.att.com/~dsj/stoc11/stoc11.html

From 6-10 June the fourth European Women in Mathematics summer school will take place at the Lorentz Center in Leiden. As Logic is one of the central themes of this summer school this may be of interest to you. This summer school is especially aimed at encouraging female students and researchers at the beginning of their career, but also male students are very welcome to participate.

During the summer school the participants will be actively involved. Besides the lectures, there will be problem solving sessions on Logic and Geometry and a mini workshop on History in Mathematics. Furthermore, the participants will be asked to present their own work, so as to get to know each other and to practice presentation skills. Finally, possible barriers in an academic career and cultural differences will be discussed, both in particular in relation to gender issues. This set-up fosters an interactive and collaborative atmosphere and therefore all participants are encouraged to stay for the whole summer school period.

For more information, contact Dion Coumans at coumans at math.ru.nl or see the summer school webpage at http://www.lorentzcenter.nl/lc/web/2011/429/description.php3?wsid=429.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

The 43rd ACM Symposium on Theory of Computing (STOC 2011), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Jose, California, from Monday June 6 to Wednesday June 8, 2011, as part of the Federated Computing Research Conference (FCRC).

For more information, see http://www2.research.att.com/~dsj/stoc11/stoc11.html

From 6-10 June the fourth European Women in Mathematics summer school will take place at the Lorentz Center in Leiden. As Logic is one of the central themes of this summer school this may be of interest to you. This summer school is especially aimed at encouraging female students and researchers at the beginning of their career, but also male students are very welcome to participate.

During the summer school the participants will be actively involved. Besides the lectures, there will be problem solving sessions on Logic and Geometry and a mini workshop on History in Mathematics. Furthermore, the participants will be asked to present their own work, so as to get to know each other and to practice presentation skills. Finally, possible barriers in an academic career and cultural differences will be discussed, both in particular in relation to gender issues. This set-up fosters an interactive and collaborative atmosphere and therefore all participants are encouraged to stay for the whole summer school period.

For more information, contact Dion Coumans at coumans at math.ru.nl or see the summer school webpage at http://www.lorentzcenter.nl/lc/web/2011/429/description.php3?wsid=429.

Since 1981, ASMDA aims to serve as the interface between Stochastic Modeling and Data Analysis and their real life applications particularly in Business, Finance and Insurance, Management, Production and Reliability, Biology and Medicine. Our main objective is to publish papers, both theoretical or practical, presenting new results having potential for solving real-life problems. Another important objective is to present new methods for solving these problems by analyzing the relevant data. Also, the use of recent advances in different fields, will be promoted such as for example, new optimization and statistical methods, data warehouse, data mining and knowledge systems, computing-aided decision supports and neural computing.

For more information, see the site http://www.asmda.eu/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

The 43rd ACM Symposium on Theory of Computing (STOC 2011), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Jose, California, from Monday June 6 to Wednesday June 8, 2011, as part of the Federated Computing Research Conference (FCRC).

For more information, see http://www2.research.att.com/~dsj/stoc11/stoc11.html

From 6-10 June the fourth European Women in Mathematics summer school will take place at the Lorentz Center in Leiden. As Logic is one of the central themes of this summer school this may be of interest to you. This summer school is especially aimed at encouraging female students and researchers at the beginning of their career, but also male students are very welcome to participate.

During the summer school the participants will be actively involved. Besides the lectures, there will be problem solving sessions on Logic and Geometry and a mini workshop on History in Mathematics. Furthermore, the participants will be asked to present their own work, so as to get to know each other and to practice presentation skills. Finally, possible barriers in an academic career and cultural differences will be discussed, both in particular in relation to gender issues. This set-up fosters an interactive and collaborative atmosphere and therefore all participants are encouraged to stay for the whole summer school period.

For more information, contact Dion Coumans at coumans at math.ru.nl or see the summer school webpage at http://www.lorentzcenter.nl/lc/web/2011/429/description.php3?wsid=429.

Since 1981, ASMDA aims to serve as the interface between Stochastic Modeling and Data Analysis and their real life applications particularly in Business, Finance and Insurance, Management, Production and Reliability, Biology and Medicine. Our main objective is to publish papers, both theoretical or practical, presenting new results having potential for solving real-life problems. Another important objective is to present new methods for solving these problems by analyzing the relevant data. Also, the use of recent advances in different fields, will be promoted such as for example, new optimization and statistical methods, data warehouse, data mining and knowledge systems, computing-aided decision supports and neural computing.

For more information, see the site http://www.asmda.eu/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

From 6-10 June the fourth European Women in Mathematics summer school will take place at the Lorentz Center in Leiden. As Logic is one of the central themes of this summer school this may be of interest to you. This summer school is especially aimed at encouraging female students and researchers at the beginning of their career, but also male students are very welcome to participate.

During the summer school the participants will be actively involved. Besides the lectures, there will be problem solving sessions on Logic and Geometry and a mini workshop on History in Mathematics. Furthermore, the participants will be asked to present their own work, so as to get to know each other and to practice presentation skills. Finally, possible barriers in an academic career and cultural differences will be discussed, both in particular in relation to gender issues. This set-up fosters an interactive and collaborative atmosphere and therefore all participants are encouraged to stay for the whole summer school period.

For more information, contact Dion Coumans at coumans at math.ru.nl or see the summer school webpage at http://www.lorentzcenter.nl/lc/web/2011/429/description.php3?wsid=429.

Since 1981, ASMDA aims to serve as the interface between Stochastic Modeling and Data Analysis and their real life applications particularly in Business, Finance and Insurance, Management, Production and Reliability, Biology and Medicine. Our main objective is to publish papers, both theoretical or practical, presenting new results having potential for solving real-life problems. Another important objective is to present new methods for solving these problems by analyzing the relevant data. Also, the use of recent advances in different fields, will be promoted such as for example, new optimization and statistical methods, data warehouse, data mining and knowledge systems, computing-aided decision supports and neural computing.

For more information, see the site http://www.asmda.eu/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Surely, we might have different opinions about whether or not it is fun to ride a roller coaster. But can they both be true? And are we really disagreeing in case they are?

Relativists typically tend to answer both questions in the affirmative. As innocent as this position may seem at first sight, it certainly involves some rather dramatic changes in the way philosophers usually think about formal semantics. Then again, these changes seem to offer elegant solutions to further problems besetting semantics, such as the assessment of future contingents, the variability of knowledge ascriptions and the correct analysis of epistemic modals. The conference will be concerned with different relativist proposals, with its consequences, and with possible alternative analyses of the phenomena motivating relativism.

The conference is part of the Rhine Valley Philosophy Summer 2011, a series of independently organized philosophical events. See http://rvps2011.net/ for further information.

For more information, see http://rvps2011.net/relativism/ or contact relativism at uni-bonn.de.

The conference is conceived as a continuation of the previous meetings on the relation between Music and the Neurosciences. These conferences have been highly successful and have generated enormous excitement, both among established and new researchers. By providing the opportunity to present new results and exchange information, the meetings have contributed substantially to the growth of new research and collaborations in the neuroscience of music and to its visibility within the broader scientific community.

The central theme of Music and Neurosciences IV will be Learning and Memory. The conference programme will also be divided into 4 subthemes: "Infants and Children", "Adults: musicians and non musicians", "Disabilities and aging-related issues" and "Therapy and Rehabilitation". The conference will include Keynote Lectures, Symposia, Poster Sessions and a Workshop on child-oriented research design and new data acquisition and analysis techniques. The conference will be of interest not only to neuroscientists, psychologists and students but also to clinical neurologists, clinical psychologists, therapists, music performers and educators as well as musicologists.

For more information, see http://www.fondazione-mariani.org/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

From 6-10 June the fourth European Women in Mathematics summer school will take place at the Lorentz Center in Leiden. As Logic is one of the central themes of this summer school this may be of interest to you. This summer school is especially aimed at encouraging female students and researchers at the beginning of their career, but also male students are very welcome to participate.

During the summer school the participants will be actively involved. Besides the lectures, there will be problem solving sessions on Logic and Geometry and a mini workshop on History in Mathematics. Furthermore, the participants will be asked to present their own work, so as to get to know each other and to practice presentation skills. Finally, possible barriers in an academic career and cultural differences will be discussed, both in particular in relation to gender issues. This set-up fosters an interactive and collaborative atmosphere and therefore all participants are encouraged to stay for the whole summer school period.

For more information, contact Dion Coumans at coumans at math.ru.nl or see the summer school webpage at http://www.lorentzcenter.nl/lc/web/2011/429/description.php3?wsid=429.

Since 1981, ASMDA aims to serve as the interface between Stochastic Modeling and Data Analysis and their real life applications particularly in Business, Finance and Insurance, Management, Production and Reliability, Biology and Medicine. Our main objective is to publish papers, both theoretical or practical, presenting new results having potential for solving real-life problems. Another important objective is to present new methods for solving these problems by analyzing the relevant data. Also, the use of recent advances in different fields, will be promoted such as for example, new optimization and statistical methods, data warehouse, data mining and knowledge systems, computing-aided decision supports and neural computing.

For more information, see the site http://www.asmda.eu/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Surely, we might have different opinions about whether or not it is fun to ride a roller coaster. But can they both be true? And are we really disagreeing in case they are?

Relativists typically tend to answer both questions in the affirmative. As innocent as this position may seem at first sight, it certainly involves some rather dramatic changes in the way philosophers usually think about formal semantics. Then again, these changes seem to offer elegant solutions to further problems besetting semantics, such as the assessment of future contingents, the variability of knowledge ascriptions and the correct analysis of epistemic modals. The conference will be concerned with different relativist proposals, with its consequences, and with possible alternative analyses of the phenomena motivating relativism.

The conference is part of the Rhine Valley Philosophy Summer 2011, a series of independently organized philosophical events. See http://rvps2011.net/ for further information.

For more information, see http://rvps2011.net/relativism/ or contact relativism at uni-bonn.de.

The conference is conceived as a continuation of the previous meetings on the relation between Music and the Neurosciences. These conferences have been highly successful and have generated enormous excitement, both among established and new researchers. By providing the opportunity to present new results and exchange information, the meetings have contributed substantially to the growth of new research and collaborations in the neuroscience of music and to its visibility within the broader scientific community.

The central theme of Music and Neurosciences IV will be Learning and Memory. The conference programme will also be divided into 4 subthemes: "Infants and Children", "Adults: musicians and non musicians", "Disabilities and aging-related issues" and "Therapy and Rehabilitation". The conference will include Keynote Lectures, Symposia, Poster Sessions and a Workshop on child-oriented research design and new data acquisition and analysis techniques. The conference will be of interest not only to neuroscientists, psychologists and students but also to clinical neurologists, clinical psychologists, therapists, music performers and educators as well as musicologists.

For more information, see http://www.fondazione-mariani.org/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Surely, we might have different opinions about whether or not it is fun to ride a roller coaster. But can they both be true? And are we really disagreeing in case they are?

Relativists typically tend to answer both questions in the affirmative. As innocent as this position may seem at first sight, it certainly involves some rather dramatic changes in the way philosophers usually think about formal semantics. Then again, these changes seem to offer elegant solutions to further problems besetting semantics, such as the assessment of future contingents, the variability of knowledge ascriptions and the correct analysis of epistemic modals. The conference will be concerned with different relativist proposals, with its consequences, and with possible alternative analyses of the phenomena motivating relativism.

The conference is part of the Rhine Valley Philosophy Summer 2011, a series of independently organized philosophical events. See http://rvps2011.net/ for further information.

For more information, see http://rvps2011.net/relativism/ or contact relativism at uni-bonn.de.

The conference is conceived as a continuation of the previous meetings on the relation between Music and the Neurosciences. These conferences have been highly successful and have generated enormous excitement, both among established and new researchers. By providing the opportunity to present new results and exchange information, the meetings have contributed substantially to the growth of new research and collaborations in the neuroscience of music and to its visibility within the broader scientific community.

The central theme of Music and Neurosciences IV will be Learning and Memory. The conference programme will also be divided into 4 subthemes: "Infants and Children", "Adults: musicians and non musicians", "Disabilities and aging-related issues" and "Therapy and Rehabilitation". The conference will include Keynote Lectures, Symposia, Poster Sessions and a Workshop on child-oriented research design and new data acquisition and analysis techniques. The conference will be of interest not only to neuroscientists, psychologists and students but also to clinical neurologists, clinical psychologists, therapists, music performers and educators as well as musicologists.

For more information, see http://www.fondazione-mariani.org/

The Bonn Graduate Conference is part of the "Rhine Valley Philosophy Summer" (http://rvps2011.net/), a series of events independently organized by philosophers in Bonn and Cologne. Its aim is to give graduate students the opportunity to present their work to leading researchers in philosophy of language, epistemology and metaphysics.

There will be up to seven talks by graduate students. Talks with a thematic focus on contextualism and relativism are given priority, but general submissions on broader topics in epistemology, philosophy of language and philosophy of science are welcome and will be considered. The conference language is English.

For further information consult our website: http://rvps2011.net/relativism/graduate.html

The ILLC Midsummernight Colloquium will start off with three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Catarina Dutilh Novaes (LoLa, from July 1st at Univ. Groningen), Aline Honingh (LaCo) and Ronald de Wolf (LoCo) have accepted to give presentations.

For more information contact rens.bod at uva.nl.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The conference is conceived as a continuation of the previous meetings on the relation between Music and the Neurosciences. These conferences have been highly successful and have generated enormous excitement, both among established and new researchers. By providing the opportunity to present new results and exchange information, the meetings have contributed substantially to the growth of new research and collaborations in the neuroscience of music and to its visibility within the broader scientific community.

The central theme of Music and Neurosciences IV will be Learning and Memory. The conference programme will also be divided into 4 subthemes: "Infants and Children", "Adults: musicians and non musicians", "Disabilities and aging-related issues" and "Therapy and Rehabilitation". The conference will include Keynote Lectures, Symposia, Poster Sessions and a Workshop on child-oriented research design and new data acquisition and analysis techniques. The conference will be of interest not only to neuroscientists, psychologists and students but also to clinical neurologists, clinical psychologists, therapists, music performers and educators as well as musicologists.

For more information, see http://www.fondazione-mariani.org/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

András Hajnal is turning 80 in 2011. We are pleased to announce that the Alfréd Rényi Institute of Mathematics, the János Bolyai Mathematical Society and the Mathematical Institute of Eötvös University are organizing a conference celebrating this occassion. The main topics of the conference will be set theory and combinatorics.

More information about the event can be found at http://www.renyi.hu/conferences/hajnal80/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

András Hajnal is turning 80 in 2011. We are pleased to announce that the Alfréd Rényi Institute of Mathematics, the János Bolyai Mathematical Society and the Mathematical Institute of Eötvös University are organizing a conference celebrating this occassion. The main topics of the conference will be set theory and combinatorics.

More information about the event can be found at http://www.renyi.hu/conferences/hajnal80/

Two Logic Tutorials in Helsinki this June:
Andres Villaveces: Stability Theory of Polish Spaces, Time: 14-16 June 2011, every day 12-14.
Roman Kossak: Elementary pairs of models of arithmetic. Time: 15-17 June 2011, every day 14-16.

Contact person: Juliette Kennedy (juliette.kennedy at helsinki.fi).
Web page http://www.math.helsinki.fi/logic/opetus/gs/

This is a workshop on contemporary Logicism. The aim of this workshop is to gather philosophers working from within a logicist perspective (or from within a perspective close to logicism) so as to question the coherence and unity of the movement - that is, both to make apparent the conceptual tensions that divide logicism, and to outline possible rapprochements between different logicist approaches of mathematics. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www.univ-bpclermont.fr/LABOS/phier/Logicism/index.html.en

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on applying formal logical methods in a broad sense (including non-classical and modal logics, epistemic game theory, algebraic and categorical logic, probabilistic approaches etc) to reasoning about information and agency.

Topics of interest include:
Modal Logics for Agency
Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
Logics for Information Updates (learning, belief revision, theory change, conditioning etc.)
Logical approaches to strategies, preferences and rationality in Epistemic Game Theory
Logics for reasoning about protocols, planning and intentions.

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

Mechanisms for reasoning with context have become increasingly important factors in the Semantic Web. There is a growing need for general and robust reasoning techniques that make it possible to integrate heterogeneous knowledge or to use homogeneous knowledge across different domains. This special issue aims at bringing together work on reasoning with context in the Semantic Web from integration, development and evolutionary perspectives.

For more information, see http://journalofwebsemantics.blogspot.com/2011/03/ or contact organization at arcoe.org.

It is with great pleasure that we announce the upcoming Semantics and Philosophy in Europe 4 conference. The conference will feature expert tutorials, symposia, roundtables, and a colloquium on the following topics: The Semantics and Pragmatics of Quotation, The Semantics of Action Sentences, and The Semantics and Epistemology of Mental State Ascriptions.

The purpose of the SPE workshops is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the related areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology) . SPE takes place annually in different European cities. The previous meetings took place in Paris (SPE1, 2008), London (SPE2, 2009), and Paris (SPE3, 2010).

For more information, see http://www.rub.de/phil-lang/spe4 or contact spe4 at rub.de.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

András Hajnal is turning 80 in 2011. We are pleased to announce that the Alfréd Rényi Institute of Mathematics, the János Bolyai Mathematical Society and the Mathematical Institute of Eötvös University are organizing a conference celebrating this occassion. The main topics of the conference will be set theory and combinatorics.

More information about the event can be found at http://www.renyi.hu/conferences/hajnal80/

Two Logic Tutorials in Helsinki this June:
Andres Villaveces: Stability Theory of Polish Spaces, Time: 14-16 June 2011, every day 12-14.
Roman Kossak: Elementary pairs of models of arithmetic. Time: 15-17 June 2011, every day 14-16.

Contact person: Juliette Kennedy (juliette.kennedy at helsinki.fi).
Web page http://www.math.helsinki.fi/logic/opetus/gs/

This is a workshop on contemporary Logicism. The aim of this workshop is to gather philosophers working from within a logicist perspective (or from within a perspective close to logicism) so as to question the coherence and unity of the movement - that is, both to make apparent the conceptual tensions that divide logicism, and to outline possible rapprochements between different logicist approaches of mathematics. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www.univ-bpclermont.fr/LABOS/phier/Logicism/index.html.en

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

Invited speakers: Thomas Colcombet (CNRS), Erich Graedel (Aachen University), Moshe Vardi (Rice University).

For more information, see http://gandalf.dia.unisa.it/

The 3rd International Conference on Mathematics and Computation in Music (MCM 2011) will take place on June 15-17, 2011 at IRCAM, the Institute for Research and Coordination of Acoustics and Music in Paris, France. MCM 2011 will be integrated into IRCAM's most important artistic event of the season, the Agora Music Festival, which is running from June 6 to 18, 2011.

As in the case of the first two conferences (which took place in 2007 in Berlin and in 2009 at Yale University), the third Mathematics and Computation in Music Conference aims to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory, composition, musicology, or other related disciplines. One of the Keynote speakers will be the renowned composer and conductor Pierre Boulez, founder and honorary director of IRCAM. It will be accompanied by a series of conference-related artistic events (concerts, exhibitions, workshops, ...) organised in collaboration with some of the most important cultural and educational centres of France, such as the Centre Pompidou and Universcience.

For more information, see http://mcm2011.ircam.fr/drupal/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

András Hajnal is turning 80 in 2011. We are pleased to announce that the Alfréd Rényi Institute of Mathematics, the János Bolyai Mathematical Society and the Mathematical Institute of Eötvös University are organizing a conference celebrating this occassion. The main topics of the conference will be set theory and combinatorics.

More information about the event can be found at http://www.renyi.hu/conferences/hajnal80/

Two Logic Tutorials in Helsinki this June:
Andres Villaveces: Stability Theory of Polish Spaces, Time: 14-16 June 2011, every day 12-14.
Roman Kossak: Elementary pairs of models of arithmetic. Time: 15-17 June 2011, every day 14-16.

Contact person: Juliette Kennedy (juliette.kennedy at helsinki.fi).
Web page http://www.math.helsinki.fi/logic/opetus/gs/

This is a workshop on contemporary Logicism. The aim of this workshop is to gather philosophers working from within a logicist perspective (or from within a perspective close to logicism) so as to question the coherence and unity of the movement - that is, both to make apparent the conceptual tensions that divide logicism, and to outline possible rapprochements between different logicist approaches of mathematics. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www.univ-bpclermont.fr/LABOS/phier/Logicism/index.html.en

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

Invited speakers: Thomas Colcombet (CNRS), Erich Graedel (Aachen University), Moshe Vardi (Rice University).

For more information, see http://gandalf.dia.unisa.it/

The 3rd International Conference on Mathematics and Computation in Music (MCM 2011) will take place on June 15-17, 2011 at IRCAM, the Institute for Research and Coordination of Acoustics and Music in Paris, France. MCM 2011 will be integrated into IRCAM's most important artistic event of the season, the Agora Music Festival, which is running from June 6 to 18, 2011.

As in the case of the first two conferences (which took place in 2007 in Berlin and in 2009 at Yale University), the third Mathematics and Computation in Music Conference aims to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory, composition, musicology, or other related disciplines. One of the Keynote speakers will be the renowned composer and conductor Pierre Boulez, founder and honorary director of IRCAM. It will be accompanied by a series of conference-related artistic events (concerts, exhibitions, workshops, ...) organised in collaboration with some of the most important cultural and educational centres of France, such as the Centre Pompidou and Universcience.

For more information, see http://mcm2011.ircam.fr/drupal/

The impact of David Lewis on contemporary philosophy is still tangible, ten years after his premature departure. The conference intends to discuss Lewis' long-lasting contribution in the fields of logic and metaphysics, with particular focus on the nature of modality, his views on possible worlds, counterfactuals, causation, and convention. We also wish to provide a setting for young philosophers and logicians to present topics related to Lewis' philosophy and discuss the state of art of his legacy in the contemporary philosophical debate.

For further information and for the conference program, please contact conlewis2011 at gmail.com or visit the website at http://sites.google.com/site/conferencelewis/.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

András Hajnal is turning 80 in 2011. We are pleased to announce that the Alfréd Rényi Institute of Mathematics, the János Bolyai Mathematical Society and the Mathematical Institute of Eötvös University are organizing a conference celebrating this occassion. The main topics of the conference will be set theory and combinatorics.

More information about the event can be found at http://www.renyi.hu/conferences/hajnal80/

Two Logic Tutorials in Helsinki this June:
Andres Villaveces: Stability Theory of Polish Spaces, Time: 14-16 June 2011, every day 12-14.
Roman Kossak: Elementary pairs of models of arithmetic. Time: 15-17 June 2011, every day 14-16.

Contact person: Juliette Kennedy (juliette.kennedy at helsinki.fi).
Web page http://www.math.helsinki.fi/logic/opetus/gs/

This is a workshop on contemporary Logicism. The aim of this workshop is to gather philosophers working from within a logicist perspective (or from within a perspective close to logicism) so as to question the coherence and unity of the movement - that is, both to make apparent the conceptual tensions that divide logicism, and to outline possible rapprochements between different logicist approaches of mathematics. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www.univ-bpclermont.fr/LABOS/phier/Logicism/index.html.en

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

Invited speakers: Thomas Colcombet (CNRS), Erich Graedel (Aachen University), Moshe Vardi (Rice University).

For more information, see http://gandalf.dia.unisa.it/

The 3rd International Conference on Mathematics and Computation in Music (MCM 2011) will take place on June 15-17, 2011 at IRCAM, the Institute for Research and Coordination of Acoustics and Music in Paris, France. MCM 2011 will be integrated into IRCAM's most important artistic event of the season, the Agora Music Festival, which is running from June 6 to 18, 2011.

As in the case of the first two conferences (which took place in 2007 in Berlin and in 2009 at Yale University), the third Mathematics and Computation in Music Conference aims to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory, composition, musicology, or other related disciplines. One of the Keynote speakers will be the renowned composer and conductor Pierre Boulez, founder and honorary director of IRCAM. It will be accompanied by a series of conference-related artistic events (concerts, exhibitions, workshops, ...) organised in collaboration with some of the most important cultural and educational centres of France, such as the Centre Pompidou and Universcience.

For more information, see http://mcm2011.ircam.fr/drupal/

The impact of David Lewis on contemporary philosophy is still tangible, ten years after his premature departure. The conference intends to discuss Lewis' long-lasting contribution in the fields of logic and metaphysics, with particular focus on the nature of modality, his views on possible worlds, counterfactuals, causation, and convention. We also wish to provide a setting for young philosophers and logicians to present topics related to Lewis' philosophy and discuss the state of art of his legacy in the contemporary philosophical debate.

For further information and for the conference program, please contact conlewis2011 at gmail.com or visit the website at http://sites.google.com/site/conferencelewis/.

Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past twenty-five years, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems, and has induced major corporations such as Microsoft and Intel to invest in the development and application of model checking technology.

The Dutch Model Checking Day (DMCD) is a forum for practitioners and researchers interested in model-based techniques for the validation and analysis of software and hardware. DMCD covers a broad spectrum of topics, ranging from fundamental algorithms to industrial applications and tools. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering.

The keynote talk of DMCD 2011 will be given by Byron Cook from Microsoft Research Cambridge and Queen Mary University, who is one of the leading researchers in the area.

Registration for the workshop is free but required. For more information, see http://www.se.ewi.tudelft.nl/dmcd2011/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The impact of David Lewis on contemporary philosophy is still tangible, ten years after his premature departure. The conference intends to discuss Lewis' long-lasting contribution in the fields of logic and metaphysics, with particular focus on the nature of modality, his views on possible worlds, counterfactuals, causation, and convention. We also wish to provide a setting for young philosophers and logicians to present topics related to Lewis' philosophy and discuss the state of art of his legacy in the contemporary philosophical debate.

For further information and for the conference program, please contact conlewis2011 at gmail.com or visit the website at http://sites.google.com/site/conferencelewis/.

Conceptual analysis continues to play an important role in philosophical practice, even though it does not always go under this label. But the method is anything but undisputed. In particular, there seems to be little point in pondering on our concepts if, as many believe, the meaning of our expressions - as well as the content of our mental states - is determined by factors which are external to us. Against this, it has been argued that two-dimensional semantics can provide the theoretical underpinnings for conceptual analysis, while reconciling it with many insights gained from arguments put forth to support externalism.

The conference focuses on issues surrounding conceptual analysis, two-dimensional semantics and their connection. Some of the envisaged topics are:
- The role of conceptual analysis in philosophical inquiry
- The interpretation and the scope of two-dimensional semantics and its bearing on conceptual analysis
- Potential applications of two-dimensional semantics to metaphysics, ethics, epistemology, and the philosophy of mind

For more information, see http://rvps2011.net/2D/ or contact Jens Kipper at jens.kipper at uni-koeln.de.

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. It will be held in conjunction with CSL 2011 which takes place in Bergen September 12 - 15.

For more information, see http://www.types.name/

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see http://www.esslli2012.pl/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Conceptual analysis continues to play an important role in philosophical practice, even though it does not always go under this label. But the method is anything but undisputed. In particular, there seems to be little point in pondering on our concepts if, as many believe, the meaning of our expressions - as well as the content of our mental states - is determined by factors which are external to us. Against this, it has been argued that two-dimensional semantics can provide the theoretical underpinnings for conceptual analysis, while reconciling it with many insights gained from arguments put forth to support externalism.

The conference focuses on issues surrounding conceptual analysis, two-dimensional semantics and their connection. Some of the envisaged topics are:
- The role of conceptual analysis in philosophical inquiry
- The interpretation and the scope of two-dimensional semantics and its bearing on conceptual analysis
- Potential applications of two-dimensional semantics to metaphysics, ethics, epistemology, and the philosophy of mind

For more information, see http://rvps2011.net/2D/ or contact Jens Kipper at jens.kipper at uni-koeln.de.

The main objective of the CoSLI-2 workshop is to foster computational formalisms and approaches for interpreting or generating spatial language that take into account cognitive, functional, or embodiment criteria in modeling. In particular, this year's workshop theme is "Function in Spatial Language: From evidence to execution". CoSLI 2011 is held in conjunction with CogSci 2011.

For more information, see http://cosli.org/

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, in a 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. This year's GAMES workshop will be held in Paris on the Rive-Gauche site of Université Paris Diderot.

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 for the design and verification of computing systems. As in previous years, GAMES 2011 will be an informal workshop, without proceedings. Its programme consists of five invited tutorials, contributed talks (30 min) and short presentations (15 min).

For more information, see http://www.lsv.ens-cachan.fr/~dwb/games2011/.

CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

For more information, see http://cla2011.loria.fr/

The Computational Linguistics - Applications Conference was established in 2008 as the Workshop for its first three editions in response to the fast-paced progress in the area, to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology.

Traditionally, computational linguistics was limited to the scientists specialized in the processing of a natural language by computers. Scientific approaches and practical techniques come from linguistics, computer science, psychology, and mathematics. Nowadays, there is a number of practical applications available. These applications are sometimes developed by smart yet NLP-untrained developers who solve the problems using sophisticated heuristics. CLA aims to be a meeting place for both parties in order to share views and ideas. It will help scientist to better understand real world needs and practitioners not to reinvent the wheel. The Conference will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://www.cla-conf.org/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Logica 2011 is the 25th in the series of annual international symposia devoted to logic. Invited speakers are Edwin Mares, Pavel Materna, Krister Segerberg, and Gila Sher.

Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions is 28 February 2011.

For more information, see http://www.flu.cas.cz/logica.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Logica 2011 is the 25th in the series of annual international symposia devoted to logic. Invited speakers are Edwin Mares, Pavel Materna, Krister Segerberg, and Gila Sher.

Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions is 28 February 2011.

For more information, see http://www.flu.cas.cz/logica.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto. Invited speakers include Naoki Kobayashi, Andrei Krokhin, Toniann Pitassi and Ashish Tiwari.

For more information, see http://www.informatik.hu-berlin.de/lics/lics11/.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Logica 2011 is the 25th in the series of annual international symposia devoted to logic. Invited speakers are Edwin Mares, Pavel Materna, Krister Segerberg, and Gila Sher.

Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions is 28 February 2011.

For more information, see http://www.flu.cas.cz/logica.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto. Invited speakers include Naoki Kobayashi, Andrei Krokhin, Toniann Pitassi and Ashish Tiwari.

For more information, see http://www.informatik.hu-berlin.de/lics/lics11/.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Logica 2011 is the 25th in the series of annual international symposia devoted to logic. Invited speakers are Edwin Mares, Pavel Materna, Krister Segerberg, and Gila Sher.

Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions is 28 February 2011.

For more information, see http://www.flu.cas.cz/logica.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto. Invited speakers include Naoki Kobayashi, Andrei Krokhin, Toniann Pitassi and Ashish Tiwari.

For more information, see http://www.informatik.hu-berlin.de/lics/lics11/.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Logica 2011 is the 25th in the series of annual international symposia devoted to logic. Invited speakers are Edwin Mares, Pavel Materna, Krister Segerberg, and Gila Sher.

Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions is 28 February 2011.

For more information, see http://www.flu.cas.cz/logica.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto. Invited speakers include Naoki Kobayashi, Andrei Krokhin, Toniann Pitassi and Ashish Tiwari.

For more information, see http://www.informatik.hu-berlin.de/lics/lics11/.

The 2011 EPISTEME conference will focus on the intersection of formal and social epistemology. The use of formal models in social epistemology is not a new development. Many philosophers have modeled concepts and ideas in social epistemology by using formal tools of various types (e.g., game theory, Bayesian decision theory, the theory of judgment aggregation, the recently developed theory of networks, multi-agent epistemic logic, social choice theory, etc.). This conference intends to explore the many fertile relations between various branches of formal epistemology and many sub-areas of contemporary social epistemology.

The 2011 EPISTEME conference will be hosted by the Center for Formal Epistemology in the Department of Philosophy at Carnegie Mellon University. The topic of the conference is: "Social Epistemology meets Formal Epistemology: Recent developments and new trends"

For more information, see http://epistemejournal.wordpress.com/conference/2011-carnegie-melon/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The 2011 EPISTEME conference will focus on the intersection of formal and social epistemology. The use of formal models in social epistemology is not a new development. Many philosophers have modeled concepts and ideas in social epistemology by using formal tools of various types (e.g., game theory, Bayesian decision theory, the theory of judgment aggregation, the recently developed theory of networks, multi-agent epistemic logic, social choice theory, etc.). This conference intends to explore the many fertile relations between various branches of formal epistemology and many sub-areas of contemporary social epistemology.

The 2011 EPISTEME conference will be hosted by the Center for Formal Epistemology in the Department of Philosophy at Carnegie Mellon University. The topic of the conference is: "Social Epistemology meets Formal Epistemology: Recent developments and new trends"

For more information, see http://epistemejournal.wordpress.com/conference/2011-carnegie-melon/

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity, deductive formalisms as they relate to complexity, complexity aspects of finite model theory and databases, complexity-mindful program derivation and verification, computational complexity at higher type, and proof complexity.

LCC'11 will be held as an affiliated meeting of LiCS'11. The LCC'11 program will consist of invited lectures as well as contributed papers selected by the program committee.

For additional information see http://www.cs.swansea.ac.uk/lcc2011/ or contact u.berger at swansea.ac.uk or denis at cs.mcgill.ca.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The 2011 EPISTEME conference will focus on the intersection of formal and social epistemology. The use of formal models in social epistemology is not a new development. Many philosophers have modeled concepts and ideas in social epistemology by using formal tools of various types (e.g., game theory, Bayesian decision theory, the theory of judgment aggregation, the recently developed theory of networks, multi-agent epistemic logic, social choice theory, etc.). This conference intends to explore the many fertile relations between various branches of formal epistemology and many sub-areas of contemporary social epistemology.

The 2011 EPISTEME conference will be hosted by the Center for Formal Epistemology in the Department of Philosophy at Carnegie Mellon University. The topic of the conference is: "Social Epistemology meets Formal Epistemology: Recent developments and new trends"

For more information, see http://epistemejournal.wordpress.com/conference/2011-carnegie-melon/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.

For more information, see http://psi.nsc.ru or contact Denis Denis Ponomaryov at ponom at iis.nsk.su.

To mark the end of Catarina Dutilh Novaes' VENI-project on formal languages and the new appointment of Julian Kiverstein at the philosophy department of the University of Amsterdam, a workshop on extended cognition will take place in Amsterdam on June 27th--28th. The focus will be on conceptions of extended cognition in the spirit of 'second-wave EM' (Sutton) or 'cognitive integration' (Menary).

The workshop is open to all, but please register no later than June 13th. For more information and list of speakers, see http://www.newappsblog.com/2011/03/.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.

For more information, see http://psi.nsc.ru or contact Denis Denis Ponomaryov at ponom at iis.nsk.su.

To mark the end of Catarina Dutilh Novaes' VENI-project on formal languages and the new appointment of Julian Kiverstein at the philosophy department of the University of Amsterdam, a workshop on extended cognition will take place in Amsterdam on June 27th--28th. The focus will be on conceptions of extended cognition in the spirit of 'second-wave EM' (Sutton) or 'cognitive integration' (Menary).

The workshop is open to all, but please register no later than June 13th. For more information and list of speakers, see http://www.newappsblog.com/2011/03/.

To support humans in demanding circumstances it is often required that an intelligent system application has some form of human-awareness. This means that the system has a form of intelligence that enables it to analyze and tune itself to the human's cognitive and affective states and processes, such as attention, level of stress, or exhaustion. To design such intelligent applications in the first place the system needs knowledge of the relevant human processes, and possesses methods to use this knowledge to become human-aware: to estimate and analyze the human's states and processes. Furthermore, based on such human-awareness the system is able to tune its actions and interactions with the human.

In this track we are looking for research papers that explore building blocks or full applications for such intelligent systems. All kinds of aspects of cognitive and affective human processes in all areas of life and/or work may be relevant. For example, the papers can address the analysis and modeling of such human processes, or models, architecture, or interfaces to support human cognitive and/or affective processes. Hereby, the (intended) application system does not necessarily need to incorporate an explicit model of human processes, but can also be based on heuristics developed by using formalized models of human functioning.

For more information, see http://www.cs.vu.nl/~mhoogen/iea-aie-2011/ or contact the session organizers via mhoogen at cs.vu.nl.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.

For more information, see http://psi.nsc.ru or contact Denis Denis Ponomaryov at ponom at iis.nsk.su.

To support humans in demanding circumstances it is often required that an intelligent system application has some form of human-awareness. This means that the system has a form of intelligence that enables it to analyze and tune itself to the human's cognitive and affective states and processes, such as attention, level of stress, or exhaustion. To design such intelligent applications in the first place the system needs knowledge of the relevant human processes, and possesses methods to use this knowledge to become human-aware: to estimate and analyze the human's states and processes. Furthermore, based on such human-awareness the system is able to tune its actions and interactions with the human.

In this track we are looking for research papers that explore building blocks or full applications for such intelligent systems. All kinds of aspects of cognitive and affective human processes in all areas of life and/or work may be relevant. For example, the papers can address the analysis and modeling of such human processes, or models, architecture, or interfaces to support human cognitive and/or affective processes. Hereby, the (intended) application system does not necessarily need to incorporate an explicit model of human processes, but can also be based on heuristics developed by using formalized models of human functioning.

For more information, see http://www.cs.vu.nl/~mhoogen/iea-aie-2011/ or contact the session organizers via mhoogen at cs.vu.nl.

LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA).

For more information, see http://lacl.gforge.inria.fr/

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.

For more information, see http://psi.nsc.ru or contact Denis Denis Ponomaryov at ponom at iis.nsk.su.

To support humans in demanding circumstances it is often required that an intelligent system application has some form of human-awareness. This means that the system has a form of intelligence that enables it to analyze and tune itself to the human's cognitive and affective states and processes, such as attention, level of stress, or exhaustion. To design such intelligent applications in the first place the system needs knowledge of the relevant human processes, and possesses methods to use this knowledge to become human-aware: to estimate and analyze the human's states and processes. Furthermore, based on such human-awareness the system is able to tune its actions and interactions with the human.

In this track we are looking for research papers that explore building blocks or full applications for such intelligent systems. All kinds of aspects of cognitive and affective human processes in all areas of life and/or work may be relevant. For example, the papers can address the analysis and modeling of such human processes, or models, architecture, or interfaces to support human cognitive and/or affective processes. Hereby, the (intended) application system does not necessarily need to incorporate an explicit model of human processes, but can also be based on heuristics developed by using formalized models of human functioning.

For more information, see http://www.cs.vu.nl/~mhoogen/iea-aie-2011/ or contact the session organizers via mhoogen at cs.vu.nl.

LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA).

For more information, see http://lacl.gforge.inria.fr/