The aim of the conference is to integrate different points of view in contemporary philosophy of law. The conference will be divided into two special working groups: the first one will be entirely devoted to the application of the Bayesian analysis in legal settings. The second one will be a general presentation of the variety of contemporary issues in the philosophy of law. The organizers invite lawyers, psychologists, philosophers and all interested to participate.

The conference will be held under the honorary patronage of the Rector of the Jagiellonian University, on the occasion of the 10th anniversary Section of the Philosophy of Law TBSP UJ. The conference language is Polish and English (organizers will not provide translations). There will be no conference fee.

For more information, see http://conferencephilosophyoflaw.wordpress.com/.

The amount of literary material available on-line keeps growing rapidly: there are machine-readable texts from libraries, collections and e-book stores, as well as "live" literature such as e-zines, blogs or self-published e-books. We need tools to help navigate, visualize and better appreciate the high volume of available literature.

CLFL-2013 will focus on the subject of applying state-of-the art NLP methods to literary data, and consider questions such as: What characteristics of literature make it special? Is it, indeed, a unique type of language data? How should we adapt our tools to find meaning in literary text? What lessons from automatic processing of literature could apply to other types of data?

All information sits at: https://sites.google.com/site/clfl2013/

The aim of the Conference on Logic, Questions and Inquiry (LoQI) is to address issues in the philosophical and logical investigations of questions and inquiry from the various perspectives of formal epistemology, formal semantics and pragmatics, philosophy of science and philosophy of mathematics. The conference intends to bring together researchers from these different fields in order to trigger interactions between the various existing approaches to questions and inquiry, and to promote cooperation and exchange on research projects related to these issues. The event will then be the occasion to assess the different past scientific contributions on these topics, and to discuss possibilities for new research directions.

For more information, see http://loqi.sciencesconf.org/ or contact loqi at sciencesconf.org

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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/

COIN — Coalgebra in the Netherlands is a bimonthly seminar, held alternately in Nijmegen and Amsterdam. The aim of COIN is to bring together coalgebra researchers at various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Tuesday, 5 March 2013, at CWI, in room L120. The schedule is as follows:
13:30 - 14:15 Jean-Baptiste Jeannin
14:15 - 15:00 Alexandra Silva
15:15 - 16:00 Henning Basold

For more information, see http://homepages.cwi.nl/~winter/coin.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/

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

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

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

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

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

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

We seem to know a lot of modal facts. But how is modal knowledge possible? The Johannes Gutenberg-Universität Mainz holds a workshop to discuss latest answers to and arguments in the vicinity of this question.

