The RTA conferences series serves as a forum for presenting original work on all aspects of rewriting.

RTA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2013) and several related events.

For more information, see http://rta2013.few.vu.nl/

RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.

For more information, see http://www.win.tue.nl/rdp2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

We would like to invite you to the Presentation day on Multilingual Information Management and Synchronization of Wiki-pages. We have invited people that will give a presentation about their own experience, challenges and opportunities in the context of multilingual information management. These speakers represent news organisations, companies, the Wikimedia community and a related EU project.

For more information, see http://www.ccct.uva.nl/content/ or http://www.cosyne.eu/.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

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.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The winter school will provide an in depth coverage of bilinear pairings and their role in cryptographic constructions. Among other things, we will study the basics of elliptic curves and elliptic curve cryptography, the basics of pairings, and the mathematics behind how pairings work and how to efficiently compute them. In addition, we will study the many applications of pairings to cryptography, including identity-based encryption (IBE) and variants, attribute-based encryption, functional encryption, broadcast encryption, anonymous credentials and non-interactive zero-knowledge. The school program includes approximately 20 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not elliptic curves or bilinear maps). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2013/

The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, game theory, logic, and their applications for synthesis and verification. It is supported by the ESF project "GAMES for Design and Verification".

The school will consist of nine lectures. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended. The GAMES winter School 2013 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome.

