Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

SSLST 2012 offers a broad and intensive series of lectures at different levels on language and speech technologies. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

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

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

SSLST 2012 offers a broad and intensive series of lectures at different levels on language and speech technologies. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

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

SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.

For further particulars, see here or check the SADAF webpage for the conference (in Spanish) at http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html, or contact the organisers by sending an e-mail to info at sadaf.org.ar

For more information, see here or http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

SSLST 2012 offers a broad and intensive series of lectures at different levels on language and speech technologies. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

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

SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.

For further particulars, see here or check the SADAF webpage for the conference (in Spanish) at http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html, or contact the organisers by sending an e-mail to info at sadaf.org.ar

For more information, see here or http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.

For further particulars, see here or check the SADAF webpage for the conference (in Spanish) at http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html, or contact the organisers by sending an e-mail to info at sadaf.org.ar

For more information, see here or http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

The conference 'Numbers and truth - the philosophy and mathematics of arithmetic and truth' will be held at the University of Gothenburg, Sweden, on October 19-21, 2012. Its main objective is to permit an exchange of ideas between truth theorists, philosophers and mathematicians interested in the foundations of mathematics. The conference will contain 10 invited and 4 contributed talks. It will give the researchers an opportunity both to present technical results and to diagnose their philosophical significance.

For more information, see the Conference Website at http://www.numbersandtruth.org/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

The 4th Innovations in Theoretical Computer Science (ITCS) conference (previously known as ICS) seeks to promote research that carries a strong conceptual message (e.g., introducing a new concept or model, opening a new line of inquiry within traditional or cross-interdisciplinary areas, or introducing new techniques or new applications of known techniques).

For more information, see http://itcs2013.cs.berkeley.edu/ or cotnact itcs13chair at gmail.com.

ALI, the Association for Logic in India, announces the next edition of its biennial (International) Indian Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 10 to 12, 2013. ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. The conference has also included studies in systems of logic in the Indian tradition, and historical research on logic.

This year's speakers will include Joseph Halpern, Martin Otto, Mark Reynolds and Gabriel Sandu.

For more information, see the ICLA page at http://www.imsc.res.in/~icla and the ALI page at http://ali.cmi.ac.in/, or email icla at imsc.res.in.

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

The workshop's goal is to bring together various formal methods for modeling and reasoning about belief revision, knowledge update, preference change, and strategies for learning. With this workshop we reach out to the logicians working in the domains of social choice theory and formal learning theory.

. For more information, see: http://www.ninagierasimczuk.com/LBP2012 or contact lbp2012 at easychair.org.

The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.

We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.

For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

The workshop's goal is to bring together various formal methods for modeling and reasoning about belief revision, knowledge update, preference change, and strategies for learning. With this workshop we reach out to the logicians working in the domains of social choice theory and formal learning theory.

. For more information, see: http://www.ninagierasimczuk.com/LBP2012 or contact lbp2012 at easychair.org.

The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.

We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.

For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

The workshop's goal is to bring together various formal methods for modeling and reasoning about belief revision, knowledge update, preference change, and strategies for learning. With this workshop we reach out to the logicians working in the domains of social choice theory and formal learning theory.

. For more information, see: http://www.ninagierasimczuk.com/LBP2012 or contact lbp2012 at easychair.org.

The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.

We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.

For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/

ICITS is a conference about all aspects of information-theoretic security and brings together the leading researchers in the areas of cryptology, information theory and quantum information.

For more information, see http://icits2012.iro.umontreal.ca/.

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

The workshop's goal is to bring together various formal methods for modeling and reasoning about belief revision, knowledge update, preference change, and strategies for learning. With this workshop we reach out to the logicians working in the domains of social choice theory and formal learning theory.

. For more information, see: http://www.ninagierasimczuk.com/LBP2012 or contact lbp2012 at easychair.org.

The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.

We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.

For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/

ICITS is a conference about all aspects of information-theoretic security and brings together the leading researchers in the areas of cryptology, information theory and quantum information.

