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.

The overall objective of this workshop is to study some of the open questions within philosophy of information.

Interest in the philosophy and meaning of information goes back half a century but has rapidly increased recently with many new directions of research into the meaning, quantification and measures of information and complexity as well as a vast range of applications across the scientific spectrum. In this workshop we will focus on the different techniques to measure information and to identify meaningful information.

For more information see http://www.american.edu/cas/economics/info-metrics/workshop/ or contact info-metrics at american.edu.

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This conference intends to set the foundations for an international association "PT-AI" that will further work in the field, organize events, etc. We welcome experts in the field from philosophy and from AI as well as new and upcoming scholars who will shape the field in the decades to come.

Invited Keynote Speakers: Hubert Dreyfus (Berkeley), James H. Moor (Dartmouth), Rolf Pfeifer (Zurich) and Michael Wheeler (Stirling).

For more information, see http://www.pt-ai.org/

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This conference intends to set the foundations for an international association "PT-AI" that will further work in the field, organize events, etc. We welcome experts in the field from philosophy and from AI as well as new and upcoming scholars who will shape the field in the decades to come.

Invited Keynote Speakers: Hubert Dreyfus (Berkeley), James H. Moor (Dartmouth), Rolf Pfeifer (Zurich) and Michael Wheeler (Stirling).

For more information, see http://www.pt-ai.org/

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012.

For more information, see http://aamas2012.webs.upv.es

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The NAP-dag ('Nieuw Amsterdams Peil') is an annual event at which PhD candidates from the ACLC and the ILLC present their research. This event is free and is open to the public.

For more information, see http://www.hum.uva.nl/aclc-news/events.cfm/5DFADFD4-84CF-48BF-BB2225704E9B440E.

The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) organises a one-day conference on PHILOSOPHICAL MODAL LOGIC on October 7 in Geneva.

Modal logic is a type of logic that extends the standards of formal logic to include the elements of modality. Modalities, expressed by the modal operators box and diamond, permit to qualify the truth of a judgement. Widely studied from a mathematical and theoretical point of view, modal logic has nonetheless been a valuable instrument for the formal analysis of philosophical arguments, and has found important applications in computer science.

For more information, see http://www.sgslps.ch/events.php

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

Security and privacy problems in computer networks and mobile applications often stem from the interaction between agents of the network (which can be individuals as well as devices or softwares acting autonomously). Modeling the interaction between agents is therefore essential to address security problems appropriately. Game theory and logic are the most prominent frameworks for the formal treatment of interaction. They permit not only to model and represent this interaction between agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical frameworks and game-theoretic approaches have been proposed to model and analyze computer networks from the security point of view, sometimes resorting to non-classical logics (such as epistemic or intuitionistic logics).

The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.

The registration is free but mandatory. Lunches are included in the registration. Deadline for registration: 13th October 2011.

All important details are available at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications.

The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems.

For more information, see http://epia2011.appia.pt/ or contact cola2011 at di.uevora.pt

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/

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications.

The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems.

For more information, see http://epia2011.appia.pt/ or contact cola2011 at di.uevora.pt

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. Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2012 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/lata2012.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications.

The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems.

For more information, see http://epia2011.appia.pt/ or contact cola2011 at di.uevora.pt

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/

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications.

The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems.

For more information, see http://epia2011.appia.pt/ or contact cola2011 at di.uevora.pt

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/

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

Workshop, Laboratoire de Mathématiques de Besançon, France, 15-16 October 2011. Dedicated to Henri Lombardi.

Speakers:
* María Emilia Alonso García (Spain)
* Thierry Coquand (Sweden)
* André Galligo (France)
* Hajime Ishihara (Japan)
* Alban Quadrat (France)
* Claude Quitté (France)
* Fred Richman (USA)
* Ihsen Yengui (Tunisia)

For more information, see http://epiphymaths.univ-fcomte.fr/fete-a-henri/ To register for Henrifest please send an e-mail to stefan.neuwirth at univ-fcomte.fr.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

Workshop, Laboratoire de Mathématiques de Besançon, France, 15-16 October 2011. Dedicated to Henri Lombardi.

Speakers:
* María Emilia Alonso García (Spain)
* Thierry Coquand (Sweden)
* André Galligo (France)
* Hajime Ishihara (Japan)
* Alban Quadrat (France)
* Claude Quitté (France)
* Fred Richman (USA)
* Ihsen Yengui (Tunisia)

For more information, see http://epiphymaths.univ-fcomte.fr/fete-a-henri/ To register for Henrifest please send an e-mail to stefan.neuwirth at univ-fcomte.fr.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

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/

The purpose of SAGT is to bring together researchers from Computer Science, Economics, Physics, Biology and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

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

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 School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

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/

The purpose of SAGT is to bring together researchers from Computer Science, Economics, Physics, Biology and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

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

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 classical theory of coalitional decision making, better known as cooperative game theory, deals with extremely abstract models of joint action that often abstract away from the highly dynamic processes leading a set of players to work together for a common purpose, such as the influence of norms, the interdependence among the players, the awareness of future possibilities, to mention a few.

