The workshop will be opened by the 13th Annual Jaina Lecture at SOAS by Professor Piotr Balcerowicz, University of Warsaw.

For more information, see http://www.soas.ac.uk/jainastudies or contact Peter Flügel at pf8 at soas.ac.uk.

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

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

The aim of this conference is to explore the consequences of Charles Travis’s position for the possibility of systematic theoretical investigation into human psychology and linguistic understanding.

Our intention is to open up a forum for debate and discussion of the current status of Travis’s work in relation to those issues upon which his ideas have exerted the most influence, such as the semantics-pragmatics interface, perceptual disjunctivism, and (more generally) theories of representational content, each of which have come to dominate current research in analytic philosophy. The conference will bring together a group of distinguished philosophers who have engaged directly with Travis’s work over the years.

For more information and registration, see the conference website at http://www.uea.ac.uk/phi/eventsnews/events/charles-travis. We may be able to offer some student bursaries.

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

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

This symposium is part of the AISB/IACAP World Congress 2012 in honour of Alan Turing. It is a sequel to the Symposium Mathematical Practice and Cognition held at the AISB convention 2010 in Leicester. That multidisciplinary symposium welcomed researchers into mathematical practice from cognitive science, philosophy, psychology, computational linguistics and robotics. The aim of this symposium is to continue this work, with particular (but not exclusive) emphasis on cognitive science and the role of computers in mathematical practice.

2012 is the centenary of Alan Turing's birth, and his life and scientific impact are being celebrated as the Alan Turing Year. In honour of this, the symposium will include a Turing-themed session.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb12/home.html

The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.

Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. CCR 2012 is part of the Alan Turing Year Events.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2012/.

For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.

For more information, see http://events.cs.bham.ac.uk/turing12/

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

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

This symposium is part of the AISB/IACAP World Congress 2012 in honour of Alan Turing. It is a sequel to the Symposium Mathematical Practice and Cognition held at the AISB convention 2010 in Leicester. That multidisciplinary symposium welcomed researchers into mathematical practice from cognitive science, philosophy, psychology, computational linguistics and robotics. The aim of this symposium is to continue this work, with particular (but not exclusive) emphasis on cognitive science and the role of computers in mathematical practice.

2012 is the centenary of Alan Turing's birth, and his life and scientific impact are being celebrated as the Alan Turing Year. In honour of this, the symposium will include a Turing-themed session.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb12/home.html

The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.

Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. CCR 2012 is part of the Alan Turing Year Events.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2012/.

For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.

For more information, see http://events.cs.bham.ac.uk/turing12/

CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events started with CSR 2006 in St. Petersburg, and continuing in Ekaterinburg, Moscow, Novosibirsk, Kazan and St. Petersburg. CRS 2012 was included in schedule of the Alan Turing Year events.

For more information, see http://agora.guru.ru/display.php?conf=csr2012 or contact csr2012.conf at gmail.com.

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

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

This symposium is part of the AISB/IACAP World Congress 2012 in honour of Alan Turing. It is a sequel to the Symposium Mathematical Practice and Cognition held at the AISB convention 2010 in Leicester. That multidisciplinary symposium welcomed researchers into mathematical practice from cognitive science, philosophy, psychology, computational linguistics and robotics. The aim of this symposium is to continue this work, with particular (but not exclusive) emphasis on cognitive science and the role of computers in mathematical practice.

2012 is the centenary of Alan Turing's birth, and his life and scientific impact are being celebrated as the Alan Turing Year. In honour of this, the symposium will include a Turing-themed session.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb12/home.html

The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.

Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. CCR 2012 is part of the Alan Turing Year Events.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2012/.

For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.

For more information, see http://events.cs.bham.ac.uk/turing12/

CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events started with CSR 2006 in St. Petersburg, and continuing in Ekaterinburg, Moscow, Novosibirsk, Kazan and St. Petersburg. CRS 2012 was included in schedule of the Alan Turing Year events.

For more information, see http://agora.guru.ru/display.php?conf=csr2012 or contact csr2012.conf at gmail.com.

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

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

The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.

Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. CCR 2012 is part of the Alan Turing Year Events.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2012/.

For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.

For more information, see http://events.cs.bham.ac.uk/turing12/

CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events started with CSR 2006 in St. Petersburg, and continuing in Ekaterinburg, Moscow, Novosibirsk, Kazan and St. Petersburg. CRS 2012 was included in schedule of the Alan Turing Year events.

For more information, see http://agora.guru.ru/display.php?conf=csr2012 or contact csr2012.conf at gmail.com.

