In this workshop we aim to bring together philosophers, computational modelers, and cognitive (neuro)scientists to present and discuss different perspectives on levels of explanation. The goal is to build common ground on both the theoretical issues related to levels of explanation in cognitive science and how they inform and guide the daily practice of studying the mind and brain. There will be four invited talks and ample opportunity for discussion. Attendance is free of charge, registration is required. Lunch will be provided.

Speakers will be Sirin Botan (Amsterdam), René van den Brink (Amsterdam), Zoé Christoff (Liverpool), and Emily Tanimura (Paris).

The Faculty of Science will organise Christmas drinks.

The Institute for Logic, Language, and Computation at the University of Amsterdam hosts a workshop on Provability and Modal Logic.

Experts in the field of provability logic and related areas wil give talks on topics related to arithmetic, proof theory, and modal logic.

Attendance is free, but registration is required. In order to register, please send a mail to paulahenk at gmail.com before December the 9th.

Abstract:
The real line is probably the most well known and well studied topological space. There are 6 different combinations of languages of this kind (two unimodal and four bimodal). The first modality in bimodal and the modality in unimodal languages we will interpret either using  closure or derivation topological operators. For the second modality in bimodal settings we use universal or difference modalities.
We will discuss logics of the real line that arise in all these languages.

The Royal Dutch Mathematical Society (KWG) invites you to the symposium L.E.J. Brouwer, fifty years later at the Science Park in Amsterdam on the 9th of December 2016, 9:45-16:45.

We have put together an interesting programme with highly renowned speakers, viz. Dirk van Dalen, Mark van Atten, Sergei Artemov, Alexander Dranishnikov, Saul Kripke, Yiannis Moschovakis, Michael Rathjen, and Raf Bocklandt.

You can find the complete programme and a registration form on our website: http://www.wiskgenoot.nl/brouwer50

The Royal Dutch Mathematical Society (KWG) invites you to the symposium L.E.J. Brouwer, fifty years later at the Science Park in Amsterdam on the 9th of December 2016, 9:45-16:45.

We have put together an interesting programme with highly renowned speakers, viz. Dirk van Dalen, Mark van Atten, Sergei Artemov, Alexander Dranishnikov, Saul Kripke, Yiannis Moschovakis, Michael Rathjen, and Raf Bocklandt. Participation is free but registration is required.

The Institute for Logic, Language and Computation will host a workshop on 'Intensionality and Truth', on the 3rd and 4th of December 2016.

The workshop aims at bringing together some of the various ways in which the notions of intensionality and truth have interacted in recent work. The following speakers have confirmed participation:
Albert Visser (Utrecht), Johannes Stern (Bristol), Carlo Nicolai (Munich), Hannes Leitgeb (Munich), Volker Halbach (Oxford), Martin Fischer (Munich), Catrin Campbell-Moore (Bristol), Theodora Achourioti (Amsterdam). Titles and schedule for the talks will be posted on the workshop website.

The workshop is supported by the Logic and Language research group of the ILLC. Attendance is free.

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

On Saturday 26 November 2016 we will celebrate the fact that the ILLC was founded 25 years ago by organising a symposium and evening programme.

For more information, see http://events.illc.uva.nl/ILLC/ILLC25.

With the recent breakthroughs in hardware development, for many it is no longer a question of if but when the quantum computer will come. But when it comes, what will humanity do with it? The scientific field of quantum software is working on answers to this question. Historically, the Netherlands play an important role in this multidisciplinary field. The symposium will showcase a sample of the diverse topics that quantum software researchers from academia and industry in the Netherlands are working on.

To register for the symposium, please send an email to susanne.van.dam at cwi.nl before November 18. This event is hosted and organized by QuSoft, a joint research institute for quantum software, founded by CWI, UvA and VU. By organizing this event, QuSoft aims to support and stimulate the development of the Dutch quantum software ecosystem.

The University of Twente will award an honorary doctorate to Edward Tufte, on the occasion of the 55th Dies Natalis of the university, November 25 2016. While Tufte is in Enschede he is willing to share his thoughts and visions on information design with us.

Edward Tufte has been an inspiring example for many active in information visualization, data visualization and geovisualization, and has stimulated cartographers and others to re-think design. In making his point Tufte is often using ’classic’ graphics and maps such as John Snow's cholera outbreak map, and Charles Joseph Minard's Carte Figurative (Napoleon’s invasion of Russia in 1812). Tufte’s comments on Minard’s map challenged Menno-Jan Kraak, the honorary promotor, to write a book on mapping time using Minard’s map as a common thread throughout the book.

Tufte’s career not only inspired geodata visualizers at ITC, but also impersonates developments among the public administration scientists of BMS. This reflects the interests of both Faculties: High Tech (data analytics and visualization)and Human Touch (informed public decision-making).