Invited Speakers: Thomas Krödel (Berlin), Christian Nimtz (Bielefeld), Sonia Roca-Royes (Stirling), Daniele Sgaravatti (L'Aquila).
Organization: Ralf Busse, Silvère Schutkowski

For more information and registration, contact schutkow at uni-mainz.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/

We seem to know a lot of modal facts. But how is modal knowledge possible? The Johannes Gutenberg-Universität Mainz holds a workshop to discuss latest answers to and arguments in the vicinity of this question.

Invited Speakers: Thomas Krödel (Berlin), Christian Nimtz (Bielefeld), Sonia Roca-Royes (Stirling), Daniele Sgaravatti (L'Aquila).
Organization: Ralf Busse, Silvère Schutkowski

For more information and registration, contact schutkow at uni-mainz.de

For more information, see http://ls.informatik.uni-tuebingen.de/PTS/

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/

For more information, see http://ls.informatik.uni-tuebingen.de/PTS/

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/

For more information, see http://ls.informatik.uni-tuebingen.de/PTS/

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/

Speakers include Afra Alishahi, Barend Beekhuizen, Rens Bod, Gideon Borensztajn, Alex Clark, Jan van Eijck, Shalom Lappin and Jelle Zuidema.

Program:
Afra Alishahi: "Language learning as a unified probabilistic process"
Barend Beekhuizen: "What we can learn from bound learners"
Rens Bod: "How I got into Sequential Structure: A Personal Odyssey"
Gideon Borensztajn: "From place cells in rats to human syntax: the construction of a cognitive map of grammar"
Alex Clark: "Learning trees from strings: a strong learning result for some context-free grammars.
Jan van Eijck: "Learning from the perspective of dynamic epistemic logic."
Shalom Lappin: "Towards a Statistical Model of Grammaticality"
Jelle Zuidema: "Contextfreeness revisited"

Because the workshop includes lunch and the capacity is limited, we ask those planning to attend to register with Barend Beekhuizen at barendbeekhuizen at gmail.com before March 5th.

For more information, contact barendbeekhuizen at gmail.com.

Registration is free, but please register before March 5th. For more information, see here or contact barendbeekhuizen at gmail.com.

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 Amsterdam Workshop on Truth is intended to serve as a meeting point for researchers working on the philosophy of truth in order to discuss latest results and work in progress.
It will address a wide range of truth-related topics and it is open to more formal or less formal approaches.

The following speakers have confirmed participation: Stefan Wintein, Philip Welch, Albert Visser, Giulia Terzian, Johannes Stern, Jönne Speck, Sonja Smets, Georg Schiemer, Robert van Rooij, Carlo Nicolai, Iris Loeb, Øystein Linnebo, Graham Leigh, Jeffrey Kettland, Leon Horsten, Volker Halbach, Nina Gierasimczuk, Martin Fischer, Theodora Achourioti.

Attendance is free of charge, however, registration is required. The deadline for registering is March the 3rd. The workshop will start on Wednesday at 12:00 and end on Friday at 15:00.

For more information, visit the workshop website (https://www.illc.uva.nl/truth/truth13/) or contact the organisers Dora t.achourioti at uva.nl) and Cian (chartiec at tcd.ie).

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 Amsterdam Workshop on Truth is intended to serve as a meeting point for researchers working on the philosophy of truth in order to discuss latest results and work in progress.
It will address a wide range of truth-related topics and it is open to more formal or less formal approaches.

The following speakers have confirmed participation: Stefan Wintein, Philip Welch, Albert Visser, Giulia Terzian, Johannes Stern, Jönne Speck, Sonja Smets, Georg Schiemer, Robert van Rooij, Carlo Nicolai, Iris Loeb, Øystein Linnebo, Graham Leigh, Jeffrey Kettland, Leon Horsten, Volker Halbach, Nina Gierasimczuk, Martin Fischer, Theodora Achourioti.

Attendance is free of charge, however, registration is required. The deadline for registering is March the 3rd. The workshop will start on Wednesday at 12:00 and end on Friday at 15:00.

For more information, visit the workshop website (https://www.illc.uva.nl/truth/truth13/) or contact the organisers Dora t.achourioti at uva.nl) and Cian (chartiec at tcd.ie).

The impact of the development of formal logic on philosophy in the 20th Century is well-documented. More recently the rise of formal philosophy, and in particular the application of formal methods in epistemology and semantics has proved that logical and mathematical methods have a bright future in philosophy.

With his work on Quine, P. Gochet played an important role in the former movement. Yet, he was also one of the first to recognize the importance of the interactive and dynamic turn in epistemology and formal semantics that characterize the latter movement.

Speakers: Patrick Blackburn, Jaakko Hintikka (TBC), Philippe de Rouilhan, Dov Gabbay, Susan Haack, Gerhard Heinzmann, Hourya Sinaceur, Jean-Maurice Monnoyer, Johan van Benthem, Vincent Hendricks, Jacques Dubucs, Dagfinn Føllesdal, Alex Orenstein, Shahid Rahman.

For more information, see http://www.bslps.be/LKL2013/ or contact lkl at bslps.be.

Every three years, the Dutch Society for the Philosophy of Science (DSPS; in Dutch: Nederlandse Vereniging voor Wetenschapsfilosofie, NVWF), organises this international conference with the original aim to collect everybody in one place who is active in this area of philosophy in the Netherlands and Flanders (PhD-students, professors, lecturers, readers, students). This conference is intended for an academic audience interested in philosophy of science in the broadest possible sense.

The first edition of Philosophy of Science in a Forest, Spring 2011, was the first with English as the conference language. Contributions in the Dutch language are however not forbidden. Contributions from all over the world are now welcome in English.

For more information, see the website of the NVWF at http://www.nvwf.nl/agenda.php.

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 Amsterdam Workshop on Truth is intended to serve as a meeting point for researchers working on the philosophy of truth in order to discuss latest results and work in progress.
It will address a wide range of truth-related topics and it is open to more formal or less formal approaches.

The following speakers have confirmed participation: Stefan Wintein, Philip Welch, Albert Visser, Giulia Terzian, Johannes Stern, Jönne Speck, Sonja Smets, Georg Schiemer, Robert van Rooij, Carlo Nicolai, Iris Loeb, Øystein Linnebo, Graham Leigh, Jeffrey Kettland, Leon Horsten, Volker Halbach, Nina Gierasimczuk, Martin Fischer, Theodora Achourioti.

Attendance is free of charge, however, registration is required. The deadline for registering is March the 3rd. The workshop will start on Wednesday at 12:00 and end on Friday at 15:00.

For more information, visit the workshop website (https://www.illc.uva.nl/truth/truth13/) or contact the organisers Dora t.achourioti at uva.nl) and Cian (chartiec at tcd.ie).

The impact of the development of formal logic on philosophy in the 20th Century is well-documented. More recently the rise of formal philosophy, and in particular the application of formal methods in epistemology and semantics has proved that logical and mathematical methods have a bright future in philosophy.

With his work on Quine, P. Gochet played an important role in the former movement. Yet, he was also one of the first to recognize the importance of the interactive and dynamic turn in epistemology and formal semantics that characterize the latter movement.

Speakers: Patrick Blackburn, Jaakko Hintikka (TBC), Philippe de Rouilhan, Dov Gabbay, Susan Haack, Gerhard Heinzmann, Hourya Sinaceur, Jean-Maurice Monnoyer, Johan van Benthem, Vincent Hendricks, Jacques Dubucs, Dagfinn Føllesdal, Alex Orenstein, Shahid Rahman.

For more information, see http://www.bslps.be/LKL2013/ or contact lkl at bslps.be.

The Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.de/

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme.

For more information, contact illc at uva.nl

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

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

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

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

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

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

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 Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.de/

Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries.

The SR international workshop is an ETAPS 2013 workshop and aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

For more information, see http://www.strategicreasoning.net/

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 Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.de/

Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries.

The SR international workshop is an ETAPS 2013 workshop and aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

For more information, see http://www.strategicreasoning.net/

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 Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.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 Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.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 Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.de/

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

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 Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.de/

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

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

On 21 and 22 March 2013 all 13 digital humanities projects by UvA, VU and KNAW will present themselves at the Netherlands Institute for Advanced Study (NIAS).

There will be demos of each project followed by feedback by an expert team. The second day of the workshop will be fully devoted to the future of public-private collaborations in the (digital) humanities as well as of the joint collaboration of KNAW, UvA and VU in CHAT (Center for Humanities and Technology).

For more information, see http://cdh.uva.nl/news-and-events/events/content/workshops/2013/03/nias.html

The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

For more information, see http://spe6conference.wordpress.com/

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 Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

For more information, see http://www.interdisciplinary-college.de/

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

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

On 21 and 22 March 2013 all 13 digital humanities projects by UvA, VU and KNAW will present themselves at the Netherlands Institute for Advanced Study (NIAS).

There will be demos of each project followed by feedback by an expert team. The second day of the workshop will be fully devoted to the future of public-private collaborations in the (digital) humanities as well as of the joint collaboration of KNAW, UvA and VU in CHAT (Center for Humanities and Technology).

For more information, see http://cdh.uva.nl/news-and-events/events/content/workshops/2013/03/nias.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 aim of the conference is to integrate different points of view in contemporary philosophy of law. The conference will be divided into two special working groups: the first one will be entirely devoted to the application of the Bayesian analysis in legal settings. The second one will be a general presentation of the variety of contemporary issues in the philosophy of law. The organizers invite lawyers, psychologists, philosophers and all interested to participate.

The conference will be held under the honorary patronage of the Rector of the Jagiellonian University, on the occasion of the 10th anniversary Section of the Philosophy of Law TBSP UJ. The conference language is Polish and English (organizers will not provide translations). There will be no conference fee.

For more information, see http://conferencephilosophyoflaw.wordpress.com/.

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 aim of the conference is to integrate different points of view in contemporary philosophy of law. The conference will be divided into two special working groups: the first one will be entirely devoted to the application of the Bayesian analysis in legal settings. The second one will be a general presentation of the variety of contemporary issues in the philosophy of law. The organizers invite lawyers, psychologists, philosophers and all interested to participate.

The conference will be held under the honorary patronage of the Rector of the Jagiellonian University, on the occasion of the 10th anniversary Section of the Philosophy of Law TBSP UJ. The conference language is Polish and English (organizers will not provide translations). There will be no conference fee.

For more information, see http://conferencephilosophyoflaw.wordpress.com/.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://wollic.org/wollic2013/.

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

The Faculty of Science will be celebrating its 13th foundation year, Dies Natalis, on Thursday 28 March 2013. The programme, which is in Dutch and which includes a talk by Rens Bod, can be found at the URL below, where you can also register for attendance. Drinks afterwards in the central hall at Science Park 904.

For more information, see http://www.uva.nl/over-de-uva/organisatie/faculteiten/content/

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/

The Emmy Noether research group "Understanding and the A Priori" is hosting an author-meets-critics workshop with David Chalmers to critically discuss themes from his new book, "Constructing the World" (Oxford University Press 2012). The book concerns "scrutability," the thesis that all the truths about the world can, in principle, be known on the basis of knowledge of just a limited class of basic truths. Chalmers argues for the scrutability thesis and investigates which sorts of basic truths can serve as the relevant "scrutability base". The book explores the implications of scrutability for a range of central philosophical issues: meaning and mental content, the existence of the analytic and the a priori, the refutation of skepticism, and the methodology of metaphysics, among others.

Participation in the workshop is open, but there is a limited number of available places, and email registration is required by April 30, 2013. For more information, see http://fromthearmchair.net/events/constructing-the-world

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

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