This workshop, on the occasion of Paolo Turrini's PhD defense, tackles such dynamic aspects involved in coalition formation, by pursuing an interdisciplinary approach at the interface of (deontic) logic, artificial intelligence, and socio-economical disciplines. More specifically, the topics touched upon will be: norms and games, norms for the dynamics of interaction (procedures), the dynamics of normative systems, norms of reciprocity, theory of threats and the dynamics of different cognitive attitudes (e.g. knowledge and preference).

Registration is free but required. For more information, see http://people.cs.uu.nl/paolo/NGD/ or contact paolo.turrini at uni.lu.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

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/

The purpose of SAGT is to bring together researchers from Computer Science, Economics, Physics, Biology and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

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

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/

A joint seminar Austria-Japan on "Forcing in Set Theory" will take place at Kobe University (Japan) from Jan. 23 (Mon.) till Jan. 29 (Sun.), 2012.

For more information, check the organizers' Activities Webpage at http://kurt.scitec.kobe-u.ac.jp/~brendle/events.html.

A workshop on "Aspects of Descriptive Set Theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from October 19 (Wed.) till October 21 (Fri.), 2011. The workshop is organized by Hiroshi Fujita (Ehime University). The program will feature minicourses by Stefan Geschke and Slawomir Solecki, as well as many other talks by participants from Japan and abroad.

See the webpage at http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html for details. If you are interested in attending or contributing, please contact Hiroshi Fujita, the sooner the better: fujita.hiroshi.mh at ehime-u.ac.jp.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

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/

A joint seminar Austria-Japan on "Forcing in Set Theory" will take place at Kobe University (Japan) from Jan. 23 (Mon.) till Jan. 29 (Sun.), 2012.

For more information, check the organizers' Activities Webpage at http://kurt.scitec.kobe-u.ac.jp/~brendle/events.html.

A workshop on "Aspects of Descriptive Set Theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from October 19 (Wed.) till October 21 (Fri.), 2011. The workshop is organized by Hiroshi Fujita (Ehime University). The program will feature minicourses by Stefan Geschke and Slawomir Solecki, as well as many other talks by participants from Japan and abroad.

See the webpage at http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html for details. If you are interested in attending or contributing, please contact Hiroshi Fujita, the sooner the better: fujita.hiroshi.mh at ehime-u.ac.jp.

The Institute of Cryptography and Security and the Institute of Theoretical Informatics of Karlsruhe Institute of Technology (KIT) announce COMPUTING 2011, a symposium devoted to the 75th anniversary of two pioneering works on the theory of computation: "On Computable Numbers, with an Application to the Entscheidungsproblem" by Alan Turing and "An Unsolvable Problem of Elementary Number Theory" by Alonzo Church.