Attendance is free of charge for the general public, but places are limited and registration is required.

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact[b] Sirin Botan (s.botan at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (julian.schloeder at gmail.com).

Dear colleagues.

The following weekend has now officially been appointed for major ICT maintenance:

• 19 & 20 november 2016

Further information will follow later on, but be aware all central systems and the network may be unavailable during this weekend.

Best wishes,
ILLC Office

For more information, contact illc at uva.nl

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

Speakers are Thomas Boyer-Kassem (Tilburg), Franz Dietrich (Paris), and Bauke Visser (Rotterdam).

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

This workshop is entirely devoted to the LogiCIC Research Project on “The Logical Structure of Correlated Information Change”. In this interdisciplinary project we focus in particular on correlations that arise in situations in which the very act of learning new information may directly change the reality that is being learnt. We will combine insights and techniques from a range of research domains, including logic, game theory, philosophy of science, network theory, quantum theory, belief revision theory, truth approximation and formal learning theory.

BNAIC is the Annual Benelux Conference on Artificial Intelligence. This year, the 28th edition of BNAIC is jointly organized by the University of Amsterdam and the Vrije Universiteit Amsterdam, under the auspices of the Benelux Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems (SIKS). BNAIC 2016 will include invited speakers, research presentations, posters and demonstrations.

For more information, please visit the website
http://www.illc.uva.nl/logic_tea/
or contact
Sirin Botan (s.botan at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (j.j.schloder at uva.nl).

'Voor de Leeuwen' aims to provide a platform for all FGw-researchers to discuss research and grant opportunities, ideas and even failures in an open and informal setting.

NWO organises information meetings for researchers who want to apply for a Veni, Vidi of Vici grant. Practical information is given and selection committee members, NWO coordinators and researchers who have already acquired a Veni, Vidi or Vici share their experiences during a question and answer session. The meetings are in English. The next information meeting will be held on 4 November.

This year marks the 100th anniversary of the birth of Adriaan van Wijngaarden (1916-1987), founder of computer science in the Netherlands and former director of CWI. 2016 is also the 70th founding anniversary of CWI.

We will celebrate these occasions with a special programme in honour of Adriaan van Wijngaarden and his legacy. Several internationally renowned speakers will explore the legacy of Van Wijngaarden in both mathematics and computer science.

On Wednesday 2 November 2016 at 17:00 a group of students from the UvA's Bachelor's programmes in Artificial Intelligence and Computer Science will visit the ILLC. The event will include three short talks on relevant research at the ILLC: Christian Schaffner will speak about Cryptography and Quantum Computing, Raquel Fernández will speak about Computational Linguistics, and Ashley Burgoyne will speak about Computational Musicology. The scientific part of the event will take roughly one hour and will be followed by a small borrel. ILLC students and members of staff interested in some of these topics are very welcome to attend as well.

FET-open are visionary projects, to develop a radically new technology. In FET-open a consortium of partners from different scientific disciplines are working together to achieve this. The choice of subject in a FET-open proposal is free, and therefore it is a very popular part of the EU program Horizon 2020.

However, a considerable number of proposals are not (fully) in line with the most important demands and conditions of the FET-open programme. The IXA UvA-HvA Grant Support team and the FNWI Projectmanagement team are therefore organizing this workshop, in which the FET-open conditions will be layed out clearly. The workshop will address the keyfactors for a successful FET-open proposal, experiences form evaluations, and furthermore the lay-out of a good project proposal.

A workshop organized in conjunction with the PhD defense of Andreas van Cranenburgh, for the dissertation entitled "Rich Statistical Parsing and Literary Language." Rich statistical parsing refers here to the use of richer grammar formalisms or techniques.

We will discuss a paper by Mauch et al. who used music information retrieval as well as text-mining techniques to investigate the evolution of American pop music.

The candidate will bring to the position a relevant and innovative research agenda in the area of Digital Humanities and will be able to teach within the programs of Media Studies. The candidate will be especially interested in the critical study, development and application of digital research methods, techniques and tools. In the study of information and media (broadly understood as books, artworks, audio-visual media and digital media), digital research materials are evolving in spectacular fashion, leading to new research affordances that require a critical approach to media as information, as well as to how digital media structure the reuse and interpretation of born-digital and historical data.

Students and staff are welcome to join this informal meeting with the Executive Board.

The importance of and interest in open access is growing. It enables fast, efficient and accessible dissemination of academic knowledge. This lecture focuses on the vision and efforts of NWO in accelerating the transition to open access (including subsidies for flipping journals) will be discussed. The new NWO open access policy: what is it? How can researchers comply with this new policy and, last but not least, what’s in it for them?

On October 27, 2016 we will have a symposium on congenital amusia. Congenital amusia is a neuro-developmental disorder that is neither caused by insufficient exposure to music, nor by a hearing deficiency, brain damage or intellectual impairment. People with congenital amusia (amusics) face lifelong impairments in the musical domain (music often causes discomfort to them). They cannot detect a pitch difference between two adjacent tones if this difference is one semitone or less.

During the international open access week, held from Monday 24 until Thursday 27 October, we will pay attention to the transition of traditional journals and publications to open access.

We have invited two members of the Dutch open access negotiation team, who negotiated (on behalf of the VSNU) about open access with Elsevier, ACS, Springer, Wiley, etc. They will share their views, elucidate their intentions and the decisions that have been made so far, such as the type of agreement (free, discount, or vouchers) and in some cases the selection of journal titles. The audience is invited to share their opinion and views on these topics.

For more information, see http://www.cirmmt.org/activities/distinguished-lectures/copy_of_vorlander

Abstract: This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.

As in the previous editions, the purpose of this meeting is to inform you about 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.

On October 5, the PhD Council will hold another PhD day. At this event, the PhD candidates are informed about the current activities of the council and potential issues raised among the PhDs are discussed. At the same time, we will welcome the newcomers. All PhD candidates are invited. It will be followed by a lunch at Maslow.

On Saturday, 1 October 2016, from 12:00 to 17:00, the organisations based at Amsterdam Science Park will hold their annual Open Day featuring a mix of activities suitable for all ages.

For more information, see http://www.amsterdamsciencepark.nl/about-amsterdam-science-park/open-dag/

Who is Sherlock Holmes? Can we even talk about identifying him? The often quoted example by Frege about identity “The evening star is the morning star” has the particularity that it refers to something that is actual and exists in the real world. If venus was fictional, could we still refer to it in the same way? What is true in a fiction to begin with? It can be said that it depends on the fictional context, or as we will refer to it, the Canon.

We'll discuss a paper by Gingras et al. (2015), titled "Linking Melodic Expectation to Expressive Performance Timing and Perceived Musical Tension".

For more information, please visit the website
http://www.illc.uva.nl/logic_tea/
or contact
Thomas Brochhagen (t.s.brochhagen at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (julian.schloeder at gmail.com).

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

Cool Logic has gone through some changes with a new name COOL.
COOL. is a biweekly student seminar organised by master's students, with talks given by master's students.

The forthcoming Vossius Seminar on 12 September will feature two talks by Jos Baeten and Lisa Wijsen.

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

Speakers: Péter Biró, Burak Can, Battal Dogan, Shashwat Khare, Jan Christoph Schlegel, Bertan Turhan, Utku Ünver.
Host: Burak Can (Maastricht University)

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

On Friday 1 July NWO is organising an information meeting for researchers that want to apply for a Veni, Vidi or Vici grant. Practical information will be given and laureates, selection committee members and NWO coordinators will share their experiences. The morning programme is for the Humanities and Social Sciences and the afternoon programme is for the Natural Sciences, Engineering and Life Sciences. The meetings will be held in English.

For more information, see http://www.nwo.nl/en/news-and-events/calendar/2016/

NWO organises information meetings for researchers who want to apply for a Veni, Vidi of Vici grant. Practical information is given and selection committee members, NWO coordinators and researchers who have already acquired a Veni, Vidi or Vici share their experiences during a question and answer session. The meetings are in English. The next information meeting will be held on 1 July.

For more information, see http://www.nwo.nl/en/research-and-results/programmes/Talent+Scheme/

Funded by the Volkswagen foundation and hosted by the ILLC, talks (but not the closed group work-sessions) are open to interested researchers. Please e-mail frank.zenker at fil.lu.se before 20 June if you'd like to attend any of the talks.

For more information and a programme, see https://conceptualspaces360.wordpress.com/events/.

The Vossius Center for the History of Humanities and Sciences will be officially opened on Monday 27 June, 15.00h-18.00h, at the place where G. Vossius held his inaugural lecture in 1632.

Speakers include Dymph van den Boom, Frank van Vree, Hans-Jörg Rheinberger, Haun Saussy, Joep Leerssen, Julia Kursell, Jeroen van Dongen and Rens Bod. The afternoon will be concluded with the presentation of the new journal "History of Humanities". All those interested are cordially invited to attend the opening. Full program follows soon.

Since places are allotted on a first-come, first-serve basis, please register as early as possible (no later than 15 May).

For more information, see http://vossius.uva.nl/news-and-events/componenten-midden/news/news/content/

The Amsterdam Science Park community celebrates the summer this month, with the second edition of the Flux Festival. Coinciding with the traditional Midsummer's Day, the festival takes place on Friday, 24th June, and is open to everyone who works, studies or lives at the park. The event begins at 4pm and includes a beach volleyball tournament, sport clinics, DJs, live music, a barbecue and more. Read the latest news on the festival here, and see you there!

For more information, see http://www.amsterdamsciencepark.nl/index.php?id=198

Grants from the European Research Council (ERC) support individual researchers of any nationality and age who wish to pursue their frontier research. In particular, the ERC encourages proposals that cross disciplinary boundaries, pioneering ideas that address new and emerging fields and applications that introduce unconventional, innovative approaches. ERC grants are awarded through open competition to projects headed by starting and established researchers - the sole criterion for selection is scientific excellence.

To gain an overall view of the rules and possibilities, we cordially invite you to an ERC information session. During this session, your National Contact Points will inform you of the possible type of grants, the rules for participation and the evaluation process. In addition a member of an evaluation panel will tell you about his/her experience with evaluating ERC proposals (TBC) and an ERC grant holder will share his tips and tricks.

For more information, see http://english.rvo.nl/news/events/information-session-erc-grants-0

Maietti and Rosolini generalized the notion of exact completion of a category with finite limits to that of elementary quotient completion of hyperdoctrines. A hyperdoctrine will be denoted by (C,P) and can be thought of as a many-sorted logic P where sorts are objects of the category C. The elementary quotient completion of (C,P), denoted by (Cq,Pq), is a new hyperdoctrine whose base Cq is closed under effective quotients of equivalence relations expressed in the logic of Pq.

In this talk we focus on triposes, a special class of hyperdoctrines, introduced in by Hyland, Johnstone and Pitts with the purpose (among others) of freely creating an elementary topos out of any given tripos. This mentioned construction is known under the name of tripos-to-topos construction. We characterize when the tripos-to-topos construction factors through an elementary quotient completion. We will show that this happens if and only if the starting tripos validates a form of choice, which we call rule of epsilon choice as it is inspired by Hilbert's epsilon operator.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

For abstracts and more information see here or contact rdewolf at cwi.nl

Anuj Dawar, who is visiting from Cambridge, will give a three-part tutorial on 'Definability and Complexity of Counting Logics'.

Part 1 (21 June 13:00-15:00) covers first-order logic with counting, fixed-point logic with counting, relations to complexity, and definability of constraint satisfaction problems.
Literature: Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)

Part 2 (22 June 13:00-15:00) covers combinatorial optimization problems and their linear programming relaxations and issues of symmetry and definability.
Literature: Matthew Anderson, Anuj Dawar, Bjarki Holm, Solving Linear Programs without Breaking Abstractions, J. ACM 62(6): 48 (2015)

Part 3 (23 June 11:00-14:00) covers the relationship between definability and circuit complexity for first-order logic, fixed-point logic and counting logics.
Literature: Matthew Anderson, Anuj Dawar: On Symmetric Circuits and Fixed-Point Logics. STACS 2014: 41-52

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.

All are welcome, including MoL students.

Note that this is different date than was communicated before, i.e., the 24th of June. That date clashed with other events. We therefore decided to move the ILLC colloquium to the 17th of June.

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

For more information, see https://www.cwi.nl/aco-seminar or here.

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

Dr. Romke Rouw will give a talk on synesthesia titled Individual Differences in perception. For an extensive abstract, see: https://musicreadinggroup.wordpress.com/2016/05/31/

For more information, see https://musicreadinggroup.wordpress.com/

For more information see http://www.uva.nl/disciplines/wijsbegeerte/home/componenten-middenkolom/agenda/.

When we hear music, we often tap our feet, dance together or play and sing together. In order to do this, we need to be able to synchronize our behavior to the regular beat that is often present in music. This seems an easy task, but how do our brains accomplish this? Can everyone do this? And is this specific to humans?

This workshop on beat perception is organised on the occasion of the PhD defense of Fleur Bouwer on June 8. Distinguished international speakers will discuss several aspects of beat perception and prediction. Topics range from the role of the motor system in beat perception, to beat perception in non-human animals and timing and predictions in the human brain.

For more information on the workshop, see http://www.fleurbouwer.nl/workshop

For abstracts and more information, see http://smartcs.humanities.uva.nl/upcoming-events/

This edition of the Dutch Social Choice Colloquium will feature invited talks by Harrie de Swart (Rotterdam) Antoinette Baujard (Lyon) and Markus Brill (Oxford) on majority measures, evaluative voting and approval-based committee voting. All welcome.

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

The Grant Team organises an information meeting on European consortium grants, ie. funding schemes for projects to be carried out by international consortia. Confirmed speakers are Wim Hupperetz, Julia Noordegraaf and Ronald Pfau; they will speak about (inter alia) the Marie Curie Innovative Training Networks, the Horizon2020 funding scheme (in particular Societal Challenge 6: 'Europe in a changing world - Inclusive, innovative and reflective societies') and best practices regarding networking in 'Europe' and forming fruitful international connections. The meeting is scheduled for Thursday 2 June at 15.00-17.00, Oudemanhuispoort room C3.23. All are welcome; please send an e-mail to subsidie-fgw at uva.nl if you are planning to attend.

For more information, see https://medewerker.uva.nl/en/humanities/a-z/a-z/a-z/content/folder-2/grant-team/

Kick-off workshop for the ERC grant "BroadSem: Broad Coverage Semantic Parsing" on June 2 in central Amsterdam (Allard Pierson Museum). Besides semantic parsing, we will also look into related problems and methods in natural language understanding. We have a great set of guest speakers including Guillaume Bouchard (UCL), Mirella Lapata (Edinburgh), Dan Roth (UIUC) and Nathan Schneider (GWU). Free sign-up!

For more information, see https://broadsem.wordpress.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/.

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

Cool Logic has gone through some changes with a new name COOL.
COOL. is a biweekly student seminar organised by master's students, with talks given by master's students.

Around 70% of all PhD students will pursue a career outside academia after their defense. The UvA wishes to prepare PhD students for a successfull career. This English training is intended to help in this regard.

There will be 4 meetings in total, on May 24th, June 7th, June 28th and July 12th

Registration for this training is open until 17 May 2016. For more information, see https://medewerker.uva.nl/fnwi/actueel/agenda/agenda/agenda/content/folder-2/

In this talk we would like to present the Lawvere's fixed point theorem, which is a generalisation of the Cantor-Russell-Turing-Gödel argument in a sufficiently nice category. We will show how it implies straightforwardly Cantor's theorem and Russell's paradox, various versions of the Liar paradox. With a bit of work we will deduce Tarski's result about the undefinability of truth and Gödel's incompleteness theorem, as well as results from computability theory, such as the undecidability of the halting problem and the existence of fixed point combinators in λ-calculus.

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

Abstract:
An action is something that takes place in the world, and that makes a
difference to what the world looks like. Thus, actions are maps from
states of the world to new states of the world. Actions can be of
various kinds. The action of spilling coffee changes the state of
your trousers. The action of telling a lie to your friend changes your
friend's state of mind (and maybe the state of your soul). The action
of multiplying two numbers changes the state of certain registers in
your computer. Despite the differences between these various kinds of
actions, we will see that they can all be covered under the same
logical umbrella.

For more information, contact t.achourioti at uva.nl

A system is proposed which speeds up some computations by taking advantage of current large, fast memory in order to efficiently store and recall relevant computational histories. The system automatically exploits predicted patterns in a computation in order to accelerate computation when it can. Our goal is to quantify the specific speed-ups that can be achieved and to provide lower bounds indicating the limits of our approach.

For more information, see here or contact Ronald de Wolf (rdewolf at cwi.nl)

In December 2015 Jouko Väänänen formally retired from the Institute for Logic, Language and Computation (ILLC). Despite the fact that Jouko will maintain his ties to the ILLC, we nevertheless take the opportunity to organise a small workshop in Jouko's honour.

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

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

For abstracts and more information, see http://smartcs.humanities.uva.nl/upcoming-events/

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

This is a guest lecture given as part of the course "Studies of Mathematical and Logical Practice". For more information, see here or http://www.math.uni-hamburg.de/home/loewe/2015-16-II/SMLP.html.

On Thursday, May 12th Professor Dr. Martin Stokhof will retire as professor of Philosophy of language, a position he has held since 1998. His valedictory lecture will take place in the Aula of the University and will start at 15:00 am (exactly). The aula will be open from 14.30.

Professors are invited to take part in the procession dressed in toga. From 14:30 you can use the entrance at Handboogstraat 6.

For more information, see http://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/content8/lezingen/2016/ or contact illc at uva.nl

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (F.M.Lauridsen at uva.nl).

We will discuss a paper by Ed Large, Jorge Herrera, and Marc Velasco: Neural networks for beat perception in musical rhythm (http://dx.doi.org/10.3389/fnsys.2015.00159). This is a hypothesis and theory paper on the neural basis of rhythm perception.

For more information, see https://musicreadinggroup.wordpress.com/

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

For more information see http://www.uva.nl/disciplines/wijsbegeerte/home/componenten-middenkolom/agenda/.

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

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

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

In the spring of 2016 Prof. Albert Visser (Philosophy) will retire. He has been a professor in Logic and the Foundations of Mathematics at Utrecht University for more than a decade. Since September 2015 he is also a Faculty Professor at the Faculty of Humanities. There will be two days of celebrations in honour of his long and distinguished career. Registration is now open.

There are two events. On 22 April there will be a workshop dedicated to his scientific work, with speakers from the various areas that Visser has contributed to. This event will take place in the Kanunnikenzaal of the University Hall (Academiegebouw).

On 25 April there will be an afternoon of celebratory speeches by colleagues (starting at 13:00), followed by Albert's retirement speech in the Auditorium of the University Hall and a reception. The valedictory lecture of Prof. Visser will be at 16:00.

For more information regarding 22 April, see http://www.uu.nl/en/events/retirement-albert-visser-register-now.

For information regarding 25 April and to register for the events, see http://forms.wp.hum.uu.nl/registration-retirement-albert-visser/

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (f.m.lauridsen at uva.nl).

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, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

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

ACE Venture Lab is an initiative by the Amsterdam Center for Entrepreneurship (ACE) to propel science and tech based startups to create new jobs and economic prosperity in the Amsterdam region. ACE is a collaboration between the University of Amsterdam (UvA), the VU University, Amsterdam University of Applied Sciences (HvA) and the Amsterdam School of Arts (AHK). ACE stimulates entrepreneurship and entrepreneurial behavior by students and performs research towards successful entrepreneurship.

On Friday 8 April 2016, a representative of Ace Ventures Lab will come to the ILLC to present their activities, in particular the Bootcamp - a fully sponsored intensive training program for researchers, senior scientists and MSc students.

For more information, see http://www.ace-venturelab.org/

Children have impressive statistical learning abilities. In phonetic category acquisition, for example, they are sensitive to the distributional properties of sounds in their input. However, knowing that children have statistical learning abilities is only a small part of understanding how they make use of their input during language acquisition. This work uses Bayesian models to examine three basic assumptions that go into statistical learning theories: the structure of learners' hypothesis space, the way in which input data are sampled, and the features of the input that learners attend to. Simulations show that although a naive view of statistical learning may not support robust phonetic category acquisition, there are several ways in which learners can potentially benefit by leveraging the rich statistical structure of their input.

For more information, see http://aclc.uva.nl/news-and-events/events/aclc-smart-seminar/all-events/ or http://ling.umd.edu/~nhf/

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

For more information see http://www.uva.nl/disciplines/wijsbegeerte/home/componenten-middenkolom/agenda/ or contact Federica Russo (f.russo at uva.nl) or Lukas Verburgt L.M.Verburgt at uva.nl).

Paul Roth's paper is available at https://drive.google.com/open?id=0B4GjsgXG01qsSmFfeGZSbm1NUnc.

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 about 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 (also in the ILLC Common Room).

For more information, contact illc at uva.nl

We'll discuss a recent paper by Bregman et al. (2016): "Songbirds use spectral shape, not pitch, for sound pattern recognition". For a good introduction to the topic, see Shannon (in press): "Is Birdsong more like speech or music?".

For more information, see https://musicreadinggroup.wordpress.com/

This edition of the Dutch Social Choice Colloquium will feature invited talks by Hannu Nurmi (Turku), Ali Ihsan Ozkes (Marseille), and Daniele Porello (Trento) on voting paradoxes, behavioural assumptions in models of strategic thinking, and a cognitively inspired approach to deliberation. All welcome.

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

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

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (f.m.lauridsen at uva.nl).

The title of my research, and my talk, is "Modelling the Visual Number Sense Using a Deep Generative Neural Network". For my research project I have replicated a study done in 2012 by Stoianov and Zorzi: "Emergence of a 'visual number sense' in hierarchical generative models"(http://cognitrn.psych.indiana.edu/rgoldsto/courses/cogscilearning/). The authors trained two stacked Restricted Boltzmann Machines on reproducing simple binary images containing varying numbers of rectangular objects. After training, this model was able to sustain numerosity estimation by linear classifiers fed with its output. I have not been able to replicate all their results, and offer the likely causes for this.

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

Abstract and directions are available from the new cross-linguistic semantics website at https://sites.google.com/site/crosslinguisticsemanticsxlsx/home/future-events. For more information, contact Maria Aloni at m.d.aloni at uva.nl

The workshop will address a number of new developments in which formal methods are used to model phenomena that play a central role in epistemic-social contexts. In particular we focus on modeling agents' epistemic and doxastic attitudes, the change of such attitudes as well as their communication-based interactions.

The following two themes will receive special attention: The first theme refers to the concept of social influence. In this context we use logic to model the spread of opinions, the exchange of information and the distribution of behavior in a social network. The second theme refers to the logical mechanism of information change as triggered by events, such as e.g. observations, communication as well as steps of logical inference.

The workshop is associated with the PhD defence of Zoé Christoff. Speakers will include Johan van Benthem, Jan van Eijck, Davide Grossi, Fenrong Liu, Olivier Roy, Frank Veltman and Zoé Christoff.

For more information, see https://ldsiic.wordpress.com/

For abstracts and more information, see http://smartcs.humanities.uva.nl/upcoming-events/

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

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (f.m.lauridsen at uva.nl)

Abstract: In this presentation I address the old question on whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. My answer to this question is "no". The argument is based on insights from the recently-developed setting of Dynamic Quantum Logic in which we can explicitly refer to the operational meaning of quantum-mechanical concepts. I use this setting to show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. This allows me to argue for the fact that there is no contradiction between classical logic and (the dynamic reinterpretation of) quantum logic. Overall, in this talk I show how logic can handle informational processes such as observations and measurements of quantum systems and I highlight the basic logical principles that are needed to reason about quantum physical processes.

For more information, contact t.achourioti 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/.

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

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

For more information see http://www.uva.nl/disciplines/wijsbegeerte/home/componenten-middenkolom/agenda/.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (F.M.Lauridsen at uva.nl).

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 Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

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://smartcs.humanities.uva.nl/news/

For more information, see https://musicreadinggroup.wordpress.com/

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

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (F.M.Lauridsen at uva.nl).

For more information, see here or http://clclab.humanities.uva.nl/, or contact rgalhama at uva.nl.

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 17 February the Bèta Break will honour a hero issued from the UvA history: L.E.J. Brouwer, one of the most outstanding mathematicians in the Netherlands.

Brouwers ideas were the basis for topology and his ideas about the foundation of mathematics diametrically opposed to those of his established contemporaries.This contrarian attitude not only touched the area of the logics; also in his daily life he revolted by living 'avant la lettre' as a hippy in a cabin in Blaricum, which was an artistic village at the time.

His life and the influence of his mathematical work until today will be discussed with:
Prof. dr. Jan van Mill, topologist
Prof.dr. Dirk, van Dalen, biographer of Brouwer's life
Hans Ree, grandmaster in chess and columnist
Prof.dr. Wim Veldman, intuitionist

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

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 and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

On 9 February we will start our support track for the ERC Advanced grant with an information meeting. The ERC advanced grant is open to all experienced researchers who are leaders in their field.

Please contact the Grant Team to register for this meeting at subsidie-fgw at uva.nl. For more information, see https://erc.europa.eu/advanced-grants

NWO will soon open the call for the Vrije Competitie-grant ('Free competition'); the deadline for grant applications is (tentatively) scheduled for 1 April 2016. The grant team has scheduled an information meeting where members of the grant team will provide basic information on the grant and on setting the budget; we will invite a former laureate to talk about 'best practices' and a former comittee member to talk about his/her experiences reviewing grant applications.

Please send us an e-mail if you are planning to attend this meeting at subsidie-fgw at uva.nl. For more NWO-information on the Free Competition-grant, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/free-competition/gw/ (note that this information has not yet been brought up-to-date)

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

Friday, January 29th, there will be a SMART Cognitive Science debate on "Defining Cognition" with Jelle Zuidema, Fred Weerman, Jeannette Schaeffer, Rens Bod, Juilan Kiverstein and Patricia Pisters, followed by drinks and snacks.

For more information, see http://smartcs.humanities.uva.nl/news/debate-on-defining-cognition/

For more information, see http://abc.uva.nl/events/item/abc-colloquium-steve-fleming.html

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (F.M.Lauridsen at uva.nl).

In this meeting will discuss the paper: The evolutionary neuroscience of musical beat perception: the Action Simulation for Auditory Prediction (ASAP) hypothesis.

For more information, see https://musicreadinggroup.wordpress.com/

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

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.

Note that it was previously announced that this event was going to take place on 8 January 2016.

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

The semantic content of natural language is multiply *situated*: Whether an utterance receives one interpretation or another depends on the *discourse situation* (in which the utterance takes place), on the *target situation* (which is described by the utterance), and on the interpreting agents' *informational situation* (which also contains the agents' background knowledge). Over the past decades, work on extralinguistic context-dependence has focused on discourse situations and target situations, and has paid less attention to the dependence of interpretation on the agents' informational situation. However, this kind of information-dependence plays a crucial role in the explanation of a number of semantic phenomena, including the behavior of epistemic/deontic modals and propositional attitude-sentences. Recent research in situated cognition has suggested an even more general scope of semantic information-dependence. The latter assumes that cognition (and therefore, *all* linguistic understanding) is fundamentally embedded in the situational context of the cognition.

This workshop aims to bring together linguists, philosophers, logicians, and cognitive and computer scientists to discuss the information-dependence of the semantic content of natural language. It covers all aspects of the interaction between situations, information, and semantic content - both theoretical and experimental.

For more information, see http://www.situatedcontent2016.philosophie.uni-muenchen.de/ or email Kristina Liefke at SituatedContent2016 at lrz.uni-muenchen.de.

TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.

For more information, see http://grammars.grlmc.com/TPNC2016/ or contact florentinalilica.voicu at urv.cat.

The goal of COGALEX is to provide a forum for researchers in NLP, psychologists, computational lexicographers and users of lexical resources to share their knowledge and needs concerning the construction, organization and use of a lexicon by people (lexical access) and machines (NLP, IR, data-mining).

This workshop is about possible enhancements of lexical resources and electronic dictionaries, as well as on any aspect relevant to the achieve a better understanding of the mental lexicon and semantic memory. Chris Biemann, well known among other things for his work on graph-based NLP, has kindly accepted to give the invited talk. Like in the past (2004, 2008, 2010, 2012 and 2014), we will invite researchers to address various unsolved problems, by putting this time stronger emphasis though on distributional semantics (DS). Indeed, we would like to see work showing the relevance of DS as a cognitive model of the lexicon.

The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.

For more information, see http://coling2016.anlp.jp/

Nowadays, there are more paradigms competing in machine translation including statistical (phrase-based, hierarchical and syntax-based), neural-based and rule-based. Each of them has their own advantages and disadvantages which make it worth the research on hybridization, integration and/or combination of approaches. Given that academic and industry perspectives may differ on the opinion of which are the most suitable paradigms, HyTra gives a strong relevance to the participation of both in the workshop. The fact that machine translation is a highly interdisciplinary field (including engineers, computer scientists, mathematicians, translators, linguists?), specially in the research of hybridization, enriches the workshop in its discussions, proceedings, invited talks and, even, in one contributed volume published by Springer.

In this edition, HyTRA (in conjunction with COLING 2016) will specially focus on motivating the cooperation and interaction between the different human components, as well as to foster innovation and creativity in the Hybrid Machine Translation research community. That is why we encourage the participation of the different integrating fields (engineers, computer scientists, mathematicians, translators, linguists either from academy or industry) to contribute to our special call of shared task proposals.

For more information, see http://glicom.upf.edu/hytra6/ or contact Patrik Lambert at patrik.lambert at gmail.com.

The workshop brings together established leaders and promising young scientists in the fields of neural computation, logic and artificial intelligence, knowledge representation, natural language understanding, machine learning, cognitive science and computational neuroscience. Invited lectures by senior researchers will be complemented with presentations based on contributed papers reporting recent work (following an open call for papers) and a poster session, giving ample opportunity for participants to interact and discuss the complementary perspectives and emerging approaches.

The workshop targets a single broad theme of general interest to the vast majority of the NIPS community, namely translations between connectionist models and symbolic knowledge representation and reasoning for the purpose of achieving an effective integration of neural learning and cognitive reasoning, called neural-symbolic computing. The study of neural-symbolic computing is now an established topic of wider interest to NIPS with topics that are relevant to almost everyone studying neural information processing.

Since its inception, logic programming has been recognized as an ideal paradigm for addressing the needs of parallel computing. After over 30 years of research in these domains, the state of the art has reached a stage where technologies are highly complex and sophisticated, and applications are plentiful. Yet, the continuous development of novel architectures, the appearance of new domains and potential applications, and the developments in novel logic programming languages and paradigms are creating new research opportunities and fueling new ideas and developments. The goal of this special issue is to provide a multi-fold perspective of research at the junction between parallel and distributed computation and (constraint) logic programming.

The scope of this conference is the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax, semantics and pragmatics as well as the implementation of natural language processing software relying on logical formalisation. As 20 years ago LACL will also take place at Loria in Nancy.

For more information, see http://lacl.gforge.inria.fr/

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.

For more information, see http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/

AI*IA 2016 covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program.

The conference is organized by the Italian Association for Artificial Intelligence (AIIA), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field.

For more information see http://www.aixia2016.unige.it/

Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.

Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development.

For more information, see http://www.aixia2016.unige.it/ or contact the workshop co-chairs can be contacted by sending an email to rcra2016 at easychair.org.

The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:
Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming
Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond

The fifth edition in this series of workshops organized by the Buenos Aires Logic Group aims to discuss different topics in Philosophical Logic, such as paradoxes, theories of truth and non-classical logics.

Confirmed invited speakers: Roy Cook (University of Minnesota), Hitoshi Omori (Kyoto University), Dave Ripley (University of Connecticut) and Zach Weber (University of Otago).

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. Also as usual, there will be a workshop lunch and a workshop dinner on Saturday, with all participants invited to attend as guests of the university.

We're pleased to announce that we will be having featured talks by Pr. Lydia Patton (Philosophy, Virginia Tech U) and Pr. Michael Rathjen (Mathematics, U of Leeds). Pr. Rathjen will be speaking on ?On Feferman?s Second Conjecture". Pr. Patton will be giving a talk titled "Fishbones, Wheels, Eyes, and Butterflies: Is There a Unified Account of Mathematical and Physical Modeling??.

This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

The European Conference on Logics in Artificial Intelligence (or, Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.

The aim of JELIA 2016 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.cyprusconferences.org/jelia2016/

The Eighth French Philosophy of Mathematics Workshop is the eighth edition of a yearly conference in Philosophy of Mathematics organized by a group of French and International researchers, both philosophers and mathematicians, and sponsored by a Research Group on Philosophy of mathematics (GDR 3719 ) funded by the French National Center for Scientific Research (CNRS). This research group has the objective of promoting and federating French researches in philosophy of mathematics.

The forthcoming workshop will be held at the Center for Comparative Epistemology and Ergology (CEPERC) at the University of Aix-Marseille. It will consist, as the previous workshops, in a three-day meeting, and will feature both invited and contributed talks.

For more information, see https://fpmw8-2016.sciencesconf.org/ or contact fpmw8-2016 at sciencesconf.org.

The Executive Board of the International Association for Computing and Philosophy seeks nominations for the Covey Award to be presented at IACAP 2017, Stanford University, June 26-28.

The Covey Award recognizes senior scholars with a substantial record of innovative research in the field of computing and philosophy broadly conceived. Covey Award candidates may be proposed either by their home institution or by fellow scholars of computing and philosophy who are well-versed in the candidate's work. Submission: November 15th, 2017

The aim of this workshop is to further stimulate the synergy between, on the one hand, ongoing work that concerns the logic and philosophy of human (intentional) agency, and on the other, conceptual and formal work on causation and causal reasoning. Although this means the workshop covers a very broad range of possible topics, we particularly welcome talks in which both (intentional) agency and causation, and their logical and conceptual interrelations, get a fair share.

Keynote speakers: Jan Broersen (University of Utrecht, Netherlands), Agnes Moors (Catholic University of Leuven, Belgium), Elisabeth Pacherie (Institut Jean Nicod, France)

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

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

The conference promotes the study of C. S. Peirce's logic and philosophy in China by international and Chinese scholars.

Agent-based models (ABM) are a recent tool in philosophy and the social sciences. To date, ABMs have been applied to a wide variety of topics ranging from simulating ecological systems to highly idealized models of opinion dynamics or emerging social norms. This workshop aims to bring together different approaches to ABM in philosophy and the social sciences. The objective is to represent the wide spectrum of applications of ABM and encourage exchange between various approaches. A further objective is to foster discussion about the nature of ABMs and the opportunities and potential pitfalls of their use in these disciplines.

The conference features talks by invited speakers Catarina Dutilh Novaes (Groningen) and Stephen Read (St Andrews).

It will also include submitted talks on the following topics: - the bounds of logic and the bounds of rationality
- criteria of formality, logical hylomorphism, the invariance under isomorphism as a criterion of formality
- psychologism and anti-psychologism
- limits of classical logic, logical monism and logical pluralism, universal logic
- logic as a theory of agency, ideal and non-ideal logical agents
- logic as metaphysics, the connection between epistemic logic and epistemology
- Wittgenstein and the limits of logic
- logical form and linguistic form, the problem of ontological commitment

For more information, see https://sites.google.com/site/hselogic2016/ or contact Anastasiya Yastrebtseva ( ayastrebtseva at gmail.com or Vitaliy Dolgorukov (v.dolgorukov at gmail.com).

TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.

For more information, see http://time2016.compute.dtu.dk or email the organizers at time2016 at compute.dtu.dk.

The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternatives, such as combining category-theoretic structural methods with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice.

SLSP is a yearly conference series aimed at promoting and displaying excellent 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 and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

For more information, see http://grammars.grlmc.com/SLSP2016/ or contact florentinalilica.voicu at urv.cat.

The two traditions defining contemporary thought on the topic of logicality are the proof theoretic and the semantic traditions. The difference is not merely the different mathematical tools they employ in studying logical consequence: there are deep philosophical questions involved, having to do with the relation between language, meaning and truth. The aim of this workshop is to promote a dialogue between people working in these two traditions, for the benefit of both, and with the hope of gaining a wide perspective on the issues concerned with logicality.

For more information, see here.

Ruhr-University Bochum is hosting the interdisciplinary workshop "Rational animals? Comparing human and animal minds from an interdisciplinary perspective". The workshop will offer three keynote lectures and will be organized in four symposia, each tackling one core aspect of comparative cognition research from both philosophical and empirical perspective.

The four symposia are
a) cultural evolution & social learning,
b) causal understanding and means-end reasoning,
c) theory of mind, and
d) the anthropological difference.