The conference Kant and Modality seeks to promote the important issues of Kant's theory of modality and to exchange ideas by bringing together scholars working on all issues relating to his conception and theory of modality. It takes place at Humboldt University of Berlin on July 5-7 2012.

For more information, see here

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

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

The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.

Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. CCR 2012 is part of the Alan Turing Year Events.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2012/.

For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.

For more information, see http://events.cs.bham.ac.uk/turing12/

CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events started with CSR 2006 in St. Petersburg, and continuing in Ekaterinburg, Moscow, Novosibirsk, Kazan and St. Petersburg. CRS 2012 was included in schedule of the Alan Turing Year events.

For more information, see http://agora.guru.ru/display.php?conf=csr2012 or contact csr2012.conf at gmail.com.

The conference Kant and Modality seeks to promote the important issues of Kant's theory of modality and to exchange ideas by bringing together scholars working on all issues relating to his conception and theory of modality. It takes place at Humboldt University of Berlin on July 5-7 2012.

For more information, see here

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

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

CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events started with CSR 2006 in St. Petersburg, and continuing in Ekaterinburg, Moscow, Novosibirsk, Kazan and St. Petersburg. CRS 2012 was included in schedule of the Alan Turing Year events.

For more information, see http://agora.guru.ru/display.php?conf=csr2012 or contact csr2012.conf at gmail.com.

The conference Kant and Modality seeks to promote the important issues of Kant's theory of modality and to exchange ideas by bringing together scholars working on all issues relating to his conception and theory of modality. It takes place at Humboldt University of Berlin on July 5-7 2012.

For more information, see here

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

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

A conference "Trends in Set Theory" will take place at the Stefan Banach International Mathematical Center in Warsaw (Poland) from July 8 (Sun.) to July 11 (Wed.) 2012. It is a satellite event to the 6th European Congress of Mathematics which will take place from July 2 to July 7 in Kraków, Poland.

The list mathematicians which already agreed to be main speakers includes: A. Aviles (Murcia), A. Dow (North Carolina), A. Kechris (Caltech), S. Shelah (Jerusalem and Rutgers), S. Solecki (Urbana-Champaing), S. Thomas (Rutgers) S. Todorcevic (CNRS and Toronto).

For more details see the complete first announcement at http://www.impan.pl/~set_theory/Conference2012/.

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

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

A conference "Trends in Set Theory" will take place at the Stefan Banach International Mathematical Center in Warsaw (Poland) from July 8 (Sun.) to July 11 (Wed.) 2012. It is a satellite event to the 6th European Congress of Mathematics which will take place from July 2 to July 7 in Kraków, Poland.

The list mathematicians which already agreed to be main speakers includes: A. Aviles (Murcia), A. Dow (North Carolina), A. Kechris (Caltech), S. Shelah (Jerusalem and Rutgers), S. Solecki (Urbana-Champaing), S. Thomas (Rutgers) S. Todorcevic (CNRS and Toronto).

For more details see the complete first announcement at http://www.impan.pl/~set_theory/Conference2012/.

The Summer School in Social Simulation: A hands-on approach program, organized by the Laboratory for Socio-Historical Dynamics Simulation (LSDS - UAB) offers an intensive hands-on course on multi-agent modeling applied to the social sciences using the Netlogo modeling environment. Participants will be able to debut immediately in the field and to present their own simulation model at the end of the course.

The program will be conducted by researchers in artificial intelligence, sociology, economics, archeology and other fields in the social sciences who, parallel to the course, will present the state-of-the-art research on the implementation of social simulation in their fields of expertise. The course is mainly directed to advanced students and researchers in the various fields of the social sciences who wish to approximate or to deepen in the knowledge of agent-based simulation to analyze complex phenomena in the context of social dynamics

For more information, see http://sct.uab.cat/lsds/content/lsds-summer-school-2012

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

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

A conference "Trends in Set Theory" will take place at the Stefan Banach International Mathematical Center in Warsaw (Poland) from July 8 (Sun.) to July 11 (Wed.) 2012. It is a satellite event to the 6th European Congress of Mathematics which will take place from July 2 to July 7 in Kraków, Poland.

The list mathematicians which already agreed to be main speakers includes: A. Aviles (Murcia), A. Dow (North Carolina), A. Kechris (Caltech), S. Shelah (Jerusalem and Rutgers), S. Solecki (Urbana-Champaing), S. Thomas (Rutgers) S. Todorcevic (CNRS and Toronto).

For more details see the complete first announcement at http://www.impan.pl/~set_theory/Conference2012/.

The Summer School in Social Simulation: A hands-on approach program, organized by the Laboratory for Socio-Historical Dynamics Simulation (LSDS - UAB) offers an intensive hands-on course on multi-agent modeling applied to the social sciences using the Netlogo modeling environment. Participants will be able to debut immediately in the field and to present their own simulation model at the end of the course.

