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

The aim of this talk to offer a formal understanding of common law reasoning -- especially the nature of this reasoning, but also its point, or justification, in terms of social coordination. I will present two, possibly three, formal models of the common law, and argue for one according to which courts are best thought of, not as creating and modifying rules, but as generating a priority ordering on reasons. The work draws on bits of logic, and also on research in artificial intelligence and law; it contributes to legal theory, and also, possibly, to applied ethics.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 2013 edition will be held at the University of Amsterdam on 18-20 December and will be collocated with the 17th SemDial workshop (DialDam).

The 19th Amsterdam Colloquium will feature two workshops on Quantitative Data and on Modals; a special session on the Semantics and Pragmatics of Dialogue, jointly organized with the SemDial Workshop; and one evening lecture, jointly organized with the E.W. Beth Foundation.

For more information, see http://www.illc.uva.nl/AC/AC2013/

The workshop is concerned with the semantics and pragmatics of questions, question-embedding expressions, and constructions that are sensitive to the questions that are under discussion in a given discourse (e.g. topic and focus markers). The workshop is collocated with SemDial and the Amsterdam Colloquium.

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

DialDam will be the 17th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2013 the workshop will be hosted by the Institute for Logic, Language and Computation, University of Amsterdam, and will be collocated with the Amsterdam Colloquium.

The list of accepted full papers is online and registration is open. For more information, see the website at http://www.illc.uva.nl/semdial/dialdam/ or contact raquel.fernandez at uva.nl.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

For more information, see http://www.illc.uva.nl/ILLCColloquium/

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The central topic of this workshop is knowledge, argumentation and games. The workshop will create an opportunity for philosophers and logicians to meet and present their work on this topic.

For more information, see https://sites.google.com/site/knowledgeargumentationgame/the-workshop

In order to strengthen the ties between ILLC and the department of philosophy, the department of philosophy will have their 'afdelingsborrel' in the common room of the ILLC on Monday 9 December 2013 t. This event was initially planned for 28 October last, but was then canceled because of bad wheather condition. Before the 'borrel', we have organised a short scientific session as well, with three 10-minutes talks featuring:

- Christian Skirke: Does it Matter Who's Right? A Few Remarks on Disagreement.
- Michiel van Lambalgen: Kant, developmental psychology and time
- Ulle Endriss: Justice and Computation

The scientific session starts at 16.30. Everybody is invited, also for the 'borrel' afterwards.

For more information, contact R.A.M.vanRooij at uva.nl.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

False-belief tasks play a prominent role in the study of social cognition. They have been designed to track the ability to attribute false-belief, i.e., to recognize that others may have different beliefs about the world. The experimental results are fairly consistent: most normally developing children are unable to pass the tasks until around age four. Acquiring the ability to pass false belief-tasks seems to be a milestone in the development of one's theory of mind. Psychologists and cognitive scientists have been actively trying to pin down the mental resources responsible for the ability. In parallel, logicians have been recently trying to understand formal and computational aspects of the false-belief reasoning. The workshop will bring together various perspectives on the formal modeling of false-belief tasks. The workshop is open to everyone interested in logic and cognitive science.

For more information, see http://jakubszymanik.com/false-belief/

AmFiBi (in collaboration with Logic and Linguistic Turns) organizes a Wittgenstein film evening with a.o. projection of the film "Wittgenstein" by Derek Jarman. Martin Stokhof will introduce the films.

For more information, contact M.D.Aloni at uva.nl

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (sumit.sourabh at gmail.com).

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

This workshop will create a platform for researchers coming from different fields to present their work and exchange ideas on the topic of social dynamics of information change. We look both at already-established work as well as the possible new connections that can emerge between the areas of logic, belief revision theory, learning theory, game theory and social science.

We are particularly interested in the conceptual-theoretical work as well as in the applications of formal models to specific multi-agent scenarios in which belief revision plays a crucial role. In contrast to the classical single-agent approach to Belief Revision Theory, the new developments from the area of Logic and Game Theory make it now possible to pursue a multi-agent perspective. Similarly, the study of the iterated belief revision procedures can benefit from the work on learning strategies in Formal Learning Theory. Bringing the ideas from these different areas together allows us to put forward new theoretical work which can lead to new modeling techniques and offer a better understanding of puzzling social-informational phenomena (such as pluralistic ignorance, the bandwagoning effect, group polarization, etc.).

For more information see http://ninagierasimczuk.com/logicic/workshop2013/.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

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

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see here or contact m.d.aloni at uva.nl

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (sumit.sourabh at gmail.com).

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

For more information, see http://www.ozsw.nl/ozsw-conference-2013/

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Tuesday, 12 November 2013, at the CWI, in room L120. As usual, everyone who is interested is cordially invited to come. The schedule is as follows:
13:30 - 14:15 Jan Rutten (CWI/RU) Syntactic Monoids and Their Dual
14:15 - 15:00 Robbert Krebbers (RU) Moessner's Theorem: an Exercise in Coinductive Reasoning in Coq
15:15 - 16:00 Jurriaan Rot (LIACS/CWI) Combining Bialgebraic Semantics and Equations

For more information, see http://homepages.cwi.nl/~winter/coin.html

CIRCA and the Center for Digital Humanities start a second round of embedded research projects with partners from the creative industries and e-humanities. To celebrate this we would like to invite you for a public kick-off of the new embedded research projects.

For more information, see http://cdh.uva.nl/news-and-events/events/content/symposia/2013/11/

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

Or see here.

The TCSA Day is intended to be an annual event, taking place in the Fall, to alternate with the national NVTI Theory Day that takes place in Spring. The event is organized jointly by CWI, UvA, and VU, and its aim is to foster cooperation among the various TCS-reseachers in and around Amsterdam. The program consists of three talks by researchers from CWI, UvA, and VU:

For more information, see http://event.cwi.nl/qc/tcsa13/

Each fall, the ACLC organizes the Nieuw Amsterdams Peil-day, commonly abbreviated to "the NAP-dag". This is a day on which PhD candidates from the ACLC and ILLC involved in linguistic research can present their work. The 2013 "NAP-dag" will be on Friday, November 1.

For more information, see http://aclc.uva.nl/news-and-events/events/events/events/content/folder/symposia/ or contact napdag.aclc at gmail.com.

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information, see http://www.illc.uva.nl/lgc/seminar

The central topic of this workshop is natural language learning and invention using (robotic) agents. The speakers are Michael Franke, Paul Vogt, Michael Spranger, and Simon Pauw. The workshop is concluded with a public SMART lecture by Luc Steels in a different building.

For more information, see http://www.illc.uva.nl/LaCo/smartcs/languageandrobots.html.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (sumit.sourabh at gmail.com).

The lecture is organised for the 1st year students following the course 'Logic, Information flow and Argumentation'. It is open and anyone interested is welcome to attend.

For more information, see the AUC website at http://www.auc.nl/.

On Monday 28 October 2013 the philosophy department will visit the ILLC in order to strengthen the ties between the two. After three short talks by Benedikt Loewe, Michiel van Lambalgen and Christian Skirke drinks will be served.

For more information, contact illc at uva.nl

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

On 25 October 2013 the University of Amsterdam will celebrate the 10-year anniversary of its Bachelor and Master programmes in the Information Sciences with an event for staff, students, and alumni. These programmes include the ILLC's Master of Logic, which in 2003 changed from to a 2-year programme from its original 1-year format.

All members of the ILLC, and all past and current students are cordially invited. For details and to register, please visit http://iw1010.nl.

For more information, please contact ulle.endriss at uva.nl.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://www.science.uva.nl/research/math/Calendar/colloq/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

For an abstract, see here.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