For more information, see http://www.rub.de/philosophy/rationalanimals

Since its birth, logic has been concerned with the study of correct reasonings or, more specifically, of proofs. A proof should have the epistemic power to provide us with justification for the judgement or assertion which it ends with. This power is, from a different point of view, the power to compel one to accept the conclusion of the proof. Which forms of reasoning can be said to have such power? And above all, how can they exert an epistemic power of compulsion?

According to Descartes, a correct reasoning is nothing but a chain of valid inferences. The epistemic power of proofs should therefore depend on the epistemic power of valid inferences. The problem then becomes: what is a (valid) inference? And why do valid inferences have an epistemic force? These questions, far from being psychological in nature, rather involve epistemology, logic and mathematics.

TOPOI invites submissions to the special issue "Inferences and proofs", edited by Gabriella Crocco  and Antonio Piccolomini d'Aragona. Main areas of interest: Dag Prawitz's proof-theoretic semantics and recent theory of grounds, Per Martin-Löf intuitionistic type theory, Category theory, Contextual approaches to epistemic issues, and Kurt Gödel's notion of absolute proof.

Eris: VU journal for humanities is seeking papers for its first issue. We are looking for articles, essays and book reviews concerning ‘War and Peace’. All contributions from humanity students and employees are considered for publication. Articles should be between 2000 and 5000 words in English or Dutch. Creative interpretations of the theme ‘War and Peace’ are encouraged.