For more information, see http://icits2012.iro.umontreal.ca/.

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

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/

The workshop's goal is to bring together various formal methods for modeling and reasoning about belief revision, knowledge update, preference change, and strategies for learning. With this workshop we reach out to the logicians working in the domains of social choice theory and formal learning theory.

. For more information, see: http://www.ninagierasimczuk.com/LBP2012 or contact lbp2012 at easychair.org.

The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.

We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.

For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/

ICITS is a conference about all aspects of information-theoretic security and brings together the leading researchers in the areas of cryptology, information theory and quantum information.

For more information, see http://icits2012.iro.umontreal.ca/.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://diku.dk/pcc_2012/.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://diku.dk/pcc_2012/.

The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.

For more information, see http://www.iacr.org/conferences/crypto2012/.

The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.

For more information, see http://www.iacr.org/conferences/crypto2012/.

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science.

Related events: A post-SLS tutorial day will be organized on August 22 . Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark.

The conference website will be found at: http://scandinavianlogic.weebly.com/

The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.

For more information, see http://www.iacr.org/conferences/crypto2012/.

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science.

Related events: A post-SLS tutorial day will be organized on August 22 . Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark.

The conference website will be found at: http://scandinavianlogic.weebly.com/

A meeting of young scholars working on the Realist tradition in the History and Philosophy of Logic and Mathematics.

For more information, see http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/logical-realism.html or contact anstenklev at gmail.com.

The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.

For more information, see http://www.iacr.org/conferences/crypto2012/.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series.

There will be a special session of AiML devoted to papers on hybrid logic, an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.

For more information, see http://hylocore.ruc.dk/aiml2012/

The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.

For more information, see http://www.iacr.org/conferences/crypto2012/.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series.

There will be a special session of AiML devoted to papers on hybrid logic, an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.

For more information, see http://hylocore.ruc.dk/aiml2012/

The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.

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

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series.

There will be a special session of AiML devoted to papers on hybrid logic, an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.

For more information, see http://hylocore.ruc.dk/aiml2012/

The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.

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

The conference aims to present, promote and provoke research on Ludwig Wittgenstein's philosophy of mathematics. Wittgenstein is one of the most important philosophers of the 20^th century and he considered his most significant contribution to be in the philosophy of mathematics. Nevertheless, this contribution has received far less attention than the rest of his work. Recent research shows that early interpreters often failed to appreciate the radical nature of his critique of the orthodoxy. It also suggests that his philosophy of mathematics still contains much from which the field can profit. We therefore intend to discuss the development of Wittgenstein's philosophy of mathematics, the debates it has already provoked and the lessons it might hold for contemporary debates.

Attendance is free, but registration is requested. For registration and further information please contact anne-katrin.schlegel at philos.uzh.ch. For more information, see http://www.uzh.ch/news/agenda/record.php?id=14600&group=10.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series.

There will be a special session of AiML devoted to papers on hybrid logic, an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.

For more information, see http://hylocore.ruc.dk/aiml2012/

The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.

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

The conference aims to present, promote and provoke research on Ludwig Wittgenstein's philosophy of mathematics. Wittgenstein is one of the most important philosophers of the 20^th century and he considered his most significant contribution to be in the philosophy of mathematics. Nevertheless, this contribution has received far less attention than the rest of his work. Recent research shows that early interpreters often failed to appreciate the radical nature of his critique of the orthodoxy. It also suggests that his philosophy of mathematics still contains much from which the field can profit. We therefore intend to discuss the development of Wittgenstein's philosophy of mathematics, the debates it has already provoked and the lessons it might hold for contemporary debates.

Attendance is free, but registration is requested. For registration and further information please contact anne-katrin.schlegel at philos.uzh.ch. For more information, see http://www.uzh.ch/news/agenda/record.php?id=14600&group=10.

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.

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

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.

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

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

We are pleased to announce the newest edition of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012) as a two-day event at the European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France. STeDy-12 focusses on the theme: Commonsense, Space, and Change, and the contemporary scientific agenda of STeDy addresses several areas within Knowledge Representation and Reasoning (KR) in particular, and reaches out to all sub-disciplines within Artificial Intelligence, Spatial Cognition, and Cognitive Technologies in general.