The purpose of this event is to bring together MoL students, PhD Candidates and ILLC postdocs, with ILLC alumni (MoL or PhD) that are pursuing either academic or non academic careers.

The speakers will talk about their current occupations and the challenges and differences they faced when looking for a job inside or outside the academic world. The ILLC will invite all participants for drinks.

For more information, see http://www.illc.uva.nl/phdcouncil/careerevent or contact the PhD Council at phdcouncil.illc at gmail.com.

"Tsinghua Meets..." is a new series of workshops that Tsinghua University is going to host. It will take place annually. The idea is to create a platform for Tsinghua logicians, as well as those researchers from neighbouring universities, to meet other research groups in the world, discuss ongoing works and establish future collaborations.

We are happy to open the new series of “Tsinghua Meets..." with a meeting with researchers at the ILLC, University of Amsterdam. We have invited researchers who are either from Tsinghua or the ILLC, or have closely worked with researchers in these institutions, to present their recent work and exchange ideas for future collaboration. We will have a panel discussion to explore further possibilities of joint project, including joint grant applications.

For more information, see http://tsinghualogic.net/?page_id=629.

The BètaBreak of Wednesday, October 16th is all about cryptography. But what does it mean: cryptography? How can you encrypt your data, and how safe is it? What is the status of quantum cryptography? And how safe is digital data for intelligence agencies and privacy?

This summer Edward Snowden, a computer security specialist at the U.S. National Security Agency, blew the whistle on the practices of that service. Together with the British GCHQ they eavesdrop on much of the Internet traffic, including encrypted communications. They do this by forcing major Internet to transfer data, but also to crack the encryption or even weaken it beforehand. Thus cryptography - essential for safe Internet - becomes less reliable: for e-mail, but also for banking.

Wednesday 16 October, the BètaBreak will be in the central hall of the Faculty of Science building at the Science Park, and we will discuss these subjects with the following guests:

• Jeremy Butcher of the Crypto unit at IT security company Fox-IT, which in the Netherlands plays a key role in the investigation of and protection against IT security incidents.
• Rop Gonggrijp, editor-in-chief of the hacker magazine Hack-Tic, founder of XS4ALL, creator of the Cryptophone and captain of 'Wij vertrouwen stemcomputers niet' ('we do not trust voting computers').
• Christian Schaffner, assistant professor at the Institute for Logic, Language and Computation (ILLC), and researcher in the field of quantum cryptography.

For more information, see http://www.betabreak.nl/

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com. You can read the paper this talk will be based on at https://docs.google.com/file/d/0B7-4xydn3MXJUWpiUkpZNW5fenM/.

Using the general notions of finite presentable and finitely generated object introduced by Gabriel and Ulmer
in 1971, we prove that, in any category, two sequences of finitely presentable objects and morphisms (or two sequences of finitely generated objects and monomorphisms) have isomorphic colimits (=direct limits) if, and only if, they are confluent. The latter means that the two given sequences can be connected by a back-and-forth sequence of morphisms that is cofinal on each side, and commutes with the sequences at each finite stage. We illustrate
the criterion by applying the abstract results to varieties (=equationally definable classes) of algebras, and mentioning applications to non-equational examples.

For more information, contact luca.spada at gmail.com

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com).

For an abstract, see here.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information, see http://www.illc.uva.nl/lgc/seminar

Christian Schaffner (ILLC) will talk about about 'Quantum Cryptography' to the first year AUC students currently following the course 'Logic, Information flow and Argumention'. The lecture is open to all interested parties.

For more information, see the AUC website at http://www.auc.nl/.

The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2013/

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar

On Wednesday September 18th, we'll start the CLS for the academic year 2013-2014 with the following topics:
- Overview of this year's activities
- Discussion of Freestyle: A Challenge-Response System for Hip Hop Lyrics via Unsupervised Induction of Stochastic Transduction Grammars (Dekai Wu, Karteek Addanki, and Markus Saers)
- Discussion of Semantic Parsing as Machine Translation (Jacob Andreas, Andreas Vlachos, and Stephen Clark)

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

For more information, see illc at uva.nl

For more information, see http://www.illc.uva.nl/lgc/seminar/.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Virginie Fiutek (fiutek.virginie at gmail.com), Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Sebastian Speitel (sebastian.speitel at gmail.com).

Or see here.

For more information, see http://jeroengoudsmit.com/piia/.

Hoe regelen onze hersenen de productie van taal, en het taalbegrip? Akademiehoogleraar Peter Hagoort (RU Nijmegen) doet onderzoek naar de neurobiologische fundamenten van het menselijk taalvermogen.

For more information, see https://www.knaw.nl/nl/actueel/agenda/peter-hagoort-het-talige-brein

The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.

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

On September 6, the yearly Heyting Day takes place in Amsterdam. This festive day is devoted to the celebration both of the 50 year anniversary of Categorical Foundations and of the 50 year anniversary of Kripke models. Because of the double anniversary, this day includes two Heyting lectures, to wit by Ieke Moerdijk and Johan van Benthem.

For information about programme and venue, see: http://www.illc.uva.nl/KNAW/Heyting/nl/Events/

For more information, see http://www.illc.uva.nl/lgc/seminar

