Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. It will be co-located with the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013).

For more information, see http://ai2013.otago.ac.nz

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

PRIMA is the leading scientific conference for research on intelligent agent systems and multi-agent systems.

Agent computing and technology is an exciting, emerging paradigm expected to play a key role in many society-changing practices from disaster response to manufacturing to agriculture. The conference offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. PRIMA particularly encourages reports on development of prototype and deployed agent and multiagent systems and experiments that demonstrate the capability of agents to handle real-world challenges.

For more information, see http://prima2013.otago.ac.nz/

The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

Topics include:
Boolean functions
Block ciphers
Hash functions
Differential and linear cryptanalysis
Implementation attacks
Fault injection attacks
Countermeasures
Leakage-resilient cryptography
White-box cryptography
Security of embedded systems

For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence.

Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond.

ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers.

More information, including a preliminary programme, is available on the website, at http://www.inf.kcl.ac.uk/events/acai13/

CiE 2013 is the ninth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

CiE 2013 will focus on research of Computational Complexity and the interplay between Proof Theory and Computation, as well as the special theme of the 'Nature of Computation', that is, the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science.

For more information, see http://cie2013.disco.unimib.it

Our world is increasingly visual, and diagrams are an essential aspect of many of the fields that try to make sense of it. These include demography, cartography, medical imaging, aviation, and so on. In particular, diagrammatic logic is gaining ground in logic and mathematics as an alternative to or when used in parallel with symbolic logics, and recent years have seen the appearance of increasingly expressive diagrammatic systems.

The purpose of the workshop is manyfold. Firstly, we want to gain deeper insights into the activities involved in reasoning with diagrammatic systems: how can a modern, highly-expressive diagrammatic logic help with inferential tasks in practice, such as those undertaken in the field of knowledge engineering? Our second purpose, closely related to the first, is cognition: the verbaliser-visualiser cognitive style classification. Finally, our meeting will also focus on the topics of diagram aesthetics and visual complexity.

For more information, see http://www.cem.brighton.ac.uk/dlac2013/ or contact one of the organisers, Jim Burton (j.burton at brighton.ac.uk) or Lopmudra Choudhury (choudhuryl at yahoo.com).

The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

Topics include:
Boolean functions
Block ciphers
Hash functions
Differential and linear cryptanalysis
Implementation attacks
Fault injection attacks
Countermeasures
Leakage-resilient cryptography
White-box cryptography
Security of embedded systems

For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence.

Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond.

ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers.

More information, including a preliminary programme, is available on the website, at http://www.inf.kcl.ac.uk/events/acai13/

CiE 2013 is the ninth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

CiE 2013 will focus on research of Computational Complexity and the interplay between Proof Theory and Computation, as well as the special theme of the 'Nature of Computation', that is, the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science.

For more information, see http://cie2013.disco.unimib.it

The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

Topics include:
Boolean functions
Block ciphers
Hash functions
Differential and linear cryptanalysis
Implementation attacks
Fault injection attacks
Countermeasures
Leakage-resilient cryptography
White-box cryptography
Security of embedded systems

For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence.

Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond.

ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers.

More information, including a preliminary programme, is available on the website, at http://www.inf.kcl.ac.uk/events/acai13/

CiE 2013 is the ninth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

CiE 2013 will focus on research of Computational Complexity and the interplay between Proof Theory and Computation, as well as the special theme of the 'Nature of Computation', that is, the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science.

For more information, see http://cie2013.disco.unimib.it

The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

Topics include:
Boolean functions
Block ciphers
Hash functions
Differential and linear cryptanalysis
Implementation attacks
Fault injection attacks
Countermeasures
Leakage-resilient cryptography
White-box cryptography
Security of embedded systems

For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence.

Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond.

ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers.

More information, including a preliminary programme, is available on the website, at http://www.inf.kcl.ac.uk/events/acai13/

CiE 2013 is the ninth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

CiE 2013 will focus on research of Computational Complexity and the interplay between Proof Theory and Computation, as well as the special theme of the 'Nature of Computation', that is, the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science.

