Institute for Logic, Language and Computation

Events

News and Events:
Upcoming Events

These pages provide information about recent developments at or relevant to the ILLC (last update: 23 May 2016). Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

Headlines Upcoming Events


Upcoming Events

  • (New) 26 May 2016, Cool Logic, Levin Hornischer and Stella Moon

    Speakers: Levin Hornischer and Stella Moon
    Title: Hamkins' proof that every function can be computable
    Date and time: Thursday 26 May 2016, 16:30
    Location: F1.15 Seminar Room, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD candidates

    Recently Joel D. Hamkins published a proof showing, intuitively speaking, that every function can be computable. That is to say, every function on the natural numbers, even those that are not computable, can be computed in some model of Peano arithmetic. (In fact, there even is an algorithm that works universally for all functions to compute them in some model).

    The aim of the talk is to present Hamkins' proof including all its necessary background. We end by mentioning some philosophical implications that have been drawn from this and similar results.

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

  • 27 May 2016, DIP Colloquium, Lavinia Picollo & Thomas Schindler

    Speakers: Lavinia Picollo (MCMP Munich) & Thomas Schindler (Cambridge)
    Title: The expressive function of truth
    Date and time: Friday 27 May 2016, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 27 May 2016, Logic and Interactive Rationality (LIRa), Hein Duijf

    Speaker: Hein Duijf
    Date and time: Friday 27 May 2016, 13:00-14:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 1-15 June 2016, LogiCIC/LIRa Seminar, Eric Pacuit

    Speaker: Eric Pacuit (Maryland)
    Title: Lecture Series "Neighborhood Semantics for Modal Logic"
    Date and time: 1-15 June 2016, 14:00-15:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • (New) 2 June 2016, BroadSem Kick-off Workshop

    Location: Nina van Leerzaal, Allard Pierson Museum, Oude Turfmarkt 129, Amsterdam

    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/

  • 2 June 2016, Information meeting: European consortium grants

    Date and time: Thursday 2 June 2016, 15:00-17:00
    Location: OMHP Room C3.23C, Oudemanhuispoort 4-6, Amsterdam

    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/

  • 3 June 2016, SMART Cognitive Science Lecture, Karin Kukkonen

    Speaker: Karin Kukkonen
    Title: Probability Designs: Literature and Predictive Processing
    Date and time: Friday 3 June 2016, 16:00-17:30
    Location: OMHP room F0.01, Oudemanhuispoort 4-6, Amsterdam

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

  • 3 June 2016, Dutch Social Choice Colloquium, Antoinette Baujard, Markus Brill, Harrie de Swart

    Speaker: Antoinette Baujard, Markus Brill, Harrie de Swart
    Date and time: Friday 3 June 2016, 14:00-17:30
    Location: Room C1-4, Theil Building, Campus Woudenstein, Erasmus University Rotterdam

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

  • (New) 7 June 2016, The musical brain: Beat, rhythm, and timing, Doelenzaal (C0.07), Singel 425, Amsterdam

    Date and time: Tuesday 7 June 2016, 14:00-17:00 h
    Costs: Free
    Homepage: www.fleurbouwer.nl/workshop

    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

  • 10 June 2016, APES Symposium with Lisa Herzog (Frankfurt) and Harold Kincaid (Cape Town)

    Date and time: Friday 10 June 2016, 10:30-13:00
    Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam

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

  • 17 June 2016, ILLC Midsummernight Colloquium 2016, Science Park 107, Amsterdam

    Date and time: Friday 17 June 2016, 16:00-17:30

    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/

  • 21-23 June 2016, Tutorial "Definability and Complexity of Counting Logics"

    Speaker: Anuj Dawar (Cambridge)
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    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 more information, please contact bloewe at science.uva.nl
  • 27 June 2016, Opening Vossius Center for the History of Humanities and Sciences

    Date and time: Monday 27 June 2016, 15:00-18:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 229 - 231, 1012 EZ Amsterdam

    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/

  • 28-29 June 2016, Workshop "Reasoning in Conceptual Spaces"

    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 1 July 2016, Talent Scheme Information Meeting (Veni, Vidi, Vici)

    Location: NWO Java building, Laan van Nieuw Oost-Indië 300, 2593 CE, The Hague

    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/

  • 26 November 2016, ILLC 25th anniversary symposium, Amsterdam, The Netherlands

    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. All are invited.

    Details to follow soon. For more information, contact illc at uva.nl

        Back to top of page