KI 2016 is the 39th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2016 will comprise paper and poster presentations and a variety of workshops and tutorials.

KI 2016 is co-located with Informatik 2016 (Annual Conference of the German Informatics Society) and MATES 2016 (The 14th German Conference on Multi-Agent System Technologies).

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

The last thirty years have witnessed a veritable explosion of the philosophical debate on truth. The touchpaper which lit the fuse for this was undoubtedly the Deflationist Renaissance (half a century after the seminal work of Ramsey) that took place starting from the Seventies. By arguing on the merits and shortcomings of deflationism, philosophers have come to broaden and deepen the discussion on truth even beyond the boundaries of deflationism itself.

The aim of the conference is to bring together researchers working on truth, both advocates and critics of deflationary conceptions, in order to take stock of deflationism about truth and of its implications in fields such as metaphysics, logics, epistemology, meta-ethics.

For more information, see here or contact Marco Marongiu at mmarongiu at uniss.it.

The conference will bring together researchers who are working with imperfect information in fields such as artificial intelligence, databases, data mining, information retrieval, and risk analysis with the aim of fostering collaboration and cross-fertilization of ideas from different communities.

For more information, see http://sum2016.unice.fr/.

Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.

For more information, see http://www.sendailogic.com/CTFM2016/

The 10th Workshop on Reachability Problems is aimed at gathering together scholars from diverse disciplines interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification.

