A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing. The aim of this symposium is to zoom into one fundamental aspect of computing, that is the foundational and the historical problems and developments related to the science of programming.

The convention is organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) as part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014.

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

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

The Australasian Journal of Logic is being relaunched. The AJL is a free, open access journal run under the auspices of the Australasian Association of Logic and Victoria University's Centre for Logic, Language and Computation. All papers sent to the AJL are refereed and we try for a turn-around time within three months of submission.

The AJL publishes in all areas of logic, both technical results and conceptual discussions of logic. To submit an article please go to our online submission utility.

For more information, see http://ojs.victoria.ac.nz/ajl

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

Days in Logic 2014 will take place in January 23-25 in Braga (north of Portugal). There will be short courses by Mário Edmundo (UAberta), Luís Antunes (UPorto), Michael Rathjen (ULeeds) and Alex Simpson (UEdinburgh). The meeting includes sessions of contributed talks of 25 minutes each.

For more information, see http://w3.math.uminho.pt/~luis/DiL2014/

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

The Institute of Informatics Systems (Russian Academy of Sciences) and the Saint Petersburg State University are jointly organizing the Ershov Informatics Conference (the PSI Conference Series, the 9th edition) to be held in St. Petersburg, Russia, on June 24 - 27, 2014.

The PSI Conference is the premier international forum for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent trends, experiences and concerns in the conference area.

For more information, see http://psi.nsc.ru

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

There is a long-standing tradition of using logical and, more specifically, model-theoretic tools in the analysis of natural languages. Building on this tradition, this ISLA-2014 workshop aims at addressing one specific issue that has been the topic of discussion lately in the areas of formal semantics, applied logic, computational linguistics, and philosophy. The issue at stake is the notion of *experiencer*, across languages and across linguistic categories.

In addressing questions concerning experiencers, our workshop aims at reaching a better understanding of the nature of argument structure in natural language, which we take to be a key element in understanding the logical patterns that linguistic constructions give rise to, and in modeling the logic of natural language. Our interdisciplinary workshop will provide a platform for a fruitful exchange between those working in foundational areas in logic and those who are interested in the applications of logic to natural languages.

For more information, see http://parles.upf.edu/llocs/bgehrke/experiencers2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

There is a long-standing tradition of using logical and, more specifically, model-theoretic tools in the analysis of natural languages. Building on this tradition, this ISLA-2014 workshop aims at addressing one specific issue that has been the topic of discussion lately in the areas of formal semantics, applied logic, computational linguistics, and philosophy. The issue at stake is the notion of *experiencer*, across languages and across linguistic categories.

In addressing questions concerning experiencers, our workshop aims at reaching a better understanding of the nature of argument structure in natural language, which we take to be a key element in understanding the logical patterns that linguistic constructions give rise to, and in modeling the logic of natural language. Our interdisciplinary workshop will provide a platform for a fruitful exchange between those working in foundational areas in logic and those who are interested in the applications of logic to natural languages.

For more information, see http://parles.upf.edu/llocs/bgehrke/experiencers2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

'PhDs in Logic' is a graduate conference organized by local graduate students. Its aim is to bring together PhD candidates and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011) and Munich (2013).

Following the previous meetings, the academic setup of the conference consists of two main parts:
(i) Four established researchers in logic will each give two 45-minute tutorial sessions on a relevant topic in logic;
(ii) About 15 PhD candidates will give 20-minute presentations on their work.
There will also be opportunities for informal gatherings, including a conference dinner.

If you would like to participate, please fill in the registration form on our website by 13 April 2014. For more information, see http://phdsinlogic2014.wp.hum.uu.nl/ or contact phdsinlogic at gmail.com.

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

There is a long-standing tradition of using logical and, more specifically, model-theoretic tools in the analysis of natural languages. Building on this tradition, this ISLA-2014 workshop aims at addressing one specific issue that has been the topic of discussion lately in the areas of formal semantics, applied logic, computational linguistics, and philosophy. The issue at stake is the notion of *experiencer*, across languages and across linguistic categories.

In addressing questions concerning experiencers, our workshop aims at reaching a better understanding of the nature of argument structure in natural language, which we take to be a key element in understanding the logical patterns that linguistic constructions give rise to, and in modeling the logic of natural language. Our interdisciplinary workshop will provide a platform for a fruitful exchange between those working in foundational areas in logic and those who are interested in the applications of logic to natural languages.

For more information, see http://parles.upf.edu/llocs/bgehrke/experiencers2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

There is a long-standing tradition of using logical and, more specifically, model-theoretic tools in the analysis of natural languages. Building on this tradition, this ISLA-2014 workshop aims at addressing one specific issue that has been the topic of discussion lately in the areas of formal semantics, applied logic, computational linguistics, and philosophy. The issue at stake is the notion of *experiencer*, across languages and across linguistic categories.