The symposium will review the work of Church and Turing and its influence on contemporary Theoretical Computer Science. Keynote Speakers are Henk Barendregt, Christof Teuscher and Wolfgang Thomas. COMPUTING 2011 will be co-located with Deduktionstreffen 2011 (http://baldur.iti.kit.edu/deduktionstreffen11).

For more information, see http://baldur.iti.kit.edu/Computing2011 or contact Olga Tveretina at olga at ira.uka.de

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

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/

A joint seminar Austria-Japan on "Forcing in Set Theory" will take place at Kobe University (Japan) from Jan. 23 (Mon.) till Jan. 29 (Sun.), 2012.

For more information, check the organizers' Activities Webpage at http://kurt.scitec.kobe-u.ac.jp/~brendle/events.html.

A workshop on "Aspects of Descriptive Set Theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from October 19 (Wed.) till October 21 (Fri.), 2011. The workshop is organized by Hiroshi Fujita (Ehime University). The program will feature minicourses by Stefan Geschke and Slawomir Solecki, as well as many other talks by participants from Japan and abroad.

See the webpage at http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html for details. If you are interested in attending or contributing, please contact Hiroshi Fujita, the sooner the better: fujita.hiroshi.mh at ehime-u.ac.jp.

The Institute of Cryptography and Security and the Institute of Theoretical Informatics of Karlsruhe Institute of Technology (KIT) announce COMPUTING 2011, a symposium devoted to the 75th anniversary of two pioneering works on the theory of computation: "On Computable Numbers, with an Application to the Entscheidungsproblem" by Alan Turing and "An Unsolvable Problem of Elementary Number Theory" by Alonzo Church.

The symposium will review the work of Church and Turing and its influence on contemporary Theoretical Computer Science. Keynote Speakers are Henk Barendregt, Christof Teuscher and Wolfgang Thomas. COMPUTING 2011 will be co-located with Deduktionstreffen 2011 (http://baldur.iti.kit.edu/deduktionstreffen11).

For more information, see http://baldur.iti.kit.edu/Computing2011 or contact Olga Tveretina at olga at ira.uka.de

On Friday, 21 October 2011 the Institute for Philosophy will host the symposium 'Frege in Leiden', a one-day symposium on the philosophy of Gottlob Frege. Talks by Maria van der Schaar, Harm Boukema, Göran Sundholm, Ansten Klev, and Kai Wehmeier.

Programme and abstracts can be found at http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The Fall 2011 MAMLS Meeting, which takes place at Rutgers University on October 22-23, 2011, will be dedicated to the memory of Greg Hjorth. The invited speakers include Su Gao, Alexander Kechris, Itay Neeman, Sorin Popa, Saharon Shelah, John Steel, Asger Tornquist and Hugh Woodin.

For further information, visit: http://www.math.rutgers.edu/~sthomas/RU2011.html

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 18th LPAR will be held in Merida, Venezuela.

For more information, see http://www.lpar-18.info/.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The Fall 2011 MAMLS Meeting, which takes place at Rutgers University on October 22-23, 2011, will be dedicated to the memory of Greg Hjorth. The invited speakers include Su Gao, Alexander Kechris, Itay Neeman, Sorin Popa, Saharon Shelah, John Steel, Asger Tornquist and Hugh Woodin.

For further information, visit: http://www.math.rutgers.edu/~sthomas/RU2011.html

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

EvoDyn builds on the success of the previous editions of the Ontology Dynamics workshop formerly known as IWOD (organised as a part of the ESWC'07, ISWC'08, ISWC'09 and ISWC'10 conferences). EvoDyn continues in the tradition of IWOD in being the core annual event to discuss advances in the broad area of ontology dynamics, and to track recent work directly or indirectly related to the problem of evolving ontologies. This year, however, the scope of the workshop is broadened by a special focus on the knowledge evolution. As ontologies are formal representations of knowledge, the study of their dynamics is an inherent part of investigating the knowledge evolution phenomena, yet it is only one of many relevant aspects this workshop aims to cover in an integral manner.

In particular, the workshop focuses on analysis of trends and change in formal descriptions (i.e., ontologies), but also in associated raw sources of knowledge (scientific publications, unstructured or semi-structured web content, traditional data stores, e-mail or on-line discussion threads, etc.). We are especially interested in research targeted on various states of knowledge evolution, such as (a) conflicts, (b) consolidation, (c) discovery, (d) paradigm shifts, and (e) breakthroughs. One crucial objective of better understanding these different states may be to study directly the underlying causes and dynamics needed to generate discoveries and breakthroughs. We will only be able to facilitate and possibly also generate such desirable situations if we can understand the process of how knowledge evolves. The process of how knowledge in a field grows and changes, crystallizes, and fractures are all areas of interest of this workshop.

Further information and relevant updates can be found at the workshop web page: http://www.ontologydynamics.org/od/index.php/evodyn2011/

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

Security and privacy problems in computer networks and mobile applications often stem from the interaction between agents of the network (which can be individuals as well as devices or softwares acting autonomously). Modeling the interaction between agents is therefore essential to address security problems appropriately. Game theory and logic are the most prominent frameworks for the formal treatment of interaction. They permit not only to model and represent this interaction between agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical frameworks and game-theoretic approaches have been proposed to model and analyze computer networks from the security point of view, sometimes resorting to non-classical logics (such as epistemic or intuitionistic logics).

The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.

The registration is free but mandatory. Lunches are included in the registration. Deadline for registration: 13th October 2011.

All important details are available at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

Security and privacy problems in computer networks and mobile applications often stem from the interaction between agents of the network (which can be individuals as well as devices or softwares acting autonomously). Modeling the interaction between agents is therefore essential to address security problems appropriately. Game theory and logic are the most prominent frameworks for the formal treatment of interaction. They permit not only to model and represent this interaction between agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical frameworks and game-theoretic approaches have been proposed to model and analyze computer networks from the security point of view, sometimes resorting to non-classical logics (such as epistemic or intuitionistic logics).

The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.

The registration is free but mandatory. Lunches are included in the registration. Deadline for registration: 13th October 2011.

All important details are available at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

Security and privacy problems in computer networks and mobile applications often stem from the interaction between agents of the network (which can be individuals as well as devices or softwares acting autonomously). Modeling the interaction between agents is therefore essential to address security problems appropriately. Game theory and logic are the most prominent frameworks for the formal treatment of interaction. They permit not only to model and represent this interaction between agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical frameworks and game-theoretic approaches have been proposed to model and analyze computer networks from the security point of view, sometimes resorting to non-classical logics (such as epistemic or intuitionistic logics).

The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.

The registration is free but mandatory. Lunches are included in the registration. Deadline for registration: 13th October 2011.

All important details are available at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The TCSA Day is intended to be an annual event, taking place in the Fall, to alternate with the national NVTI Theory Day that takes place in Spring. The event is organized jointly by CWI, UvA, and VU, and its aim is to foster cooperation among the various TCS-reseachers in and around Amsterdam. Previous editions took place at the VU and at the CWI. The programme consists of five talks by researchers from CWI, UvA, and VU. There is no need to register.

For more information, see http://event.cwi.nl/qc/tcsa11

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.