Registration is accessible through the web-page of the conference (http://isi.unil.ch/champery2013/). Registration deadline: November 15, 2012.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The winter school will provide an in depth coverage of bilinear pairings and their role in cryptographic constructions. Among other things, we will study the basics of elliptic curves and elliptic curve cryptography, the basics of pairings, and the mathematics behind how pairings work and how to efficiently compute them. In addition, we will study the many applications of pairings to cryptography, including identity-based encryption (IBE) and variants, attribute-based encryption, functional encryption, broadcast encryption, anonymous credentials and non-interactive zero-knowledge. The school program includes approximately 20 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not elliptic curves or bilinear maps). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2013/

The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, game theory, logic, and their applications for synthesis and verification. It is supported by the ESF project "GAMES for Design and Verification".

The school will consist of nine lectures. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended. The GAMES winter School 2013 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome.

Registration is accessible through the web-page of the conference (http://isi.unil.ch/champery2013/). Registration deadline: November 15, 2012.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The winter school will provide an in depth coverage of bilinear pairings and their role in cryptographic constructions. Among other things, we will study the basics of elliptic curves and elliptic curve cryptography, the basics of pairings, and the mathematics behind how pairings work and how to efficiently compute them. In addition, we will study the many applications of pairings to cryptography, including identity-based encryption (IBE) and variants, attribute-based encryption, functional encryption, broadcast encryption, anonymous credentials and non-interactive zero-knowledge. The school program includes approximately 20 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not elliptic curves or bilinear maps). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2013/

The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, game theory, logic, and their applications for synthesis and verification. It is supported by the ESF project "GAMES for Design and Verification".

The school will consist of nine lectures. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended. The GAMES winter School 2013 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome.

Registration is accessible through the web-page of the conference (http://isi.unil.ch/champery2013/). Registration deadline: November 15, 2012.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The winter school will provide an in depth coverage of bilinear pairings and their role in cryptographic constructions. Among other things, we will study the basics of elliptic curves and elliptic curve cryptography, the basics of pairings, and the mathematics behind how pairings work and how to efficiently compute them. In addition, we will study the many applications of pairings to cryptography, including identity-based encryption (IBE) and variants, attribute-based encryption, functional encryption, broadcast encryption, anonymous credentials and non-interactive zero-knowledge. The school program includes approximately 20 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not elliptic curves or bilinear maps). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2013/

The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, game theory, logic, and their applications for synthesis and verification. It is supported by the ESF project "GAMES for Design and Verification".

The school will consist of nine lectures. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended. The GAMES winter School 2013 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome.

Registration is accessible through the web-page of the conference (http://isi.unil.ch/champery2013/). Registration deadline: November 15, 2012.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, game theory, logic, and their applications for synthesis and verification. It is supported by the ESF project "GAMES for Design and Verification".

The school will consist of nine lectures. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended. The GAMES winter School 2013 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome.

Registration is accessible through the web-page of the conference (http://isi.unil.ch/champery2013/). Registration deadline: November 15, 2012.

The 18th CTN workshop will be held at the University of Warwick, on February 8-9, 2013. The workshop will be aimed at providing an avenue for presenting and discussing new contributions on network, coalition and matching theory. The workshop will start at 9.00 am on February 8 and end by 5.00 pm on February 9, so that most participants from continental Europe can leave in the evening of February 9 if they wish. Provision will be made for parallel sessions if all accepted papers cannot be accommodated in single sessions.

Invited speakers:
Herve Moulin, Rice University, USA
Fuhito Kojima, Stanford University.

For more information, see http://www.feem-web.it/ctn/events/13_Warwick/ctn18i.html

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The 18th CTN workshop will be held at the University of Warwick, on February 8-9, 2013. The workshop will be aimed at providing an avenue for presenting and discussing new contributions on network, coalition and matching theory. The workshop will start at 9.00 am on February 8 and end by 5.00 pm on February 9, so that most participants from continental Europe can leave in the evening of February 9 if they wish. Provision will be made for parallel sessions if all accepted papers cannot be accommodated in single sessions.

Invited speakers:
Herve Moulin, Rice University, USA
Fuhito Kojima, Stanford University.

For more information, see http://www.feem-web.it/ctn/events/13_Warwick/ctn18i.html

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.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

Logica 2013 will be the 27th in the series of annual international symposia devoted to logic. The official language of the symposium is English. Invited speakers are Johan van Benthem, Michael Dunn, Volker Halbach and Michiel van Lambalgen.

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

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The purpose of the 5th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

For more information, see http://www.icaart.org

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The purpose of the 5th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

For more information, see http://www.icaart.org

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The purpose of the 5th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

For more information, see http://www.icaart.org

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The purpose of the 5th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

For more information, see http://www.icaart.org

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland.

For more information, see http://coalg.org/calco13/ or contact calco2013 at mimuw.edu.pl.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The ILLC New Year's Colloquium 2013 will have three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Julian Kiverstein (LoLa), Reinhard Blutner (LaCo) andJohan van Benthem (LoCo) have accepted to give presentations.

For more information, see https://www.illc.uva.nl/ILLCColloquium/NewYear2013/ or contact P.vanOrmondt at uva.nl.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why and to what extent narrative is universal and explain (or explain away) the function it serves. The aim of this workshop series is to address key questions that advance our understanding of narrative and our ability to model it computationally.

This workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. The workshop will be held as a satellite event of the 2013 Annual Meeting of the Cognitive Science Society (to be held in Berlin 31st July - 3rd August), and so will have a special focus on the cognitive science of narrative.

For more information, see http://narrative.csail.mit.edu/ws13. Questions should be directed to narrative-ws13 at csail.mit.edu.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The Institut für Philosophie II at the Ruhr-Universität Bochum is holding a graduate workshop on Systematic Analytic Philosophy and Interdisciplinary Research. Keynote speakers are Mathias Frisch (University of Maryland), Hans Radder (Vrije Universiteit Amsterdam) and Jason Stanley (New York University).

For more information, contact tomoo.ueda at rub.de

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The Institut für Philosophie II at the Ruhr-Universität Bochum is holding a graduate workshop on Systematic Analytic Philosophy and Interdisciplinary Research. Keynote speakers are Mathias Frisch (University of Maryland), Hans Radder (Vrije Universiteit Amsterdam) and Jason Stanley (New York University).

For more information, contact tomoo.ueda at rub.de

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The Institut für Philosophie II at the Ruhr-Universität Bochum is holding a graduate workshop on Systematic Analytic Philosophy and Interdisciplinary Research. Keynote speakers are Mathias Frisch (University of Maryland), Hans Radder (Vrije Universiteit Amsterdam) and Jason Stanley (New York University).

For more information, contact tomoo.ueda at rub.de

The 30th Symposium on Theoretical Aspects of Computer Science will be held in Kiel, Feb 27-Mar 2, 2013 (Wednesday through Saturday). As usual, the program will be composed of approximately 50-60 contributed and three invited talks, by Kousha Etessami, Kurth Mehlhorn, and Stéphan Thomassé. As this year's pre-conference tutorial on 'Iterative Methods in Combinatorial Optimization' by R. Ravi was a great success, STACS 2013 will also include a tutorial, by Dániel Marx on algorithmic graph structure theory.

For more information, see http://www.stacs2013.uni-kiel.de or cotnact info at stacs2013.uni-kiel.de (for general information) or pc-chairs at stacs2013.uni-kiel.de (for information regarding paper submission).

We cordially invite you to a seminar on reasoning over ontologies and data, organized at the VU University Amsterdam. The seminar is held in the context of the PhD defence of Szymon Klarman from the Knowledge Representation and Reasoning group.

Speakers: Chiara Ghidini, Carsten Lutz, Heiner Stuckenschmidt.

For more information and abstracts, see http://www.networkinstitute.org/news/reasoning-over-ontologies-and-data/

The idea of the Conference is to bring together philosophers, legal philosophers, psychologists and cognitive scientists, including researchers on artificial intelligence, who are interested in the problem of rules, rule-following and normativity.

Our aim is to create an interdisciplinary forum that will bring together academics representing different disciplines, willing to present their perspective on the issues related to rules and normativity.

Invited speakers: Paul Boghossian, Brian Bix, Philip Zelazo and Stefano Bertea.

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

The second Graduate Conference of the Vienna Forum for Analytic Philosophy, a student society for philosophical research in the analytic tradition at the Department of Philosophy of the University of Vienna, will be held from 2 - 4 May 2013 on the topic of knowledge.

Contemporary debates on knowledge tend to revolve around the acquisition of knowledge, the conference will therefore focus on the sources of knowledge. Possible candidates for such sources of knowledge seem to be perception, memory, logical reasoning, testimony, or intuitions. But there is no agreement on which of these are sources of knowledge in their own right, and which can be reduced to others; in which epistemological processes they are involved; or what sort of justification they each require or yield.

For further information, see http://wfap.philo.at/?q=node/103.

The 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science will be held in Urbino on 29-30-31 May 2013.

The conference will be organized by the Italian Society for Logic and Philosophy of Science (SILFS) and will host six different sessions, namely:
1) History and Philosophy of Physics
2) Logic and Philosophy of Logic
3) Philosophy of Biology
4) Philosophy of Language and Mind
5) History and Philosophy of Mathematics
6) Philosophy of Social Sciences

Further information can be found at http://www.silfs.net/?lang=en or here.

A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

The 30th Symposium on Theoretical Aspects of Computer Science will be held in Kiel, Feb 27-Mar 2, 2013 (Wednesday through Saturday). As usual, the program will be composed of approximately 50-60 contributed and three invited talks, by Kousha Etessami, Kurth Mehlhorn, and Stéphan Thomassé. As this year's pre-conference tutorial on 'Iterative Methods in Combinatorial Optimization' by R. Ravi was a great success, STACS 2013 will also include a tutorial, by Dániel Marx on algorithmic graph structure theory.

For more information, see http://www.stacs2013.uni-kiel.de or cotnact info at stacs2013.uni-kiel.de (for general information) or pc-chairs at stacs2013.uni-kiel.de (for information regarding paper submission).