Invited Speakers: Alain Finkel (ENS de Cachan, France), Axel Legay (INRIA, Rennes Cedex, France) and Jaco van de Pol (Twente, the Netherlands).

In addition to regular papers that will appear in our LNCS proceedings, we invite researchers to apply to give a presentation at RP'16 without an accompanying paper. Such presentations can be based on work that has appeared (or which is going to appear) in the proceedings of another conference, or which has not yet been submitted. Deadline for abstract submission: August 1st, 2016.

For more information, see http://rp16.cs.aau.dk/

This workshop will address the question, what brings us from basic cognition to the practice of mathematics, gathering together scholars from different disciplines with the aim to develop common points of view. The focus will be, primarily, on what separates mathematics properly speaking from basic cognition, and which cognitive ingredients may act as *bridges* between both.

The invited speakers are: Valeria Giardino (CNRS/Archives Poincaré Nancy), Rafael Núñez (UC San Diego), and Dirk Schlimm (McGill Univ.).

For more information, see here.

The conference brings together researchers from various fields of logic with applications in computer science. In addition to contributed lectures, student sessions will be organized.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2016>

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 symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization.

Invited speakers include Luca Bertolussi (Trieste, Italy), Joanna Golinska-Pilarek (Warsaw, Poland) and Arnaud Sangnier (Paris Diderot, France)

For more information, see http://gandalf2016.dmi.unict.it

The conference is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, and computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE's strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired in, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods.

For more information, see http://www.cle.unicamp.br/trendsxvi/

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Machine Translation, Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

The TSD 2016 conference will be accompanied by a one-day satellite workshop "Community-based Building of Language Resources" (CBBLR). The main topic of the workshop is directed at building new language resources, especially for languages with no or too little existing language resources.

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

There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

For more information, see https://www.fedcsis.org/2016/airim

The Colloquium Logicum is the biannual meeting of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung in den exakten Wissenschaftgen (DVMLG).

This year, the Colloquium takes place in Hamburg, Germany and is organized by Alexander Block, Yurii Khomskii and Benedikt Löwe. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

For more information, see http://www.math.uni-hamburg.de/spag/ml/CL2016/ or contact us by email at cl2016.math at lists.uni-hamburg.de.

The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning rule-based systems, and their applications in reasoning about web data.

For more information, see http://www.abdn.ac.uk/events/rr-2016/rr2016/.

CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics, with a special focus on Bulgarian (including multilingual work).

This year, our invited speaker will be Dr. Preslav Nakov from the Qatar Computing Research Institute. He will give a lecture on: Exposing Paid Opinion Manipulation Trolls in News Community Forums

For more information, see http://dcl.bas.bg/clib/ or email clib2016 at dcl.bas.bg.

SOPhiA 2016 is a public confererence organised by the University of Salzburg's Department of Philosophy (Humanities), where philosophy students (pre-doc) can give presentations and discuss problems of all areas of philosophy. A thematical focus is not intended. The presentations should rather set themselves apart by a methodical limitation to the tradition of Analytic Philosophy by usage of clear language and comprehensible arguments.

The conference is meant to be a unified effort of the conference attendees to clearly formulate some of the problems of philosophy and to provide a critical assessment of them. No individual philosopher is expected to construct "a whole building of philosophy" all by herself; rather, the conference hosts expect everyone, as Carnap proposes, to bring the undertaking forward "at his specific place within" philosophy.

For more information see https://www.sbg.ac.at/sophia/SOPhiA/2016/ or contact organization at sophia-conference.org.

HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.

The conference itself is three days long (Sept. 7-9) and it is preceeded by the Highlights tutorial day (Sept. 6). Representative areas include, but are not restricted to: logic and finite model theory, automata theory, games for logic and verification. The contributed talks are around ten minutes. Ideally, they let participants learn something new, and enable them to understand the objective/problem/question and the result, and to get an idea of the technique.

Detailed information about Highlights 2016 are available at http://highlights-conference.org.

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Intuitionistic, many-valued, linear logics, are typical examples. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This open conference is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

For more information, see http://sysmics-16.iiia.csic.es/

Every other year, a distinguished philosopher visits Tilburg University and the Tilburg Center for Logic, Ethics and Philosophy of Science to present the René Descartes Lectures. This year's René Descartes Lecturer is Professor Heather Douglas (University of Waterloo). Professor Douglas will deliver three lectures on the topic 'Science, Values and Democracy', each of which will be commented on by two renowned scholars. Parallel to the lectures, we host a workshop on the same topic.

The lectures will explore the relationships among science, values, and expertise in modern democratic societies. Science, although the best way to gain rich empirical knowledge, cannot be considered value-free. As such, scientists' role in public discourse and in advisory roles is more complex than simply giving us 'the facts.' In democratic societies, we must confront questions of how to make science advising appropriately accountable in our political systems, while protecting scientists from pressures which would damage the integrity of their advice. In the public discourse, citizens have more roles to play than simply being passive receivers of scientific information. This means we need to articulate these roles and create avenues for exercising them. Because of the need for values in science and because this opens science to new modes of engagement and criticism, we need to think through our institutional structures to ensure that the normative demands of good science and good governance can both be met.

For more information visit https://descarteslectures2016.wordpress.com/

The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from term rewriting and from the different programming language communities. The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The event is held as part of CLA 2016

For more information, see http://cl-informatik.uibk.ac.at/events/wst-2016/

In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.

Poznan Reasoning Week, consisting of three conferences, aims at bringing together experts from various fields, whose research focus on reasoning processes and their modelling from three perspectives:
1. the interplay of logic and cognition (Logic and Cognition 2016);
2. formal modelling of reasoning and argumentation (14th ArgDiap);
3. natural question processing (QuestPro 2016).

For more information, see https://poznanreasoningweek.wordpress.com/

The conference is aimed to serve as a forum for the effective exchange of novel results and the survey of works in the widely understood non-classical logics and their applications.

For more information, see http://filozof.uni.lodz.pl/ncl

The "Entia et Nomina" series features English language workshops for young researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among young philosophers with a formal bent from various research groups. The sixth workshop in the series will take place from 5 to 9 September in Warsaw, Poland.

For more information, see https://entiaetnomina2016.wordpress.com/ or here, or contact mtgodziszewski at gmail.com.

Inductive Logic Programming (ILP) is a subfield of machine learning, which uses logic programming as a uniform representation technique for examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining. The ILP conference series, started in 1991, is the premier international forum for learning from structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.

For more information, see http://ilp16.doc.ic.ac.uk

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in: implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.

The programme will consist of invited lectures as well as contributed talks selected by the Programme Committee. Invited speakers: Anupam Das (Lyon), Hugo Férée (Darmstadt), Yevgeny Kazakov (Ulm) and Emanuel Kieronski (Wroclaw).

For more information, see http://lcc2016.cs.unibo.it/

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2016 is the 11th conference in the series.

For more information, see http://phil.elte.hu/aiml2016/. Further enquiries should be directed to the PC co-chairs, sent to aiml16 at easychair.org.

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI.

Accordingly, in this workshop, we will be interested in two main issues:
- How can FCA support AI activities such as knowledge processing, learning, natural language processing and information retrieval.
- How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain.

For more information, see http://www.fca4ai.hse.ru/2016

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

Three affiliated workshops will be held as co-located events in the days following the conference: LCC'16: Logic and Computational Complexity 2016 (September 2 and 3)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2 and 3)

For more information see http://csl16.lif.univ-mrs.fr/

The biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier venue for presenting scientific results in AI. Supported by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI 2016 will feature several other events. Special topic for ECAI 2016 is 'Artificial Intelligence for Human Values'.

For more information, see http://www.ecai2016.org/ or email contact at ecai2016.org.

Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.