The 5th biennial Experimental Pragmatics conference will be held from September 4-6, 2013, at Utrecht University, Utrecht, the Netherlands, under the auspices of the ESF research network EuroXprag (http://www.euro-xprag.org/). The Experimental Pragmatics series aims at fostering interaction between linguistic, psychological, and philosophical approaches to utterance interpretation.

The programme and the registration form (regular fee €40, students €25) are available at the conference website: http://xprag2013.wp.hum.uu.nl/

During the networking event, there will be ample opportunity to speak with alumni. The event itself will take place at the Amsterdam Academic Club.

For more information, see http://www.uva.nl/en/news-events/uva-meets-china.

A special collaborative partnership between Beijing-based Tsinghua University and the University of Amsterdam: the UvA-Tsinghua Research Centre for Logic. The official opening of this research centre will take place at the Institute for Logic, Language and Computation, which is located at Science Park Amsterdam.

For more information and a programme, see http://www.uva.nl/en/news-events/uva-meets-china.

During this symposium, a number of partnership initiatives between the UvA and China will be highlighted. All of the speakers have contributed to the publication The UvA meets China, which will be presented at the opening of the 2013-2014 academic year. The symposium will be chaired by Johan van Benthem, professor of Pure and Applied Logic at the University of Amsterdam.

For more information and a programme, see http://www.uva.nl/en/news-events/uva-meets-china.

The AuthorWeb system, developed a decade ago at Drexel University, presents researchers with a new kind of transdisciplinary reference tool made possible by a citation database - in this case, the Arts & Humanities Citation Index. It allows the user to enter a seed author of interest (e.g., Spinoza) and then to instantly retrieve and map the 24 other authors who are most frequently cited with the seed. Such maps would seem to have uses in teaching and exploratory research across the humanities and to bear on fields such as audience reception theory, canon formation studies, the study of interdisciplinarity, the sociology of literature, and intellectual history.

For more information, see https://www.google.com/calendar/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

On 10 August 2013, three Master's students in set theory will publicly defend their Master's theses with a committee that includes external committee members. We use this opportunity to have a day of set theory with short talks by the external researchers and an afternoon of thesis defenses. Everyone is cordially welcome to attend the entire day!

For more information, see http://www.math.uni-hamburg.de/home/loewe/SetThy13/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

For more information, see http://www.esslli2013.de/

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

Dr. Theo Janssen, assistant professor at ILLC since 1985, will be retiring this summer. We are pleased to invite you to a reception marking this occasion on Wednesday 3 July 2013 from 17:00 - 18:30 in the ILLC Common Room (Science Park 107, room F1.21).

The human mind grows and develops in an environment rich with material and symbolic practices and other patterns of social interaction. From the moment we are born, we begin to learn how to adapt our behaviour to this richly structured developmental environment. The cognitive capacities that emerge out of this developmental process are the joint product of human nature and nurture. How should we understand this process of enculturation? More specifically how can the patterns of social interaction, preferences, presuppositions and expectations that define a cultural practice exert a causal influence on our behaviour? This interdisciplinary workshop will draw on research from philosophy, cognitive science and the social sciences to address these and other questions. We will focus in particular on the domains of mathematical cognition, social cognition and communication.

Speakers: Tad Zawidzki (Georgetown); Richard Menary (Macquarie); Catarina Duthil Novaes (Groningen); Marc Slors (Nijmegen); Julian Kiverstein (ILLC).

To register or for more information, please contact j.d.kiverstein at uva.nl.

The ILLC Midsummernight Colloquium 2013 will have three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Martin Stokhof (LoLa), Jakub Szymanik (LoCo) and Ashley Burgoyne (LaCo) have accepted to give presentations.

For more information, see http://www.illc.uva.nl/ILLCColloquium/Midsummernight2013/.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

For more information, see http://jeroengoudsmit.com/piia/.

From Saturday, 22 June 2013, to Monday, 24 June 2013, we shall host a workshop on "Alternative Set Theories" at the Universiteit van Amsterdam. The workshop is primarily (but not exclusively) intended for postgraduate students working in the area (i.e., Master's and PhD students). For the purposes of this workshop, a set theory is "alternative" if it violates one of the axioms of ZF or has an underlying logic that is not classical.

Everyone interested in the subject is cordially invited to attend. No registration fee is required, but we expect registration via an informal e-mail to bloewe at science.uva.nl by 15 June 2013 in order to attend.

For more information, see http://www.math.uni-hamburg.de/home/loewe/AST2013/.

For more information, see http://smartcognitivescience.wordpress.com/2013/06/05/

On 21 June 2013 the ILLC will get visited by an international committee of experts who will assess the MSc Logic programme and decide on its accreditation for the coming six years. At 17:15 the committee will make an initial announcement of its findings in the ILLC Common Room. This will be followed by a reception. Everyone connected with the programme is cordially invited to attend.

For more information, contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

This is a joint workshop of the research group of Inquisitive logic and the research group of Dependence logic. Anyone can attend.

Speakers: Ivano Ciardelli, Pietro Galliani, Jeroen Groenendijk, Miika Hannula, Juha Kontinen, Floris Roelofsen, Jouko Väänänen, Matthijs Westera, Fan Yang

For more information, see http://mathstat.helsinki.fi/logic/ILDL_workshop.htm or contact Jouko Väänänen at jouko.vaananen at helsinki.fi.

The 'Symposium on Logic, Music and Quantum Information', will take place in Florence from June 15 till June 17. Each of the three days of the Symposium will be devoted to a different theme, ranging from new developments in logic, quantum logic and quantum information to formal models for music analysis.

In addition to an exciting scientific programme in one of the most beautiful locations in Florence, we offer two concerts and a special lecture on Schoenberg, given by Nuria Schoenberg.

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

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

For more information, contact illc at uva.nl

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Monday, 3 June 2013, at the Radboud University Nijmegen, in room HG02.702 in the Huygens building, from 13:30 until 16:00. The schedule is as follows:
13:30 - 14:15 Frank Roumen
14:15 - 15:00 Helle Hvid Hansen
15:15 - 16:00 Matteo Mio

For more information, see http://homepages.cwi.nl/~winter/coin.html

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

Abstract:
A quantum state is entangled if it cannot be described by classical correlations alone. Entangled states are responsible for the security of quantum cryptography, the speed-up in quantum computation and properties of many physical systems. But if an experimenter has determined the quantum state of his system, how can he find out whether or not the state is in fact entangled? Answering this question has kept the field of quantum information theory busy since its beginning. After an introduction to the subject, I will explain the fastest way of determining when a state is entangled.

Abstract.
Random graphs have been studied for over half a century as useful mathematical models for networks and as an attractive bit of mathematics for its own sake. Almost from the very beginning of random graph theory there has been interest in studying the behaviour of graph properties that can be expressed as sentences in some logic, on random graphs. We say that a graph property is first order expressible if it can be written as a logic sentence using the universal and existential quantifiers with variables ranging over the nodes of the graph, the usual connectives AND, OR, NOT, parentheses and the relations = and ~, where x ~ y means that x and y share an edge. For example, the property that G contains a triangle can be written as Exists x,y,z : (x ~ y) AND (x ~ z) AND (y ~ z). First order expressible properties have been studied extensively on the oldest and most commonly studied model of random graphs, the Erdos-Renyi model, and by now we have a fairly full description of the behaviour of first order expressible properties on this model. I will describe a number of striking results that have been obtained for the Erdos-Renyi model with surprising links to number theory, before describing some of my own work on different models of random graphs, including random planar graphs and the Gilbert model. (based on joint works with: P. Heinig, S. Haber, M. Noy, A. Taraz)

The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.

The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.

Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra consists of a Boolean algebra with operators modeling probabilistic transitions. We prove a Stone-type duality theorem between countable Aumann algebras and countably-generated continuous-space Markov processes. Our results subsume existing results on completeness of probabilistic modal logics for Markov processes.
(This is joint work with: Dexter Kozen, Kim Larsen and Radu Mardare)

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For more information, see http://www.illc.uva.nl/lgc/seminar

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

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

Dr Reinhard Blutner, assistant professor at ILLC since 2002, will be retiring at the end of May 2013. We are pleased to invite you to take leave of him during a reception on Thursday 25th April next, from 17:00 - 18:30 h in the Common Room at ILLC (Science Park 107, room F1.21).

The e-Humanities Group is an initiative of the KNAW that brings together expertise and research in the development and use of digital technologies in the humanities and social sciences. The e-Humanities Group generally holds a research meeting every Thursday afternoon, and persons interested in the topics of the presentations are welcome to attend.

Next thursday's talk by John Ashley Burgoyne will introduce an ongoing study of musical catchiness from the perspective of music cognition.

For more information, see here or http://ehumanities.nl/projects/overview-of-e-humanities-group-research-meetings/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

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

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

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

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

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

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

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

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information about upcoming and previous talks, visit our NEW Cool Logic website at http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

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

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

For more information, see http://www.nvti.nl/Theorydays.html

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

Luisteren naar een goed verhaal en genieten van een maaltijd: dat is Food for thought. Iedere woensdagavond kunt u aanschuiven in aan een gedekte tafel in het NRC restaurant, genieten van een maaltijd en een glas, maar vooral van een boeiende tafelrede. Ditmaal: Rens Bod.

For more information (in dutch), see http://www.spui25.nl/programma/content/lezingen/2013/04/

Please note that from April 2013 on, the LIRa seminar will be held on TUESDAYS (in our new location: room F1.15 at Science Park 107).

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1929

For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=312

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

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

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

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

For more information, see http://jeroengoudsmit.com/piia/.

For more information, see http://jeroengoudsmit.com/piia/.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

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

For more information, contact illc at uva.nl

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

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

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

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

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

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

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

For more information, contact barendbeekhuizen at gmail.com.

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

For more information, contact coollogic.uva at gmail.com

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

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/content/lezingen/2013/03/.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

Please note that this LIRa session will be exceptionally held on Wednesday, and will be held at the new ILLC location at Science Park 107.

For more information, see http://www.illc.uva.nl/lgc/seminar

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

Speakers: Chiara Ghidini, Carsten Lutz, Heiner Stuckenschmidt.

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

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

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

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

For more information, please contact s.sourabh at uva.nl or see here.

For more information, contact coollogic.uva at gmail.com

Registration is required. For more information, see http://smartcognitivescience.wordpress.com/2013/01/11/

Please note that the time of the talk is 16:15-18:00 (and not the usual time-slot).

For more information, see http://www.illc.uva.nl/lgc/seminar

Abstract.
Grothendieck's inequality is a fundamental result to the theory of Banach spaces. But many years after Grothendieck published this result, people realized that it also has important applications in theoretical computer science and physics. In particular, the inequality can be used in quantum information theory to study the mysterious phenomenon of quantum entanglement and in combinatorial optimization to prove performance guarantees of efficient approximation algorithms for NP-hard problems. The aim of this talk is to give an overview of these applications and explain why Grothendieck's inequality and recent generalizations of it are powerful mathematical tools to study them.

The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

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

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

For more information, see http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/ and http://www.illc.uva.nl/lgc/seminar.

For more information, contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://jeroengoudsmit.com/piia/.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/lgc/seminar

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.

For more information, see http://www.illc.uva.nl/lgc/seminar

The Balkan Journal of Philosophy is pleased to announce the topic of the 2015 issue: 'Facets of Rationality: Reasoning, Communication and Decision making'.

"Human actions in all their appearances are evaluated and assessed as rational or irrational. Subject to evaluation are everyday thinking and decision-making, scientific research, economic and political behavior, even love-affaires and sport competitions, as well as communication and speech acts of all kinds. Rationality is a normative concept in the sense that it is supposed to provide a standard or criteria to evaluate a piece of reasoning or an instance of decision-making. Why is this important? Using these criteria we are able to evaluate, control and regulate our own and others actions, thinking and decision-making".

You are kindly invited to submit a paper on any of these topics. Papers should be between 6000 and 8000 words. The deadline for receiving manuscripts is the end of November 2014 but earlier submissions would be appreciated. This special issue will appear in 2015.

For more information, see http://www.issk-bas.org/BJP/call_for_papers.htm

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

For more information, see http://www.lpar-19.info/.

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session.

For more information, see http://www.irit.fr/EUMAS2013/

There is a long tradition of work in the history and philosophy of science on Kant's philosophy of mathematics, but more recently, philosophers have been considering the implications of this work for the Critical philosophy itself. In particular, scholars have begun to examine the role of Kant's reflections on mathematics in his philosophy more generally, and in its development. This volume, to be co-edited by Lisa Shabel and Emily Carson, will collect together papers which illustrate the centrality of mathematics to Kant's philosophy as a whole. To understand this fully also requires a proper appreciation of Kant's understanding of 18th century mathematics, so we welcome papers on this topic which shed light on our more general theme.

For more information, see http://www.tandfonline.com/action/

Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. It will be co-located with the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013).

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

PRIMA is the leading scientific conference for research on intelligent agent systems and multi-agent systems.

Agent computing and technology is an exciting, emerging paradigm expected to play a key role in many society-changing practices from disaster response to manufacturing to agriculture. The conference offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. PRIMA particularly encourages reports on development of prototype and deployed agent and multiagent systems and experiments that demonstrate the capability of agents to handle real-world challenges.

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

The AI and Cognition workshop 2013 (AIC 2013) aims at putting together researchers coming from different domains (e.g., artificial intelligence, cognitive science, computer science, engineering, philosophy, social sciences, etc.) working on the interdisciplinary field of cognitively inspired artificial systems.

For more information, see the Workshop web site at http://di.unito.it/aic2013 or send an e-mail to: lieto at di.unito.it or to cruciani at disi.unitn.it

The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems and in their contribution to human and artificial societies. Open systems comprise loosely-coupled entities interacting within a society, often with some overall measures of quality or efficiency. However, achieving and maintaining a 'good' society, such as through establishing and enforcing societial norms and policies, is difficult to achieve. There remains a need for tools and techniques for articulating or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants, or more predictable.

Coordination, organizations, institutions, and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems. COIN@PRIMA'13 features a special track on agent-based modelling for policy engineering (AMPLE) in societies.

For more information, see http://coin2013-prima.tudelft.nl/

The 20th annual meeting of the working group "Logic in Computer Science" of the "Society for Computer Science" will be held at the University of Bremen on November 8 and 9, 2013 (presumably from Friday noon to Saturday noon). The following speakers have confirmed to give an invited talk: Christel Baier (TU Dresden) and Manuel Bodirsky (LIX Palaiseau).

We plan to have an informal dinner the night of November 8. To registrater (free of charge), please send an email by October 13 to Thomas Schneider at tschneider at informatik.uni-bremen.de, and please indicate whether you intend to join the dinner (at your own expense).

For further information (accommodation etc.), see http://www.informatik.uni-bremen.de/tdki/events/loginf2013 or contact one of the organizers at clu at informatik.uni-bremen.de, goeller at informatik.uni-bremen.de or tschneider at informatik.uni-bremen.de.

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology (University of St Andrews), and CSMN, Centre for the Study of Mind in Nature (University of Oslo), are pleased to announce the seventh in a series of graduate conferences aimed at showcasing excellent international graduate work in contemporary analytic philosophy

For more information, see the conference website at http://www.st-andrews.ac.uk/arche/acgc/

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

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

Our world is increasingly visual, and diagrams are an essential aspect of many of the fields that try to make sense of it. These include demography, cartography, medical imaging, aviation, and so on. In particular, diagrammatic logic is gaining ground in logic and mathematics as an alternative to or when used in parallel with symbolic logics, and recent years have seen the appearance of increasingly expressive diagrammatic systems.

The purpose of the workshop is manyfold. Firstly, we want to gain deeper insights into the activities involved in reasoning with diagrammatic systems: how can a modern, highly-expressive diagrammatic logic help with inferential tasks in practice, such as those undertaken in the field of knowledge engineering? Our second purpose, closely related to the first, is cognition: the verbaliser-visualiser cognitive style classification. Finally, our meeting will also focus on the topics of diagram aesthetics and visual complexity.

For more information, see http://www.cem.brighton.ac.uk/dlac2013/ or contact one of the organisers, Jim Burton (j.burton at brighton.ac.uk) or Lopmudra Choudhury (choudhuryl at yahoo.com).

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013).

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

