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.

On occasion of its 20th anniversary, the The Centre for Logic and Philosophy of Science of Ghent University organises an international Conference on Logic and Philosophy of Science (CLPS13) on the themes that are central to its research:
- Logical analysis of scientific reasoning processes
- Methodological and epistemological analysis of scientific reasoning processes

For more information, see http://www.clps13.ugent.be/

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.

The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

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

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

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

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

For more information, see http://www.uni-log.org/

Lectures by and conversations among twenty-five mathematicians, artists, art historians, philosophers, and architects together with screenings of artist's films by Andy Goldsworthy (New York premiere), David Hammons, Richard Serra, Andy Warhol, and William Wegman.

To find "criteria of simplicity" was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematics in Paris. At the same time, simplicity and economy of means are powerful impulses in the creation of artworks.

Recognizing the aesthetic nature of Hilbert's question, this conference aims to focus on criteria of simplicity in mathematics that are informed by perspectives from art and architecture, the philosophy and history of mathematics, and current mathematical practice.

For more information and to register, please visit the conference website at http://www.s-i-m-p-l-i-c-i-t-y.org/.

This conference is dedicated to the philosophical analysis of theoretical terms. Topics include the logic and semantics of our scientific theories, the epistemology and metaphysics of theoretical terms, and the philosophical consequences of these analyses for the philosophy of science and mathematics.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.

The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.

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

This is the fourth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers 21 tutorials on a wide range of subjects. The congress will follow with invited talks and contributed talks organized in many sessions including 13 workshops. This event is intended to be a major event in logic, providing a platform for future research guidelines.

For more information, see http://uni-log.org/enter-rio

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

For more information, see http://www.uni-log.org/

Lectures by and conversations among twenty-five mathematicians, artists, art historians, philosophers, and architects together with screenings of artist's films by Andy Goldsworthy (New York premiere), David Hammons, Richard Serra, Andy Warhol, and William Wegman.

To find "criteria of simplicity" was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematics in Paris. At the same time, simplicity and economy of means are powerful impulses in the creation of artworks.

Recognizing the aesthetic nature of Hilbert's question, this conference aims to focus on criteria of simplicity in mathematics that are informed by perspectives from art and architecture, the philosophy and history of mathematics, and current mathematical practice.

For more information and to register, please visit the conference website at http://www.s-i-m-p-l-i-c-i-t-y.org/.

This conference is dedicated to the philosophical analysis of theoretical terms. Topics include the logic and semantics of our scientific theories, the epistemology and metaphysics of theoretical terms, and the philosophical consequences of these analyses for the philosophy of science and mathematics.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.

The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.

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

This is the fourth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers 21 tutorials on a wide range of subjects. The congress will follow with invited talks and contributed talks organized in many sessions including 13 workshops. This event is intended to be a major event in logic, providing a platform for future research guidelines.

For more information, see http://uni-log.org/enter-rio

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.

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

For more information, see http://www.uni-log.org/

Lectures by and conversations among twenty-five mathematicians, artists, art historians, philosophers, and architects together with screenings of artist's films by Andy Goldsworthy (New York premiere), David Hammons, Richard Serra, Andy Warhol, and William Wegman.

To find "criteria of simplicity" was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematics in Paris. At the same time, simplicity and economy of means are powerful impulses in the creation of artworks.

Recognizing the aesthetic nature of Hilbert's question, this conference aims to focus on criteria of simplicity in mathematics that are informed by perspectives from art and architecture, the philosophy and history of mathematics, and current mathematical practice.

For more information and to register, please visit the conference website at http://www.s-i-m-p-l-i-c-i-t-y.org/.

This conference is dedicated to the philosophical analysis of theoretical terms. Topics include the logic and semantics of our scientific theories, the epistemology and metaphysics of theoretical terms, and the philosophical consequences of these analyses for the philosophy of science and mathematics.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.

The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.

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