For more information, see http://cie2013.disco.unimib.it

The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

Topics include:
Boolean functions
Block ciphers
Hash functions
Differential and linear cryptanalysis
Implementation attacks
Fault injection attacks
Countermeasures
Leakage-resilient cryptography
White-box cryptography
Security of embedded systems

For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence.

Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond.

ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers.

More information, including a preliminary programme, is available on the website, at http://www.inf.kcl.ac.uk/events/acai13/

CiE 2013 is the ninth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

CiE 2013 will focus on research of Computational Complexity and the interplay between Proof Theory and Computation, as well as the special theme of the 'Nature of Computation', that is, the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science.

For more information, see http://cie2013.disco.unimib.it

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty. Contributions come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Preceding the main conference, on July 7th, a tutorial programme will be offered.

For more information, see http://www.projects.science.uu.nl/ecsqaru/ or contact the organisers at ecsqaru2013 at science.uu.nl.

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 biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty. Contributions come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Preceding the main conference, on July 7th, a tutorial programme will be offered.

For more information, see http://www.projects.science.uu.nl/ecsqaru/ or contact the organisers at ecsqaru2013 at science.uu.nl.

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 biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty. Contributions come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Preceding the main conference, on July 7th, a tutorial programme will be offered.

For more information, see http://www.projects.science.uu.nl/ecsqaru/ or contact the organisers at ecsqaru2013 at science.uu.nl.

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 biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty. Contributions come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Preceding the main conference, on July 7th, a tutorial programme will be offered.

For more information, see http://www.projects.science.uu.nl/ecsqaru/ or contact the organisers at ecsqaru2013 at science.uu.nl.

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

Gdansk University (Poland) and the Centre for Logic and Philosophy of Science at Ghent University (Belgium) are organising the third in a series of logico-philosophical workshops on the application of formal methods in philosophy (especially outside the narrow field of philosophy of logic and language). The workshop will take place in Gdansk, Poland (July 15-17, 2013).

Details are available at: http://entiaetnomina.blogspot.be/2013/02/cfp-entia-et-nomina-iii.html.

This generation has borne witness to a veritable explosion in the use of computing technologies in almost every aspect of life. Philosophers, scientists, and technologists/engineers have an important role to play in addressing the foundational questions that arise on the inexorable march toward intelligent machines. This year's theme is "Minds, Machines and Morals."

For more information, see http://www.iacap.org/conferences/iacap2013/

The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013.

The program includes:
- Andrzej Mostowski Centenary. Invited lecture by Adam Krawczyk (Warsaw).
- Tutorial by Moti Gitik (Tel Aviv).
- Lecture by the winner of the Hausdorff Medal.
- 6 plenary lectures.
- 8 invited lectures.
- Contributed talks.
- Poster sessions.
- Round table on the future of set theory.

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

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

For more information, see http://pls9.cs.ntua.gr/

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

Gdansk University (Poland) and the Centre for Logic and Philosophy of Science at Ghent University (Belgium) are organising the third in a series of logico-philosophical workshops on the application of formal methods in philosophy (especially outside the narrow field of philosophy of logic and language). The workshop will take place in Gdansk, Poland (July 15-17, 2013).

Details are available at: http://entiaetnomina.blogspot.be/2013/02/cfp-entia-et-nomina-iii.html.

This generation has borne witness to a veritable explosion in the use of computing technologies in almost every aspect of life. Philosophers, scientists, and technologists/engineers have an important role to play in addressing the foundational questions that arise on the inexorable march toward intelligent machines. This year's theme is "Minds, Machines and Morals."

For more information, see http://www.iacap.org/conferences/iacap2013/

The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013.

The program includes:
- Andrzej Mostowski Centenary. Invited lecture by Adam Krawczyk (Warsaw).
- Tutorial by Moti Gitik (Tel Aviv).
- Lecture by the winner of the Hausdorff Medal.
- 6 plenary lectures.
- 8 invited lectures.
- Contributed talks.
- Poster sessions.
- Round table on the future of set theory.

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

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

