The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.

Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.

For more information, see http://www.isical.ac.in/~dst.model/

The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.

Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.

For more information, see http://www.isical.ac.in/~dst.model/

The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.

Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.

For more information, see http://www.isical.ac.in/~dst.model/

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

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

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

The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.

Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.

For more information, see http://www.isical.ac.in/~dst.model/

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/ or http://www.easychair.org/LFCS13/

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/ or http://www.easychair.org/LFCS13/

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India. TARK 2013 is the first TARK conference to be held in India, or in January. The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/.

For more information, see the conference website at http://www.imsc.res.in/tark/

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/ or http://www.easychair.org/LFCS13/

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India. TARK 2013 is the first TARK conference to be held in India, or in January. The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/.

For more information, see the conference website at http://www.imsc.res.in/tark/

The International Conference Logic, Argumentation and Critical Thinking III is a new academic effort of our Centre to continue to try not only to deepen and update the production of knowledge in the fields that this conference covers, but also to contribute to a positive valuation of different proposals that develop critical thinking and promote social debate with a standard of reasonableness.

This Conference, organized by the Centre for the Study of Argumentation and Reasoning (CEAR) of the Faculty of Psychology at Diego Portales University, would like to generate tools, approaches and solutions to apply in those fields in which the uses of reason is fundamental: communication, law, education, etc. We do not have an official theoretical position, but rather we value the diversity of angles and proposals.

For more information, see http://www.cear.udp.cl/conferencia/2012/index_en.html

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India. TARK 2013 is the first TARK conference to be held in India, or in January. The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/.

For more information, see the conference website at http://www.imsc.res.in/tark/

The International Conference Logic, Argumentation and Critical Thinking III is a new academic effort of our Centre to continue to try not only to deepen and update the production of knowledge in the fields that this conference covers, but also to contribute to a positive valuation of different proposals that develop critical thinking and promote social debate with a standard of reasonableness.

This Conference, organized by the Centre for the Study of Argumentation and Reasoning (CEAR) of the Faculty of Psychology at Diego Portales University, would like to generate tools, approaches and solutions to apply in those fields in which the uses of reason is fundamental: communication, law, education, etc. We do not have an official theoretical position, but rather we value the diversity of angles and proposals.

For more information, see http://www.cear.udp.cl/conferencia/2012/index_en.html

The International Conference Logic, Argumentation and Critical Thinking III is a new academic effort of our Centre to continue to try not only to deepen and update the production of knowledge in the fields that this conference covers, but also to contribute to a positive valuation of different proposals that develop critical thinking and promote social debate with a standard of reasonableness.

This Conference, organized by the Centre for the Study of Argumentation and Reasoning (CEAR) of the Faculty of Psychology at Diego Portales University, would like to generate tools, approaches and solutions to apply in those fields in which the uses of reason is fundamental: communication, law, education, etc. We do not have an official theoretical position, but rather we value the diversity of angles and proposals.

For more information, see http://www.cear.udp.cl/conferencia/2012/index_en.html

The 4th Innovations in Theoretical Computer Science (ITCS) conference (previously known as ICS) seeks to promote research that carries a strong conceptual message (e.g., introducing a new concept or model, opening a new line of inquiry within traditional or cross-interdisciplinary areas, or introducing new techniques or new applications of known techniques).

For more information, see http://itcs2013.cs.berkeley.edu/ or cotnact itcs13chair at gmail.com.

ALI, the Association for Logic in India, announces the next edition of its biennial (International) Indian Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 10 to 12, 2013. ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. The conference has also included studies in systems of logic in the Indian tradition, and historical research on logic.

This year's speakers will include Joseph Halpern, Martin Otto, Mark Reynolds and Gabriel Sandu.

For more information, see the ICLA page at http://www.imsc.res.in/~icla and the ALI page at http://ali.cmi.ac.in/, or email icla at imsc.res.in.

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

For more information, see http://icail2013.ittig.cnr.it

The International Conference Logic, Argumentation and Critical Thinking III is a new academic effort of our Centre to continue to try not only to deepen and update the production of knowledge in the fields that this conference covers, but also to contribute to a positive valuation of different proposals that develop critical thinking and promote social debate with a standard of reasonableness.

This Conference, organized by the Centre for the Study of Argumentation and Reasoning (CEAR) of the Faculty of Psychology at Diego Portales University, would like to generate tools, approaches and solutions to apply in those fields in which the uses of reason is fundamental: communication, law, education, etc. We do not have an official theoretical position, but rather we value the diversity of angles and proposals.