The program will be conducted by researchers in artificial intelligence, sociology, economics, archeology and other fields in the social sciences who, parallel to the course, will present the state-of-the-art research on the implementation of social simulation in their fields of expertise. The course is mainly directed to advanced students and researchers in the various fields of the social sciences who wish to approximate or to deepen in the knowledge of agent-based simulation to analyze complex phenomena in the context of social dynamics

For more information, see http://sct.uab.cat/lsds/content/lsds-summer-school-2012

The role of set theory as a foundation of mathematics has been criticized from various standpoints. The conference aims to shed light on this debate by asking what foundations of mathematics are and what they are for.

Some people understand foundations as providing a justification for mathematics; others as providing the subject matter of mathematics; others still as providing us with an arena within which to settle all questions of existence and proof in mathematics. The conference will bring together philosophers, logicians and mathematicians to discuss whether any of these senses of foundations should be privileged. The prospects for a pluralistic approach to foundational issues will also be considered.

For more information, see http://www.phil.cam.ac.uk/foundations/

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

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

A conference "Trends in Set Theory" will take place at the Stefan Banach International Mathematical Center in Warsaw (Poland) from July 8 (Sun.) to July 11 (Wed.) 2012. It is a satellite event to the 6th European Congress of Mathematics which will take place from July 2 to July 7 in Kraków, Poland.

The list mathematicians which already agreed to be main speakers includes: A. Aviles (Murcia), A. Dow (North Carolina), A. Kechris (Caltech), S. Shelah (Jerusalem and Rutgers), S. Solecki (Urbana-Champaing), S. Thomas (Rutgers) S. Todorcevic (CNRS and Toronto).

For more details see the complete first announcement at http://www.impan.pl/~set_theory/Conference2012/.

The Summer School in Social Simulation: A hands-on approach program, organized by the Laboratory for Socio-Historical Dynamics Simulation (LSDS - UAB) offers an intensive hands-on course on multi-agent modeling applied to the social sciences using the Netlogo modeling environment. Participants will be able to debut immediately in the field and to present their own simulation model at the end of the course.

The program will be conducted by researchers in artificial intelligence, sociology, economics, archeology and other fields in the social sciences who, parallel to the course, will present the state-of-the-art research on the implementation of social simulation in their fields of expertise. The course is mainly directed to advanced students and researchers in the various fields of the social sciences who wish to approximate or to deepen in the knowledge of agent-based simulation to analyze complex phenomena in the context of social dynamics

For more information, see http://sct.uab.cat/lsds/content/lsds-summer-school-2012

The role of set theory as a foundation of mathematics has been criticized from various standpoints. The conference aims to shed light on this debate by asking what foundations of mathematics are and what they are for.

Some people understand foundations as providing a justification for mathematics; others as providing the subject matter of mathematics; others still as providing us with an arena within which to settle all questions of existence and proof in mathematics. The conference will bring together philosophers, logicians and mathematicians to discuss whether any of these senses of foundations should be privileged. The prospects for a pluralistic approach to foundational issues will also be considered.

For more information, see http://www.phil.cam.ac.uk/foundations/

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

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

The Summer School in Social Simulation: A hands-on approach program, organized by the Laboratory for Socio-Historical Dynamics Simulation (LSDS - UAB) offers an intensive hands-on course on multi-agent modeling applied to the social sciences using the Netlogo modeling environment. Participants will be able to debut immediately in the field and to present their own simulation model at the end of the course.

The program will be conducted by researchers in artificial intelligence, sociology, economics, archeology and other fields in the social sciences who, parallel to the course, will present the state-of-the-art research on the implementation of social simulation in their fields of expertise. The course is mainly directed to advanced students and researchers in the various fields of the social sciences who wish to approximate or to deepen in the knowledge of agent-based simulation to analyze complex phenomena in the context of social dynamics

For more information, see http://sct.uab.cat/lsds/content/lsds-summer-school-2012

The role of set theory as a foundation of mathematics has been criticized from various standpoints. The conference aims to shed light on this debate by asking what foundations of mathematics are and what they are for.

Some people understand foundations as providing a justification for mathematics; others as providing the subject matter of mathematics; others still as providing us with an arena within which to settle all questions of existence and proof in mathematics. The conference will bring together philosophers, logicians and mathematicians to discuss whether any of these senses of foundations should be privileged. The prospects for a pluralistic approach to foundational issues will also be considered.