We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary applications, ideas, and methods in the above stated areas. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and posters, and will allow ample time for open discussions amongst the participants.

Details information can be accessed at the STeDy website at http://stedy.spatialnetwork.org/. Queries may be addressed to: bhatt at informatik.uni-bremen.de, h.w.guesgen at massey.ac.nz or davise at cs.nyu.edu.

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Logics for Multi-Agent Programming and on Logics for Agreement Technologies

For more information, see http://www.csc.liv.ac.uk/~michael/clima2012.html

The targeted audience for the workshop are researchers associated with the fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation and role to general intelligence. Furthermore, researchers coming from application areas, like computer-aided innovation (CAI) are welcome to submit papers for this workshop.

For more information, see http://www.cogsci.uos.de/~c3gi. This workshop is part of ECAI 2012.

Science is one of the major determinants of modern society. Both the history and philosophy of science aim at a deeper understanding of the nature of this scientific enterprise and the knowledge it produces. The philosophy of science studies general questions concerning the nature of scientific knowledge and scientific methods, but also includes conceptual analysis of fundamental theories such as relativity, quantum mechanics, evolution and modern genetics. The historical approach focuses on the development of scientific thought and practice in times past. It does not limit itself to the problems, methods and solutions assigned by scientists, but extends its scope to the interplay with cultural, social or institutional features at particular times and places.

This summer school is aimed at introducing students to modern debates in the History and Philosophy of Science (HPS). The central theme will be 'Scientific Revolutions'. The course wil consist of a nine to five program from Monday to Friday. Excursion included.

Deadline for registration: 20-05-2011. For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H5

The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.

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

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

We are pleased to announce the newest edition of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012) as a two-day event at the European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France. STeDy-12 focusses on the theme: Commonsense, Space, and Change, and the contemporary scientific agenda of STeDy addresses several areas within Knowledge Representation and Reasoning (KR) in particular, and reaches out to all sub-disciplines within Artificial Intelligence, Spatial Cognition, and Cognitive Technologies in general.

We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary applications, ideas, and methods in the above stated areas. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and posters, and will allow ample time for open discussions amongst the participants.

Details information can be accessed at the STeDy website at http://stedy.spatialnetwork.org/. Queries may be addressed to: bhatt at informatik.uni-bremen.de, h.w.guesgen at massey.ac.nz or davise at cs.nyu.edu.

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Logics for Multi-Agent Programming and on Logics for Agreement Technologies

For more information, see http://www.csc.liv.ac.uk/~michael/clima2012.html

The targeted audience for the workshop are researchers associated with the fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation and role to general intelligence. Furthermore, researchers coming from application areas, like computer-aided innovation (CAI) are welcome to submit papers for this workshop.

For more information, see http://www.cogsci.uos.de/~c3gi. This workshop is part of ECAI 2012.

Science is one of the major determinants of modern society. Both the history and philosophy of science aim at a deeper understanding of the nature of this scientific enterprise and the knowledge it produces. The philosophy of science studies general questions concerning the nature of scientific knowledge and scientific methods, but also includes conceptual analysis of fundamental theories such as relativity, quantum mechanics, evolution and modern genetics. The historical approach focuses on the development of scientific thought and practice in times past. It does not limit itself to the problems, methods and solutions assigned by scientists, but extends its scope to the interplay with cultural, social or institutional features at particular times and places.

This summer school is aimed at introducing students to modern debates in the History and Philosophy of Science (HPS). The central theme will be 'Scientific Revolutions'. The course wil consist of a nine to five program from Monday to Friday. Excursion included.

Deadline for registration: 20-05-2011. For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H5

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