For more information, see http://www.cear.udp.cl/conferencia/2012/index_en.html

The 4th Innovations in Theoretical Computer Science (ITCS) conference (previously known as ICS) seeks to promote research that carries a strong conceptual message (e.g., introducing a new concept or model, opening a new line of inquiry within traditional or cross-interdisciplinary areas, or introducing new techniques or new applications of known techniques).

For more information, see http://itcs2013.cs.berkeley.edu/ or cotnact itcs13chair at gmail.com.

ALI, the Association for Logic in India, announces the next edition of its biennial (International) Indian Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 10 to 12, 2013. ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. The conference has also included studies in systems of logic in the Indian tradition, and historical research on logic.

This year's speakers will include Joseph Halpern, Martin Otto, Mark Reynolds and Gabriel Sandu.

For more information, see the ICLA page at http://www.imsc.res.in/~icla and the ALI page at http://ali.cmi.ac.in/, or email icla at imsc.res.in.

Vorige maand bereikte Dirk van Dalen de leeftijd van tachtig jaar. Om Dirk's verjaardag te vieren, hebben we op vrijdagmiddag 11 januari 2013 een bijeenkomst georganiseerd met als hoofd-bestanddelen een voordracht en een receptie. Graag nodigen we U hierbij uit.

Met het oog op koffie en thee stellen we het op prijs als u uw komst aanmeldt. Voor meer information, zie here.

The 4th Innovations in Theoretical Computer Science (ITCS) conference (previously known as ICS) seeks to promote research that carries a strong conceptual message (e.g., introducing a new concept or model, opening a new line of inquiry within traditional or cross-interdisciplinary areas, or introducing new techniques or new applications of known techniques).

For more information, see http://itcs2013.cs.berkeley.edu/ or cotnact itcs13chair at gmail.com.

ALI, the Association for Logic in India, announces the next edition of its biennial (International) Indian Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 10 to 12, 2013. ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. The conference has also included studies in systems of logic in the Indian tradition, and historical research on logic.

This year's speakers will include Joseph Halpern, Martin Otto, Mark Reynolds and Gabriel Sandu.

For more information, see the ICLA page at http://www.imsc.res.in/~icla and the ALI page at http://ali.cmi.ac.in/, or email icla at imsc.res.in.

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

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

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

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

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

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

Following the PhD thesis defense of Wouter Stekelenburg on Monday, January 14 (at 16:15), a mini-workshop on Realizability and related topics will be held on Tuesday, January 15 from 11:15 to 17:00 in room BBL 071 (Buys Ballot Lab, Princetonplein, close to the Math Building), Utrecht.

Participants include: Giuseppe Rosolini (Genova), Thomas Streicher (Darmstadt), Ieke Moerdijk, Wouter Stekelenburg, Jaap van Oosten, Benno van den Berg,... Speakers include: Thomas Streicher, Benno van den Berg, Jaap van Oosten.

More detailed information will follow shortly before the meeting.

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

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

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

Keynote speakers: Vann McGee and Crispin Wright.

For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or here, or contact the conference organisers, Lukas Skiba and Owen Griffiths, at cam.phil.grad.conf at googlemail.com.

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

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

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

Keynote speakers: Vann McGee and Crispin Wright.

For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or here, or contact the conference organisers, Lukas Skiba and Owen Griffiths, at cam.phil.grad.conf at googlemail.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

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

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

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

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

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

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

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

EMAS is the result of the merging of three "parent" workshops: AOSE, DALT and ProMAS. It aims to look at the the design, implementation and deployment of multi-agent systems by bringing together the currently separate topics (but overlapping communities) that focus on software engineering aspects (AOSE), programming aspects (ProMAS), and the application of declarative techniques to design, programming and verification (DALT).

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

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/

Friedrich Ludwig Gottlob Frege/was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

For more information, see http://www.hs-wismar.de/en/en-was/news/events-dates/conference/ and http://www.hs-wismar.de/was/aktuelles/veranstaltungen-termine/.

The 20th European Symposium on Medieval Logic and Semantics will take place in Cambridge (UK) in 2014, as was decided at the last meeting in Geneva. Most probably it will take place in the second half of June, although the exact dates has not yet been fixed. The topic for the meeting is: Theories and Uses of Relations in medieval logic, grammar and science.

For more information, see here.

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

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

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

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

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

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