For more information, see http://pls9.cs.ntua.gr/

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

Gdansk University (Poland) and the Centre for Logic and Philosophy of Science at Ghent University (Belgium) are organising the third in a series of logico-philosophical workshops on the application of formal methods in philosophy (especially outside the narrow field of philosophy of logic and language). The workshop will take place in Gdansk, Poland (July 15-17, 2013).

Details are available at: http://entiaetnomina.blogspot.be/2013/02/cfp-entia-et-nomina-iii.html.

This generation has borne witness to a veritable explosion in the use of computing technologies in almost every aspect of life. Philosophers, scientists, and technologists/engineers have an important role to play in addressing the foundational questions that arise on the inexorable march toward intelligent machines. This year's theme is "Minds, Machines and Morals."

For more information, see http://www.iacap.org/conferences/iacap2013/

The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013.

The program includes:
- Andrzej Mostowski Centenary. Invited lecture by Adam Krawczyk (Warsaw).
- Tutorial by Moti Gitik (Tel Aviv).
- Lecture by the winner of the Hausdorff Medal.
- 6 plenary lectures.
- 8 invited lectures.
- Contributed talks.
- Poster sessions.
- Round table on the future of set theory.

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

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

For more information, see http://pls9.cs.ntua.gr/

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 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013.

The program includes:
- Andrzej Mostowski Centenary. Invited lecture by Adam Krawczyk (Warsaw).
- Tutorial by Moti Gitik (Tel Aviv).
- Lecture by the winner of the Hausdorff Medal.
- 6 plenary lectures.
- 8 invited lectures.
- Contributed talks.
- Poster sessions.
- Round table on the future of set theory.

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

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

For more information, see http://pls9.cs.ntua.gr/

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 Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

For more information, see http://pls9.cs.ntua.gr/

Just before the Logic Colloquium 2013 (Évora, Portugal) there will be a one-day workshop in Proof Theory in Lisbon. The main event of the workhop is a three-part lecture by Jean-Louis Krivine on his classical realizability of set theory, with new proofs of known relative consistency results.

Please have a look at http://www.ciul.ul.pt/~ferferr/ProofTheoryinLisbon.htm for information and participation.

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 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 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 19th LPAR will be held in Stellenbosch, South Africa.

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

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 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

The first ever IFAAMAS-sponsored Multiagent Systems Summer School in Greece, CretaMASSS-2013, will be held at the Department of Electronic and Computer Engineering of the Technical University of Crete, at Chania, Crete, Greece, from the 22nd to the 26th of July 2013.

We believe that CretaMASSS-2013/HAISS'13-Agents offers a well-balanced tutorial curriculum, covering topics such as Teamwork, Information Sharing in Large MAS, Game Theory, Economies and Markets, the Smart Grid, Robotics, and Agent-Based Software Development.

The event will have the form of half-day tutorials (TU), 3-4 hours long each, along with at least one panel discussion session, and along with specific, short (~45 mins long) research talks (RT).

For more information, see http://www.intelligence.tuc.gr/cretamasss

This course examines and develops a version of situation semantics called truthmaker semantics. The first part of the course provides a basic exposition of the semantics; while the second part of the course considers a number of different applications of the semantics. Special emphasis will be placed on the notion of partial content, which derives from Kant's notion of an analytic truth and provides an alternative to the notion of logical consequence in dealing with many problems.

During the course, Professor Kit Fine (Silver Professor of Philosophy & Mathematics at NYU) will present and lead discussion on both published and unpublished work on the topic; opportunities for presentations from participants will also be provided.