This is the fourth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers 21 tutorials on a wide range of subjects. The congress will follow with invited talks and contributed talks organized in many sessions including 13 workshops. This event is intended to be a major event in logic, providing a platform for future research guidelines.

For more information, see http://uni-log.org/enter-rio

The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theoryday. This event consists of a scientific part and a business part. In the business part, members of the NVTI discuss the activities of the NVTI and decide what actions and new activities should be undertaken. The scientific part consists of four scientific contributions which are organized as follows: Four speakers are invited, two speakers from abroad and two domestic speakers.

This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science. Speakers: Wil van der Aalst (Eindhoven University of Technology), Christel Baier (Technical University Dresden, Germany), Marc van Kreveld (Utrecht University) and Barbara Terhal (RWTH Aachen, Germany).

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

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

For more information, see http://www.uni-log.org/

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.

The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.

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

This is the fourth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers 21 tutorials on a wide range of subjects. The congress will follow with invited talks and contributed talks organized in many sessions including 13 workshops. This event is intended to be a major event in logic, providing a platform for future research guidelines.

For more information, see http://uni-log.org/enter-rio

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

For more information, see http://www.uni-log.org/

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.

The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.

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

This is the fourth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers 21 tutorials on a wide range of subjects. The congress will follow with invited talks and contributed talks organized in many sessions including 13 workshops. This event is intended to be a major event in logic, providing a platform for future research guidelines.

For more information, see http://uni-log.org/enter-rio

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The School provides an intensive course of lectures on the Foundations
of Computing. It is very well established, having run annually for
10 years, and has always proved a popular and successful event.
This year we have Philip Wadler, University of Edinburgh, as guest lecturer.

For more information, see http://www.cs.le.ac.uk/events/mgs2013/

The fifth edition of PhDs in Logic will take place at the Munich Center for Mathematical Philosophy. PhDs in Logic is a graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), and Brussels (2011).

Following the previous meetings, the academic pattern is formed by two main parts:
- tutorials given by researchers in logic
- 20 to 25 min presentations by graduate students on topics pertaining to their research
Besides that there will be opportunities for informal gatherings including a conference dinner

For more information, visit our website http://sites.google.com/site/phdsinlogicv/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The School provides an intensive course of lectures on the Foundations
of Computing. It is very well established, having run annually for
10 years, and has always proved a popular and successful event.
This year we have Philip Wadler, University of Edinburgh, as guest lecturer.

For more information, see http://www.cs.le.ac.uk/events/mgs2013/

The fifth edition of PhDs in Logic will take place at the Munich Center for Mathematical Philosophy. PhDs in Logic is a graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), and Brussels (2011).

Following the previous meetings, the academic pattern is formed by two main parts:
- tutorials given by researchers in logic
- 20 to 25 min presentations by graduate students on topics pertaining to their research
Besides that there will be opportunities for informal gatherings including a conference dinner

For more information, visit our website http://sites.google.com/site/phdsinlogicv/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The School provides an intensive course of lectures on the Foundations
of Computing. It is very well established, having run annually for
10 years, and has always proved a popular and successful event.
This year we have Philip Wadler, University of Edinburgh, as guest lecturer.

For more information, see http://www.cs.le.ac.uk/events/mgs2013/

The fifth edition of PhDs in Logic will take place at the Munich Center for Mathematical Philosophy. PhDs in Logic is a graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), and Brussels (2011).

Following the previous meetings, the academic pattern is formed by two main parts:
- tutorials given by researchers in logic
- 20 to 25 min presentations by graduate students on topics pertaining to their research
Besides that there will be opportunities for informal gatherings including a conference dinner

For more information, visit our website http://sites.google.com/site/phdsinlogicv/

Mathematical and computational models are central to decision-making in a wide-variety of contexts in science and policy: They are used to assess the risk of large investments, to evaluate the merits of alternative medical therapies, and are often key in decisions on international policies – climate policy being one of the most prominent examples. In many of these cases, they assist in drawing conclusions from complex assumptions. While it is undisputable that models help, their increasingly widespread use raises several philosophical questions: What makes scientific models so important? In which way do they describe, or even explain their target systems? What makes models so reliable? And: What are the imports, and the limits, of using models in policy making?