In addressing questions concerning experiencers, our workshop aims at reaching a better understanding of the nature of argument structure in natural language, which we take to be a key element in understanding the logical patterns that linguistic constructions give rise to, and in modeling the logic of natural language. Our interdisciplinary workshop will provide a platform for a fruitful exchange between those working in foundational areas in logic and those who are interested in the applications of logic to natural languages.

For more information, see http://parles.upf.edu/llocs/bgehrke/experiencers2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

On January 16th, 2014 a workshop on (dynamic) modal logics and tableau systems will take place at the Vrije Universiteit Brussel. Attendence is free.

One day later, on January 17th, Jonas De Vuyst will publicly defend his PhD thesis on tableau systems for dynamic modal logics.

For more information, please contact jdevuyst at vub.ac.be or see here.

ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.

The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Keynote speakers this year are Kit Fine (NYU) & Ofra Magidor (Oxford).

Here is a link to last year's conference website: http://www2.phil.cam.ac.uk/news_events/recent_events/camgradphilconf_2013.html

For any further information, see here or contact the conference organisers, Lukas Skiba and Fiona Doherty, at cam.phil.grad.conf at googlemail.com.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Keynote speakers this year are Kit Fine (NYU) & Ofra Magidor (Oxford).

Here is a link to last year's conference website: http://www2.phil.cam.ac.uk/news_events/recent_events/camgradphilconf_2013.html

For any further information, see here or contact the conference organisers, Lukas Skiba and Fiona Doherty, at cam.phil.grad.conf at googlemail.com.

The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science.

Further information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/.

Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.

For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Meeting of the board and consortium of the Language and Interaction project.

For more information, contact illc at uva.nl

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is a satellite workshop of AAMAS 2014 that serves the community as a platform for presentation, exchange, and publication of ideas.

For more information, see http://lamas2014.in.tu-clausthal.de

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

Days in Logic 2014 will take place in January 23-25 in Braga (north of Portugal). There will be short courses by Mário Edmundo (UAberta), Luís Antunes (UPorto), Michael Rathjen (ULeeds) and Alex Simpson (UEdinburgh). The meeting includes sessions of contributed talks of 25 minutes each.

For more information, see http://w3.math.uminho.pt/~luis/DiL2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

Days in Logic 2014 will take place in January 23-25 in Braga (north of Portugal). There will be short courses by Mário Edmundo (UAberta), Luís Antunes (UPorto), Michael Rathjen (ULeeds) and Alex Simpson (UEdinburgh). The meeting includes sessions of contributed talks of 25 minutes each.

For more information, see http://w3.math.uminho.pt/~luis/DiL2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

Days in Logic 2014 will take place in January 23-25 in Braga (north of Portugal). There will be short courses by Mário Edmundo (UAberta), Luís Antunes (UPorto), Michael Rathjen (ULeeds) and Alex Simpson (UEdinburgh). The meeting includes sessions of contributed talks of 25 minutes each.

For more information, see http://w3.math.uminho.pt/~luis/DiL2014/

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

On January 27th-28th 2014, the Faculty of Philosophy of the University of Groningen will host a short Winter School aimed at advanced undergraduate students and early-stage graduate students. The theme of the winter school is Rationality, and it will consist of 5 tutorials of 2 sessions each where the topic will be discussed from different viewpoints: theoretical rationality, practical rationality, and the history of the concept of rationality.

Registration deadline: December 15th 2013. As the number of spots is limited, you are encouraged to register early. Scholarship application deadline: December 1st 2013.

For more information, see https://sites.google.com/site/groningenwinterschool/ or contact Catarina Dutilh Novaes at c.dutilh.novaes at rug.nl.

The Society for the Study of Articial Intelligence and the Simulation of Behaviour (AISB) is organizing a Workshop on Modelling Organisational Behaviour and Social Agency. The event is hosted by Bournemouth University.

Agent-based models (ABMs) allow to observe the complexity of a system's interactions in the making. This is of interest for the social sciences because of a presumed ontological correspondence of agents with the atoms of social life. An agent can be anything from states to socio-cultural structures, to the environment. This methodological vagueness can be the scrutinised with the theoretical question of what is the basic unit for the analysis of social systems in-between culture, organisation, interactions, and the body. This is of particular relevance for the analysis of organisations, and hence we would like to bring together a group of people that is interested in any aspect of ABM of social agents in organisations.

For more information, see http://www.aisb.org.uk/index.php/news/82-bulletin/

The winter school will study symmetric encryption in theory and in practice. The school will include a study of the theoretical foundations of symmetric encryption on the one hand, and practical constructions and cryptanalysis on the other hand. These two topics will provide a broad basis for all participants. The school will then proceed to study advanced constructions like tweakable block ciphers, format preserving encryption, disk encryption and advanced types of authenticated encryption. Finally, the school will conclude with advanced and recent attacks on symmetric encryption in SSL/TLS, IPsec, SSH and more. The school program includes approximately 24 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

