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

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

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/

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/

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

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

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 more information, see http://www.illc.uva.nl/lgc/seminar

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

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

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 more information, see http://www.illc.uva.nl/lgc/seminar

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

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

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.illc.uva.nl/lgc/seminar

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

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

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

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

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

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

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/

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

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

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

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

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

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

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

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/

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

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