This conference will bring together philosophers of science, economists, statisticians and policy makers to discuss these and related questions. Experts from a variety of field will exchange first-hand experience and insights in order to identify the assets and the pitfalls of model-based decision-making. The conference will also address and evaluate the increasing role of model-based research in scientific practice, both from a practical and from a philosophical point of view.

For more information, see http://www.lmu.de/ModelsAndDecisions2013/.

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The School provides an intensive course of lectures on the Foundations
of Computing. It is very well established, having run annually for
10 years, and has always proved a popular and successful event.
This year we have Philip Wadler, University of Edinburgh, as guest lecturer.

For more information, see http://www.cs.le.ac.uk/events/mgs2013/

Mathematical and computational models are central to decision-making in a wide-variety of contexts in science and policy: They are used to assess the risk of large investments, to evaluate the merits of alternative medical therapies, and are often key in decisions on international policies – climate policy being one of the most prominent examples. In many of these cases, they assist in drawing conclusions from complex assumptions. While it is undisputable that models help, their increasingly widespread use raises several philosophical questions: What makes scientific models so important? In which way do they describe, or even explain their target systems? What makes models so reliable? And: What are the imports, and the limits, of using models in policy making?

This conference will bring together philosophers of science, economists, statisticians and policy makers to discuss these and related questions. Experts from a variety of field will exchange first-hand experience and insights in order to identify the assets and the pitfalls of model-based decision-making. The conference will also address and evaluate the increasing role of model-based research in scientific practice, both from a practical and from a philosophical point of view.

For more information, see http://www.lmu.de/ModelsAndDecisions2013/.

To mark the end of the 5-year Vidi Project on Collective Decision Making in Combinatorial Domains, we are organising a small workshop on all aspects of collective decision making. Invited speakers will include Stéphane Airiau (Paris), Umberto Grandi (Padova), Daniele Porello (Trento), and Olivier Caillloux (Amsterdam).

For more information, see https://www.illc.uva.nl/~ulle/vidi/workshop/ or contact Ulle Endriss <ulle.endriss at uva.nl>.

