Learn about the upcoming Work Programmes 2016-2017 and how to successfully participate. Invited speakers are advisors from the National Contact Point for ICT, UvA grant advisor and experienced FP7 and H2020 participant.

15:00 Welcome and introduction Carolien Zijderveld (UvA, grant advisor) and Silvia Wissel (UvA, project manager)
15:10 Bert van Werkhoven and/or Ruben Wassink (advisors Rijksdienst voor Ondernemend Nederland-National Contact Point H2020 ICT) on Horizon2020 Lessons learned, News from ICT Lisbon and Draft WP's 2016-2017 ICT Leit, FET, RIs, eHealth
16:10 Experience from being reviewer to H2020 by Annette Dirac (UvA, grant advisor)
16:35 Experience from a coordinator's and partner's point of view Alfons Hoekstra (UvA, researcher, coordinator FET HPC ComPat project in H2020)
17:00 Borrel/Drinks

For more information, see Silvia Wissel (s.wissel at uva.nl) or Carolien Zijderveld (C.A.L.Zijderveld at uva.nl)

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at f.m.lauridsen at uva.nl or Julia Ilin at ilin.juli at gmail.com.

This talk is jointly organized by the LIRa seminar and the LogiCIC project. For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

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.

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

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

On Tuesday afternoon November 17th, Tejaswini Deoskar, a well-known researcher in the field of computational linguistics, will visit the ILLC. Tejaswini will give two lectures, one aimed especially on students and one research lecture on a topic to be announced.

The programme for her visit will be as follows.
15:00-15:40 Lecture
15:40-16:00 Tea
16:00-16:20 Research talk
After the lectures Tejaswini will be available for meetings with PhD students.

On Wednesday morning November 18th, Arianna Bisazza, a well-known researcher in the field of computational linguistics, will visit the ILLC. Arianna will give two lectures, one aimed especially on students and one research lecture on a topic to be announced.

The programme for her visit will be as follows.
10.00-10.40 Lecture
10:40-11:00 Coffee break
11:00-11:20 Research talk
After the lectures Arianna will be available for meetings with PhD students.

In deze editie gaat de BètaBreak het hebben over de wetenschap van muziek. Dissonanten, resonanten, boventonen, octaven; er zijn vele wiskundige en natuurkundige wetten te vinden in de muziek. Maar waarom vinden we dat eigenlijk mooi? Houden onze hersenen van wiskundige patronen? En hoe zit het met andere culturen, die weer andere toonverhoudingen waarderen?

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

On Wednesday afternoon November 18th, Asad Sayeed, a well-known researcher in the field of computational linguistics, will visit the ILLC. Asad will give two lectures, one aimed especially on students and one research lecture on a topic to be announced.

The programme for his visit will be as follows.
15:00-15:40 Lecture
15:40-16:00 Tea
16:00-16:20 Research talk
After the lectures Asad will be available for meetings with PhD students.

Enqvist: I present some recent joint work with Fatemeh Seifan and Yde Venema, in which we introduced monadic second-order logic interpreted on coalgebras. Our main results provided conditions under which the coalgebraic modal mu-calculus for a given functor is the bisimulation invariant fragment of the corresponding MSO language. The focus of the talk will be on some open problems related to this topic.

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

I will introduce the first-order languages L2 and Lt (from 'Topological model theory' by Flum and Ziegler), and the modal language Lm with derivative and counting operators. I will then illustrate original work which establishes the equivalence between Lt and Lm over T3 spaces, and that the result fails over T2 spaces. I will then present a recent axiomatisation of the Lm theory of the classes of all T3, T2, and T1 spaces. I will then discuss the open problem of proving that Lm enriched with only finitely many other modal operators is still less expressive than Lt over T2 spaces, and present some partial results. Finally, I will conclude by illustrating possible directions of future work.

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

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

Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).

For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rossel at uva.nl.

Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).

For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rossel at uva.nl.

We are inviting participants for the workshop "Projection in Discourse: from formal to data-driven approaches”, held on Friday November 27 at the University of Groningen, the Netherlands, on the occasion of Noortje Venhuizen's PhD defense. The aim of this workshop is to bring together current theoretical and empirical analyses of the behaviour of different types of projection phenomena, and their relation to other aspects of meaning. Besides several invited talks, the workshop will include a "data-driven" session, in which the participants are invited to collaborate on the analysis of real-life linguistic examples.

Attending the workshop is free, but we kindly ask you to register before Friday, November 20, via the registration form on the website.

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

The Newsroom is the regular OSL (Onderzoeksschool Literatuurwetenschap) PhD event for the discussion of seminal theoretical texts, research in progress and recent developments in literary studies. Each session is curated by a PhD student, this time by Corina Koolen. She will present her research on the role of gender in judgements of literary quality in the context of the project "The Riddle of Literary Quality". Dr. Saskia Pieterse (UU), as senior researcher, will reflect on the presentation.

The project "The Riddle of Literary Quality" is a research project of the Huygens Institute for the History of the Netherlands in collaboration with the Fryske Akademy and the Institute for Logic, Language and Computation (University of Amsterdam). It is led by Karina van Dalen-Oskam and Rens Bod.

For more information on the lecture and the project, see http://www.oslit.nl/ and http://literaryquality.huygens.knaw.nl/.

Different predicates give rise to different entailment patterns, both distributive and collective. Some predicates are ambiguous between distributive and collective readings. To complicate things further, in some cases two arguments of a predicate may be interpreted distributively: such readings are affected not only by the predicate, but also by the argument.

In this talk I present various entailment patterns which emerge as a result of properties of nominal expressions, and describe several attempts to derive these patterns in an algebraic (mereological) framework. Finally, I demonstrate where these analyses fail, and what may be a possible solution.

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

Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).

For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rossel at uva.nl.

Henkjan Honing will give a lecture at the Eureka Festival, the Festival of the Nationale Wetenschapsagenda. He will talk about Snowball (a white cockatoo who likes dancing to the Backstreet Boys), Ronan (a headbanging sea lion), and the question whether there is good music being made in the animal kingdom and whether they can dance or not.

For more information see http://www.eurekafestival.nl/ and http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/content5/2015/11/.