In the past two and a half decades, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr13/

The 2013 Joint Rough Set Symposium (JRS2013) is a joint conference of the 14th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC13) and the Eighth International Conference on Rough Sets and Knowledge Technology (RSKT2013). The aim of JRS2013 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of rough set and its applications.

The conference will include workshops on Rough Set Theory (RST 2013) and Rough Set Applications (RSA 2013), as well as special sessions on "Covering-Based Rough Set and Its Applications", "Three-way Decisions and Probabilistic Rough Sets", "Soft Clustering", "Fuzzy and Rough Hybridization and Applications", "Mining Complex Data with Granular Computing", "Data Mining for Intelligent CCTV", "Granular Computing Theory Research and Application" and "Vagueness, Imprecision and Uncertainty in Description Logics"

For more information, see http://cs.smu.ca/jrs2013/

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

The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

For more information, see http://loriweb.org/blog/ai1ec_event/lori-4-logic-rationality-and-interaction/

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

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

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

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

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

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

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

An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

For more information, see the Tbilisi Symposium website at http://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle's Physics (in his treatment of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics. The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VIII/

Keynote speakers: John Divers (Leeds) and Francesco Berto (Aberdeen).

For further details, please visit the conference website at http://metaphysicalsociety.webnode.sk/.

The goal of this conference is to integrate the community working on logic, games and automata. Papers on these topics are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. A visit to the Highlights conference gives you a wide picture of the latest research in the area, as well as a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume.

Representative areas include, but are not restricted to: logic and finite model theory, automata theory, and games for logic and verification. The programme includes one tutorial day and three days of contributed talks and keynote speakers.