On the one hand, the concept of identity naturally enters the discussion concerning many types of paradox that are not, primarily, about identity itself. On the other hand, there are a number of paradoxes considered as paradoxes of identity in which identity is apparently the concept generating the paradox (e.g., the ship of Theseus paradox, Chrysippus's paradox, the paradox of change, the paradox of constitution).

The goal of the workshop is to discuss philosophical, logical and linguistic aspects of paradoxes in which the notion of identity plays a role. More specifically, we wish to examine whether the so-called paradoxes of identity really are paradoxes of identity in the sense that their paradoxicality is primarily connected to the concept of identity; and we want to investigate the role of concepts of identity in connection with the formulation/solution of other types of paradoxes.

For more information, see here or contact tero.tulenheimo at univ-lille3.fr.

The workshop 'Methods for Modalities' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term 'modal logics' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.

For more information, see http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/

The conference is an annual, interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

For more information, see http://www.klmn.uni.wroc.pl/conference.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The School provides an intensive course of lectures on the Foundations
of Computing. It is very well established, having run annually for
10 years, and has always proved a popular and successful event.
This year we have Philip Wadler, University of Edinburgh, as guest lecturer.

For more information, see http://www.cs.le.ac.uk/events/mgs2013/

Mathematical and computational models are central to decision-making in a wide-variety of contexts in science and policy: They are used to assess the risk of large investments, to evaluate the merits of alternative medical therapies, and are often key in decisions on international policies – climate policy being one of the most prominent examples. In many of these cases, they assist in drawing conclusions from complex assumptions. While it is undisputable that models help, their increasingly widespread use raises several philosophical questions: What makes scientific models so important? In which way do they describe, or even explain their target systems? What makes models so reliable? And: What are the imports, and the limits, of using models in policy making?

This conference will bring together philosophers of science, economists, statisticians and policy makers to discuss these and related questions. Experts from a variety of field will exchange first-hand experience and insights in order to identify the assets and the pitfalls of model-based decision-making. The conference will also address and evaluate the increasing role of model-based research in scientific practice, both from a practical and from a philosophical point of view.

For more information, see http://www.lmu.de/ModelsAndDecisions2013/.

To mark the end of the 5-year Vidi Project on Collective Decision Making in Combinatorial Domains, we are organising a small workshop on all aspects of collective decision making. Invited speakers will include Stéphane Airiau (Paris), Umberto Grandi (Padova), Daniele Porello (Trento), and Olivier Caillloux (Amsterdam).

For more information, see https://www.illc.uva.nl/~ulle/vidi/workshop/ or contact Ulle Endriss <ulle.endriss at uva.nl>.

On the one hand, the concept of identity naturally enters the discussion concerning many types of paradox that are not, primarily, about identity itself. On the other hand, there are a number of paradoxes considered as paradoxes of identity in which identity is apparently the concept generating the paradox (e.g., the ship of Theseus paradox, Chrysippus's paradox, the paradox of change, the paradox of constitution).

The goal of the workshop is to discuss philosophical, logical and linguistic aspects of paradoxes in which the notion of identity plays a role. More specifically, we wish to examine whether the so-called paradoxes of identity really are paradoxes of identity in the sense that their paradoxicality is primarily connected to the concept of identity; and we want to investigate the role of concepts of identity in connection with the formulation/solution of other types of paradoxes.

For more information, see here or contact tero.tulenheimo at univ-lille3.fr.

Op vrijdag 12 april 2013 vindt voor de elfde maal het jaarlijkse congres Leve de Wiskunde! plaats op de UvA. Wetenschappers vertellen over hun onderzoek in en rondom de wiskunde. Docenten wiskunde, geïnteresseerde 6-vwo scholieren en andere belangstellenden zijn van harte uitgenodigd!

Voor meer informatie, zie http://www.uva.nl/levedewiskunde/

(Dutch only)
Vrijdag 12 april is het weer zo ver: Leve de Wiskunde! 2013. Tijdens dit jaarlijks terugkerend congres vertellen vooraanstaande wetenschappers over hun bevindingen in en rondom de wiskunde. van financiële wiskunde tot symmetriepatronen en van forensische statistiek tot de filosofie achter getallen.

Het wiskundecongres geeft inzicht in actuele ontwikkelingen in het vakgebied en is bedoeld om docenten havo/vwo te informeren, inspireren en om te ontmoeten.

Voor meer informatie en aanmelden, zie http://betaonderwijs.uva.nl/agenda/content/congressen/2013/04/

The workshop aims at connecting two debates from two different disciplines: the debate over logical constants in philosophy of logic and the debate on the functional vs. lexical distinction in linguistics. It further aims at examining the notion of semantic invariance, both as used by logicians (namely, as a criterion for logicality) and by linguists and philosophers of language in discussions of semantics. One of the main goals of the workshop is to examine whether the distinction between logical vs. non-logical expressions maps onto the
distinction between functional vs. lexical (or 'substantive') categories.

For more information, see http://parles.upf.edu/llocs/istojanovic/workshop/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

For more information, see http://www.bnlsp.ws/.

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 Sixth Workshop on Combining Probability and Logic (progic 2013) focuses on "Combining probability and logic to solve philosophical problems".

For more information, see http://www.pfeifer-research.de/progic/.

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The fourth issue of the workshop Algebra and Coalgebra meet Proof Theory (ALCOP 2013), will take place in Utrecht, The Netherlands on April 18 - 20, 2013.

ALCOP brings together experts in algebraic logic, coalgebraic logic, and proof theory with the goal of sharing new results and developing mutually beneficial relationships between these fields.

More details can be found on the workshop webpage: http://www.phil.uu.nl/~iemhoff/Conferenties/ALCOP/

The Department of Theoretical Philosophy at the University of Groningen is proud to organize and host the Dutch graduate conference focusing on topics within theoretical philosophy. The aim of the conference is to give graduate students working within some field of theoretical philosophy (e.g. epistemology, logic, metaphysics, philosophy of science / mind / language, etc.) the opportunity to present their work in progress and to get to know each other. Students from outside of the Netherlands are most welcome.

To further enhance the experience, four professional keynote speakers will also be giving a talk providing inspiration for new ideas:
Patrick Blackburn (Roskilde)
John Dupré (Exeter)
Hannes Leitgeb (Munich)
Ruth Millikan (Connecticut)

For more information, see http://www.philos.rug.nl/GCTP2013/

The biennial Workshop on Nonmonotonic Reasoning, Action and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

This year's special theme is the qualification problem, the fundamental problem of assuming away by default unexpected circumstances preventing the successful execution of an action.

For more information, see http://innovation.it.uts.edu.au/nrac2013/

Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics, in order to better understand how information circulates in an artificial society, how it affects trust, and how it contributes to the construction of reputation and collective attitudes, and to the emergence of conventions. The workshop is an associated event of IJCAI-13.

For more information, see the workshop website at http://www.irit.fr/~Laurent.Perrussel/itdas-13/.

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The fourth issue of the workshop Algebra and Coalgebra meet Proof Theory (ALCOP 2013), will take place in Utrecht, The Netherlands on April 18 - 20, 2013.

ALCOP brings together experts in algebraic logic, coalgebraic logic, and proof theory with the goal of sharing new results and developing mutually beneficial relationships between these fields.

More details can be found on the workshop webpage: http://www.phil.uu.nl/~iemhoff/Conferenties/ALCOP/

The Department of Theoretical Philosophy at the University of Groningen is proud to organize and host the Dutch graduate conference focusing on topics within theoretical philosophy. The aim of the conference is to give graduate students working within some field of theoretical philosophy (e.g. epistemology, logic, metaphysics, philosophy of science / mind / language, etc.) the opportunity to present their work in progress and to get to know each other. Students from outside of the Netherlands are most welcome.

To further enhance the experience, four professional keynote speakers will also be giving a talk providing inspiration for new ideas:
Patrick Blackburn (Roskilde)
John Dupré (Exeter)
Hannes Leitgeb (Munich)
Ruth Millikan (Connecticut)

For more information, see http://www.philos.rug.nl/GCTP2013/

The Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) will be co-located with IJCAI 2013 in Beijing, and builds on the success of TAFA 2011 (co-located with IJCAI 2011). The workshop is inspired by the recent rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of Artificial Intelligence. TAFA 2013 aims to further foster uptake of argumentation as a viable AI paradigm with wide ranging application by providing a forum for further development of existing ideas and for the initiation of new and innovative collaborations.

For more information, see http://homepages.abdn.ac.uk/n.oren/pages/TAFA-13/

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

For more information, see http://lii.rwth-aachen.de/lics/lics13/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The fourth issue of the workshop Algebra and Coalgebra meet Proof Theory (ALCOP 2013), will take place in Utrecht, The Netherlands on April 18 - 20, 2013.

ALCOP brings together experts in algebraic logic, coalgebraic logic, and proof theory with the goal of sharing new results and developing mutually beneficial relationships between these fields.

More details can be found on the workshop webpage: http://www.phil.uu.nl/~iemhoff/Conferenties/ALCOP/

The Department of Theoretical Philosophy at the University of Groningen is proud to organize and host the Dutch graduate conference focusing on topics within theoretical philosophy. The aim of the conference is to give graduate students working within some field of theoretical philosophy (e.g. epistemology, logic, metaphysics, philosophy of science / mind / language, etc.) the opportunity to present their work in progress and to get to know each other. Students from outside of the Netherlands are most welcome.

To further enhance the experience, four professional keynote speakers will also be giving a talk providing inspiration for new ideas:
Patrick Blackburn (Roskilde)
John Dupré (Exeter)
Hannes Leitgeb (Munich)
Ruth Millikan (Connecticut)

For more information, see http://www.philos.rug.nl/GCTP2013/

The GSCL is a conference organized and run by graduate students in mathematical and philosophical logic. All talks besides that of the keynote lecture, are given by graduate students. Of course participation is open to everyone. Most talks are accessible to students familiar with the foundations of mathematical logic, and they range from expository talks to original results. Everyone should find several things of value to take away from the conference.

For more information, please head to the conference web-page at http://www.math.uiuc.edu/gscl2013/ or contact the conference organizers, Santiago Camacho and Allen Gehret, at gscl2013 at math.uiuc.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The GSCL is a conference organized and run by graduate students in mathematical and philosophical logic. All talks besides that of the keynote lecture, are given by graduate students. Of course participation is open to everyone. Most talks are accessible to students familiar with the foundations of mathematical logic, and they range from expository talks to original results. Everyone should find several things of value to take away from the conference.

For more information, please head to the conference web-page at http://www.math.uiuc.edu/gscl2013/ or contact the conference organizers, Santiago Camacho and Allen Gehret, at gscl2013 at math.uiuc.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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The 2nd Conference on Games, Interactive Rationality, and Learning, to be held April 23-26 in Kungshuset, Lund (Sweden), is coming soon!

Everybody interested is welcome to attend, there are no registration fees, however, if you wish to participate to lunches and the conference dinner, we kindly ask you to register for meals (no later than April 15th).

For more information, see http://girl2013.loriweb.org/

The 2013 Lund Conference on Games, Interactive Rationality, and Learning (G.I.R.L.13 at LUND) intends to bring together researchers in philosophy, cognitive science, linguistics, and economics sharing interest in agent-based modeling as a tool to investigate the emergence of rational behavior in groups of less-than-ideally rational agents, through learning, and interaction.

For more information, see http://girl2013.loriweb.org/g-i-r-l-13lund-cfp/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The 2nd Conference on Games, Interactive Rationality, and Learning, to be held April 23-26 in Kungshuset, Lund (Sweden), is coming soon!

Everybody interested is welcome to attend, there are no registration fees, however, if you wish to participate to lunches and the conference dinner, we kindly ask you to register for meals (no later than April 15th).

For more information, see http://girl2013.loriweb.org/

The 2013 Lund Conference on Games, Interactive Rationality, and Learning (G.I.R.L.13 at LUND) intends to bring together researchers in philosophy, cognitive science, linguistics, and economics sharing interest in agent-based modeling as a tool to investigate the emergence of rational behavior in groups of less-than-ideally rational agents, through learning, and interaction.

For more information, see http://girl2013.loriweb.org/g-i-r-l-13lund-cfp/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL2013, these will be: Sven Ove Hansson, Annika Wallin, and Jörgen Weibull.

For more information, see http://www.meansandends.com/workshop13/

In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

For more information, see https://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The 2nd Conference on Games, Interactive Rationality, and Learning, to be held April 23-26 in Kungshuset, Lund (Sweden), is coming soon!

Everybody interested is welcome to attend, there are no registration fees, however, if you wish to participate to lunches and the conference dinner, we kindly ask you to register for meals (no later than April 15th).

For more information, see http://girl2013.loriweb.org/

The 2013 Lund Conference on Games, Interactive Rationality, and Learning (G.I.R.L.13 at LUND) intends to bring together researchers in philosophy, cognitive science, linguistics, and economics sharing interest in agent-based modeling as a tool to investigate the emergence of rational behavior in groups of less-than-ideally rational agents, through learning, and interaction.

For more information, see http://girl2013.loriweb.org/g-i-r-l-13lund-cfp/

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/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The 2nd Conference on Games, Interactive Rationality, and Learning, to be held April 23-26 in Kungshuset, Lund (Sweden), is coming soon!

Everybody interested is welcome to attend, there are no registration fees, however, if you wish to participate to lunches and the conference dinner, we kindly ask you to register for meals (no later than April 15th).

For more information, see http://girl2013.loriweb.org/

The 2013 Lund Conference on Games, Interactive Rationality, and Learning (G.I.R.L.13 at LUND) intends to bring together researchers in philosophy, cognitive science, linguistics, and economics sharing interest in agent-based modeling as a tool to investigate the emergence of rational behavior in groups of less-than-ideally rational agents, through learning, and interaction.

For more information, see http://girl2013.loriweb.org/g-i-r-l-13lund-cfp/

The overall objective of this workshop is to study some of the open questions within philosophy of information with an emphasis on the study of the value of information and the philosophy of information processing.

Topics include the value of information, quantifying information, processing complementary and contradicting information and the inter-relationship between information, computation and complexity.

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

Studies in Logic aims to provide a forum for original scholarly essays, discussion articles and book reviews in almost all areas of logic, mainly focuses on:

• Mathematical logic and foundations of mathematics
• Philosophical logic
• Informal logic
• Applications of logic in other disciplines, such as computer science, cognitive science, linguistics and social sciences
• Philosophy and history of logic
• Studies of logic, reasoning and argumentation from cross-cultural and comparative perspectives.

The Journal of Studies in Logic is calling for submission of papers. Submissions and inquiries can be sent to: logical.studies at gmail.com or logicstu at mail.sysu.edu.cn.

For more information, see http://www.studiesinlogic.net/english/.

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The Second International Conference on the History of Logic in China(HOLIC2013) will take place on 27-29 April, 2013, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to take the first steps in a larger project, that of producing the *Handbook of Logical Thought in China*, to be published by Springer-Verlag<http://www.springer.com/>both online and in print in a few years. We aim to develop a coherent plan for the book during the conference, thorough discussion in area groups among potential authors and editors from both mainland China and outside.

For more information, check the website: http://holicnet.net/?page_id=60

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The Second International Conference on the History of Logic in China(HOLIC2013) will take place on 27-29 April, 2013, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to take the first steps in a larger project, that of producing the *Handbook of Logical Thought in China*, to be published by Springer-Verlag<http://www.springer.com/>both online and in print in a few years. We aim to develop a coherent plan for the book during the conference, thorough discussion in area groups among potential authors and editors from both mainland China and outside.

For more information, check the website: http://holicnet.net/?page_id=60

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The Second International Conference on the History of Logic in China(HOLIC2013) will take place on 27-29 April, 2013, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to take the first steps in a larger project, that of producing the *Handbook of Logical Thought in China*, to be published by Springer-Verlag<http://www.springer.com/>both online and in print in a few years. We aim to develop a coherent plan for the book during the conference, thorough discussion in area groups among potential authors and editors from both mainland China and outside.

For more information, check the website: http://holicnet.net/?page_id=60

The Second International Meeting of the Association for the Philosophy of Mathematical Practice (APMP) will be held October 3-4, 2013 at the University of Illinois at Urbana-Champaign, USA.

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice---including issues in history of mathematics, the applications of mathematics, cognitive science, etc. This meeting will be the first part of a four day meeting on problems and prospects in the philosophy of mathematics. The second part will be the Fourteenth Midwest PhilMath Workshop (MWPMW 14): we hope APMP participants will also stay for this second part.

For more information, see http://institucional.us.es/apmp/index_APMP2013.htm

The main aims of the meeting are:
- To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
- To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

The birth of the computing and its sciences has often been the topic of philosophical and historical reflection. The HaPoC-conferences have decided to bring together the historical and the philosophical viewpoints. They want to create an environment for a true interdisciplinary convergence around computer science, reenforcing research on the science(s) of computing and its history and stimulating a theoretical dialogue between these domains.

Please check out the website of HaPoC 2013 for more information on the conference: http://hapoc2013.sciencesconf.org

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/

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/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/