Participation is free, but registration is required. Please register by December 15, 2013. For more information, see http://crypto.biu.ac.il/winterschool2014/

This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.

For more information, see http://vsl2014.at/rta-tlca

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

On January 27th-28th 2014, the Faculty of Philosophy of the University of Groningen will host a short Winter School aimed at advanced undergraduate students and early-stage graduate students. The theme of the winter school is Rationality, and it will consist of 5 tutorials of 2 sessions each where the topic will be discussed from different viewpoints: theoretical rationality, practical rationality, and the history of the concept of rationality.

Registration deadline: December 15th 2013. As the number of spots is limited, you are encouraged to register early. Scholarship application deadline: December 1st 2013.

For more information, see https://sites.google.com/site/groningenwinterschool/ or contact Catarina Dutilh Novaes at c.dutilh.novaes at rug.nl.

The Society for the Study of Articial Intelligence and the Simulation of Behaviour (AISB) is organizing a Workshop on Modelling Organisational Behaviour and Social Agency. The event is hosted by Bournemouth University.

Agent-based models (ABMs) allow to observe the complexity of a system's interactions in the making. This is of interest for the social sciences because of a presumed ontological correspondence of agents with the atoms of social life. An agent can be anything from states to socio-cultural structures, to the environment. This methodological vagueness can be the scrutinised with the theoretical question of what is the basic unit for the analysis of social systems in-between culture, organisation, interactions, and the body. This is of particular relevance for the analysis of organisations, and hence we would like to bring together a group of people that is interested in any aspect of ABM of social agents in organisations.

For more information, see http://www.aisb.org.uk/index.php/news/82-bulletin/

The winter school will study symmetric encryption in theory and in practice. The school will include a study of the theoretical foundations of symmetric encryption on the one hand, and practical constructions and cryptanalysis on the other hand. These two topics will provide a broad basis for all participants. The school will then proceed to study advanced constructions like tweakable block ciphers, format preserving encryption, disk encryption and advanced types of authenticated encryption. Finally, the school will conclude with advanced and recent attacks on symmetric encryption in SSL/TLS, IPsec, SSH and more. The school program includes approximately 24 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

Participation is free, but registration is required. Please register by December 15, 2013. For more information, see http://crypto.biu.ac.il/winterschool2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

The winter school will study symmetric encryption in theory and in practice. The school will include a study of the theoretical foundations of symmetric encryption on the one hand, and practical constructions and cryptanalysis on the other hand. These two topics will provide a broad basis for all participants. The school will then proceed to study advanced constructions like tweakable block ciphers, format preserving encryption, disk encryption and advanced types of authenticated encryption. Finally, the school will conclude with advanced and recent attacks on symmetric encryption in SSL/TLS, IPsec, SSH and more. The school program includes approximately 24 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

Participation is free, but registration is required. Please register by December 15, 2013. For more information, see http://crypto.biu.ac.il/winterschool2014/

In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties.

The present workshop is motivated by the conviction that the two paradigms to understand norms in strategic interaction are by no means incompatible and can be effectively used together for regulative purposes. The aim of the symposium is to gather researchers looking at norms in strategic interaction from different perspectives, i.e. philosophy, computer science, game theory, logic, fostering discussion and interdisciplinary collaboration. Researchers will be given the opportunity of presenting their work in a stimulating environment, without novelty constraints on their contribution.

For more information please have a look at the workshop website http://www.doc.ic.ac.uk/~pturrini/NAG/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

The winter school will study symmetric encryption in theory and in practice. The school will include a study of the theoretical foundations of symmetric encryption on the one hand, and practical constructions and cryptanalysis on the other hand. These two topics will provide a broad basis for all participants. The school will then proceed to study advanced constructions like tweakable block ciphers, format preserving encryption, disk encryption and advanced types of authenticated encryption. Finally, the school will conclude with advanced and recent attacks on symmetric encryption in SSL/TLS, IPsec, SSH and more. The school program includes approximately 24 hours of lectures and a social dinner.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

Participation is free, but registration is required. Please register by December 15, 2013. For more information, see http://crypto.biu.ac.il/winterschool2014/

The Formal Epistemology Workshop will be held in connection with the 2014 meeting of the Society for Exact Philosophy, which will take place immediately afterwards, at the California Institute of Technology, a short rail ride away in Pasadena.

There will be four contributed talks on Friday, June 20 and four contributed talks on Saturday, June 21. Sunday, June 22 will consist of shared events as part of both FEW and SEP, including a keynote address (by Bas van Fraassen) and a poster session.

For more information, see http://www.kennyeaswaran.org/few/

The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.

In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.

For more information, see http://www.unisr.it/filosofia/filmat

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.

Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

Symposium on the occasion of the publication of the English translation of the book "De vergeten wetenschappen. Een geschiedenis van de humaniora" by Rens Bod.

For more information, see https://www.knaw.nl/nl/actueel/agenda/