It turns out that everyday reasoning usually shows two salient intertwined aspects, the ampliative aspect (augmenting reasoning by allowing more conclusions) and the defeasible aspect (curtailing reasoning by disregarding or disallowing some conclusions). Several efforts have been put into the study and definition of formalisms within which these aspects could adequately be captured at different levels, but despite the progress that has been achieved, a large avenue remains open for exploration.

DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.

For more information, see http://dare2016.yolasite.com or send enquiries to dare.to.contact.us at gmail.com.

Normative systems are complex systems which use normative concepts in order to describe or specify their behaviour. A normative multi-agent system combines models for normative systems (dealing for example with conventions, or obligations) with models for multi-agent systems (dealing with coordination between individual agents). Norms have been proposed in multi-agent systems and computer science to deal with issues of coordination, security, electronic commerce, electronic institutions and agent organization.

Due to the lack of a unified theory, many researchers are presently developing their own ad hoc concepts and applications. The aim of this workshop is to stimulate interdisciplinary research on normative concepts and their applications.

For more information, please contact the organizers, or refer to the homepage at http://icr.uni.lu/normas/.

MFCS is a well-established venue for presenting high-quality research from various branches of theoretical computer science. The conference provides a platform for researchers interested in different aspects of theoretical computer science to interact, exchange ideas, and present their work.

The conference will have invited talks from Shai Ben-David (Waterloo, Canada), Mikołaj Bojańczyk (Warsaw, Poland), Patricia Bouyer-Decitre (LSV, CNRS & ENS Cachan, France), Tobias Friedrich (Hasso Plattner Institute, Potsdam, Germany) and Virginia Vassilevska Williams (Stanford, USA). EATCS sponsors a best paper award and a best student paper award.

For more information, see http://mfcs.ki.agh.edu.pl/

FG-2016 is the 20th conference on Formal Grammar, to be held in conjunction with the 28th European Summer School in Logic, Language and Information, which takes place in 2016 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

For more information, see http://fg.phil.hhu.de/2016/

The targeted audience for this ESSLLI-2016 workshop are researchers associated with fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence, as well as researchers coming from application areas, like computer-aided innovation (CAI). Also, in 2016 especially researchers working on logical methods related to creativity, concept formation, and conceptual change are invited to submit original research contributions or opinion papers to the workshop.

For more information, see http://c3gi.inf.unibz.it/

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 twenty-third WoLLIC will be held at the Department of Computer Science, Benemérita Universidad Autónoma de Puebla, México, from August 16th to 19th, 2016.

It 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), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://www.wollic.cs.buap.mx/

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

There will be 45 courses at foundational, introductory, and advanced levels, as well as 3 workshops, invited lectures and a student session to foster interdisciplinary discussion of current research. Moreover, the school features 3 satellite events: the COMPOSES workshop, the 21st Conference on Formal Grammar (FG 2016), and the Computational Creativity, Concept Invention, and General Intelligence (C3GI) Workshop.

Deadline for registration: 31 July 2016 (early registration: 31 May 2016). For more information, see http://esslli2016.unibz.it/.

The ESSLLI 2016 Student Session will be held during ESSLLI 2016 at the Free University of Bozen-Bolzano, Italy, between the dates of August 15-26, 2016. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation.

We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters . This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.

Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.

Submission deadline: March 10, 2016. Detailed guidelines regarding submission can be found on the Student Session website: http://www2.sfs.uni-tuebingen.de/esslli-stus-2016/. Please direct inquiries about submission procedures or other matters relating to the Student Session to marisa.koellner at uni-tuebingen.de and rziai at sfs.uni-tuebingen.de.

We are pleased to announce that SIGLEX and SIGSEM, special interest groups of the ACL, are organizing the fifth joint conference on lexical and computational semantics: *SEM (pronounced "starsem"). This time *SEM will be colocated with ACL-2016 in Berlin, Germany.

*SEM brings together researchers interested in the semantics of natural languages and its computational modeling. The conference embraces symbolic and probabilistic approaches, and everything in between; theoretical contributions as well as practical applications are welcome. The long-term goal of *SEM is to provide a stable forum for the growing number of NLP researchers working on all aspects of semantics.

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

The LaTeCH workshop series aims to provide a forum for researchers who are working on developing novel information technology for improved information access to data from the Humanities, Social Sciences, and Cultural Heritage. Since the formation of SIGHUM (ACL Special Interest Group on Language Technologies for the Socio-Economic Sciences and Humanities), the LaTeCH workshop is also the venue for the SIGHUM annual research and business meeting. LaTeCH 2016 is to be held in conjunction with ACL 2016.

In the Humanities, Social Sciences, and Cultural Heritage communities there is increasing interest in and demand for NLP methods for semantic annotation, intelligent linking, discovery, querying, cleaning, and visualization of both primary and secondary data. These domains of application entail new challenges for NLP research. For this reason, it is of mutual benefit that NLP experts, data specialists, and digital humanities researchers working in and across these domains get involved in the Computational Linguistics community and present their fundamental or applied research results.

For more information, see https://sighum.wordpress.com/events/latech-2016/ or contact the Co-Chair, Nils Reiter at nils.reiter at ims.uni-stuttgart.de.

The Logic Colloquium 2016, organized under the auspices of the Association for Symbolic Logic, will feature 12 plenary speakers, as well as 2 tutorials and 6 special sessions. The twenty-seventh annual Gödel Lecture will be delivered by S. Todorcevic.

For more information, see http://www.lc2016.leeds.ac.uk/

The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.

For more information, see http://www.mfoi.eu/conf2016/

This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.

For more information, see http://www.uc.pt/en/congressos/thedu/thedu16

The interplay of logic and argumentation has a long history, from (at least) Aristotle to very recent knowledge representation and reasoning and formalization of argumentation in artificial intelligence. This is a highly interdisciplinary research field, involving researchers from several fields including logic, philosophy, computer science, artificial intelligence, and law.

In order to facilitate further cross-fertilization, Journal of Applied Non-Classical Logics invites contributions to a special issue on Logic and Argumentation. We welcome submissions of original research in either area, and particularly encourage submissions in the intersection between the two. The special issue is a follow-up to the First Chinese Conference on Logic and Argumentation that took place at Zhejiang University in May 2016.

Manuscript submission deadline: 15 November, 2016. For more information, see here or http://www.edmgr.com/tncl/.

JerSem will be the 20th 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 2016 the workshop will be hosted by the Rutgers University Center for Cognitive Science, at its downtown New Brunswick Campus, approximately one hour from New York City. The workshop is timed to immediately follow IJCAI 2016 in New York City, and will be collocated at Rutgers with NASSLLI, the North American Summer School in Logic, Language and Information.

The workshop will feature a special session on Questions Under Discussion, focusing on the role of discourse purposes in utterance interpretation and dialogue structure, and their reflection in utterance form.

For more information, see http://semantics.rutgers.edu/jersem/

AI research continues to face huge challenges in developping truly intelligent systems. Recent developments in neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. The workshops in the NeSy series are intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

Keynote speakers are Leon Bottou (Facebook AI Research, U.S.A.) and Gary Marcus (New York University & Geometric Intelligence Inc., U.S.A.). NeSy'16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016.

For more information, see http://www.neural-symbolic.org/NeSy16/ or contact TarekRichard.Besold at unibz.it.

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 scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.

The workshop series, Computational Models of Narrative (CMN) is dedicated to advancing the computationally grounded scientific study of narrative. Narrative provides a model for organizing and communicating experience, knowledge, and culture. This interdisciplinary workshop aims to provide an appropriate venue for papers addressing fundamental topics and questions regarding narrative.

The workshop will have a special focus on how the computational modeling, analysis, or generation of narrative has affected approaches in the humanities for studying and generating narrative in or across textual, aural, or visual media.

CMN 2016 is a satellite workshop symposium of The Digital Humanities 2016 (DH 2016)

For more information, see http://narrative.csail.mit.edu/cmn16/

Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.

One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.

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

Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.

NLCS'16 is affiliated with Logic in Computer Science 2016.

For more information, see http://www.indiana.edu/~iulg/nlcs.html

Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.

This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.

For more information, see http://ratiolog.uni-koblenz.de/bridging2016

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic, and philosophy working on formal approaches to rational individual and group decision making. This is the first DGL to be held in North America.

For more information, see http://www-personal.umich.edu/~skaron/dgl/

Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete compared to NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF. Considerable progress has been made in the theory and practice of QBF solving throughout the past years.

The goal of the International Workshop on Quantified Boolean Formulas (and Beyond) is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the state of the art in research and to consolidate on immediate and long-term challenges. As the efforts of extending languages with quantifiers have not only been made for propositional logic in terms of QBFs, but in many other formalism like Constraint Satisfaction Problem (CSP) and Satisfiability Modulo Theories (SMT), QBF 2016 also targets researchers working in these related fields in order to exchange experiences and ideas.

For more information, see http://fmv.jku.at/qbf16/

CiE 2016 is the twelfth 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 2016's Motto is: "Pursuit of the Universal". The year 2016 brings the eightieth anniversary of the publication of Alan Turing's seminal paper featuring the Universal Turing Machine. Just as the semantics of the machine gave rise to Incomputability, and pointed to future directions in proof theory, AI, generalised computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honours Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines.

For more information, see http://lipn.univ-paris13.fr/CIE2016/

One major challenge throughout the history of programming is the development of an interface between humans, software and hardware. It has been the task of the so-called operating system to: maintain a file system; regulate access to resources; synchronize operations; etc. Today, Operating Systems are usually equipped with Graphical User interfaces (GUI) designed to give the 'user' a 'friendly' experience thus hiding – and sometimes even rendering inaccessible – much of the underlying structure and features of the computing machinery. The aim of the current symposium is to offer an opportunity for historical and philosophical reflection on operating systems and the programs they coordinate.

Our approach is interdisciplinarity and openness towards different fields relevant to HaPoC. We were and are strongly convinced that such trans- and interdisciplinarity is necessary if one wants to reflect on a discipline such as computer science with its multidimensional nature. The current symposium will be organized in a similar manner and invites researchers coming from a diversity of backgrounds, including historians, philosophers, logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically that of operating systems.

For more information, see http://hapoc.org/hapop3

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area.

For more information, see http://fscdconference.org/ and http://fscd2016.dcc.fc.up.pt/ or email fscd2016 at dcc.fc.up.pt.

Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field.

For more information see http://www.salford.ac.uk/conferencing-at-salford/conference-management/

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2016/