For more information, see http://www.phil.cam.ac.uk/foundations/

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Representative areas include, but are not limited to:
* Algorithms and data structures
* Automata and formal languages
* Combinatorial optimization
* Computational complexity
* Concurrent, timed and hybrid systems
* Cryptography and security
* Logic in computer science
* Programming languages

For further details see the conference website at http://www.fsttcs.org/.

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

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

The Summer School in Social Simulation: A hands-on approach program, organized by the Laboratory for Socio-Historical Dynamics Simulation (LSDS - UAB) offers an intensive hands-on course on multi-agent modeling applied to the social sciences using the Netlogo modeling environment. Participants will be able to debut immediately in the field and to present their own simulation model at the end of the course.

The program will be conducted by researchers in artificial intelligence, sociology, economics, archeology and other fields in the social sciences who, parallel to the course, will present the state-of-the-art research on the implementation of social simulation in their fields of expertise. The course is mainly directed to advanced students and researchers in the various fields of the social sciences who wish to approximate or to deepen in the knowledge of agent-based simulation to analyze complex phenomena in the context of social dynamics

For more information, see http://sct.uab.cat/lsds/content/lsds-summer-school-2012

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

This is the fourth in an annual series of workshops on the philosophy of mathematics organized by a team of scholars in France and elsewhere. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www-ihpst.univ-paris1.fr/operations/colloque.php?id_colloque=59

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

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

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

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 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/

Continuing the mission of the first four AGI conferences, AGI-12@Oxford gathers an international group of academic and industry researchers involved in scientific and engineering work aimed directly toward the goal of artificial general intelligence. The AGI conferences are the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond.

AGI-12@Oxford will feature invited and contributed talks on all areas of AGI, poster presentations, workshops, tutorials, and technology demonstrations. As in prior AGi conferences, there will be ample panel discussions and occasions for open collaborative discussion on key AGI issues.

AGI-12@Oxford will be followed by a related conference, AGI-Impacts, hosted by Oxford's Future of Humanity Institute and focused on the broader implications of AGI. AGI-12 attendees will get free admission to AGI-Impacts.

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

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).

CL 2012 is part of the world-wide Alan Turing Year 2012. Beyond the focus on Alan Turing and the history and philosophy of computing, the conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence. In addition to the Turing celebrations, the DVMLG celebrates its own 50th anniversary.

In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

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

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic "Deontic Logic and Social Choice".

For more information, see http://infomedia.uib.no/deon2012/

The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis. Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants.

Registration is now open (to IAOA members only). The number of participants is limited to 80. Participation is granted based on the order of registration. The IAOA funds some grants for students, covering the registration fee.

Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic "Deontic Logic and Social Choice".

For more information, see http://infomedia.uib.no/deon2012/

The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis. Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants.

Registration is now open (to IAOA members only). The number of participants is limited to 80. Participation is granted based on the order of registration. The IAOA funds some grants for students, covering the registration fee.

Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic "Deontic Logic and Social Choice".

For more information, see http://infomedia.uib.no/deon2012/

The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis. Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants.

Registration is now open (to IAOA members only). The number of participants is limited to 80. Participation is granted based on the order of registration. The IAOA funds some grants for students, covering the registration fee.

Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis. Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants.

Registration is now open (to IAOA members only). The number of participants is limited to 80. Participation is granted based on the order of registration. The IAOA funds some grants for students, covering the registration fee.

Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org

The workshop "Turing in Context II" aims at gaining a better and deeper understanding of Turing's work and legacy by bringing together historians, philosophers, logicians and computer scientists who work on topics that are relevant to one of the many fields Turing has contributed to. The focus of this workshop is thus not Turing's work per se, but rather the work of others before, during and after Turing's life up to today which is directly relevant to understanding Turing's work now and then.

Turing in Context II is a trans-disciplinary research workshop meant for experts in the fields touched by Turing's contributions to science, and will allow for submission of contributed papers.

For more information, see http://www.computing-conference.ugent.be/tic2

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis. Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants.

Registration is now open (to IAOA members only). The number of participants is limited to 80. Participation is granted based on the order of registration. The IAOA funds some grants for students, covering the registration fee.

Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.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 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.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

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

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. TSD 2012 will address the following topics within the field of natural language processing:
corpora, texts and transcription
speech analysis, recognition and synthesis
their intertwining within NL dialogue systems.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote Speakers are Ruslan Mitkov (Wolverhampton, UK) and Walter Daelemans (Antwerp, Belgium). The TSD 2012 conference will be accompanied by a one-day satellite workshop on Hybrid Machine Translation.

For more information, see http://www.tsdconference.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

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

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

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/

The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.

Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.

For more information, see http://www.isical.ac.in/~dst.model/

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/