For more information, see http://highlights-conference.org/

The Sixth Workshop on Combining Probability and Logic (progic 2013) focuses on "Combining probability and logic to solve philosophical problems".

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

The second conference in the AHRC-funded series on Mathematical Cultures will take place at De Morgan House (London) 17-19 September 2013. This meeting will articulate and classify mathematical values. What do mathematicians mean when they use terms such as ~deep~, ~elegant~, ~explanatory~, etc.? What is the rational structure of the deliberations mathematicians use to reach value judgments (in PhD examinations, book reviews, journal referee reports, etc.)? How much variety is there in mathematical values between mathematical cultures? What are the virtues of a good mathematician?

Speakers will include: Prof Alan Bishop, Prof Paul Ernest, Prof Jose Ferreiros and Prof Emily Grosholz

For further details, please see the conference website at https://sites.google.com/site/mathematicalcultures/conference-2 or e-mail b.p.larvor at herts.ac.uk

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

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

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

For more information, see http://www.mates2013.de/

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Argumentation Technologies and on Norms and Normative Multi-Agent Systems.

For more information, see http://centria.di.fct.unl.pt/events/climaXIV/ or send enquiries to climaxiv2013 at easychair.org.

A one day workshop on `Logics for Resources, Processes, and Programs' will be held the 16th September 2013 in conjunction with the Tableaux Conference in Nancy, France, with D. Galmiche and D. Pym as co-chairs.

The purpose of this workshop would be to discuss recent results on logics, including systems formulated in the style of Hoare and Hennessy-Milner, for modelling resources, processes, programs, and their interactions. We envisage a range of perspectives: proof-theoretic foundations, including decidability and complexity; semantic foundations (e.g., new resource semantics); specification of properties and behaviours; verification and analysis of programs and systems. It should help to establish and publicize a research agenda for such logics and their use in the development of trusted systems.

The workshop is intended to provide a forum for discussion between researchers interested in logics of resources (from foundations to related calculi and applications) and researchers interested in languages and methods for specification of mobile, distributed, concurrent systems and their verification.

Additional information will be available through WWW address: http://www.loria.fr/~galmiche/LRPP2013.html.

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.

For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with prospective or well established philosophers, take a first peek into the philosophical business, and to attend interesting presentations. Beside the conference presentations there will be a workshop on Mathematical Philosophy.

Keynote Speakers: Catarina Dulith Novaes, Ole T. Hjortland, Martin Kusch and Herlinde Pauer-Studer.

For more information, see http://www.sophia-conference.org/

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

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

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

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

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

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

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).

Please visit the conference website http://gandalf.di.univr.it/ for more information.

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialog to both academic and industry researchers. Continuing with a series of thirteen successful previous meetings, this conference spans the research interest areas of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA.

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

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

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

Following four successful years of the Buenos Aires Metaethics Workshop under the auspices of the Center for Advanced Studies in Philosophy and Phenomenology, The Languages of Emotion Programme at Freie Universität Berlin announces the first Berlin edition of the yearly Metaethics Workshop. This year the theme of the workshop shall be Moral Psychology and Ethics of Emotions.

For more information, see here or contact Dr. Johannes Windrich (johannes.windrich at fu-berlin.de) and Dr. Martin Gak (m.gak at kosmopolitica.org).

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

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

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

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

For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

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

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

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

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

Information about submission, registration, travel information, etc., is available on the DL 2013 homepage at http://dl.kr.org/dl2013.

Language Under Discussion is a new open-access peer-reviewed journal devoted to promoting open-minded debate on central questions in the study of language, from all relevant disciplinary and theoretical perspectives.

Each issue of the journal will be composed of a focus paper and discussion notes responding to it. An issue will remain "open" for adding discussion notes to it for a year after the focus paper is out, after which the author(s) of the focus paper will be invited to respond to the discussion notes. In addition, the journal will occasionally feature round-table discussions.

"Language under Discussion" is looking for open-minded and original authors and volunteer reviewers. This call for papers is ongoing and there is no specific deadline. For more information, see http://www.ludjournal.org/ or contact editors at ludjournal.org.

Gdansk University (Poland) and the Centre for Logic and Philosophy of Science at Ghent University (Belgium) are organising the third in a series of logico-philosophical workshops on the application of formal methods in philosophy (especially outside the narrow field of philosophy of logic and language). The workshop will take place in Gdansk, Poland (July 15-17, 2013).

Details are available at: http://entiaetnomina.blogspot.be/2013/02/cfp-entia-et-nomina-iii.html.

The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013.

The program includes:
- Andrzej Mostowski Centenary. Invited lecture by Adam Krawczyk (Warsaw).
- Tutorial by Moti Gitik (Tel Aviv).
- Lecture by the winner of the Hausdorff Medal.
- 6 plenary lectures.
- 8 invited lectures.
- Contributed talks.
- Poster sessions.
- Round table on the future of set theory.

For more information, see http://estcongress.org/

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

For more information, see http://pls9.cs.ntua.gr/

This generation has borne witness to a veritable explosion in the use of computing technologies in almost every aspect of life. Philosophers, scientists, and technologists/engineers have an important role to play in addressing the foundational questions that arise on the inexorable march toward intelligent machines. This year's theme is "Minds, Machines and Morals."

For more information, see http://www.iacap.org/conferences/iacap2013/

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty. Contributions come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Preceding the main conference, on July 7th, a tutorial programme will be offered.

For more information, see http://www.projects.science.uu.nl/ecsqaru/ or contact the organisers at ecsqaru2013 at science.uu.nl.

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

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Speakers include Lara Buchak (Berkeley), Anna-Sara Malmgren (Stanford), Jennifer Nagel (Toronto) and Carolina Sartorio (Arizona).

For more information, see http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 or contact corina.stroessner at uni-konstanz.de.

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

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

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

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

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

Euro-Xprag, a Research Network Program sponsored by the European Science Foundation, is pleased to announce a Master Class on the topic of Pragmatics and Language Processing. The event will be hosted at University College London by the Department of Linguistics. Invited Presenters: Dan Grodner (Swarthmore College) and Jesse Snedeker (Harvard University).

Participation is open but registration is requested. Limited student subsidies are avaiable (deadline: 1 May, 2013). Webpage of the Master Class: http://www.euro-xprag.org/events/london-master-class/.

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

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

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

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

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

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/.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.

For more information, see http://aamas2013.cs.umn.edu/

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

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

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

For more information, see http://www.klmn.uni.wroc.pl/conference.html

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

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

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

The 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/

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.

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/.

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/

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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 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 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 UvA department of philosophy lecture series The Significance of Phenomenology, and NICA graduate seminar will recommence in January 2014. The aim of the lecture series and seminar is to explore how phenomenological ideas are of continuing inspiration in many different fields of research both inside and outside of philosophy.

A graduate seminar will run alongside the lecture series which students from the master of Logic are welcome to take. The aim of the seminar is to provide some background to the topics to be discussed by our invite speakers and their connection to phenomenology. Meetings will take place once a month. The seminar can be studied for credit (6EC).

For more information, please contact j.d.kiverstein at uva.nl or see here.

On Wednesday, December 18 (the last day of SemDial and the first day of the Amsterdam Colloquium), a special event in honor of Jeroen Groenendijk, Martin Stokhof and Frank Veltman will be held. All members of the ILLC are welcome to attend.

For more information, see http://www.illc.uva.nl/AC/AC2013/Special-Event/

The Tilburg Center for Logic, General Ethics, and Philosophy of Science (TiLPS) is proud to announce that this year, we're not only celebrating Reinhard Muskens' 60th birthday, but also his 25 year anniversary at Tilburg University!

In honor of this double-jubilee we have organized a workshop on Monday the 16th of November. The invited speakers are:
- Johan van Benthem (ILLC Amsterdam, Stanford University)
- Jan van Eijck (Centre for Mathematics and Computer Science, ILLC Amsterdam)
- Philippe de Groote (Laboratoire Lorrain de Recherche en Informatique et ses Applications)
- Larry Moss (per video lecture) (Indiana University)
- Yoad Winter (University of Utrecht)

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

The aim of this symposium is to bring together some of the best specialists from the area of proof theory, constructivity, and computation and to discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.

For more information, see http://apt13.unibe.ch/.

Lindenthal Institute in Cologne arranges in collaboration with editiones scholasticae, an international colloquium on the topic "New Scholastic meets Analytic Philosophy". The colloquium takes place on 7th and 8th December 2013. The conference is intended to serve a scholarly dialogue between analytic philosophers and recent developments of scholastic philosophy, which emerged mostly from analytic philosophy.

Invited speakers are (in alphabetical order): Edward Feser, Uwe Meixner, Stephan Mumford, David S. Oderberg, Edmund Runggaldier SJ , Erwin Tegtmeier. Conference language is English.

More Information and registration here: http://www.lindenthal-institut.de/index.php/colloquientermin/events/. Contact person: Dr. Johannes Hattler, Lindenthal Institute j.hattler at lindenthal-institut.de.

https://sites.google.com/site/therootsofdeduction/events-and-announcements/

On December 3-5 2013, the Department of Theoretical Philosophy of the Faculty of Philosophy in Groningen will host the workshop 'Proof Theory and Philosophy', jointly organized by the VIDI projects 'The Roots of Deduction' and 'Logics for Intelligent Interaction: Expressivity and Succictness', and the Munich Center for Mathematical Philosophy.

This workshop aims at reviving the inherent philosophical interest of proof theory, and at showcasing a number of interesting applications that the framework can have for long-standing philosophical and logical questions. Moreover, it will foster philosophical discussions on the foundations of proof theory as an area of inquiry, including the very concept of a proof and the conceptual, philosophical import of key results such as normalization, cut elimination, admissibility and derivability of rules. Finally, since the growing interest in modal proof theory is challenging and reshaping philosophical debates, the workshop will provide a forum for the discussion of ongoing research across proof theory and philosophical logics.

The workshop is open to all, but please register by sending a message to rootsofdeduction at gmail.com with the subject 'Registration for proof theory workshop', stating your name and affiliation. For more information, see https://sites.google.com/site/therootsofdeduction/events-and-announcements/

Playing a central role for all philosophical and scientific inquiry, the notion of truth has always posed various puzzles to philosophers and logicians. Answering questions such as what makes some things true as opposed to false or what kind of things can count as true or false requires a genuine understanding of the metaphysics and the logical behaviour of truth.

In a one-day workshop on Logic and Truth, the SGSLPS suggests to look at some questions related to the notion of truth that arise in the context of formal logic. On the one hand, semantic theories of formal languages operate with a rigorous definition of true sentences when spelling out truth conditions for statements in formal theories; on the other hand, the logical behaviour of truth ascriptions themselves is an interesting subject of study. Truth predicates behave in a peculiar way and can lead to paradoxes when treated in a classical formal manner; moreover, it has not been settled so far whether truth ascriptions take the subject predicate form or involve a sentential truth operator which would resemble the necessity operator well known from modal logic. These and similar questions will be addressed during the SGSLPS workshop.

For more information, see http://www.sgslps.ch/events.php

The topic is the completeness of the tableaux method for proof search. We shall study: Dag Prawitz, 'Comments on Gentzen-type Procedures and the Classical Notion of Truth' , Proof Theory Symposium Kiel 1974 (J. Diller and G. H. Müller, eds), Springer Lecture Notes in Mathematics Vol 500, Berlin 1975, pp. 290-319.

If time permits, or possibly at a later date, we shall look at: Dag Prawitz,'Completeness and Hauptsatz for Second Order Logic', Theoria 33(1967), pp. 246-258.

Those interested in participating may contact Prof. B.G. Sundholm at goran.sundholm at gmail.com.

Recent years have witnessed a burgeoning interest in the application of substructural logics as a crucial component of philosophically motivated solutions to traditionally intractable paradoxes like the semantic paradoxes and the paradoxes of vagueness. Such solutions have proved to offer new valuable insights into those paradoxes, complementing those provided by more 'traditional' non-substructural solutions that also revise classical logic. The workshop proposes to take stock of the current trends in this thriving area of philosophy of logic.

For more information, see https://groups.google.com/d/msg/fa.philos-l/MQ9Z6Fxnoos/Fx71ry1g8ukJ.

Recent years have witnessed a burgeoning interest in the application of substructural logics as a crucial component of philosophically motivated solutions to traditionally intractable paradoxes like the semantic paradoxes and the paradoxes of vagueness. Such solutions have proved to offer new valuable insights into those paradoxes, complementing those provided by more ?traditional? non- substructural solutions that also revise classical logic. The workshop proposes to take stock of the current trends in this thriving area of philosophy of logic.

For more information, see http://philevents.org/event/show/12296

To celebrate the successful conclusion of a Translations Project, we are going to organize a workshop "A Door to Logic, A Meeting on Logic, Language and Translation" on 19 October 2013 in Beijing. All participants of the translation projects of the four volumes are invited. As usual, while paying special attention to this Translation Project, the aims of the Workshop are broader. In particular, the lectures will address the current interdisciplinary position of logic in China and discuss the interface of logic and philosophy today. In addition, the workshop will include working sessions on major research themes by mostly younger researchers, with a view to sharing results and brainstorming about future collaborations, inside China and internationally. The workshop is open to everyone.

For more information, see http://tsinghualogic.net/?page_id=362

The workshop is addressed to all researchers (early and not so early career) in all disciplines with an interest in inductive logic and confirmation in science. PhD students are particularly encouraged to participate.

Invited speakers: Branden Fitelson (Rutgers), Jan-Willem Romeijn (Groningen).

The workshop is free and open to everyone with an interest in inductive logic and confirmation in science. To register simply drop an email to the organizers (j.landes at kent.ac.uk) with your name and affilation. For more information, see http://www.kent.ac.uk/secl/philosophy/jw/2013/ilacis/

Logic has a long tradition at Tsinghua where the modern logic has been taught since the 1930s by pioneers like Jin Yuelin. In recent years, several initiatives have been taken to make it flourish once more. With the support of the newly established School of Humanities at Tsinghua University, we are organizing this conference 14-16 October 2013 and invite an international and Chinese group of speakers to present their research works, to show the broad interdisciplinary range of logic today, while also strengthening research contacts between Chinese and international colleagues.

For more information, see http://tsinghualogic.net/

Professor Andrzej Mostowski (1913-1975) was one of the leading researchers of Logic and Foundations of Mathematics in the period from WWII to his untimely death in 1975. A student of both Gödel and Tarski, he became world-wide famous for his contributions to all major areas of the Foundations, including Model Theory, Recursion Theory, Set Theory, and others. In celebration of the centenary of his birth, the Mostowski Centenary Conference will focus on his contributions to logic and the foundations of mathematics, as well as on the continuing influence of his work.

The objective of this meeting is to present and discuss up-to-date research advances in the field, with an emphasis on today's perspectives and challenges. The program will consist of eight plenary lectures related to Mostowski's heritage in modern Foundations of Mathematics, with additional invited presentations on current perspectives in the areas of Mostowski's mathematical activities. We will host an informal rump session intended for short and engaging presentations on recent unpublished results, work in progress, breaking news, progress reports, memories, or other short and entertaining topics of interest to the Conference attendees.

For more information, see http://mostowski100.mimuw.edu.pl/doku.php or contact mostowski100 at mimuw.edu.pl. Due to the space limitations, we may not be able to accept registration after September 1.

Natural language semantics is today a wide-ranging and methodologically diverse discipline. One can distinguish broadly between those who use experimental methods from those who don't. Mostly, semanticists in psychology or neuro-science work experimentally, while philosophers, logicians and linguists work non-experimentally. However, the variety of approaches and methods among both groups is huge. Even within the camp of theoretical semantics there are numerous communities: formal semantics, possible world semantics, discourse representation theory, etc. The same heterogeneity is present in the camp of empirical researchers: psycho- and neuro-linguistics, corpus linguistics, etc.

The aim of the workshop is to bring together these different branches which are often working on very related topics. The workshop will not only present the variety of empirical and theoretical approaches to semantics, but also invites explicit discussions of the neurobiological and psychological basis of semantics as well as its methods, and epistemology.

For more information, see http://www.rub.de/phil-lang/investigating/ or contact insemp at rub.de.

The workshop "Philosophical Perspectives on Mathematical Knowledge" is organized by the Institute Vienna Circle (Wissenschaftsphilosophisches Kolloquium) and the WU, Vienna University of Economics (philosophy division).

Keynote speaker is Dieter Schott (Wismar), who will speak on friday on "Mathematics - A Philosophical Discourse", followed by the actual workshop on saturday.

The organizers invite everybody interested in participating on Saturday but would ask for registration by sending an email to gabriele.mras at wu.ac.at or stefan.riegelnik at philos.uzh.ch. For the program in detail see: https://www.wu.ac.at/geschichte/philo/conwandl

This conference is the 22th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableaux methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference intends to bring together researchers interested in all aspects - theoretical foundations, implementation techniques, system developments and applications - of the mechanization of reasoning with tableaux and related methods.

For more information, see http://tableaux13.loria.fr/.

James Madison University's Logic and Reasoning Institute (LRI) is going to be hosting a "Logic Across the Disciplines" conference on Friday, September 13, 2013. The conference is free and all levels of understanding of Logic and Philosophy are welcome.

List of Speakers / Topics:
Computer Science and Logic- Ian Barland, Radford University
Philosophy of Logic- James Cargile, University of Virginia
Buddhist Logic- Koji Tanaka, University of Auckland
Logic and Legal Reasoning- Vern Walker, Hofstra University
Psychology, Rationality, Logic-Richard West, James Madison University
Quantum Logic- Alex Wilce, Susquehanna University

Registration is free. For more information, see http://www.jmu.edu/lri/logicacrossthedisciplines

Workshop: Modal epistemology and the philosophy of science. Speakers: Mikkel Gerken, Jacob Busch, Rene van Woudenberg, Darrell Rowbottom and Asger Bo Skjerning Steffensen.

For more information, see here or contact Nikolaj Nottelmann (nottelmann at sdu.dk) Registration is free, but please contact the organizer if you are interested in attending this workshop.

The 4th Workshop of the Experimental Philosophy Group UK, will be held 12-13 September 2013, Wills Memorial Building, University of Bristol. This is a BIRTHA conference. The main topic will be the philosophy of mind and action.

The workshop will be followed by an informal open meeting about the running of the group and to discuss ideas for future events. This will be open to all participants.

Please register online by 5 September. For more information, see https://sites.google.com/site/experimentalphilosophygroupuk/fourth-workshop.

Proof takes place in Bern, Switzerland from September 9-13, 2013. This meeting gathers about fifty leading researchers who are actively involved with the concept of proof in theory and practice.

For more information, see http://www.humboldt-kolleg.iam.unibe.ch/.

The RIMS meeting "Reflection principles and set theory of large cardinals" will take place from Sept. 9 till Sept. 12 at the Research Institute for Mathematical Sciences, Kyoto University, Japan.

Please note that this meeting is right after TopGeo 2013 and right before the 13th ALC in Guangzhou, China,

As there is no webpage yet, people interested in attending should contact the organizer, Sakae Fuchino, at fuchino at diamond.kobe-u.ac.jp.

The rector of Ghent University will award an institutional honorary doctorate to Prof. Dr. Harvey M. Friedman on September 4th, 2013. On this occasion Friedman will give a general audience talk on September 4th afternoon, followed by a talk on electronic performance. In the morning of September 5th there will be two lectures by Friedman on his recent achievements on the foundations of mathematics. In the afternoon there will be four invited lectures by Albert Visser, Ulrich Kohlenbach, Matthias Baaz and Ali Enayat and additional short lectures highlighting some selected bits of Friedman's research. On September 4 and 5 Friedman will give piano recitals

The (currently provisional) website of the event is located at http://cage.ugent.be/programFriedman/ Participants are welcome! There is no fee involved. (But participants of the lunch on September 5th are expected to pay a fee of EUR 20).

The British Logic Colloquium (BLC) 2013 will be held at the University of Leeds from the 5th to the 7th of September 2013, together with a symposium (4th-5th September 2013) in memory of Sir Michael A E Dummett FBA DLitt (1925-2011).

It is expected that there will also be a BLC Postgraduate logic meeting on the afternoon of September 3rd and morning of September 4th 2013.

For more information, see http://www1.maths.leeds.ac.uk/~blc2013/ or contact blc2013 at leeds.ac.uk.

In philosophy, claims of knowledge are often based on considering non-actual scenarios. But it is not so clear what explains and justifies such practices. Opposing the traditional view that the knowledge at stake is conceptual or based on rational intuitions, Timothy Williamson has come up with a revolutionary proposal: both modal claims and thought experiments can be accounted for in terms of our capacity for evaluating everyday counterfactuals. No wonder this innovative proposal sparked intense debate.

To mention just two critical points: First, one might wonder whether our ability to evaluate the relevant counterfactuals depends upon prior knowledge of metaphysical necessity or essentiality. If so, the account runs the risk of being circular. Second, Williamson's account of thought experiments is designed to address the problem that any case description could be realised in a deviant way. One might suspect that Williamson?s own counterfactual account falls prey to the same difficulty. The workshop aims at promoting the critical discussion of the counterfactual account of both modal knowledge and thought experiments.

For more information, see https://www.philosophie.hu-berlin.de/institut/lehrbereiche/idealismus/. If you would like to participate, please contact Daniel Dohrn: dohrndan at cms.hu-berlin.de.

"Modal epistemology" has witnessed a Rationalist Renaissance and is now witnessing what might end up being an anti-rationalist turn. This workshop aims to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the discipline

For more information, see http://www.epistemologyofmodality.weebly.com

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

The notion of groundedness has been central to research on the semantic paradoxes ever since Kripke's seminal work on truth, and the notion continues to inspire work in this area. Recently, the notion has been applied more widely, for instance to criteria of identity, abstraction principles, and the semantics of modal predicates. There is also a renewed interest in the notion of grounding in metaphysics, and of course the focus on 'grounded objects' in all of these areas is closely related to the emphasis on well-founded sets in set theory. This workshop aims to bring together researchers who deal with groundedness in logic, semantics, metaphysics, and the philosophy of mathematics in order to get a clearer understanding of this concept and of its applications.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/conferences/ or contact Jõnne Speck at jonnesp at ifikk.uio.no.

As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

The biennial meeting of the Society for Music Perception and Cognition will be held August 8-11, 2013 at Ryerson University in Toronto, Canada. Ryerson has the fastest rate of research growth in the Province of Ontario (as measured by external research funding), and it leads the country in research publication growth over the past decade.

For more information, seehttp://www.smpc2013.com/

The Institute of Philosophy at the Rheinische Friedrich-Wilhelms-Universität Bonn will hold a Workshop on Paraconsistency and Paraconsistent Logics. The workshop is open to everybody interested in an introduction to paraconsistent reasoning, as well as an outlook in the fascinating problems of this area of research. The talks of the workshop will be held in English.

For more information, see http://www.philosophie.uni-bonn.de/aktuelles/paraconsistency or contact goerke at uni-bonn.de

The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.com

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

The first ever IFAAMAS-sponsored Multiagent Systems Summer School in Greece, CretaMASSS-2013, will be held at the Department of Electronic and Computer Engineering of the Technical University of Crete, at Chania, Crete, Greece, from the 22nd to the 26th of July 2013.

We believe that CretaMASSS-2013/HAISS'13-Agents offers a well-balanced tutorial curriculum, covering topics such as Teamwork, Information Sharing in Large MAS, Game Theory, Economies and Markets, the Smart Grid, Robotics, and Agent-Based Software Development.

The event will have the form of half-day tutorials (TU), 3-4 hours long each, along with at least one panel discussion session, and along with specific, short (~45 mins long) research talks (RT).

For more information, see http://www.intelligence.tuc.gr/cretamasss

This course examines and develops a version of situation semantics called truthmaker semantics. The first part of the course provides a basic exposition of the semantics; while the second part of the course considers a number of different applications of the semantics. Special emphasis will be placed on the notion of partial content, which derives from Kant's notion of an analytic truth and provides an alternative to the notion of logical consequence in dealing with many problems.

During the course, Professor Kit Fine (Silver Professor of Philosophy & Mathematics at NYU) will present and lead discussion on both published and unpublished work on the topic; opportunities for presentations from participants will also be provided.

More information regarding the Summer School is available on the course website (http://hamburgersommerkurs.wordpress.com/), but if you have any further questions, please feel free to contact the organizers at sommerkurs at gmx.de.

Just before the Logic Colloquium 2013 (Évora, Portugal) there will be a one-day workshop in Proof Theory in Lisbon. The main event of the workhop is a three-part lecture by Jean-Louis Krivine on his classical realizability of set theory, with new proofs of known relative consistency results.

Please have a look at http://www.ciul.ul.pt/~ferferr/ProofTheoryinLisbon.htm for information and participation.

The UCLA Logic Center is organizing a summer school for undergraduates. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence.

Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond.

ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers.

More information, including a preliminary programme, is available on the website, at http://www.inf.kcl.ac.uk/events/acai13/

The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

Topics include:
Boolean functions
Block ciphers
Hash functions
Differential and linear cryptanalysis
Implementation attacks
Fault injection attacks
Countermeasures
Leakage-resilient cryptography
White-box cryptography
Security of embedded systems

For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/

The Digital Humanities are booming. However, philosophy is underrepresented in the Digital Humanities. This workshop has three aims: (i) to present computational methods that can be used by philosophers; (ii) to present research in which philosophical problems are studied by means of computational methods; (iii) to reflect on the relevance of research in the Digital Humanities for research in the humanities and philosophy.

Attendance is free, but please register by sending an e-mail to axiom.erc at gmail.com. For more further information and abstracts: http://axiom.vu.nl/activities.

Within the Cultural Heritage domain, games are used in various ways. We are currently witnessing a large effort at international level towards the long-term preservation and accessibility of cultural heritage through many initiatives. While multimedia archives and the digitized artifacts and places offer easy access of cultural content to people regardless space and time constraints, it is through game mechanics that the large public is motivated to explore these resources.

Serious Games (SG) enable visitors to explore a realistic and engaging virtual environment, and immersive gameplay can reawaken history and encourage virtual tourists to learn more. On the other hand, Games With A Purpose (GWAP) are games designed to collect annotation data or solve a problem. While playing the game, the users provide information about collections of images or music, that is otherwise laborious to obtain.

For more information and a programme, see http://www.nwo.nl/en/research-and-results/programmes/, or contact j.a.burgoyne at uva.nl.

The word 'know' seems to find a comfortable and colloquial equivalent in every human language, which suggests that the concept expressed by this word plays important roles in human life and thought. In recent years, a number of philosophers have investigated the various roles or purposes of knowledge attributions in epistemic evaluation. This workshop seeks to advance the debate by bringing together scholars working in epistemology and related areas. We are interested in exploring any topics that are concerned with the roles of knowledge (or the word 'knowledge') in human life.

For more information, see http://www.phil.cam.ac.uk/news_events/roles_of_knowledge/roles_of_knowledge.html

On the occasion of Michel DeGraff's visit to Amsterdam, we are planning an informal lunchtime colloquium on linguistic complexity.

The colloquium will take the form of six very brief presentations (10 minutes each), followed by discussion. The programme is the following:
Sterre Leufkens "Learnability: complexity + transparency"
Jenny Audring "How complex is grammatical gender?"
Jeannette Schaeffer "On the complexity and learnability of direct object scrambling"
Judith Rispens "Complexity in bilingual acquisition: the role of phonotactic frequency of past tense forms"
Jakub Szymanik "Computational Complexity in Semantics"
Fred Weerman "The different faces of complexity"

For more information, see http://smartcognitivescience.wordpress.com/2013/06/05/. Lunch will be provided courtesy of SMART. Please send a short message toE.O.Aboh at uva.nl and j.audring at uva.nl to let us know you're coming.

The Faculty of Philosophy at the University of Oxford is pleased to announce a colloquium to mark the retirement of Dan Isaacson, celebrating his four decades working at Oxford.

The one-day colloquium, 'Arithmetic, Structures and the Rise of Modern Logic', will be held on Saturday 15 June 2013 and will consist of papers by leading scholars in logic and the philosophy of mathematics. Lunch will be provided and registration is free. Attendees may also wish to attend the post-colloquium dinner, which will be very reasonably priced and held at a nearby college.

For further details and registration, please see here: http://users.ox.ac.uk/~sfop0114/isaacson/isaacson.htm.

The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

These aims are reflected by the format of this year workshop, with tutorials by James Cummings, Sy Friedman, Su Gao and John Steel, and talks by Tristan Bice, Scott Cramer, Luca Motto Ros, Victor Torres Perez, and Trevor Wilson, as well as open discussion sessions. Special registration fees are available to Ph.D. and master students, however the conference is open to all interested scholars.

The official website of the conference is at http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html

The 4th Meeting of the Medieval Philosophy Network will take place at the The Warburg Institute, University of London, on the 7th of June, 2013.

For more information, see here or http://www.medievalphilosophy.org.uk, or contact the organisers: Prof John Marenbon and Dr Anna Marmodoro.

There will be three speakers:
Jan-Willem Romeijn (Groningen): "Model uncertainty and implicit complexity",
Liesbeth de Mol (Ghent): "Unpredictability in computer-assisted mathematics", and
Peter Streufert (University of Western Ontario, London): "Off-equilibrium beliefs in a game, and off-paradigm beliefs in a science".

For more information and abstracts, see http://philevents.org/event/show/9716.

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

On May 30th 2013, the Roots of Deduction project and the Faculty of Philosophy of the University of Groningen will host a small workshop on argumentation in mathematics.

Speakers and titles are:
* Andrew Aberdein (Philosophy, Florida Institute of Technology): "Types of dialogue in mathematics"
* Erik Krabbe (Philosophy, Groningen): "Aristotle on squaring the circle"
* Bart Verheij (Artificial Intelligence, Groningen): "Mathematical discovery as investigative argumentation"
* Catarina Dutilh Novaes (Philosophy, Groningen): "A dialogical conception of indirect proofs"

Details will be regularly updated here: https://sites.google.com/site/therootsofdeduction/events-and-announcements/ The workshop is open to all, but please send us an email (rootsofdeduction at gmail.com) to register.