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.

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 Society for the Study of Articial Intelligence and the Simulation of Behaviour (AISB) is organizing a Workshop on Modelling Organisational Behaviour and Social Agency. The event is hosted by Bournemouth University.

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

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

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

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.

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 https://www.illc.uva.nl/semdial/dialdam/ or contact raquel.fernandez at uva.nl.

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/

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

The conference is a biennial forum for new work in all areas of analytic philosophy, with special emphasis on logic, epistemology, and the philosophy of science.

For more information, please visit our website: http://filosofia.uniandes.edu.co/ms/philogicaIII/index.php?ac=en&id=call

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

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

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

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

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/

MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.

Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).

All conference-related information will be posted on the MS6 website at http://ms6conf.wordpress.com/. Further inquiries may be addressed to Xavi Lanao at MS6conf 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

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

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.

MC3 is the third in a series of three conferences with associated publications on mathematics as culture and mathematics in culture. The third conference will consider the relation between mathematics and other cultures, whether popular or specialist. Amongst other topics, it will explore the question "why should I study mathematics?" - from perspectives within and outside mathematical cultures.

For more information, see https://sites.google.com/site/mathematicalcultures/conference-3