The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2016/

The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS)
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

For more information, see http://automata2016.ini.uzh.ch/

The conference covers a broad spectrum of disciplines working towards enabling intelligent systems to interact with humans using natural language, to understanding computational and other linguistic properties of language, and to enhancing human-human communication through services such as speech recognition, automatic translation, information retrieval, text summarization, and information extraction

For more information see http://naacl.org/naacl-hlt-2016/

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science.

Distinguished opening lecture: Herbert Edelsbrunner (IST, Austria) Invited Speakers include Christos H. Papadimitriou (Berkeley, USA), Orna Kupferman (Hebrew University, Israel), Virginia Vassilevska Williams (Stanford, USA) and Vladimir Kolmogorov (IST, Austria).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2016
Email: csr2016info at gmail.com.

The LMP Graduate Student Conference is a graduate student conference in philosophy at Western University in London, Ontario, Canada. LMP will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. James Ladyman (University of Bristol) will be giving the keynote address.

For more information, see http://logicmathphysics.ca. Please send questions to the LMP Conference Committee at uwolmp at gmail.com.

Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions.

The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.

For more information, see http://2016.discotec.org/ice2016

QPL is a workshop that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.

For more information see http://qpl2016.cis.strath.ac.uk/

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the sixth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

This special issue initiates Philosophy and Technology's new subject area on logic and technology by proposing to explore how our thinking about logic can be shaped by our thinking about technology. This includes, first and foremost, the suggestion that we can see logic as a technology itself. A general header under which we can study logics as technologies starts from the insight that logical systems and theories are (pick your preferred term) developed, engineered or designed, and are often so with a particular application in mind. Many of their properties are best seen as the result of design or modelling decisions.

We welcome papers that explore the potential connections between logic and technology, and further develop fruitful ways of technological thinking about logic. Deadline for submission (extended): 15 June 2016.

For more information, see here or contact Patrick Allo at patrick.allo at oii.ox.ac.uk.

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.

For more information, see http://sis.smu.edu.sg/aamas2016

PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.

The program will involve five tutorials by established researchers in different fields as well as short presentations by PhD students on their research.

Registration is open until April 30 2016. For more information, see www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/

We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.

Professors Mihir Kumar Chakraborty and Michele Friend are co-editing a special issue of the Journal of Indian Council of Philosophical Research (JICPR). This will be the first collection of edited papers on the subject of mathematical pluralism in the world.

"Pluralism" is an attitude. It means having a principled tolerance towards whatever it is one is pluralist about. The tolerance can be principled in different ways. One is that the pluralist might think that he or she can learn more, and not be led too far astray, by seriously employing or entertaining several: methodologies, theories, types of theory etc. A second reason is that on present evidence there is no good enough reason to be monist about: methodology, theory, type of theory, foundations and so on. A third reason is that one observes pluralism in the successful practice of mathematics. Finally, there are external reasons that also give rise to plurality: these stem from the society and culture in which mathematics is born. The traditions of Arabic, Chinese and Indian mathematics were different from the Greek.

This volume will track both kinds of plurality, internal as well as external and project pluralism in mathematics through representative articles. We shall accept papers on these, or related, themes. If you are not sure that your topic falls within "mathematical pluralism", you may send in an abstract for evaluation of relevance to Michele at gwu.edu or mihirc4 at gmail.com by 20 May. Regardless of whether you have sent in an abstract, papers are due 15 July 2016.

For more information, see here or http://www.springer.com/philosophy/journal/40961/PSE

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.

This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).

For more information, see http://dl2016.cs.uct.ac.za/

This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis.

Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.

For more information see http://hcvs2016.it.uu.se/

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

For more information, see http://grammars.grlmc.com/lata2016/ or contact florentinalilica.voicu at urv.cat

Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.

The main theme of this year’s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).

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

The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

For more information, see http://www.aslonline.org/asl_meetings.php

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/lfcs-2016/

The semantic content of natural language is multiply *situated*: Whether an utterance receives one interpretation or another depends on the *discourse situation* (in which the utterance takes place), on the *target situation* (which is described by the utterance), and on the interpreting agents' *informational situation* (which also contains the agents' background knowledge). Over the past decades, work on extralinguistic context-dependence has focused on discourse situations and target situations, and has paid less attention to the dependence of interpretation on the agents' informational situation. However, this kind of information-dependence plays a crucial role in the explanation of a number of semantic phenomena, including the behavior of epistemic/deontic modals and propositional attitude-sentences. This workshop aims to bring together linguists, philosophers, logicians, and cognitive and computer scientists to discuss the information-dependence of the semantic content of natural language. It covers all aspects of the interaction between situations, information, and semantic content, both theoretical and experimental.

WOLC'2016 is the 15th anniversary of the international conference on logic and cognition that was launched in canton in 2001. It is sponsored and organized by the Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications. Non-classical logics are the subject of a wide research area with a strong interdisciplinary vocation towards theoretical computer science and linguistics, but which has recently expanded its scope towards economics and the social and cognitive sciences. This conference will focus on the state-of-the-art of nonclassical logics, both concerning their theory and their applications.

For more information, see http://logic.sysu.edu.cn/wolc2016/ or email linzhe8 at mail.sysu.edu.cn.

Organized by the center for Logic, Language, and Cognition at the University of Turin.

Thursday will feature a Computer Science Colloquium, and talks by Jan van Eijck (Amsterdam) and Stephen Neale, (Graduate Center CUNY), followed by a wine and cheese reception and then a conference dinner at Vatan Indian Vegetarian.

Friday will feature talks by Sergei Artemov, Alessandra Carbone, Samir Chopra, Melvin Fitting, Konstantinos Georgatos, Larry Moss, Eric Pacuit, Laxmi Parida and Rohit Parikh.

This November marks 100 years since the birth of Christopher Strachey. We are holding a symposium to celebrate his life and research in Oxford on Saturday 19th November. There will also be an exhibition of material from the Strachey archive on Friday 18th November, followed by a banquet dinner at Hertford College on the evening of Friday 18th November.

For more information and to register for attendance, please go to http://www.cs.ox.ac.uk/strachey100/.

Much has been discussed lately about the relevance of formal logic (including probability theory) to the normativity of reasoning, as well as to the psychology of reasoning. Is it correct to diagnose human ratiocinative/argumentative performance as rational or irrational on the basis of claims about logical validity or consistency? Does the fact that we sometimes fail to comply to certain logical standards in an apparently rational way show that logic is irrelevant to the norms of thought? Following Harman (1986), one might reach the conclusion that logic is not specially relevant to reasoning after all. Or, maybe, logic is specially relevant to human reasoning -- but not in the way we initially thought. Relatedly, logic and probability theory are extensively used by psychologists to model and make predictions about inferential performances. The workshop is intended to foster investigation about these and related topics.

This workshop will focus on various logical aspects of branching time structures as a means to represent real possibilities. The workshop takes place on the occasion of the defense of Antje Rumberg's dissertation ,,Transitions toward a Semantics for Real Possibility".

The goal of the school is to give a structured introduction to the main concepts and results in linear logic. It will assume as prerequisites only basic knowledge of classical logic and of formal proof systems (sequent calculus or natural deduction). Its aim is to allow the attendees to understand for example: motivations and origins of linear logic; linear logic connectives; sequent calculus; proof-nets; semantics; relationships with intuitionistic and classical logic...

This school is mainly directed towards master's students, with a background in logic and philosophy, computer science or mathematics. It is also opened to PhD students and researchers who would like to learn about linear logic. The school is part of a more general four-day event, 'Linear Logic: interaction, proofs and computation' which will also include a workshop 'Linear logic and philosophy' (8 nov, afternoon, at University Lyon 3) and a workshop 'Linear logic, mathematics and computer science' (9-10 nov, at ENS Lyon).

The lectures will be given in english. More detailed information about the programme and the lecturers will be given on the web site. Deadline for registration: sept 30, 2016. For more information, see https://ll2016.sciencesconf.org/resource/page/id/1

Linear logic was introduced 30 years ago and has rapidly become a pivot point between mathematical logic and computer science. The present event aims to gather mathematicians, computer scientists and philosophers in order to foster interaction in research on linear logic.

Linear Logic 2016 will be a four-day meeting in Lyon, including three events:
- Autumn school on linear logic (Nov 7-8)
- Workshop 'Linear logic and philosophy' (Nov 8, afternoon)
- Workshop 'Linear logic, mathematics and computer science' (Nov 9-10).

This workshop brings together researchers active in logic and information dynamics. The upcoming installment will focus on novel formal approaches for information and its dynamics, such as topological, coalgebraic and proof-theoretic approaches. Workshop attendance is free of cost and everyone is welcome!

This is a satellite event of Lorentz Workshop: Logics, Decision and Interactions.

The Laboratory of Game Theory and Decision Making at HSE St. Petersburg will organise an autumn school on computational social choice and fair division. Lectures will be given by Hervé Moulin (Glasgow and HSE), Anna Bogomolnaia (Glasgow and HSE), Felix Brandt (Munich), William Thomson (Rochester), and Clemens Puppe (Karlsruhe). Participation is free, but registration is required.

Registration for the school is open until July 31, 2016. For more information, see http://scem.spb.hse.ru/en/ilgt/CSCFD.

Student support is available from the Association for Symbolic Logic for ASL student members upon application. Deadline for application: July 18th.

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

ALT-2016 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 19th International Conference on Discovery Science (DS 2016).

The invited speakers are Avrim Blum, Kristian Kersting, John Shawe-Taylor, Gábor Lugosi, and Gianluca Bontempi.

Early registration deadline: Sep 8, 2016. For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2016/

Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming.

Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming. It will consist of four half-day tutorials.

A number of scholarships for students that cover local expenses for the duration of the school are available. Deadline for application: July 24.

For more information, see http://iclp16school.webs.upv.es/

KNAW is organising a symposium on the AlphaGo computer that beat the strongest human Go-player by 4-1 earlier this year.

Note that only the first lecture in this workshop will be in English. The others in Dutch.

GPU computing touches some of today's hottest topics—from artificial intelligence and self-driving cars to supercomputing and virtual reality. This is a unique opportunity to learn from fellow experts, share your work, and explore how GPU technology can take your business, research or application to the next level.

For more information, see https://www.gputechconf.eu/.

The workshop is one of two main events of the research program on Large Cardinals and Strong Logics that will take place at the Centre de Recerca Matemàtica. The workshop is intended to provide an opportunity to learn about the recent exciting results on the connections between the theory of large cardinals and the model theory of strong logics and to serve as a springboard for future research. The Scientific Committee includes: J. Bagaria, M. Magidor, and J. Väänänen.