More information regarding the Summer School is available on the course website (http://hamburgersommerkurs.wordpress.com/), but if you have any further questions, please feel free to contact the organizers at sommerkurs at gmx.de.

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 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

The first ever IFAAMAS-sponsored Multiagent Systems Summer School in Greece, CretaMASSS-2013, will be held at the Department of Electronic and Computer Engineering of the Technical University of Crete, at Chania, Crete, Greece, from the 22nd to the 26th of July 2013.

We believe that CretaMASSS-2013/HAISS'13-Agents offers a well-balanced tutorial curriculum, covering topics such as Teamwork, Information Sharing in Large MAS, Game Theory, Economies and Markets, the Smart Grid, Robotics, and Agent-Based Software Development.

The event will have the form of half-day tutorials (TU), 3-4 hours long each, along with at least one panel discussion session, and along with specific, short (~45 mins long) research talks (RT).

For more information, see http://www.intelligence.tuc.gr/cretamasss

This course examines and develops a version of situation semantics called truthmaker semantics. The first part of the course provides a basic exposition of the semantics; while the second part of the course considers a number of different applications of the semantics. Special emphasis will be placed on the notion of partial content, which derives from Kant's notion of an analytic truth and provides an alternative to the notion of logical consequence in dealing with many problems.

During the course, Professor Kit Fine (Silver Professor of Philosophy & Mathematics at NYU) will present and lead discussion on both published and unpublished work on the topic; opportunities for presentations from participants will also be provided.

More information regarding the Summer School is available on the course website (http://hamburgersommerkurs.wordpress.com/), but if you have any further questions, please feel free to contact the organizers at sommerkurs at gmx.de.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

Information about submission, registration, travel information, etc., is available on the DL 2013 homepage at http://dl.kr.org/dl2013.

The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.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

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

The first ever IFAAMAS-sponsored Multiagent Systems Summer School in Greece, CretaMASSS-2013, will be held at the Department of Electronic and Computer Engineering of the Technical University of Crete, at Chania, Crete, Greece, from the 22nd to the 26th of July 2013.

We believe that CretaMASSS-2013/HAISS'13-Agents offers a well-balanced tutorial curriculum, covering topics such as Teamwork, Information Sharing in Large MAS, Game Theory, Economies and Markets, the Smart Grid, Robotics, and Agent-Based Software Development.

The event will have the form of half-day tutorials (TU), 3-4 hours long each, along with at least one panel discussion session, and along with specific, short (~45 mins long) research talks (RT).

For more information, see http://www.intelligence.tuc.gr/cretamasss

This course examines and develops a version of situation semantics called truthmaker semantics. The first part of the course provides a basic exposition of the semantics; while the second part of the course considers a number of different applications of the semantics. Special emphasis will be placed on the notion of partial content, which derives from Kant's notion of an analytic truth and provides an alternative to the notion of logical consequence in dealing with many problems.

During the course, Professor Kit Fine (Silver Professor of Philosophy & Mathematics at NYU) will present and lead discussion on both published and unpublished work on the topic; opportunities for presentations from participants will also be provided.

More information regarding the Summer School is available on the course website (http://hamburgersommerkurs.wordpress.com/), but if you have any further questions, please feel free to contact the organizers at sommerkurs at gmx.de.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

Information about submission, registration, travel information, etc., is available on the DL 2013 homepage at http://dl.kr.org/dl2013.

The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.com

The Institute of Philosophy at the Rheinische Friedrich-Wilhelms-Universität Bonn will hold a Workshop on Paraconsistency and Paraconsistent Logics. The workshop is open to everybody interested in an introduction to paraconsistent reasoning, as well as an outlook in the fascinating problems of this area of research. The talks of the workshop will be held in English.

For more information, see http://www.philosophie.uni-bonn.de/aktuelles/paraconsistency or contact goerke at uni-bonn.de

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 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

The first ever IFAAMAS-sponsored Multiagent Systems Summer School in Greece, CretaMASSS-2013, will be held at the Department of Electronic and Computer Engineering of the Technical University of Crete, at Chania, Crete, Greece, from the 22nd to the 26th of July 2013.

We believe that CretaMASSS-2013/HAISS'13-Agents offers a well-balanced tutorial curriculum, covering topics such as Teamwork, Information Sharing in Large MAS, Game Theory, Economies and Markets, the Smart Grid, Robotics, and Agent-Based Software Development.

The event will have the form of half-day tutorials (TU), 3-4 hours long each, along with at least one panel discussion session, and along with specific, short (~45 mins long) research talks (RT).

For more information, see http://www.intelligence.tuc.gr/cretamasss

This course examines and develops a version of situation semantics called truthmaker semantics. The first part of the course provides a basic exposition of the semantics; while the second part of the course considers a number of different applications of the semantics. Special emphasis will be placed on the notion of partial content, which derives from Kant's notion of an analytic truth and provides an alternative to the notion of logical consequence in dealing with many problems.

During the course, Professor Kit Fine (Silver Professor of Philosophy & Mathematics at NYU) will present and lead discussion on both published and unpublished work on the topic; opportunities for presentations from participants will also be provided.

More information regarding the Summer School is available on the course website (http://hamburgersommerkurs.wordpress.com/), but if you have any further questions, please feel free to contact the organizers at sommerkurs at gmx.de.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

Information about submission, registration, travel information, etc., is available on the DL 2013 homepage at http://dl.kr.org/dl2013.

The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.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

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

The first ever IFAAMAS-sponsored Multiagent Systems Summer School in Greece, CretaMASSS-2013, will be held at the Department of Electronic and Computer Engineering of the Technical University of Crete, at Chania, Crete, Greece, from the 22nd to the 26th of July 2013.

We believe that CretaMASSS-2013/HAISS'13-Agents offers a well-balanced tutorial curriculum, covering topics such as Teamwork, Information Sharing in Large MAS, Game Theory, Economies and Markets, the Smart Grid, Robotics, and Agent-Based Software Development.

The event will have the form of half-day tutorials (TU), 3-4 hours long each, along with at least one panel discussion session, and along with specific, short (~45 mins long) research talks (RT).

For more information, see http://www.intelligence.tuc.gr/cretamasss

This course examines and develops a version of situation semantics called truthmaker semantics. The first part of the course provides a basic exposition of the semantics; while the second part of the course considers a number of different applications of the semantics. Special emphasis will be placed on the notion of partial content, which derives from Kant's notion of an analytic truth and provides an alternative to the notion of logical consequence in dealing with many problems.

During the course, Professor Kit Fine (Silver Professor of Philosophy & Mathematics at NYU) will present and lead discussion on both published and unpublished work on the topic; opportunities for presentations from participants will also be provided.

More information regarding the Summer School is available on the course website (http://hamburgersommerkurs.wordpress.com/), but if you have any further questions, please feel free to contact the organizers at sommerkurs at gmx.de.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

Information about submission, registration, travel information, etc., is available on the DL 2013 homepage at http://dl.kr.org/dl2013.

The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.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

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.com

The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.com

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

SLSP is the first event in a series to host and promote research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences including papers in any of these fields, SLSP is a more focused meeting where synergies between areas and people will hopefully happen. SLSP will reserve significant space for young scholars at the beginning of their careers.

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

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

SLSP is the first event in a series to host and promote research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences including papers in any of these fields, SLSP is a more focused meeting where synergies between areas and people will hopefully happen. SLSP will reserve significant space for young scholars at the beginning of their careers.

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

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013).

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

SLSP is the first event in a series to host and promote research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences including papers in any of these fields, SLSP is a more focused meeting where synergies between areas and people will hopefully happen. SLSP will reserve significant space for young scholars at the beginning of their careers.

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

The AGI conference series is the premier international forum for cutting-edge research focusing on the original goal of the AI field: the creation of thinking machines with general intelligence at the human level and ultimately beyond. The AGI conference series is held in cooperation with AAAI, and AGI-13 will co-locate with IJCAI-13. This is the first AGI conference to be held in Asia, and will be hosted by Peking University.

Like its predecessors, AGI-13 will gather researchers in AGI and associated disciplines for wide-ranging presentation and discussion of approaches, architectures, algorithms and ideas relevant to the advancement of artificial general intelligence.

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