Science is one of the major determinants of modern society. Both the history and philosophy of science aim at a deeper understanding of the nature of this scientific enterprise and the knowledge it produces. The philosophy of science studies general questions concerning the nature of scientific knowledge and scientific methods, but also includes conceptual analysis of fundamental theories such as relativity, quantum mechanics, evolution and modern genetics. The historical approach focuses on the development of scientific thought and practice in times past. It does not limit itself to the problems, methods and solutions assigned by scientists, but extends its scope to the interplay with cultural, social or institutional features at particular times and places.

This summer school is aimed at introducing students to modern debates in the History and Philosophy of Science (HPS). The central theme will be 'Scientific Revolutions'. The course wil consist of a nine to five program from Monday to Friday. Excursion included.

Deadline for registration: 20-05-2011. For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H5

The conference highlights frontiers of formal and philosophical approaches to reasoning and decision making: recent developments, limitations, open questions and uncharted territory. It marks the end of a series of meetings by leading experts on theoretical and practical rationality. Invited presentations will be given by Branden Fitelson, Jeff Helzner, Simon Hutegger, Katya Tentori, and Kevin Zollman, and by many of the network participants. The event is preceded by the Groningen / Munich summer school on formal methods in philosophy.

For more information, see http://www.philos.rug.nl/R&Dnetwork/ or contact the organizers at RatDec2012 at rug.nl.

A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity.

Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2012/

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

Science is one of the major determinants of modern society. Both the history and philosophy of science aim at a deeper understanding of the nature of this scientific enterprise and the knowledge it produces. The philosophy of science studies general questions concerning the nature of scientific knowledge and scientific methods, but also includes conceptual analysis of fundamental theories such as relativity, quantum mechanics, evolution and modern genetics. The historical approach focuses on the development of scientific thought and practice in times past. It does not limit itself to the problems, methods and solutions assigned by scientists, but extends its scope to the interplay with cultural, social or institutional features at particular times and places.

This summer school is aimed at introducing students to modern debates in the History and Philosophy of Science (HPS). The central theme will be 'Scientific Revolutions'. The course wil consist of a nine to five program from Monday to Friday. Excursion included.

Deadline for registration: 20-05-2011. For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H5

The conference highlights frontiers of formal and philosophical approaches to reasoning and decision making: recent developments, limitations, open questions and uncharted territory. It marks the end of a series of meetings by leading experts on theoretical and practical rationality. Invited presentations will be given by Branden Fitelson, Jeff Helzner, Simon Hutegger, Katya Tentori, and Kevin Zollman, and by many of the network participants. The event is preceded by the Groningen / Munich summer school on formal methods in philosophy.

For more information, see http://www.philos.rug.nl/R&Dnetwork/ or contact the organizers at RatDec2012 at rug.nl.

A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity.

Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2012/

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

Science is one of the major determinants of modern society. Both the history and philosophy of science aim at a deeper understanding of the nature of this scientific enterprise and the knowledge it produces. The philosophy of science studies general questions concerning the nature of scientific knowledge and scientific methods, but also includes conceptual analysis of fundamental theories such as relativity, quantum mechanics, evolution and modern genetics. The historical approach focuses on the development of scientific thought and practice in times past. It does not limit itself to the problems, methods and solutions assigned by scientists, but extends its scope to the interplay with cultural, social or institutional features at particular times and places.

This summer school is aimed at introducing students to modern debates in the History and Philosophy of Science (HPS). The central theme will be 'Scientific Revolutions'. The course wil consist of a nine to five program from Monday to Friday. Excursion included.

Deadline for registration: 20-05-2011. For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H5

The conference highlights frontiers of formal and philosophical approaches to reasoning and decision making: recent developments, limitations, open questions and uncharted territory. It marks the end of a series of meetings by leading experts on theoretical and practical rationality. Invited presentations will be given by Branden Fitelson, Jeff Helzner, Simon Hutegger, Katya Tentori, and Kevin Zollman, and by many of the network participants. The event is preceded by the Groningen / Munich summer school on formal methods in philosophy.

For more information, see http://www.philos.rug.nl/R&Dnetwork/ or contact the organizers at RatDec2012 at rug.nl.

A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity.

Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2012/