For more information, see http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/W1_LargeCardinals.aspx

This workshop is organised by COST Action IC1205 on Computational Social Choice as the final event of this European research network. It will showcase some of the results obtained during the four years in which the Action has been active and it will offer a glimpse at future research directions in the field. The programme will consist of invited talks, an open poster session, and a rump session. Everybody is welcome and registration is free of charge. Please register by 7 November 2016.

This workshop is the third in a series of workshops on generalized descriptive set theory (Amsterdam 2014, Hamburg 2015). It will feature two tutorials and two longer research talks by senior speakers and research talks by junior speakers. Moreover, we want to motivate participants to stay in Bonn on the day after the workshop, on which we will provide opportunities for research collaboration.

Confirmed senior speakers: David Asperó (Norwich), Sy David Friedman (Vienna), Benedikt Löwe (Amsterdam, Hamburg) and Luca Motto Ros (Turin)

The registration deadline is the 31st of May 2016. There is still some funding available to support travel and accommodation. For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2016/

A meeting in memory of Barry Cooper, who died last autumn, will be held In the School of Mathematics, University of Leeds, on Saturday September 17th 2016. All friends and former students of Barry's, as well as anyone interested in Mathematical Logic, is welcome to attend. The focus will be on Computability Theory, particularly with reference to Barry's work.

Barry was a central figure in the study of Computability Theory in the UK, and had a large number of research students and postdoctoral assistants. He was a founding member and president of the Association Computability in Europe (CiE). In recent years, he also achieved a high profile because of his work in promoting awareness of the Alan Turing Centenary.

The meeting will consist of 4 talks followed by a dinner in the evening, together with a jazz performance. (Barry was a founder and keen member of the Leeds Jazz Club).

Information on registration and further details of the meeting can be found at the webpage: http://www1.maths.leeds.ac.uk/~matcmh/barrycoopermeeting/

This is the annual meeting of the British Logic Colloquium. The scope of the event includes mathematical and philosophical logic as well as logic in computer science and applications of logic. The event will be preceded by the BLC PhD day, on 6th, and followed by a symposium in celebration of Gordon Plotkin's 70th Birthday (GDP70) on 9th September.

We anticipate that our programme will include contributed talks on a range of topics including proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics. We especially encourage students and early-career researchers to present their work.

For more information, see http://conferences.inf.ed.ac.uk/blc/

Over the years, the Semantic Web vision has been driving many community efforts which have invested a lot of resources in developing vocabularies and ontologies for annotating their resources semantically. Besides ontologies, rules have long been a central part of the Semantic Web framework and are available as one of its fundamental representation tools, with logic serving as a unifying foundation. Linked data is a related research area which studies how one can make RDF data available on the Web, and interconnect it with other data with the aim of increasing its value for everybody.

Many advanced capabilities required by Semantic Web and Linked Data application scenarios call for Reasoning. Thus, a perspective centered on the reasoning techniques complementing other research efforts in this area is desirable. This Summer School series is devoted to this perspective, and will give insight into the Semantic Web, Linked Data, Ontologies, Rules, and Logic.

The Reasoning Web Summer School 2016 is primarily intended for advanced undergraduate students, M.Sc. and Ph.D. students, postdoctoral researchers, and young researchers from industry. The Summer School will also be open to a limited number of senior researchers from other areas wishing to learn about Semantic Web, Linked Data and related issues. The number of participants is limited. Application deadline: TBA.

For more information, see http://www.abdn.ac.uk/events/rr-2016/rw-2016/.

Rationality is a key concept in psychology, philosophy, and neuroscience. A divide and conquer approach between these disciplines, however, has prevented them from benefitting from one another's progress. Typically, philosophers characterize what it means to be rational, psychologists empirically investigate where people's thinking conforms with and deviates from those norms of rationality, and cognitive neuroscientists investigate the neural correlates of rational thinking and decision-making.

The aim of the “International Rationality Summer Institute (IRSI)” is to overcome this division of labor and to provide a framework in which students can learn the state of research in the neighboring disciplines and discuss recent developments in the diverse areas of rationality research.

Application deadline is April 15, 2016. For more information, see http://irsi2016.de/

The International Social Ontology Society (ISOS) announces the program of its tenth conference. Collective Intentionality X is an interdisciplinary conference concerning collective intentionality in particular and social ontology more generally.

Keynote lectures and special symposia:
- Michael Bratman (Stanford University): Acting and Thinking Together
- Gunnar Björnsson (Umeâ University): Shared Responsibility<
- Toni Erskine (University of New South Wales): 'Coalitions of the Willing' and the Shared Responsibility to Protect
- Johanna Seibt (Aarhus University): Social Robotics - New Forms of Sociality, New Types of Responsibility?
- Henry Shue (Oxford): Rules and Exceptions in War
- Christopher Kutz (Berkeley), Michael Skerker (United States Naval Academy), Seumas Miller (Charles Sturt University): Special Panel on Collective Responsibility, War and Terrorism

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

This three-day meeeting focuses on *concepts and their applications* using the theory of Conceptual Spaces (CS), as introduced by Peter Gärdenfors (2000). It provides a geometric model for the representation of human conceptual knowledge that bridges the symbolic and the sub-conceptual levels of representation. The event is preceded by a one day workshop on 'Reasoning in CS; on 24 Aug 2016.

Attendance is free, however registration is required by 31 July 2016.

For more information, see the conference website on http://www.sh.se/csw16 or the workshop website at https://conceptualspaces360.wordpress.com/events/.

ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. The program committee accepted 27 regular papers and 5 rough diamonds this year. There will be invited talks by Viktor Kuncak (EPFL), Grant Olney Passmore (Aesthetic Integration and University of Cambridge) and Nikhil Swamy (Microsoft Research).

The following affiliated events will take place after the main conference:
- Coq Workshop 2016
- Isabelle Workshop 2016
- Mathematical Components, an Introduction

Up-to-date information and online registration can be found at https://itp2016.inria.fr/.

For more information, see http://esslli2016.unibz.it/?page_id=256

The traditional linguistic research asks what the meaning of linguistic expressions is. Newer approaches, however, draw attention to the question of how the meaning of natural language arises. The DGfS Summer School Mapping Meaning: Theory – Cognition – Variation would like to follow this new perspective by focusing on the dynamics and adaptivity of linguistic meaning. Taking up these key issues of the Collaborative Research Center 833 in Tübingen, the summer school aims at providing an inspiring forum for discussing the meaning constitution of natural language from theoretically and methodologically different points of view.

The Summer School is co-organized by the Deutsche Gesellschaft für Sprachwissenschaft (DGfS), the Collaborative Research Center 833 (SFB 833), the Research Training Group 1808 (GRK 1808) and the Forum Scientiarum in Tübingen.
Minimum Education Level: Advanced students (Ph.D. or M.A. level, advanced B.A. student)
Description:Renowned researchers from Germany, Europe and the United States will offer a total of 18 courses. The language of instruction will be English. The courses are assigned to three thematic areas – Theory, Cognition, and Variation.

For more information, see http://www.uni-tuebingen.de/forschung/forschungsschwerpunkte/

The end-of-project workshop of the Composes project will take place on Sunday August 14th 2016 in Bolzano (Italy), as a satellite event of ESSLLI 2016. The workshop will be an occasion to discuss some exciting topics in computational semantics, with some great invited speakers/panelists leading the discussion. We foresee a mixture of position statements by the invitees and audience participation in the form of open debates.

Speakers/Panelists: Nicholas Asher, Marco Baroni, Stephen Clark, Emmanuel Dupoux, Katrin Erk, Adele Goldberg, Alessandro Lenci, Hinrich Schütze and Jason Weston

Please visit the workshop website for information about (free) registration and for updates: http://clic.cimec.unitn.it/composes/workshop.html

A workshop on the model theory of finite and pseudofinite structures will be held at the University of Leeds (UK), from 27th to 29th July 2016. Some of the themes that will be touched on during the workshop are:
- asymptotic classes of finite structures, measurable structures, and generalisations;
- connections to homogeneous structures;
- finite and infinite permutation groups;
- zero-one laws.

For more information, see http://www.maths.leeds.ac.uk/fps

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 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent 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.

Early registration deadline (extended): 10 June 2016. For more information, see http://easss2016.dmi.unict.it/ or email easss2016 at dmi.unict.it.

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is March 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.

The summer school is organised by COST Action IC1205 on Computational Social Choice (http://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.

For more information, see http://tinyurl.com/comsoc-school-2016 or contact Ulle Endriss (ulle.endriss at uva.nl).

The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.

Funding is available for students and early postdocs.

For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).

Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.

Strategic reasoning is a key topic in the multi-agent systems research area. The literature in this field is extensive and includes a variety of logics used for reasoning about the strategic abilities of the agents in the system. Results stemming from this research have been used in a wide range of applications, including robotic teams endowed with adaptive strategies, and automatic players capable of beating expert human adversaries. A common feature in all these domains is the requirement for sound theoretical foundations and tools accounting for the strategies that agents may adopt in the presence of adversaries.

The SR international workshop series 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. SR 2016 is to be held as Satellite Workshop of LICS 2016

For more information, see https://sites.google.com/site/sr2016homepage/home or http://www.strategicreasoning.net/>.

Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, a complementary focus of ontological inquiry has gained significant momentum, fueled by the advent of complex information systems which rely on robust and coherent formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques, and their relations to cognition and reality are at the center of the modern discipline of formal ontology.

The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.

For more information, see http://iaoa.org/fois2016/

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.

Affiliated Workshops:
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.

Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The workshop is a satellite of Computability in Europe 2016, which will be held in Paris from June 27 to July 1, 2016.

For more information, see the workshop's website at http://wct.math.uconn.edu/wctghent/.

Non-classical logics -- such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic -- have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics.

The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications and describe example problems and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.

For more information, see http://iltp.de/ARQNL-2016/

The Australasian Association for Logic will hold its 2016 conference in Melbourne from June 30 to July 2. The keynote speaker is Dr. Sara L. Uckelman of Durham University. The conference venue is La Trobe City Campus, located in the middle of Melbourne's CBD. All are welcome to attend the conference, although there is a registration fee.

For more information and a programme, see http://blogs.unimelb.edu.au/logic/aal-2016/ or contact the conference organizers at aalmelb2016 at gmail.com.