Institute for Logic, Language and Computation

Archives

News Archives 2016

This page provides information about former developments at ILLC . Please let us know if you have material that you would like to be added to the news page, by using the online submission form or sending an email to the ILLC Buro. English submissions strongly preferred.

Please note that links in this section to external sites are not kept updated.

Sections

  1. Past Events
  2. Calls for Papers
  3. Upcoming Conferences
  4. MoL and PhD defenses
  5. Projects and Awards
  6. Funding, Grants and Competitions
  7. Open Positions at ILLC
  8. Open Positions, General
  9. New Appointments
  10. Miscellaneous
  11. Regular Events

There are also pages for former news items and past events for 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 and 2015, and for current news of course.

Headlines Past Events

Headlines Calls for Papers

Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines New Appointments

Headlines Miscellaneous

Headlines Regular Events


Past Events

  • 24 May 2016, Training voor promovendi: Launch your Career

    Date and time: Tuesday 24 May 2016, 14:00
    Location: Science Park 107, Amsterdam

    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/

  • 20 May 2016, Cool Logic, Dan Frumin and Guillaume Massas

    Speakers: Dan Frumin and Guillaume Massas
    Title: The one and only diagonal argument
    Date and time: Friday 20 May 2016, 17:30-18:30
    Location: F1.15 ILLC seminar room, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD candidates

    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

  • 20 May 2016, Logic and Interactive Rationality (LIRa), Benjamin Icard & Markus Pfundstein

    Speakers: Benjamin Icard (Institut Jean Nicod, Paris) & Markus Pfundstein
    Title: The 'Surprise Deception Paradox': a conceptual and logical insight into veridical deception / A Framework for modelling knowledge about Wireless Sensor Networks using Dynamic Epistemic Logic
    Date and time: Friday 20 May 2016, 13:00-15:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 19 May 2016, Theoretical Computer Science Seminar, Steve Homer

    Speaker: Steve Homer (Boston U)
    Title: Automatically Scalable Computation
    Date and time: Thursday 19 May 2016, 16:00-17:00
    Location: CWI room L017, Science Park 123, Amsterdam

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7375 or contact Ronald de Wolf (rdewolf at cwi.nl)

  • 19 May 2016, AUC Logic Lectures, Jan van Eijck (CWI and ILLC)

    Speakers: Jan van Eijck (CWI and ILLC)
    Title: Logic and Action
    Date and time: Thursday 19 May 2016, 18:00-19:00
    Location: AUC common room, Science Park 113, Amsterdam

    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

  • 17 May 2016, Celebratory workshop on the occasion of Jouko Vaananen's retirement, Bungehuis room 0.04, Spuistraat 210, 1012 VT, Amsterdam

    Newsitem added on 3 April 2016.

    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/

  • 13 May 2016, SMART Cognitive Science Lecture, Jubin Abutelab

    Speaker: Jubin Abutelab
    Title: Neural Consequences of Bilingualism
    Date and time: Friday 13 May 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/

  • 13 May 2016, DIP Colloquium, Bjørn Jespersen

    Speaker: Bjørn Jespersen (Barcelona)
    Title: A critique of act theories of propositions and predication
    Date and time: Friday 13 May 2016, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 13 May 2016, LogiCIC/LIRa Seminar, Guido Bacciagaluppi

    Speaker: Guido Bacciagaluppi (Utrecht)
    Title: Von Neumann’s no-Hidden-Variables Theorem (and Hermann’s Critique)
    Date and time: Friday 13 May 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 13 May 2016, Studies of Mathematical and Logical Practice guest lecture, Anika Dreher

    Speaker: Anika Dreher (Kiel)
    Title: Teachers' professional knowledge and noticing: The case of multiple representations in the mathematics classroom
    Date and time: Friday 13 May 2016, 13:00-15:00
    Location: Room G2.13, Science Park 904, Amsterdam

    This is a guest lecture given as part of the course "Studies of Mathematical and Logical Practice". For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7276 or http://www.math.uni-hamburg.de/home/loewe/2015-16-II/SMLP.html.

  • 12 May 2016, Valedictory Lecture, Martin Stokhof

    Speaker: Martin Stokhof
    Title: "Iets met mensen": filosofische ervaringen
    Date and time: Thursday 12 May 2016, 15:00
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam

    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

  • 10 May 2016, Logic Tea, Robert White

    Speaker: Robert White
    Title: Robot Ethical Training with Dynamic Ethical Preference Logic
    Date and time: Tuesday 10 May 2016, 17:15-18:15
    Location: Room F1.15, Science Park 107, Amsterdam

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7338.

  • 4 May 2016, Algebra|Coalgebra Seminar, Tomáš Jakl (Charles University Prague, University of Birmingham)

    Speaker: Tomáš Jakl (Charles University Prague, University of Birmingham)
    Title: Bitopology and four-valued logic
    Date and time: Wednesday 4 May 2016, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 29 April 2016, Music Cognition Reading Group

    Title: Neural networks for beat perception in musical rhythm
    Date and time: Friday 29 April 2016, 15:00-16:30
    Location: Room A1.06, FNWI, Science Park 904, Amsterdam

    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/

  • 29 April 2016, LogiCIC/LIRa Seminar, Rohit Parikh

    Speaker: Rohit Parikh
    Title: Influencing behavior by influencing beliefs
    Date and time: Friday 29 April 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 28 April 2016, APES - Philosophy of Science Seminar, F.A. Muller

    Speakers: F.A. Muller (Erasmus and Utrecht University)
    Title: Structural Explanation: What It Could Be
    Date and time: Thursday 28 April 2016, 16:00-18:00
    Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam

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

  • 26 April 2016, Logic Tea, Philip Schulz

    Speaker: Philip Schulz
    Title: Doing Bayesian Inference
    Date and time: Tuesday 26 April 2016, 17:00-19:00
    Location: Room F1.15, Science Park 107, Amsterdam

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7308.

  • 22 April 2016, Logic and Interactive Rationality (LIRa), Rohit Parikh

    Speaker: Rohit Parikh
    Title: An Epistemic Generalization of Rationalizability
    Date and time: Friday 22 April 2016, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 22 April 2016, LogiCIC/LIRa Seminar, Jon Williamson

    Speaker: Jon Williamson
    Title: Inductive Logic for Automated Decision Making
    Date and time: Friday 22 April 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 22-25 April 2016, Celebratory events in honour of Albert Visser on the occasion of his retirement, Auditorium, University Hall, Utrecht University & Academiegebouw, Utrecht University

    Newsitem added on 3 April 2016.

    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/

  • 20 April 2016, Algebra|Coalgebra Seminar, Serafina Lapenta (University of Salerno)

    Speaker: Serafina Lapenta (University of Salerno)
    Title: MV-algebras and the Pierce-Birkhoff conjecture
    Date and time: Wednesday 20 April 2016, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 15 April 2016, Logic and Interactive Rationality (LIRa), Jeffrey M. Keisler

    Speaker: Jeffrey M. Keisler (UMass Boston)
    Title: Observing, reporting and deciding in networks of agents.
    Date and time: Friday 15 April 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 15 April 2016, DIP Colloquium, Donka Farkas

    Speaker: Donka Farkas (University of California, Santa Cruz)
    Title: The interpretation of declaratives and interrogatives: How semantics and conventions of use divide labor
    Date and time: Friday 15 April 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/.

  • 12 April 2016, Logic Tea, Luca Incurvati

    Speaker: Luca Incurvati
    Title: Is Negation in Denial?
    Date and time: Tuesday 12 April 2016, 17:00-18:00
    Location: Room F1.15, Science Park 107, Amsterdam

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7267.

  • 8 April 2016, Logic and Interactive Rationality (LIRa), Elias Tsakas

    Speaker: Elias Tsakas (Maastricht)
    Title: Reasonable doubt revisited
    Date and time: Friday 8 April 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 8 April 2016, Cool Logic, Bonan Zhao

    Speaker: Bonan Zhao (ILLC)
    Title: Paradoxes in Chinese Logic: Name, Category, and Argumentation
    Date and time: Friday 8 April 2016, 18:00-19:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 8 April 2016, ACLC Seminar, Naomi Feldman

    Speaker: Naomi Feldman
    Title: How phonetic learners should use their input
    Date and time: Friday 8 April 2016, 15:15-16:30
    Location: Rooim 4.04, PC Hoofthuis, Spuistraat 134, Amsterdam

    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/

  • 8 April 2016, Ace Venture Lab presentation

    Date and time: Friday 8 April 2016, 17:00-17:30
    Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam

    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/

  • 7 April 2016, APES - Philosophy of Science Seminar, Paul Roth

    Speaker: Paul Roth (California-Santa Cruz)
    Title: Evaluating Narrative Explanations
    Date and time: Thursday 7 April 2016, 16:00-18:00
    Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam

    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.

  • 5 April 2016, Computational Linguistics Seminar, Iacer Calixto

    Speaker: Iacer Calixto (Dublin)
    Title: Incorporating Translational Evidence in Multilingual and Multimodal Embeddings
    Date and time: Tuesday 5 April 2016, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 1 April 2016, Music Cognition Reading Group

    Title: Is birdsong like speech or like music?
    Date and time: Friday 1 April 2016, 14:30-16:00
    Location: Room F2.01, ILLC, Science Park 107, Amsterdam

    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/

  • 1 April 2016, ILLC Current Affairs Meeting, ILLC Common room (F1.21), Science Park 107, Amsterdam

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

    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

  • 1 April 2016, Logic and Interactive Rationality (LIRa), Nils Bulling

    Speaker: Nils Bulling (TU Delft)
    Title: Agents with Truly Perfect Recall
    Date and time: Friday 1 April 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 1 April 2016, Dutch Social Choice Colloquium

    Speaker: Hannu Nurmi, Ali Ihsan Ozkes, Daniele Porello
    Date and time: Friday 1 April 2016, 14:00-17:00
    Location: Belle van Zuylenzaal (C1.13), University Library, Singel 425, Amsterdam

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

  • 30 March 2016, Algebra|Coalgebra Seminar, Sam van Gool (City College of New York and ILLC)

    Speakers: Sam van Gool (City College of New York and ILLC)
    Date and time: Wednesday 30 March 2016, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 29 March 2016, CLClab Seminar, Willemijn van Woerkom

    Speaker: Willemijn van Woerkom
    Title: Modelling the Visual Number Sense Using a Deep Generative Neural Network
    Date and time: Tuesday 29 March 2016, 16:00-17:00
    Location: Room F3.20, Science Park 107, Amsterdam
    Supervisor: Willem Zuidema

    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, please contact rgalhama at uva.nl
  • 24 March 2016, Spinoza Lecture, Jonathan Lear

    Speaker: Jonathan Lear
    Title: The Unconscious and the Meaning of Life
    Date and time: Thursday 24 March 2016, 20:15-22:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam

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

  • 22 March 2016, Workshop on Logical Dynamics of Social Influence and Information Change

    Date and time: Tuesday 22 March 2016, 14:00-18:00
    Location: OMHP Room C1.23, Oudemanhuispoort 4-6, Amsterdam
    Costs: free

    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/

  • 22 March 2016, Cross-linguistic semantics (XLSX) colloquium, Matthias Passer (ACLC)

    Speaker: Matthias Passer (ACLC)
    Title: The Semanticity of Nominal Classification Devices: Introducing a Quantificational Account
    Date and time: Tuesday 22 March 2016, 14:00-15:30
    Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam

    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

  • 18 March 2016, SMART Cognitive Science Lecture, Niels Taatgen

    Speaker: Niels Taatgen (Groningen)
    Title: The Distracted Mind
    Date and time: Friday 18 March 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/

  • 18 March 2016, Logic and Interactive Rationality (LIRa), Yves Bouchard

    Speaker: Yves Bouchard (Sherbrooke)
    Title: Logic and Epistemic Contexts.
    Date and time: Friday 18 March 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 17 March 2016, Colloquium on Mathematical Logic, Matteo Acclavio

    Speaker: Matteo Acclavio
    Title: A proof of coherence for symmetric monoidal categories using rewriting
    Date and time: Thursday 17 March 2016, 15:30-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 16 March 2016, Algebra|Coalgebra Seminar, Mohamed Khaled (Central European University, Budapest)

    Speaker: Mohamed Khaled (Central European University, Budapest)
    Title: Investigations on Gödel's incompleteness properties for guarded fragment and other decidable versions of FOL
    Date and time: Wednesday 16 March 2016, 13:30-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 14 March 2016, AUC Logic Lectures, Sonja Smets

    Speaker: Sonja Smets
    Title: Quantum Logic in Action
    Date and time: Monday 14 March 2016, 18:00-19:00
    Location: AUC common room, Science Park 113, Amsterdam

    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

  • 11 March 2016, Logic and Interactive Rationality (LIRa), Jan van Eijck

    Speaker: Jan van Eijck (ILLC/CWI)
    Title: Modelling Legal Relations
    Date and time: Friday 11 March 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 11 March 2016, Cool Logic, Bastiaan van der Weij

    Speaker: Bastiaan van der Weij
    Title: Musical metre perception and predictive coding
    Date and time: Friday 11 March 2016, 17:30-18:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 11 March 2016, DIP Colloquium, Otávio Bueno

    Speaker: Otávio Bueno (Miami)
    Title: Identity's Fundamentality, Once Again
    Date and time: Friday 11 March 2016, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 10 March 2016, Spinoza Lecture, Jonathan Lear

    Speaker: Jonathan Lear
    Title: Ironic Anthropos
    Date and time: Thursday 10 March 2016, 20:15-22:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam

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

  • 10 March 2016, APES - Philosophy of Science Seminar, Ida Stamhuis

    Speaker: Ida Stamhuis (VU)
    Title: What Use is it in the Long Run to Resist Something that is Bound to Happen Anyway? Statistics at the Basis of 19th Century Politics
    Date and time: Thursday 10 March 2016, 16:00-18:00
    Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam

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

  • 9 March 2016, Algebra|Coalgebra Seminar, Almudena Colacito (ILLC)

    Speaker: Almudena Colacito (ILLC)
    Title: Subminimal Logics of Negation
    Date and time: Wednesday 9 March 2016, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 4 March 2016, Logic and Interactive Rationality (LIRa), Chenwei Shi

    Speaker: Chenwei Shi (ILLC)
    Title: Beliefs Supported by Arguments
    Date and time: Friday 4 March 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 1 March 2016, Logic Tea, Ellen Breitholtz

    Speaker: Ellen Breitholtz
    Title: Enthymemes in Dialogue - a micro-rhetorical perspective on conversation
    Date and time: Tuesday 1 March 2016, 17:00-18:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7208.

  • 26 February 2016, Cool Logic, Jonathan Sippel

    Speaker: Jonathan Sippel
    Title: The Impossibility of Scientific theories (and how we know things all the same)
    Date and time: Friday 26 February 2016, 17:30-18:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 26 February 2016, SMART Cognitive Science Lecture, Eugune S. Hunn

    Speaker: Eugune S. Hunn (University of Washington)
    Title: Ethnobiological Classification and Nomenclature: Cognitive aspects of an anthropological research program
    Date and time: Friday 26 February 2016, 16:00-17:30
    Location: OMHP Room F0.01, Oudemanhuispoort 4-6, Amsterdam

    For more information, see http://smartcs.humanities.uva.nl/news/

  • 26 February 2016, Logic and Interactive Rationality (LIRa), Jan Broersen

    Speaker: Jan Broersen (Utrecht)
    Title: Agents Necessitating Effects in Newtonian Time and Space: from Power and Opportunity to Effectivity
    Date and time: Friday 26 February 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 26 February 2016, Music Cognition Reading Group, Kjetil Vikene

    Speaker: Kjetil Vikene (University of Bergen)
    Title: Perception of complexity in musical rhythm in Parkinson's disease and healthy subjects
    Date and time: Friday 26 February 2016, 15:00-16:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 24 February 2016, Algebra|Coalgebra Seminar, Fateme Shirmohammadzade Maleki

    Speakers: Fateme Shirmohammadzade Maleki (Shahid Beheshti University, Tehran and ILLC)
    Title: Weak Subintuitionistic Logic
    Date and time: Wednesday 24 February 2016, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 19 February 2016, DIP Colloquium, Emanuel Rutten

    Speaker: Emanuel Rutten (VU Amsterdam)
    Title: There are No Positive Universally Held Contingent Properties
    Date and time: Friday 19 February 2016, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 19 February 2016, CLClab Seminar

    Title: Dehaene et al. (2015) The Neural Representation of Sequences: From Transition Probabilities to Algebraic Patterns and Linguistic Trees
    Date and time: Friday 19 February 2016, 17:00
    Location: Postdoc Room (F2.02), Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7188 or http://clclab.humanities.uva.nl/, or contact rgalhama at uva.nl.

  • 18 February 18 2016, In pictures: from quantum foundations to natural language meaning (this talk requires no background in physics, nor in linguistics, nor in fancy math!), Bob Coecke

    Speaker: Bob Coecke (Oxford)
    Date and time: Thursday 18 February 18 2016, 12:00-14:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 17 February 2016, Bèta Break

    Title: Bèta Break dedicated to L.E.J. Brouwer
    Date and time: Wednesday 17 February 2016, 12:00-13:00
    Location: Central hall, Science Park 904, Amsterdam

    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

  • 12 February 2016, LogiCIC/LIRa Seminar, Rahim Ramezanian

    Speaker: Rahim Ramezanian
    Title: Epistemic Protocols for Dynamic Gossip
    Date and time: Friday 12 February 2016, 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 12 February 2016, Cool Logic, Lucy van Oostveen

    Speaker: Lucy van Oostveen
    Title: Computational models of emotion regulation
    Date and time: Friday 12 February 2016, 17:30-18:30
    Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD candidates

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

  • 9 February 2016, FGw Information meeting NWO Free Competition

    Date and time: Tuesday 9 February 2016, 13:00-14:30
    Location: Bungehuis Room 0.04, Spuistraat 210, Amsterdam

    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)

  • 9 February 2016, Computational Linguistics Seminar

    Title: Ding et al. (2015): Cortical tracking of hierarchical linguistic structures in connected speech
    Date and time: Tuesday 9 February 2016, 16:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 9 February 2016, FGw Information meeting ERC Advanced grant

    Date and time: Tuesday 9 February 2016, 15:00-16:30
    Location: PC Hoofthuis room 5.19 , Spuistraat 134, Amsterdam

    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

  • 5 February 2016, Logic and Interactive Rationality (LIRa), Fan Yang

    Speaker: Fan Yang (TU Delft)
    Title: Dependence Logic and Arrow’s Theorem
    Date and time: Friday 5 February 2016, 13:00-14:30
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam

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

  • 29 January 2016, Amsterdam Brain & Cognition (ABC) Lecture, Steve Fleming

    Speaker: Steve Fleming (UCL)
    Title: The reflective mind: computations supporting metacognitive awareness
    Date and time: Friday 29 January 2016, 16:00
    Location: Room 5.01, Diamantbeurs, Weesperplein 4, Amsterdam

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

  • 29 January 2016, Cool Logic, Bartosz Wcisło

    Speaker: Bartosz Wcisło
    Title: Measuring the Content of Truth
    Date and time: Friday 29 January 2016, 17:30-18:30
    Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD candidates

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

  • 29 January 2016, SMART Cognitive Science Debate on Defining Cognition

    Date and time: Friday 29 January 2016, 16:00-17:30
    Location: OMHP Room F2.01C, Oudemanhuispoort 4-6, Amsterdam

    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/

  • 27 January 2016, Algebra|Coalgebra Seminar, Silvio Ghilardi (Università degli Studi di Milano)

    Speaker: Silvio Ghilardi (Università degli Studi di Milano)
    Title: Monadic second order logic as the model companion of temporal logici
    Date and time: Wednesday 27 January 2016, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 22 January 2016, Music Cognition Reading Group

    Title: Patel and Iversen
    Date and time: Friday 22 January 2016, 15:00-16:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    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/

  • 21 January 2016, LogiCIC/LIRa Seminar, Theo Kuipers

    Speaker: Theo Kuipers (Groningen)
    Title: Concretizations of two-sided nomic truth approximation: quantification, refinement, and stratification
    Date and time: Thursday 21 January 2016, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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

  • 15 January 2016, ILLC Midwinter Colloquium 2016, ILLC Common room, Science Park 107, Amsterdam

    Newsitem added on 4 November 2015.

    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/

Calls for Papers

  • 9-11 September 2016, 10th International Conference on Web Reasoning and Rule Systems (RR 2016), Aberdeen, Scotland, UK (deadline: 23 May 2016)

    Newsitem added on 28 February 2016.

    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.

    The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. There are two submission formats: Full papers (presenting original and significant research results) and Technical Communications (promising but possibly preliminary work, position papers, system descriptions, and applications descriptions). Deadline for title and abstract submission (extended): May 16, 2015.

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

  • (New) 21-23 September 2016, 10th International Conference on Scalable Uncertainty Management (SUM 2016), Nice, France (deadline: 22 May 2016)

    Newsitem added on 21 May 2016.

    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.

    We solicit papers on the management of large amounts or complex kinds of uncertain, incomplete, or inconsistent information. We are particularly interested in papers that focus on bridging gaps, for instance between different communities, between numerical and symbolic approaches, or between theory and practice. SUM 2016 solicits long papers (technical papers reporting original research or survey papers), short papers (papers reporting promising work-in-progress, system descriptions, position papers on controversial issues, or survey papers providing a synthesis of some current research trends). and extended abstracts of recently published work in a relevant journal or top-tier conference. Deadline for submissions: May 22, 2016 (extended)

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

  • 30 August - 2 September 2016, 11th International Conference on Advances in Modal Logic (AiML 2016), Budapest, Hungary (deadline: 20 May 2016)

    Newsitem added on 12 May 2016.

    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.

    Other than full papers (whose submission deadline has closed), AiML-2016 also invites submissions for short presentations, on all aspects of modal logic, intended for presentation at the conference but not for the published proceedings. These submissions may describe preliminary results, work in progress etc., and will be subject to light reviewing. Short presentations submission deadline: 20 May 2016.

    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.

  • 14-16 September 2016, Seventh International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016), Catania, Italy (deadline: 20 May 2016)

    Newsitem added on 7 April 2016.

    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)

    Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 20

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

  • 11-13 October 2016, 4th International Conference on Statistical Language and Speech Processing (SLSP 2016), Pilsen, Czech Republic (deadline: 17 May 2016)

    Newsitem added on 30 April 2016.

    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.

    The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Paper submission deadline: May 17, 2016 (23:59 CET)

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

  • 24-31 October 2016, 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016), Taipei, Taiwan (deadline: 16 May 2016)

    Newsitem added on 8 May 2016.

    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.

    We call for submissions, related to the above areas and topics, according to the following three categories:
    * Regular papers, with original research contributions;
    * Short papers, on recent work or proposals of emerging challenges;
    * Tool papers, on tools that support formal techniques for software modeling, system design and verification.
    Final paper submission deadline: 16 May, 2016.

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

  • 3-5 November 2016, Eighth French Philosophy of Mathematics Workshop (FPMW 8), Marseille, France (deadline: 15 May 2016)

    Newsitem added on 3 April 2016.

    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.

    Submissions of papers in any topic of philosophy of mathematics are welcome. The languages of the workshop are French and English. Younger scholars and graduate students working on their dissertations are encouraged to submit, as the workshop will provide them with an opportunity to discuss their work with internationally renowned experts in the field. Deadline for submission: May 15, 2016.

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

  • 5-7 September 2016, 5th René Descartes Lectures & Workshop: Science, Values and Democracy, Tilburg, The Netherlands (deadline: 15 May 2016)

    Newsitem added on 10 April 2016.

    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 this workshop, we invite submissions in the form of extended abstracts (up to 1000 words) by 15 May 2016.

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

  • 19-21 September 2016, 10th Workshop on Reachability Problems (RP 2016), Aalborg, Denmark (deadline: 13 May 2016)

    Newsitem added on 14 April 2016.

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

    Authors are invited to submit a draft of a full paper with at most 12 pages. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Submission deadline: 13 May 2016.

    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/

  • 26-30 September 2016, 39th German Conference on Artificial Intelligence (KI 2016), Klagenfurt, Austria (deadline: 13 May 2016)

    Newsitem added on 14 January 2016.

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

    The conference invites original research papers from all areas of AI research, both full technical papers and short technical communications. We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. Paper submission deadline: May 13, 2016.

    KI 2016 also invites proposals for workshops to be held in conjunction with the conference. There is no restriction regarding topics, as long as there is a clear relevance to KI. Proposal submission deadline: January 29, 2016.

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

  • 11-14 September 2016, 1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’16), Gdansk, Poland (deadline: 9 May 2016)

    Newsitem added on 21 April 2016.

    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.

    We welcome submissions of papers on the workshop topics, without limiting to them, across approaches, methods, theories, and applications. Paper submission (strict deadline): May 09 2016 23:59:59 pm HST.

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

  • 4 July 2016, 4th International Workshop on Quantified Boolean Formulas (and Beyond) (QBF 2016), Bordeaux, France (deadline: 8 May 2016)

    Newsitem added on 30 April 2016.

    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.

    We solicit paper submissions in the following categories: talk-only papers (presenting work that has been published already, novel unpublished work, or work in progress), full papers (describing novel, unpublished work, including work in progress) and short tutorial presentations (on topics related to the workshop). Deadline for submissions: 8 May 2016.

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

  • 25-29 July 2016, Mathematical Foundations of Informatics Conference, Chisinau, Moldova (deadline: 5 May 2016)

    Newsitem added on 18 February 2016.

    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.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 5, 2016.

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

  • 11 August 2016, 10th Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities (LaTeCH 2016), Berlin, Germany (deadline: 1 May 2016)

    Newsitem added on 21 April 2016.

    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.

    Authors are invited to submit papers on original, unpublished work in the topic areas of the workshop. In addition to long papers presenting completed work, we also invite short papers and system descriptions (demos). Short & long paper submission deadline: May 1st, 2016.

    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.

  • 7-9 September 2016, 7th Salzburg Conference for Young Analytic Philosophy 2016 (SOPhiA 2016), Salzburg, Austria (deadline: 1 May 2016)

    Newsitem added on 25 February 2016.

    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.

    Students and doctoral candidates (pre-doc) in philosophy are encouraged to submit an abstract (in English or German) prepared for double-blind review. Deadline for submissions: May 1, 2016.

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

  • 15-17 June 2016, 22nd International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2016), Zuerich, Switzerland (deadline: 1 May 2016)

    Newsitem added on 17 April 2016.

    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.

    Papers presenting original and unpublished research on all fundamental aspects of cellular automata and related discrete complex systems are sought. There are two categories of submission : full papers (submission now closed) and exploratory papers (submission deadline: May 1, 2016). The later submission deadline for exploratory papers allows quick reporting of recent discoveries, work -in-progress and/or partial results.

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

  • 5-9 September 2016, Syntax Meets Semantics (SYSMICS 2016), Barcelona, Spain (deadline: 30 April 2016)

    Newsitem added on 12 February 2016.

    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.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributed talks can be on any topic related to substructural logic. The Programme Committee accepts submissions of abstracts ranging from 2 to 4 pages. Deadline for submissions: 30 April 2016.

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

  • 22-27 May 2016, 6th Summer School on Formal Techniques (SSFT16), Atherton CA, U.S.A. (deadline: 30 April 2016)

    Newsitem added on 7 April 2016.

    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

  • 31 July - 6 August 2016, Logic Colloquium 2016 (LC 2016), Leeds, U.K. (deadline: 29 April 2016)

    Newsitem added on 14 January 2016.

    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.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 29th, 2016.

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

  • 27 June - 1 July 2016, Computability in Europe 2016 (CiE 2016), Paris, France (deadline: 23 April 2016)

    Newsitem added on 12 November 2015.

    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.

    The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to computability for presentation at the conference and inclusion in the proceedings. Papers that build bridges between different parts of the research community are particularly welcome. Submission deadline: 15 December 2015.

    In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and two pages) by the deadline April 23, 2016, via EasyChair, selecting the category "Informal Presentation".

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

  • 22-26 August 2016, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Krakow, Poland (deadline: 21 April 2016)

    Newsitem added on 14 April 2016.

    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.

    We invite submission of papers describing high-quality original research in all areas of theoretical computer science. Papers should not exceed 12 pages in LIPIcs style (excluding the references and an optional appendix). Abstract submission deadline: April 21st, 2016.

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

  • 16-18 July 2016, 20th Workshop on the Semantics and Pragmatics of Dialogue (Semdial 2016 / JerSem), Rutgers University, New Jersey, USA (deadline: 20 April 2016)

    Newsitem added on 21 February 2016.

    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.

    We invite submissions on all topics related to the semantics and pragmatics of dialogue. Full paper submission deadline: 20 April 2016. JerSem will also provide authors with an opportunity to submit 2-page late-breaking abstracts describing system demonstrations and poster presentations, with an anticipated deadline in early June.

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

  • 9 July 2016, Second Workshop on Bridging the gap between human and automated reasoning, New York NY, U.S.A. (deadline: 18 April 2016)

    Newsitem added on 14 April 2016.

    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.

    Papers, including the description of work in progress are welcome. Full Paper submission deadline: April 18th, 2016.

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

  • 11-12 August 2016, Fifth Joint Conference on Lexical and Computational Semantics (*SEM 2016), Berlin, Germany (deadline: 18 April 2016)

    Newsitem added on 14 January 2016.

    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.

    We solicit both long and short papers. Submissions to *SEM-2016 must describe unpublished work and be written in English. *SEM papers due: 18th of April 2016

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

  • 23-29 July 2017, Symposium on History and Philosophy of Computing (HaPoC symposium @ICHST), Rio de Janeiro, Brazil (deadline: 15 April 2016)

    Newsitem added on 7 April 2016.

    We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

    The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

    We cordially invite all colleagues to submit a proposal to this symposium. The present Call for Contributions is an opportunity to evaluate papers related to the theme 'The Ubiquity of Computing: historical and philosophical issues; to include them into the Proposal to be submitted to the ICHST. Contributions from the most diverse areas of knowledge and professional practices are welcome. For this symposium, contributions should present different dimensions of the history and philosophy of computing, with arguments and propositions based on testimonials, documented sources, references, and discussion of related bibliography. Deadline for submission: 15 April 2016.

    For more information, see http://hapoc.org/node/176.

  • 29 August - 2 September 2016, 22nd European Conference on Artificial Intelligence (ECAI 2016), Den Haag, The Netherlands (deadline: 15 April 2016)

    Newsitem added on 31 March 2016.

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

    The Programme Committee invites the submission of papers for the technical programme of ECAI 2016. High-quality original submissions are welcome from all areas of Artificial Intelligence. Submission Deadline: 15 April 2016.

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

  • 25 June 2016, Third Symposium for the History and Philosophy of Programming (HaPoP 2016), Paris, France (deadline: 14 April 2016)

    Newsitem added on 7 April 2016.

    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.

    The Programme Committee cordially invites researchers working in a field relevant to the main topics of the symposium to submit an abstract. Abstract should be submitted at the latest by (extended deadline) April 14, 2016.

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

  • 10 July 2016, Fourth Workshop on Natural Language and Computer Science (NLCS'16), New York City, U.S.A. (deadline: 10 April 2016)

    Newsitem added on 14 January 2016.

    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.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 10, 2016.

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

  • 29 August - 1 September 2016, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Marseille, France. (deadline: 8 April 2016)

    Newsitem added on 25 February 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)

    Authors are invited to submit papers of no more than 15 pages in LIPIcs style (including references) presenting work not previously published, fitting the scope of the conference. Abstract submission deadline: April 8, 2016.

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

  • 9-13 May 2016, 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba, Poland

    Newsitem added on 12 November 2015.

    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 .

    Contributions related to logic, logical philosophy, pragmatics, foundations of mathematics and related areas are welcome. papers for presentation. Submission deadline is 4 April 2016.

    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.

  • 11-15 November 2016, 5th World Congress on the Square of Opposition, Easter Island - Rapa Nui (deadline: 1 April 2016)

    Newsitem added on 18 December 2015.

    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.

    To submit a contribution send a one page abstract before April 1st, 2016. All talks related to the square of oppostion are welcome, as well as Diagrammatic and Artistic works related to the square of oppposition.

    .

    For more information, see http://www.square-of-opposition.org/square2016 or contact rapanui2016 at square-of-opposition.org.

  • 11-15 July 2016, NASSLLI workshop on Statistical and Logical Models of Meaning (SaLMoM), Rutgers University, New Jersey, USA (deadline: 1 April 2016)

    Newsitem added on 7 February 2016.

    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.

    We invite submissions in the form of 2-page abstracts on topics relating statistical and logical models of natural language. This can be a summary of an already published paper or a new contribution. Submissions will be evaluated as to their potential for establishing meaningful links between the logical and statistical approaches. Deadline: April 1st 2016. Submission webpage: https://easychair.org/conferences/?conf=salmom2016.

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

  • 20-21 August 2016, The 21st Conference on Formal Grammar (FG 2016), Bolzano, Italy (deadline: 31 March 2016)

    Newsitem added on 24 January 2016.

    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.

    We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). The submission deadline is March 31, 2016. Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.

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

  • 15-26 August 2016, ESSLLI 2016 Student Session, Bolzano, Italy (deadline: 25 March 2016)

    Newsitem added on 19 November 2015.

    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.

  • 8-9 June 2016, 9th Interaction and Concurrency Experience (ICE 2016), Heraklion, Greece (deadline: 25 March 2016)

    Newsitem added on 12 February 2016.

    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.

    We solicit contributions relevant to Interaction and Concurrency. Both full and short papers are sollicited, as well as announcements of previously-published or unpublished works. Paper selection will use an innovative mechanism which utilizes both reviewers and an an interactive discussion amongst authors and PC members. Deadline for abstract submission: March 25, 2016.

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

  • 12-16 September 2016, Nineteenth International Conference on Text, Speech and Dialogue (TSD 2016), Brno, Czech Republic (deadline: 15 March 2016)

    Newsitem added on 12 November 2015.

    The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

    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 Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of full papers: March 15, 2016.

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

  • 16-19 August 2016, 23nd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), Puebla, Mexico (deadline: 14 March 2016)

    Newsitem added on 12 November 2015.

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

    Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by Mar 14, 2016, and the full paper by Mar 21, 2016 (firm date).

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

  • 15-17 June 2016, Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), Faro, Portugal (deadline: 14 March 2016)

    Newsitem added on 14 January 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.

    Authors are invited to submit 1-2 pages abstracts in PDF format (including references) by March 14, 2016.

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

  • 6–10 June 2016, 13th International Workshop on Quantum Physics and Logic (QPL 2016), Glasgow, Scotland (deadline: 13 March 2016)

    Newsitem added on 19 November 2015.

    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.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 13 March 2016.

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

  • 11-13 July 2016, Seventh International Workshop on Computational Models of Narrative (CMN 2016) (deadline: 7 March 2016)

    Newsitem added on 14 January 2016.

    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)

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Long, short and position papers are solicited. Submission deadline is March 7, 2016.

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

  • 8-10 July 2016, 9th annual workshop on Decisions, Games and Logic (DGL 2016), Michigan, U.S.A. (deadline: 1 March 2016)

    Newsitem added on 14 January 2016.

    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.

    We invite submissions from graduate students, post-docs and other early career researchers in decision theory, game theory, logic, and formal philosophy more generally, including philosophy of science and epistemology. Both full and poster presentations are solicited. Co-authored papers and interdisciplinary work are highly encouraged. Submission deadline is 1 March 2016.

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

  • 9-10 June 2016, 16th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference (LMP 2016), London, Ontario, Canada (deadline: 22 February 2016)

    Newsitem added on 14 January 2016.

    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.

    Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Submission deadline is February 22nd, 2016. Papers in philosophy of physics will also be considered for the 13th Annual Clifton Memorial book prize.

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

  • 20 - 24 June 2016, Logica 2016, Hejnice, Czech Republic (deadline: 15 February 2016)

    Newsitem added on 17 December 2015.

    Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

    Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. The deadline is 15 February 2016.

    For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

  • 22-25 April 2016, 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa (deadline: 7 February 2016)

    Newsitem added on 14 January 2016.

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

    We invite contributions on all aspects of description logics, Paper registration deadline: February 7, 2016.

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

  • 9-11 May 2016, PhDs in Logic VIII, Darmstadt, Germany (deadline: 7 February 2016)

    Newsitem added on 14 January 2016.

    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.

    We invite abstracts by PhD students on their research in any general field of Logic: Mathematical Logic, Philosophical Logic, Logic in Computer Science. The abstracts will be reviewed anonymously by two members of the Scientific Committee: the chosen abstracts will be presented by their authors during the conference in a 20 minute presentation. Please submit your blinded abstract by February 7th 2016.

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

  • 3 April 2016, 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Eindhoven, The Netherlands (deadline: 5 February 2016)

    Newsitem added on 25 February 2016.

    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.

    We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Paper submission deadline is 5 February 2016.

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

  • 19-24 June 2016, 33rd International Conference on Machine Learning (ICML 2016), New York, U.S.A. (deadline: 5 February 2016)

    Newsitem added on 14 January 2016.

    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.

    We invite submissions of papers on all topics related to machine learning for the conference proceedings, and proposals for tutorials and workshops. This year, ICML will adopt a single reviewing cycle, with a single paper deadline on February 5th.

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

  • 9 or 10 May 2016, Logical Aspects of Multi-Agent Systems (LAMAS'16), Singapore (deadline: 1 February 2016)

    Newsitem added on 3 December 2015.

    There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

    The workshop is intended to cover, but it is not limited to, the following subjects:
    - Logical systems for specification, analysis, and reasoning about MAS
    - Modeling MAS with logic-based models
    - Logic in game theory
    - Logic in social choice theory
    - Deductive systems and decision procedures for logics for MAS
    - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
    - Logic-based tools for MAS
    - Applications of logics in MAS

    We will allow three types of submissions to attract a broad audience and to have a mixed bag of contributions: regular papers, system descriptions and extended abstracts. Paper submision deadline is February 1, 2016, with author notification at March 2 and camera-ready deadline on March 10.

    For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

  • 22-24 June 2016, 21st International Conference on Applications of Natural Language to Information Systems (NLDB 2016), Manchester, UK (deadline: 31 January 2016)

    Newsitem added on 19 November 2015.

    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.

    NLDB 2016 invites researchers from academia and industry to submit papers for oral or poster presentations on recent, unpublished research that addresses theoretical aspects, algorithms, applications, architectures for applied and integrated NLP, resources for applied NLP, and other aspects of NLP, as well as review and discussion papers. Submission deadline is 31 January 2016.

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

  • 22-26 June 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, Portugal (deadline: 29 January 2016)

    Newsitem added on 12 November 2015.

    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.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions can be made in two categories: regular research papers and system descriptions. Submission deadline (title and abstract): 29 January 2016.

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

  • 12-17 June 2016, 15th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL HLT 2016), San Diego, U.S.A. (deadline: 6 January 2016)

    Newsitem added on 19 November 2015.

    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

    The conference invites the submission of long and short papers on substantial, original, and unpublished research in all aspects of automated language processing and creation of language resources. The short paper format may also be appropriate for a small, focused contribution, a work in progress, a negative result, an opinion piece or an interesting application nugget. Deadline for both Long and Short paper submission: Jan 6, 2016.

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

Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

  • 22 May 2016, Foundational Impact of Recursion Theory: A conference , Storrs CT, U.S.A.

    Newsitem added on 14 April 2016.

    In honor of Steve Simpson's 70th birthday, a one-day conference will be held at the University of Connecticut, Storrs on May 22, 2016, the day before the Association of Symbolic Logic meeting at the same location. The goal of the conference is to bring together researchers working in all aspects and foundational applications of recursion theory.

    There is no registration fee, but we ask participants to register online by May 1, 2016. There will be a conference dinner following the conference; the cost will be announced.

    Complete information is available on the conference webpage, http://www.marshall.edu/math/FIRT16/. or from any of the organizers: Jeff Hirst (hirstjl at appstate.edu), Alberto Marcone (alberto.marcone at uniud.it), and Carl Mummert (mummertc at marshall.edu).

  • 20-21 May 2016, "The Identity Theory of Truth", Cambridge, England

    Newsitem added on 8 May 2016.

    The purpose of this conference is to bring together new research on the identity theory of truth. To a first approximation, the identity theory states that a proposition is true just in case it is identical with a fact. The identity theory is often seen as an alternative to both correspondence and minimalist theories of truth. The topic has many important connections to work in metaphysics, the philosophy of mind and the philosophy of language. And it plays an important role on in the history of philosophy: versions of the theory can be detected in the works of Bradley, Frege, Moore, Russell, and Wittgenstein, amongst others.

    For more information, see http://www.phil.cam.ac.uk/events/identity-truth

  • 20 May 2016, Workshop 'Informal Aspects of Uncertainty Evaluation', Cambridge, England

    Newsitem added on 21 April 2016.

    Philosophers of science have studied scientific uncertainty from the viewpoint of formal probabilistic frameworks, such as classical probability theory and Bayesianism. It is not always clear how to apply such formal tools to cases of uncertainty evaluation encountered in scientific practice. This one-day workshop will be dedicated to a critical examination of informal practices of uncertainty evaluation in metrology, climate science, particle physics and computer science, with the aim of clarifying whether and why certain kinds of uncertainty resist formalization. This workshop will also serve as the concluding event of the Economies of Uncertainty project, funded by a Marie Curie Intra-European Fellowship within the 7th European Community Framework Programme.

    Speakers will be: Fabien Grégis (Paris 7), Phil Maguire (NUI Maynooth), Luca Mari (LIUC Italy), Wendy Parker (Durham), Lenny Smith (LSE and Oxford), Kent Staley (Saint Louis) and Eran Tal (Cambridge).

    For additional details on this event, please visit the workshop website: http://people.ds.cam.ac.uk/et382/events.html. Attendance is free to all members of the academic community and no registration is required. However, if you plan to attend please email the organizer, Dr. Eran Tal (et382 at cam.ac.uk) by Friday, May 13th 2016 so as to allow for a sufficient supply of food.

  • 19-20 May 2016, International Workshop "Language and metalanguage, logic and meta-logic. Revisiting Tarski's hierarchy", Louvain-la-Neuve, Belgium

    Newsitem added on 30 April 2016.

    The goal of this workshop is to bring together researchers in logic, philosophy of logic, philosophy of language and philosophy of mathematics to investigate the problem of the separation between object-language and metalanguage.

    Ever since the work of Alfred Tarski we have known that trivializing paradoxes arise when one designs a precise language that is able to express at the same time the object theory and the metatheory of a certain domain. As a solution, Tarski suggested a strict hierarchy of languages in which every language can only talk about the language immediately below it in the hierarchy. Although this works as a technical solution, it is rather artificial and remote from our intuitions about natural language.

    Since Tarski's results, logic, philosophy of language and mathematics have changed quite a bit. Nowadays we have a multitude of non-classical logical systems that can prevent the paradoxes from popping up or from destroying all meaning. There are well-established mathematical tools to carefully deal with the possibility of reasoning about the metatheory of a foundational theory ('forcing' in set theory, category theory, consistency strength). Ways of dealing sensibly with non-stratified full comprehension in mathematics have been proposed. Sophisticated grounding and revision techniques for self-referential truth have been developed. Formal tools have been devised to better understand natural language. People are trying to emancipate themselves from the norm that urges us to use a classical metatheory. Given all these new developments, we think now is a good time to reopen the philosophical debate on the distinction between object-language and metalanguage.

    For more information, see http://perso.uclouvain.be/peter.verdee/metalang2016

  • 11-13 May 2016, The Art of Voice Synthesis

    Location: University of Amsterdam, Orgelpark and STEIM, Amsterdam
    Newsitem added on 10 April 2016.

    Synthetic speech is part of modern everyday life. Artificial voices do not only occur in multifaceted technological uses, but they also feed back into researching the natural human voice. Moreover, artists, musicians and composers find a source of inspiration in the artificial sound of such voices. Our conference inquires both the richness of the human voice and the limits and surplus of its theoretical modelling and mechanical and digital imitation. We are specifically interested in modelling and synthesizing so-called "extended vocal techniques" - all sounds the human voice can produce, exceeding conventional singing and speaking. The conference will cover the history of the artificial voice, extended vocal techniques, aspects of theoretical modelling and technical realization, and the role of the artificial voice in contemporary music. Academics, scientists and artists will come together to exchange ideas and insights in three days of presentations, meetings, workshops and a concert. With a group of international experts we will place the artificial voice in a broad perspective of historical, technical, socio-cultural, artistic and musical investigation.

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

  • 9-13 May 2016, 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), Singapore

    Newsitem added on 12 November 2015.

    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

  • 3 May 2016, Workshop "Philosophy of the Precautionary Principle", Tilburg, The Netherlands

    Newsitem added on 21 April 2016.

    Speakers:
    Martin Peterson (Texas A&M University, USA): 'When To Use the Precautionary Principle and When Not To Use It. A Geometric Analysis.'
    Thomas Boyer-Kassem (Tilburg University, The Netherlands): 'On the coherence of the Precautionary Principle as a decision rule'
    Neelke Doorn (Delft University of Technology, The Netherlands): 'How safe is safe enough: The place of irreversibility in decision making about risks'

    Participation in the workshop and refreshments are free. Advance registration by email to tilps at uvt.nl< is appreciated. There will be a social dinner after the workshop. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7317 or contact t.c.e.boyer at tilburguniversity.edu.

  • 20-22 April 2016, OZSW Graduate Conference in Theoretical Philosophy (OZSW-GCTP2016): How Philosophy meets the World, University of Twente, Enschede

    Speaker: Jan Broersen, Sonja Smets, Frederica Russo, a.o.
    Newsitem added on 10 April 2016.

    The Dutch Research School of Philosophy (OZSW) and the University of Twente invite anyone interested to the yearly "OZSW Graduate Conference in Theoretical Philosophy" (OZSW-GCTP2016): "How Philosophy Meets the World", to take place from 20 to 22 April 2016. At the conference, PhD & Research Master students will present their current research.

    Keynote speakers are Jan Broersen (Utrecht University), Federica Russo (University of Amsterdam), Sonja Smets (University of Amsterdam), Johnny Søraker (University of Twente), Krist Vaessen (Eindhoven University of Technology) and Pieter Vermaas (Delft University of Technology).

    Further information, the program, and a registration form can be found on the OZSW website: http://www.ozsw.nl/activity/gctp-2016/.

  • 18-19 April 2016, REINS Workshop Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet, Utrecht, The Netherlands

    Newsitem added on 31 March 2016.

    Our tendency to delegate responsibilities to machines (self-driving cars, algorithmic trading, military drones, autonomous surveillance systems, etc.) leads to pressing questions that call for answers from an interdisciplinary perspective. Computer scientists can contribute by studying how to design responsible AI, but they first need to know exactly what is meant by that. Philosophers may be able to tell them what responsibility is, but may find it hard to operationalise their insights in such fundamental topics as action, freedom, ethics, norms, and reasons. And that is where legal theorists may be of help, as they are used to think about the relation between abstract notions like fairness, justice, duty, excuse, complicity, causality and their concrete reflections in the rules of law.

    On April 18-19 2016, we organise an interdisciplinary workshop where we bring together researchers from Philosophy, Computer Science and Legal Theory to exchange views on the subject of responsible intelligent systems.

    Attendance is free and open to all academics. To enable us to estimate how much coffee and sandwiches we have to order, we would be happy if you let us know if you plan to come by sending an email to H.W.A.Duijf at uu.nl with the subject 'Attendance REINS workshop'. Please mention your name and affiliation so that we can make a name tag for you to wear at the workshop.

    For more information, see https://www.projects.science.uu.nl/reins/

  • 10-13 April 2016, What makes us musical animals, St Petersburg, Russia

    Newsitem added on 23 March 2016.

    Henkjan Honing will give two lectures in Russia on 13 April 2016 in St Petersburg and 10 April 2016 in Moscow with the title "What makes us musical animals".

    For more information, see http://www.nispb.ru/en/news--calendar/dutch-wednesday-2016/

  • 7-9 April 2016, Workshop "Roots of Deduction", Groningen, The Netherlands

    Newsitem added on 31 March 2016.

    Over the past five years the VISI research project 'Roots of Deduction', directed by Catarina Dutilh Novaes, has investigated the historical, cognitive and philosophical roots of deduction. The main focus of the project has been a particular multi-agent dialogical account of deduction, the 'built-in opponent' conception of deduction. This has been used in the project to inform analyses of ancient Greek conceptions of logic and deduction; to help us to understand mathematical cognition and cognitive biases; and to shed light on classical and contemporary problems in the philosophy of logic.

    The closing workshop of the project is taking place on April 7-9 (starting right after lunch, ending just before lunch) at the Faculty of Philosophy in Groningen.

    All welcome, but if you wish to attend the workshop, please drop us a note, as we only have a limited number of spots. For more information, see https://sites.google.com/site/therootsofdeduction/

  • 2-3 April 2016, 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16), Eindhoven, The Netherlands

    Newsitem added on 10 March 2016.

    In more than a decade of research, it has been established that a wide variety of state-based dynamical systems can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

    Keynote speaker: Jiri Adamek (Braunschweig, Germany). Invited speakers: Andreas Abel (Gothenburg, Sweden) and Filippo Bonchi (CNRS/ENS Lyon, France). There will be a special session on weighted automata, with invited tutorials by Borja Balle (Lancaster, UK) and Alexandra Silva (UC London, UK). CMCS'16 is co-located with ETAPS 2016.

    For more information, including the full programme of the workshop, see http://www.coalg.org/cmcs16/

  • 14-18 March 2016, 10th International Conference on Language and Automata Theory and Applications (LATA 2016), Prague, Czech Republic

    Newsitem added on 12 November 2015.

    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

  • 4-11 March 2016, Interdisciplinary College 2016 Spring School, Günne at Lake Möhne, Germany

    Newsitem added on 22 November 2015.

    The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

    For more information, see http://www.interdisciplinary-college.de/.

  • 4-7 March 2016, 17th Szklarska Poreba Workshop on the Roots of Pragmasemantics, Szklarska Poreba, Poland

    Newsitem added on 19 November 2015.

    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/

  • 15-19 February 2016, Lorentz center workshop on Unified Correspondence, Lorentz center, Leiden

    Newsitem added on 17 September 2015.

    Unified correspondence is a very recent approach to the the well known Sahlqvist theory in modal logic, which has imported techniques from duality, algebra and formal topology and exported the state of the art of Sahlqvist theory to a wide range of logics. This wealth of new techniques, results and insights is now ready to be put to use in the mathematical environments of logical systems which are suitable to address formalization problems in the target application areas of linguistics and management science. The aim of this workshop is therefore to foster new scientific collaborations among mathematical logicians using correspondence theoretic tools on the one hand and, on the other, researchers in linguistics and management science interested in applying logical methods.

    Participation in Lorentz workshops is by invitation only, and the number of participants at any given workshop is limited to 55 per any given day. If you are interested in participating, please contact the workshop coordinator Aimeé Reinards, reinards at lorentzcenter.nl.

    For more information, see https://www.lorentzcenter.nl/lc/web/2016/757/info.php3?wsid=757 or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7001.

  • 25-29 January 2016, 2016 Winter School on Quantum Security, Darmstadt, Germany

    Costs: only travel and accommodation
    Newsitem added on 25 October 2015.

    The first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.

    As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.

    The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.

    For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-2016/

  • 15 January 2016, Workshop "Backgrounded reports: commitment and negation in parenthetical reports and reportative evidentials", Radboud University, Nijmegen, the Netherlands

    Speakers: Regine Eckardt, Martina Faller, Julie Hunter, Todor Koev, Corien Bary & Emar Maier
    Newsitem added on 18 October 2015.

    There are various forms of reported speech in which the aspect of reporting is somehow backgrounded, or not-at-issue. and the content of the report itself, i.e., the complement or quoted phrase, serves as the main point. In this workshop we want to bring together the more or less disjoint strands of research on the different classes of backgrounded reporting to explore the possibilities of a unified approach of all these phenomena that takes into account the relevant facts about commitment, denial, and projection.

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

  • 9-10 January 2016, 98th Peripatetic Seminar on Sheaves and Logic, Doorn, The Netherlands

    Newsitem added on 17 December 2015.

    We are happy to announce the 98th Peripatetic Seminar on Sheaves and Logic, which will take place during the weekend of 9 and 10 January 2016 in Doorn, the Netherlands. As usual, we invite talks on every aspect of category theory or its applications in mathematics.

    To have a clear estimate of the number of participants, we ask participants to register preferably before December 21. For more information, see https://staff.fnwi.uva.nl/b.vandenberg3/PSSL98/

  • 6-9 January 2016, 2015-16 ASL Winter Meeting, Seattle WA, U.S.A.

    Newsitem added on 10 May 2015.

    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

  • 4-17 January 2016, 6th Bar-Ilan Winter School on Cryptography, Tel-Aviv, Israel

    Newsitem added on 17 September 2015.

    The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

    The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

    For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

  • 4-7 January 2016, Logical Foundations of Computer Science 2016 (LFCS'16), Deerfield Beach FL, U.S.A.

    Newsitem added on 13 April 2015.

    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/

MoL and PhD defenses

  • 13 May 2016, Master of Logic defense, Yfke Dulek

    Title: Quantum Homomorphic Encryption for Polynomial-Sized Circuits
    Date and time: Friday 13 May 2016, 15:00
    Location: Room L0.17, CWI, Science Park 105, Amsterdam
    Supervisor: Christian Schaffner
    For more information, please contact f.kortenbach at uva.nl
  • 31 March 2016, Master of Logic defense, Stephen Pastan

    Title: Another Approach to Truthmaker Semantics
    Date and time: Thursday 31 March 2016, 13:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    Supervisor: Floris Roelofsen, Franz Berto
    For more information, please contact f.kortenbach at uva.nl
  • 22 March 2016, PhD defense, Zoé Christoff

    Title: Dynamic Logics of Networks: Information Flow and the Spread of Opinion
    Dynamic Logics of Networks - Information Flow and the Spread of Opinion
    Date and time: Tuesday 22 March 2016, 10:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Johan van Benthem
    Copromotor: Sonja Smets

    The abstract of the thesis is available on: https://www.illc.uva.nl/Research/Publications/Dissertations/

    And the full text here: https://www.illc.uva.nl/Research/Publications/Dissertations/DS-2016-02.text.pdf

    For more information on the defence and the workshop held on the same day, see https://ldsiic.wordpress.com/.

  • 11 March 2016, PhD defense, Ivano Ciardelli

    Title: Questions in Logic
    Date and time: Friday 11 March 2016, 12:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Jeroen Groenendijk
    Copromotor: Floris Roelofsen

    For more information, please contact i.a.ciardelli at uva.nl

  • 1 March 2016, Master of Logic defense, Rick Bellaar

    Title: Understanding Schizophrenia: A Wittgensteinian Response to Double Bookkeeping
    Date and time: Tuesday 1 March 2016, 12:30
    Location: Room G3.10, Science Park 904, Amsterdam
    Supervisor: Dr. J. Kiverstein
    For more information, please contact f.kortenbach at uva.nl
  • 15 January 2016, Master of Logic defense, Sarah Hiller

    Title: Corrective Feedback in First Language Acquisition
    Date and time: 15 January 2016, 11:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    Supervisor: Raquel Fernandez Rovira
  • 8 January 2016, Master of Logic defense, Nikolas Nisidis

    Title: A decompositional analysis of discourse relations
    Date and time: Friday 8 January 2016, 14:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    Supervisor: Henk Zeevat
    For more information, please contact t.kassenaar at uva.nl

Projects and Awards

  • Best Paper Award at AAMAS-2016

    Newsitem added on 15 May 2016.

    During the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016), held in Singapore in early May, a paper coauthored by Ulle Endriss (ILLC) was honoured with the Best Paper Award.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7377.

  • NVIDIA Academic Hardware Grant for Desmond Elliott

    Newsitem added on 8 May 2016.

    Desmond Elliott has been awarded a Tesla K40 as an unrestricted gift from the NVIDIA Academic Hardware Grant Program. The hardware will be used to support ongoing research on multilingual multimodal machine learning.

    For more information about the NVIDIA Academic Research Programs, see https://developer.nvidia.com/research-programs

  • QuSoft: new research center for quantum software

    Newsitem added on 3 December 2015.

    QuSoft, the first research center dedicated to quantum software, has officially been launched on December 3rd, 2016. A joint initiative between Centrum Wiskunde & Informatica (CWI), the University of Amsterdam (UvA) and Vrije Universiteit Amsterdam (VU Amsterdam), QuSoft will be located at Amsterdam Science Park and will complement the research conducted by QuTech, which focuses on the development of quantum hardware.

    The main focus of QuSoft will be on the development of quantum software, which requires fundamentally different techniques and approaches to those used to develop conventional software because of the counter-intuitive quantum mechanical properties of the quantum computer such as superposition, interference and entanglement. The chief research objective is to develop software and find applications that exploit the extraordinary power of quantum computers.

    For more information, see http://www.uva.nl/en/news-events/news/uva-news/content/press-releases/2015/12/, http://www.cwi.nl/news/2015/qusoft-research-center-quantum-software-launched and http://www.qusoft.org/.

  • ILLC and IvI start project with SAP

    Newsitem added on 25 February 2016.

    ILLC and IvI have started a project with SAP focussing on text analysis and machine learning. Two PhD students have been appointed on this project. At ILLC Serhii Havrylov will start the PhD project under the supervision of Ivan Titov.

    For more information, see https://www.uva.nl/over-de-uva/organisatie/faculteiten/faculteiten/faculteiten/

  • NWO Vici for Arianna Betti

    Newsitem added on 12 February 2016.

    NWO has awarded 32 scientists a Vici grant of 1.5 million Euros, including ILLC staff member prof. Dr. Arianna Betti for the project 'Ideas at scale - Towards a computational history of ideas (e-Ideas)'. The funding will enable the laureates to do research for the next five years and to build up their own research group. Vici is one of the largest grants for individual scientists in the Netherlands and is part of NWO's Talent Scheme.

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

  • ERC Consolidator Grant awarded to Franz Berto

    Newsitem added on 7 February 2016.

    The European Research Council (ERC) has awarded a Consolidator Grant to five researchers from the University of Amsterdam (UvA), including ILLC staff member Prof.dr. Franz Berto (for the project LoC, "The Logic of Conceivability: Modelling Rational Imagination with Non-Normal Modal Logics"). An ERC Consolidator Grant is a prestigious personal grant of about two million euros and provides research support to talented researchers for a period of five years.

    For more information, see or contact F.Berto at uva.nl

  • ILLC Alumnus Erik Rietveld member of Society of the Arts

    Newsitem added on 21 January 2016.

    The Society of Arts has selected thirteen new members. Amongst the nwe members are ILLC Alumnus and Vidi Laureaat Erik Rietveld together with his brother Ronald, for their work at the crossroads of architecture, art and science.

    For more information, see http://www.knaw.nl/en/about-us/society-of-arts and http://www.knaw.nl/nl/actueel/nieuws/.

  • Fenrong Liu is awarded Changjiang Distinguished Professorship

    Newsitem added on 28 January 2016.

    Fenrong Liu, Professor at Tsinghua University and holder of the Amsterdam-China Visiting Chair, has been awarded a Changjiang Distinguished Professorship by the Ministry of Education in China. The highly competitive national Changjiang Program, founded in 1998, is considered to be China's most prestigious scholarly honor.
    Fenrong Liu is the first logician to receive this award, in recognition of her academic contributions.

    Fenrong Liu obtained her Ph. D. at the ILLC, University of Amsterdam in 2008, and became a full professor at Tsinghua University in 2011. She is currently a Co-Director of the Tsinghua-UvA Joint Research Center for Logic.

    For more information, see http://www.moe.gov.cn/srcsite/A04/s8132/201601/t20160111_227571.html

  • NWO Open Competition grant for "The Flow of Cognitive Goods"

    Newsitem added on 10 January 2016.

    Rens Bod (ILLC) and Jeroen van Dongen (Institute of Physics) received an NWO Open Competition grant to carry out their project "The Flow of Cognitive Goods: Towards a Post-Disciplinary History of Knowledge". The project will fund two PhD positions and one Postdoc position (738.000 Euro). It will investigate the long-term exchanges of ideas and methods across disciplines using both digital humanities techniques (analyzing cross-citations from 46 million publications) and historical methods (primary and secondary sources).

    For more information, see Rens Bod <rens.bod at gmail.com>

  • 1st Luxembourg Art Prize

    Newsitem added on 17 November 2015.

    On September 19 this year, Albert Janzen, one of our Master of Logic students, was awarded the first Luxembourg Art Prize 2015.
    For his art work, which you can see on the website below, Albert received a grant to produce a solo exhibition to be held at La Galerie Hervé Lancelin in Luxembourg in 2016.

    For more information, see https://www.artluxembourg.lu/albert-janzen-laureat-2015/

  • ERC Starting Grants awarded to Floris Roelofsen and Ivan Titov

    Newsitem added on 17 November 2015.

    The European Research Council (ERC) has awarded a Starting Grant to six researchers from the University of Amsterdam (UvA), including our own Dr Floris Roelofsen (for the project "QuModQu Quantification and Modality in the Realm of Questions") and Dr Ivan Titov (for the project "BROADSEM: Induction of Broad-Coverage Semantic Parsers"). Our PhD student Ivano Ciardelli has made important contributions to the QuModQu research proposal and will play a prominent role in the project as a postdoctoral researcher.

    A Starting Grant is a personal grant of about 1.5 million euros and provides research support to talented researchers for a period of five years.

    For more information, see http://www.uva.nl/en/news-events/news/uva-news/content/press-releases/2015/11/.

Funding, Grants and Competitions

  • (New) NWO Onderzoeksbeurs "Wiskundeleraar in Onderzoek"

    Newsitem added on 19 May 2016.

    [Dutch only]

    Het programma STEM Teacher Academy heeft via het NWO Gebiedsbestuur Exacte Wetenschappen onderzoeksbeurzen voor enthousiaste wiskundedocenten beschikbaar gesteld. Deze financiering is alleen voor wiskundeleraren aan Nederlandse middelbare scholen die graag hun kennis willen opfrissen. Dit kan door middel van één dag per week (voor 6 tot 12 maanden) onderzoek uit te voeren bij een wiskunde-instituut met betrekking tot fundamenteel, toegepast of didactisch onderzoek.

    Deadline: 4 oktober 2016 14:00

    Voor meer informatie, zie http://www.nwo.nl/financiering/onze-financieringsinstrumenten/ew/

  • Call for Nominations: Ackermann Award 2016

    Newsitem added on 24 January 2016.

    The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2014 and 31.12.2015 are eligible for nomination for the award. The 2016 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 29 August - 2 September 2016, in Marseille (France).

    The deadline for submission is 15 April 2016. Nominations can be submitted from 1 January 2016 and should be sent to the chair of the Jury, Anuj Dawar, by e-mail. For more information, see http://www.eacsl.org/submissionsAck.html.

  • Call for a grant application workshop proposal as part of SMART Cognitive Science

    Newsitem added on 10 April 2016.

    SMART Cognitive Science invites proposals for a € 2500 grant to organize a workshop specifically designed to allow participants to focus on an interdisciplinary theme that will subsequently lead to a national or international grant application or a volume intersecting between the humanities and cognitive sciences. Every researcher of the Faculty of Humanities at the University of Amsterdam can submit a workshop proposal. We invite proposals in all areas of the humanities and cognitive sciences, but cross-disciplinary and innovative topics are particularly encouraged.

    Deadline for submissions: April 29th. For more information, see http://smartcs.humanities.uva.nl/news/

  • NASSLLI2016: Student Scholarships and Presentations

    Newsitem added on 3 March 2016.

    The North American Summer School for Logic, Language, and Information (NASSLLI) brings together top-tier faculty in Cognitive Science, Computer Science, Linguistics, Psychology, and Philosophy to introduce students to topics and issues that represent various combinations of these disciplines.

    The organizers of NASSLLI 2016 are excited to announce TWO opportunities for students attending NASSLLI 2016:
    (1) Student Scholarships
    (2) Presentations in the Student Session

    Submission Deadline: Sunday, March 20, 2016. For more information, see http://nasslli2016.rutgers.edu/images/Student%20CfA%20FINAL.pdf

  • T-AP Digging into Data Challenge

    Newsitem added on 18 February 2016.

    The Trans-Atlantic Platform will be launching its first international funding opportunity: the T-AP Digging into Data Challenge. The T-AP Digging into Data Challenge will launch in March 2016. The Challenge will support research projects that explore and apply new “big data” sources and methodologies to address questions in the social sciences and humanities.

    For more information, see http://diggingintodata.org/awards/2016/news/ and http://www.transatlanticplatform.com/2016/01/19/. The full RFP with the details on how to apply will be posted on March 1st.

  • Marie Curie Research and Innovation Staff Exchange (RISE) grant

    Newsitem added on 17 February 2016.

    The RISE scheme will promote international and inter-sector collaboration through research and innovation staff exchanges, and sharing of knowledge and ideas from research to market (and vice-versa).

    The scheme fosters a shared culture of research and innovation that welcomes and rewards creativity and entrepreneurship and helps to turn creative ideas into innovative products, services or processes.

    Deadline for applications: Thursday 28 April 2016. For more information, see https://ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/

  • NWO Rubicon

    Newsitem added on 18 February 2016.

    Rubicon aims to encourage talented researchers at Dutch universities and research institutes run by KNAW and NWO to dedicate themselves to a career in postdoctoral research.

    Rubicon offers talented researchers who have completed their doctorates in the past year the chance to gain experience at a top research institution outside the Netherlands, as international research experience is likely to be an advantage at a later stage in the applicant's academic career. For certain typically Dutch topics, there is also a limited opportunity to apply for a research period at an excellent Dutch research institute. However, preference will be given to researchers who apply for a grant to spend time outside the Netherlands.

    Deadline for applications: Thursday 31 March 2016. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/rubicon/index.html

  • NIAS: Theme-group Fellowships

    Newsitem added on 12 February 2016.

    Theme Groups bring together scholars of different backgrounds with specific expertise to work together on a daily basis, to advance knowledge on a particular theme. A NIAS research theme group is a group composed of maximum five scholars, half of them from the Netherlands, the other half from other countries. They become Fellows at NIAS for one semester of five months. Researchers work both individually and as a team on a clearly defined research topic with the aim of producing a concrete result such as a book, scientific paper or conference.

    Deadline for submitting a Theme Group Proposal for the research year 2017/18: 15 April 2016. For more information, see http://www.nias.knaw.nl/theme-groups

  • Paris Institute for Advanced Study Fellowships

    Newsitem added on 12 February 2016.

    The Paris Institute for Advanced Study welcomes applications from high level international scholars and scientists in the fields of the humanities, the social sciences and related fields for periods of five or nine months, during the academic year 2017-2018. The Paris IAS will host around twenty guest researchers, allowing them to work freely on the project of their choice. The researchers will benefit from the scientific environment of the Institute and have the opportunity to create contacts with researchers in the academic institutions of Greater Paris.

    Deadline for applications: 1 March 2016. For more information, see http://www.paris-iea.fr/en/apply/calls-for-applications/

  • NWO Innovational Research Incentives Scheme Vici

    Newsitem added on 12 February 2016.

    The Innovational Research Incentives Scheme Vici is a grant for senior researchers. It is a funding instrument from the Talent Scheme, and gives senior researchers the opportunity to build up their own research group, often in anticipation of a tenured professorship.

    Deadline for applications: Thursday 24 March 2016. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/

  • Robert J. Glushko Dissertation Prizes

    Newsitem added on 8 January 2016.

    The Cognitive Science Society and the Glushko-Samuelson Foundation will award up to five outstanding dissertation prizes in cognitive science. The goals of these prizes are to increase the prominence of cognitive science, and encourage students to engage in interdisciplinary efforts to understand minds and intelligent systems. The hope is that the prizes will recognize and honor young researchers conducting ground-breaking research in cognitive science.

    Application deadline: Saturday 30 January 2016, For more information, see http://www.cognitivesciencesociety.org/about_awards_glushko_nominations.html

  • Cooperation Japan (JSPS) - Invitation fellowship

    Newsitem added on 8 January 2016.

    NWO has a cooperation agreement with the Japan Society for the Promotion of Science (JSPS). The programme Cooperation Japan (JSPS) is for Dutch researchers who want to cooperate with colleagues in Japan. It offers the possibility of a JSPS Invitation fellowship in Japan.

    For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/cooperation-japan-jsps/

  • The Cooperation Flanders programme

    Newsitem added on 8 January 2016.

    The Cooperation Flanders programme funds and encourages joint research by Flemish and Dutch researchers in the humanities. Many scientific questions cross boundaries and so national borders should not hinder researchers. The research programme funds projects that are jointly realised by two researchers at a time: one Dutch and one Flemish researcher.

    2016 Application deadlline: Friday 1 April 2016. For more information, see http://www.nwo.nl/en/research-and-results/programmes/gw/cooperation-flanders/.

  • Heinrich Boell Stiftung: student and doctoral scholarships

    Newsitem added on 6 December 2015.

    The scholarship department of the Heinrich Böll Foundation grants scholarships to undergraduates, graduates, and doctoral students from inside and outside Germany.

    We hold the application process twice a year. The application deadline is 1 March and 1 September. Please note: We only accept online applications. The application portal will be opened about 6 weeks before the application deadline.

    Deadline: Sunday 1 March 2016. For more information, see https://www.boell.de/en/foundation/application and http://www.boell.de/en/2015/04/02/application-process-spring-2016.

Open Positions at ILLC

  • Postdoctoral researcher in Logic

    Newsitem added on 3 May 2016.

    We are looking for a postdoctoral researcher who will join the research group of Prof. Sonja Smets. Preference will be given to a candidate who is active in one of the following areas:

    • Logic and its applications to formal epistemology or multi-agent systems. In particular we are interested in the use of logical methods to study the dynamics of information. Topics of interest can relate to belief revision theory, social network theory, epistemic game theory, truth approximation or formal learning theory.
    • Logic and its applications in the area of quantum mechanics or quantum information theory. In particular we are interested in quantum logic and its use in quantum information theory (e.g. logics used for the formal verification of quantum information protocols).

    Deadline for applications: 15 June 2016. For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/

  • Two PhD positions at Faculty of Science

    Newsitem added on 21 April 2016.

    The ILLC currently has two PhD positions available at the Faculty of Science, starting on 1 September 2016. Applications are now invited from excellent candidates wishing to conduct research in an area within ILLC that fits naturally in the Faculty of Science. Closing date for applications: 15 May 2016.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7309 or contact the Chair of the Selection Committee, Professor Robert van Rooij, at R.A.M.vanRooij at uva.nl.

  • Postdoctoral researcher in Statistical Machine Translation

    Newsitem added on 31 March 2016.

    The SLPL Lab, led by Professor Khalil Sima'an, is part of the Language and Computation Programme at the ILLC. The SLPL Lab is seeking to attract a postdoctoral researcher in Statistical Machine Translation for a fixed term of two years. SLPL currently has 7 PhD candidates, 3 postdoctoral researchers and two research assistants working on five ongoing externally funded projects, including a Vici, H2020 QT21, ITN EXPERT, an Open Competition and an STW project.

    Prospective candidates should hold a PhD degree in statistical natural language processing or a related research area with experience in statistical machine translation, as well as proven experience in and affinity with programming and empirical experimentation with text (parallel) corpora. While this is primarily a research position, the successful candidate will be expected to also make a minor contribution to teaching.

    Application deadline: 15 May 2016. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7247.

  • Two PhD positions in History of Humanities and Sciences

    Newsitem added on 28 February 2016.

    The two PhD candidates will respectively work at the Faculty of Humanities (Institute for Logic, Language and Computation) and the Faculty of Science (Institute of Physics (IOP). Both institutes are located at the Amsterdam Science Park. The positions will reinforce the newly founded Center for the History of Humanities and Sciences, and are funded by the NWO Humanities open competition programme 'The Flow of Cognitive Goods: Towards a Post-Disciplinary History of Knowledge'. This programme is led by Prof. Rens Bod (ILLC) and Prof. Jeroen van Dongen (IOP).

    Application deadline: 1 April 2016. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7219.

  • PhD candidate in Formal Semantics

    Newsitem added on 7 February 2016.

    The Inquisitive Semantics group, part of the Logic and Language research programme, is looking for a PhD candidate with an interest in developing new logical tools within the inquisitive semantics framework for the analysis of quantification in natural language

    Application deadline: 15 March 2016. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7143

  • PhD candidate in Logic

    Newsitem added on 7 February 2016.

    The Inquisitive Semantics group, part of the Logic and Language research programme, is looking for a PhD candidate with an interest in carrying out a thorough investigation of first-order inquisitive logic, with an eye towards applications in linguistics and computer science. The ILLC provides an excellent environment for research in this area with world-class faculty in logic and formal semantics.

    Application deadline: 15 March 2016. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7144

  • Postdoctoral researcher in computational logic or experimental semantics

    Newsitem added on 7 February 2016.

    The Inquisitive Semantics group, part of the Logic and Language research program, is looking for one or two Postdoctoral researchers with an interest in building new bridges between inquisitive semantics and neighbouring fields, in particular computer science and psycholinguistics.

    Application deadline: 15 March 2016. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7155

  • Postdoctoral researcher in Formal Semantics

    Newsitem added on 7 February 2016.

    The Inquisitive Semantics group, part of the Logic and Language research program,research program, is looking for a Postdoctoral researcher with an interest in developing a fully compositional dynamic inquisitive semantics, and to apply this framework to a number of linguistic phenomena.

    Application deadline: 15 March 2016. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7156

Open Positions, General

  • Postdoctoral position in "Recursion, Guarded Recursion and Computational Effects", Birmingham (England)

    Newsitem added on 17 April 2016.

    The university of Birmingham is looking for a Postdoctoral Research Fellow to work on an EPSRC-funded project "Recursion, Guarded Recursion and Computational Effects".

    The researcher will work with Paul Blain Levy (principal investigator) and Neelakantan Krishnaswami (co-investigator) as part of the Theoretical Computer Science group at the University of Birmingham, to investigate fine-grained typed calculi and operational, denotational and categorical semantics for languages that combine either guarded or general recursion and type recursion with a range of computational effects. This will build on existing work such as call-by-push-value and Nakano's guarded recursion calculus. The position lasts from 1 October 2016 until 30 September 2019.

    The closing date is at 22 May 2016. Reference: 54824. You can read more and apply for the job at http://tinyurl.com/projguarded. Informal enquiries can be made to Dr Paul Levy (P.B.Levy at cs.bham.ac.uk).

  • (New) Intensive Research Program on Large Cardinals and Strong Logics: PhD student & postdoctoral grants, Barcelona (Spain)

    Newsitem added on 19 May 2016.

    In order to increase the number of young researchers participating in its Intensive Research Programs, the CRM announces a call for participants interested in participating in the IRP on Large Cardinals and Strong Logics, from September to December 2016. We can offer two different packages including registration and housing: CRM package 1 (September 19-30) and CRM Package 2 (November 7-18).

    Application deadline: 31 May 2016. For more information, see http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/CRM-Grants-LCSL.aspx

  • Full professorship in philosophical anthropology, Tilburg (The Netherlands)

    Newsitem added on 28 April 2016.

    Tilburg University seeks to appoint a full professor of philosophy, addressing contemporary issues about human nature and culture. We look for a colleague who is able to inspire our students and strengthens our teaching, who is engaged in original research and contributes to a stimulating environment for graduate students and faculty. It is a full time appointment for an indefinite period.

    Tilburg University has a focus on the Social Sciences and Humanities. Its motto is 'Understanding Society'. The School of Humanities has departments in communication- and information sciences, cultural studies, and philosophy, and the responsibility for the liberal arts and sciences program of University College Tilburg. The Department of Philosophy is responsible for undergraduate and graduate majors in philosophy and for courses that assist students from other programs in developing their reflective skills on moral issues, humanity, science and society.

    The application deadline is May 16, 2016. For more information, see https://career012.successfactors.eu/ or contact the Dean of Tilburg School of Humanities, Prof. Dr. Willem B. Drees, e-mail: w.b.drees at tilburguniversity.edu or the Head of the Department of Philosophy, Dr. Frans van Peperstraten, e-mail: f.t.vpeperstraten at tilburguniversity.edu.

  • Two positions (one postdoc, one PhD student) in digital humanities, Graz (Austria)

    Newsitem added on 21 April 2016.

    The Centre for Information Modelling - Austrian Centre for Digital Humanities at the University of Graz has two open positions, which are to be filled from 1 July 2016:

    (1) University Assistant with doctorate (30 hours/week; limited to 5 years), focusing on independent scientific research in the subject area of "Digital Humanities", especially in the area of Computational Linguistics or Information Science and their application to humanistic research data data.

    (2) University Assistant without doctorate (20 hours/week; limited to 4 years), focusing on independent scientific research in the subject area of "Digital Humanities", especially in the areas of "Digital Scholarly Edition" or "Digital Diplomatics".

    The application deadline is May 13, 2016. Details on content, requirements and application procedure can be found in the documents or the website: http://informationsmodellierung.uni-graz.at/de/neuigkeiten/detail/article/

  • Assistant professor in Digital Humanities and Information Cultures

    Newsitem added on 12 May 2016.

    The candidate will bring to the position a relevant and innovative research agenda in the areas of Digital Humanities and Information Cultures and will be especially interested in the critical study, de- velopment and application of digital methods, techniques and tools.

    Application deadline: 30 May 2016. For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/

  • PhD student position in theoretical computer science, Karlsruhe (Germany)

    Newsitem added on 28 April 2016.

    The group "Theoretical Computer Science / Parallel Computing" at the Department of Informatics of Karlsruhe Institute of Technology (Germany) is inviting applications for a fixed-term full-time position of a PhD Student / Research Assistant (m/f) (pay grade 13 TV-L) starting on or after July 1st, 2016 (the exact date is negotiable).

    The research group is primarily concerned with the development of algorithms for problems from network science, combinatorial scientific computing, and applied optimization. In the focus of this position are research projects on parallel graph algorithms that work well both in theory and in practice. Further responsibilities as part of the position include the supervision of bachelor and master students and possibly TA duties. As such, a decent knowledge of German is desirable.

    To receive full consideration, submit your application by May 12, 2016. For more information, see http://parco.iti.kit.edu/ and the detailed announcement at http://parco.iti.kit.edu/Stellenausschreibung-ParCo-english-web.pdf (PDF).

  • Postdoctoral position in philosophy of time, Milan (Italy)

    Newsitem added on 30 April 2016.

    The Center for Philosophy of Time in Milan is looking for a PostDoc researcher who has a research specialism in temporal issues with respect to at least one of the following areas: metaphysics, philosophy of mind, philosophy of language and philosophy of science. We will be looking for an analogous profile in a second call. Ideally we aim at making one hire with an area of research specialism in the metaphysics of time, and one hire with an area of research specialism in temporal aspects within philosophy of mind. PhD is strongly preferred.

    The call is out till 10 May 2016. The position will start on 1 June. Duration of the grant is 14 months. Neat salary slightly over 1.850 € per month. The second call will be out in the next weeks, and the position will start in September or October.

    You can find the complete text of the call at http://www.unimi.it/ricerca/assegni_ricerca/99818.htm and further details about the job at http://www.centreforphilosophyoftime.it/news/

  • PhD student position in 'Making scientific inferences more objective', Tilburg (The Netherlands)

    Newsitem added on 31 March 2016.

    The Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS) at Tilburg University, The Netherlands, invites applications for a four-year PhD position (1,0 fte) in philosophy of science, starting 1 September 2016 or later this year.

    The PhD position is funded by the European Research Council (ERC), through a Starting Investigator Grant for the research project 'Making Scientific Inferences More Objective' (principal investigator: Prof. Dr. Jan Sprenger). Candidates must hold a MA/MSc degree or equivalent by the time of appointment. Apart from philosophy graduates, candidates with degrees in other relevant disciplines (e.g., mathematics, psychology) are welcome if they can demonstrate a high level of familiarity with philosophy of science.

    The deadline for applications is 8 May 2016. Shortlisted candidates will be informed by 12 May, and skype interviews will be held on 17 and 18 May. Candidates will be notified as soon as possible thereafter. For more information or to apply online see http://www.tilburguniversity.edu/about-tilburg-university/working-at/wp/.

  • Postdoctoral position on epistemic logic and social epistemology (3y), Bayreuth (Germany)

    Newsitem added on 31 March 2016.

    The Department of Philosophy at the University of Bayreuth invites applications for one postdoctoral position (3 years, E13 TV Z, 1.0 FTE) starting from Sept. 1st 2016, or soon after. The successful applicant will be part of the research project 'From Shared Evidence to Group Attitudes' (SEGA), funded by the German (DFG) and the Czech Science Foundation (GACR).

    We encourage applications in the areas of Philosophical Logic (especially epistemic logic), Judgment Aggregation and Belief Merge or Social Epistemology Applicants should have a PhD in philosophy or in a discipline closely related to philosophy. Deadline for applications: April 30th, 2016.

    For more information, see http://sega-project.org or http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft/, or contact Olivier Roy at olivier.roy at uni-bayreuth.de.

  • Lectureship in Mathematical Logic, Leeds (England)

    Newsitem added on 21 April 2016.

    A Lecturer in Mathematical Logic position is open at the University of Leeds. The position is full-time (part-time hours will be considered). Applications must be received before 28 April, 2016.

    The Logic group in Leeds is the largest in a mathematics department in the UK, and one of the largest and strongest internationally. It has strength in the areas of model theory, proof theory, constructivism and category theory, and set theory. It has also a long computability theory tradition. The Logic group has close links to logicians in the School of Computing, and also in the School of Philosophy. We are also interested in reinforcing links between Logic and other areas of strength in the Department (algebra, geometry, analysis). We welcome applicants from researchers whose interests are connected to these fields, or to Theoretical Computer Science or Philosophy.

    For more information, see https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1040. Informal enquiries may be made to Professor Dugald Macpherson (H.D.Macpherson at leeds.ac.uk) or Professor Alastair Rucklidge, Head of School (maphdmat at leeds.ac.uk).

  • Three PhD studentships in Computational Linguistics, London (U.K.)

    Newsitem added on 21 April 2016.

    The School of Electronic Engineering and Computer Science (EECS) of Queen Mary University of London has 3 PhD studentships available for applicants of any nationality.

    The school has a Computational Linguistics Lab, at the intersection of our Theoretical Computer Science and Cognitive Science research groups. They are are happy to discuss proposals in computational linguistics and natural language processing, particularly relating to their research in dialogue modelling and compositional distributional semantics.

    The deadline for application is 6th May. For more details see http://www.jobs.ac.uk/job/ANK779/ or the Computational Linguistics Lab website at http://compling.eecs.qmul.ac.uk/.

  • Postdoctoral position (2+2y) in "Coordination, Collective Goal and Cooperation", Milan (Italy)

    Newsitem added on 1 April 2016.

    The Department of Philosophy and the Centre for the Study of Social Action (CSSA) at the University of Milan are delighted to announce the opening of a post-doctoral position on "Acting Together: Coordination, Collective Goal, and Cooperation". The project is jointly led by Professors Hykel Hosni and Corrado Sinigaglia and spans formal and experimental methods, with particular emphasis on minimalist approaches to coordination, shared agency, and cooperation.

    The appointment will be made initially for two years and it will be renewed for another two years subject to funding. The postdoctoral fellow will be a member of the Center for the Study of Social Action and will participate in the wider research community of the Department of Philosophy, the second largest in the country. While the postdoctoral fellow will pursue sound philosophical research, the project is ideally suited to interdisciplinary collaboration with cognitive scientists, economists and mathematical and computational logicians; there will be opportunities for such collaboration in connection with Professors Sinigaglia and Hosni's ongoing scientific research on acting together.

    The deadline for application is April 26th 2016. For more information, see http://www.cssa.unimi.it/?page_id=230. We welcome informal inquires on the nature of project and the application procedure.

  • Assistant Professorship in Philosophy of Science, Tilburg (The Netherlands)

    Newsitem added on 2 April 2016.

    The philosophy department at Tilburg University (The Netherlands) seeks to appoint an outstanding candidate in philosophy of science, starting August 1, 2016. The successful candidate will hold a PhD in philosophy with a research specialization in philosophy of science. He/she will have a track record of publications in leading international journals or show the capability of developing such a record early in his or her career. The successful candidate is expected to apply regularly for external research funding. Experience of teaching at university level is necessary.

    The department of philosophy at Tilburg University is an internationally oriented and pluralist department whose core research strength is in the Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS). The successful candidate would become a member of TiLPS and be expected to contribute to the center's activities. A second group, Philosophy of Man and Society, aims both at highly ranked scientific publications and at a fruitful dialogue between philosophy and society. Taking as its starting point the motto of Tilburg University: 'Understanding Society', philosophical research at Tilburg is often done in an interdisciplinary framework.

    The deadline for applications is April 22nd, 2016. For more information, see https://career012.successfactors.eu/ or contact the Head of the Department of Philosophy, Dr. Frans van Peperstraten at f.t.vpeperstraten at tilburguniversity.edu.

  • PhD student position in semantics / pragmatics of disagreement,Barcelona (Spain)

    Newsitem added on 31 March 2016.

    The European Training Network *Diaphora* (H2020-MSCA-ITN-2015-675415) offers 2 Early Stage Researcher positions in philosophy at predoctoral level. The positions are for 3 years each, starting 01.10.2016. The 2 Early Stage Researcher positions are offered by the University of Barcelona (on Peer disagreement/social epistemology, the semantics and pragmatics of disagreement, or philosophical methodology/metaphilosophy) and the University of Neuchatel (on the free will debate in Early Modern (pre-Kant) philosophy).

    The deadline for applications is 22 April 2016 at noon (CET). Offers are expected to be made no later than 6 May 2016. For further particulars, see http://www.ub.edu/grc_logos/.

  • PhD student position in philosophical logic or formal epistemology, Bochum (Germany)

    Newsitem added on 7 April 2016.

    The Department of Philosophy II at Ruhr-University Bochum is seeking to hire a PhD student working in philosophical logic (65% TV-L E13 position, approx. €2,200 /month before tax). The position is associated with the chair of Logic and Epistemology (Prof. Heinrich Wansing) and comes with a mild teaching duty of one undergraduate class per semester. Residency in Bochum or in commutable distance is expected.

    The appointment is temporary until September 30th 2020, and is to be filled by July 2016. The deadline for applications is 21st of April 2016. The dissertation project is supposed to be a project either in philosophical logic or formal epistemology. Suitable areas include modal logic, paraconsistent logic, many-valued logic, structural proof-theory, theories of negation, epistemic logic, knowability, and theories of doxastic agency.

    Required qualifications/ skills: Candidates should have completed an excellent Master's thesis in philosophical logic or formal epistemology and should have some background in the semantics and proof-theory of non-classical and modal logics. Moreover, candidates are supposed to have good communication skills in English. Good social skills are also required as cooperation with other researchers is expected.

    For more information, see http://www.stellenwerk-bochum.de/jobs-finden/rub-angebote/details/anzeige/ or contact Prof. Heinrich Wansing (Heinrich.Wansing at rub.de).

  • David Tresman Caminer PhD-Studentship for the History of Computing (London, U.K.)

    Newsitem added on 21 February 2016.

    The Department of Computer Science at Middlesex University, together with the LEO Computers Society are looking for a PhD Candidate for a research project in the area of History and Philosophy of Computing, under the supervision of Dr. Giuseppe Primiero. The project will investigate historical circumstances, technical developments in terms of systems and application software, hardware design and implementation, advances in business and administrative practice, and the social, political and business aspects that led to the successful production and marketing but later decline of LEO Computers and its software products.

    Applications must be received before (extended deadline) 18 April 2016. For more information, see http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships/ Or contact somebody at studentship.research at mdx.ac.uk

  • 3 PhD Positions at Aarhus University

    Newsitem added on 7 April 2016.

    The Logic and Semantics group at Aarhus University, led by Prof. Dr. Lars Birkedal, has 3 openings for PhD positions:
    - a position in the project 'Modular reasoning about concurrent higher-order imperative programs' (see http://www.cs.au.dk/~birke/modures/ or contact Lars Birkedal at birkedal at cs.au.dk)
    - a position in a new project 'Guarded homotopy type theory' aimed at developing type theories combining ideas from guarded type theory and homotopy type theory (contact Lars Birkedal at birkedal at cs.au.dk or Bas Spitters at spitters at cs.au.dk)
    - a position in the project 'Language-based Security' focusing in particular on mitigating timing attacks (see http://talent.au.dk/phd/scienceandtechnology/opencalls/ or contact Prof. Aslan Askarov at aslan at cs.au.dk).

    Application deadline for all positions is May 1st, 2015. For more information, see http://cs.au.dk/research-at-cs/logic-and-semantics/. For information on how to apply, see http://talent.au.dk/phd/scienceandtechnology/opencalls/.

  • Master's Program in Logic at the University of Gothenburg

    Newsitem added on 1 April 2016.

    The Department of Philosophy, Linguistics & Theory of Science at the University of Gothenburg is pleased to announce the inauguration of the Master's Program in Logic. The program will be launched in Autumn of 2016.

    Although the deadline for applicants from non-EU/EEA countries for Autumn of 2016 has already passed, applicants from EU/EEA countries (and others not in need of a Swedish resident permit) can still apply until 11:59 PM (Sweden time) of Friday 15 April 2016.

    For more information, see http://flov.gu.se/mil.

  • Two PhD Positions in Logic, University of Bern

    Newsitem added on 27 March 2016.

    Two open PhD positions are available in the project 'Justifications and Non-classical Reasoning' in the Logic and Theory Group of the Institute of Computer Science at the University of Bern.

    We are looking for students with a strong background in logic (mathematics, computer science, or philosophy) who want to further develop their knowledge and skills in epistemic and non-classical logic.

    The salary for the position is approximately 50,000 Swiss Francs per year.

    For more information, see the LTG-website at http://www.ltg.unibe.ch or contact Prof. Thomas Studer by email: tstuder at inf.unibe.ch

  • Associate/Full Professor in Computational Linguistics, Stony Brook University

    Newsitem added on 18 February 2016.

    The Department of Linguistics at Stony Brook University (New York, USA) invites applications for a tenured appointment in computational linguistics. Applicants must have a PhD, preferably in Linguistics or Computer Science. The department has a long-standing focus on theoretical linguistics, and has recently branched out into experimental and computational linguistics with a number of new hires. This hire is supposed to further sharpen the department's computational profile and strengthen its connections to local IT industry.

    Deadline (extended): May 1st 2016. For more information, see http://linguistlist.org/issues/27/27-1662.html or https://academicjobsonline.org/ajo/jobs/6983.

  • VU Amsterdam: 4 PhD candidates-lecturers in PPE

    Newsitem added on 14 February 2016.

    Beginning in September 2016, VU Amsterdam will offer an international bachelor programme in Philosophy, Politics and Economics (PPE). The J.S. Mill College, with its own venue on the VU Amsterdam campus, will form its social and intellectual community. The PPE programme (www.vu-ppe.nl) is a joint initiative of three faculties of VU Amsterdam: the Faculty of Humanities, the Faculty of Social Sciences, and the Faculty of Economics and Business Administration. The PPE programme seeks candidates for four fully funded PhD positions with full employment benefits. As one of the four PhD candidates-lecturers PPE you will teach courses within the college, play an active role in the PPE-community, and conduct research that results in a PhD dissertation. The gross yearly salary starts at €30.500,- in the first year and increases to its maximum of €38.772,- in year four of the appointment (based on 1.0 fte appointment).

    Deadline: Sunday 13 March 2016. For more information, see http://www.vu.nl/en/employment/vacancies/2016/16041.aspx

  • Stockholm University: Assistant professor in Mathematical Logic

    Newsitem added on 14 February 2016.

    The Department of Mathematics at Stockholm University with its excellent research record and long lasting traditions has acquired a very special place in Scandinavian mathematics. The department consists of two divisions: mathematics and mathematical statistics. Professors and lecturers working at the division of mathematics possess competence in different areas of mathematics, in particular there are research groups in algebra, geometry and combinatorics, analysis and logic. During the last decade the division has almost doubled the number of students. We carry out an active policy to develop and modernise the educational process and both our Bachelor and Master programs got the highest ranking in the latest university evaluation.

    Deadline: 11 April 2016. For more information, see http://www.su.se/english/about/vacancies/

  • University of Strathclyde: Research Associate

    Newsitem added on 7 February 2016.

    Applications are invited for a Research Associate to work under the supervision of Dr Clemens Kupke on the EPSRC grant "Coalgebraic Foundations of Semi-Structured Data".

    Deadline: 29 Februari 2016. For more information, see https://bit.ly/1KLxjMz

  • University of Strathclyde: PhD Position

    Newsitem added on 7 February 2016.

    Applications are invited for PhD study under the supervision of Dr Clemens Kupke and Prof Neil Ghani in coalgebra, category theory and logic with special focus on coalgebraic fixpoint logics and their applications in databases and economic game theory. The position is fully funded for EU students and will last for 3.5 years.

    For more information, please contact P.vanOrmondt at uva.nl

    Or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7158.

  • Postdoc research fellows, Basque Country, Spain

    Newsitem added on 21 January 2016.

    Ikerbasque - the Basque Foundation for Science, launched a call offering 15 contract positions for postdoctoral researchers, within any of the Basque Research Institution (Universities, BERC - Basque Excellence Research Centres, CIC – Cooperative Research Centres, Biomedical institutions and Technology Corporations, among others). These Fellowships are intended to offer young promising researchers a track towards a PI role and independent research. The applicants must have their PhD completed between 1/1/2006 and 31/12/2013. The positions are for a period of 5 years. Application deadline: 4 April 2016.

    For more information, see http://www.ikerbasque.net/

  • University of Lublin: PhD position

    Newsitem added on 17 January 2016.

    The Faculty of Philosophy at the John Paul II Catholic University of Lublin invites applications for one PhD position (33 months) starting from 01 April 2016 or soon after. The Faculty is a vital research and teaching environment in Philosophy and Cognitive Science, offers excellent career development opportunities. The position will be in the project "Permissions, Information and Institutional Dynamics, Obligations, and Rights" under the supervision of Prof. Piotr Kulicki.

    Deadline: Monday 15 February 2016. For more information, see http://www.philosophy.kul.pl/phd-student-position/ and http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft//

  • PhD Position in Logic, University of Bern

    Newsitem added on 17 January 2016.

    The Mathematical Institute at the University of Bern invites applications for a PhD position in the Mathematical Logic Group of Prof. George Metcalfe.

    Applicants are expected to have a strong background in Logic and an interest in pursuing research on topics related to Universal Algebra, Proof Theory, and/or Non-Classical Logics. Due to University regulations, applicants should also have at least a (Bachelor) Minor in Mathematics and a Masters degree before starting the position.

    The salary for the position, including a 15 percent teaching assistantship, is approximately 50,000 Swiss Francs per year.

    For more details, and information on how to apply (closing date: 30.4.2016) please contact Prof. George Metcalfe by email atgeorge.metcalfe at math.unibe.ch.

  • PhD position in Logic, AI and philosophy, Utrecht (the Netherlands)

    Newsitem added on 14 January 2016.

    An open PhD position is available in the REINS project on the topic of 'Responsible agency'. We are looking for a student with a formal/philosophical logic background (not necesarilly a mathematical logic background) who wants to further develop his knowledge and skills in an interdisciplinary project with legal theorists, AI-researchers and philosophers.

    More on the informal aspects of the project can be found at http://www.projects.science.uu.nl/reins/ For inquiries, please send an email directly to Jan Broersen at J.M.Broersen at uu.nl.

  • Lecturer (Assistant Professor) Position in Computer Science, Liverpool

    Newsitem added on 8 January 2016.

    We seek a research-active, motivated, and highly professional individual expected to contribute in a variety of ways to the research areas mentioned below. You should have an excellent research track record or high research potential in the area of your expertise, strong interest in securing research funding, and ability to contribute to teaching provided by the Department. Preference will be given to those with potential in interdisciplinary research, research impact, and outreach activities. The Department is renowned internationally for excellent research in Algorithms and Optimisation; Argumentation; Automata, Computability and Complexity Theory; Data Mining and Machine Learning; Economics and Computation; Networks and Distributed Computing; Knowledge Representation; Robotics and Autonomous Systems; and,Verification.

    Closing date for receipt of applications: Friday, 15 January 2016 at 17:00 GMT. For more information, see https://www.liverpool.ac.uk/working/jobvacancies/currentvacancies/academic/

  • PhD Positions in Artificial Intelligence, EPFL, Lausanne

    Newsitem added on 8 January 2016.

    Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.

    LIA has several openings for Ph.D. candidates in Artificial Intelligence, with particular interest in autonomous intelligent agents, multi-agent systems, computational game theory, and multi-agent learning. Studies will be part of the EDIC Ph.D. program. The positions carry an assistantship with an annual salary of about 50000 Swiss Francs/year.

    Applications have to be submitted to EDIC at http://phd.epfl.ch/edic by April 15th, 2016. For more information, see the LIA-website at http://liawww.epfl.ch/, or contact prof. Boi Faltings by email: boi.faltings at epfl.ch.

  • Postdoc Position in Multi-agent Systems, EPFL, Lausanne

    Newsitem added on 8 January 2016.

    Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.

    LIA has en opending for a post-doc position. The position is not attached to a specific project but candidates should have a background in the broad area of multi-agent systems, ranging from AI planning to computational game theory. The position offers possibilities for career development through teaching and supervision of student projects at all levels. The annual salary is very competitive at about 80000 Swiss Francs/year. The starting date can be as soon as possible but is flexible.

    For more information, see the LIA-website at http://liawww.epfl.ch/, or contact prof. Boi Faltings by email: boi.faltings at epfl.ch.

  • Postdoc position in SAT solving at KTH Royal Institute of Technology

    Newsitem added on 13 December 2015.

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.

    The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. On the practical side, some interesting problems are to gain a better understanding of the performance of current state-of-the-art SAT solvers — in particular, solvers using conflict-driven clause learning (CDCL) — and to explore techniques that would go beyond CDCL, such as approaches based on algebraic or geometric reasoning.

    These are full-time employed positions for one year with a possible one-year extension. The expected start date is August-September 2016, although this is to some extent negotiable.

    The application deadline is January 24, 2016. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2015-0823-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.

  • Postdoc position at KTH Royal Institute of Technology

    Newsitem added on 13 December 2015.

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in computational complexity.

    The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. On the theoretical side, proof complexity has turned out to have deep, and sometimes surprising, connections to other topics such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and therefore researchers in these or other related areas are more than welcome to apply.

    These are full-time employed positions for one year with a possible one-year extension. The expected starting date is August-September 2016, although this is to some extent negotiable.

    The application deadline is January 24, 2016. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2015-0816-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.

  • PhD position in Logic & Foundations of Decision Making

    Newsitem added on 6 December 2015.

    A PhD position is open at the Faculty of Technology, Policy and Management at the Delft University of Technology.

    The PhD candidate will conduct research at the interface of logic and computer science, and theories of decision making, such as decision theory, game theory, and social choice theory. The research project will be formulated in consultation with the PhD candidate. Particular topics of interest include the development of modal logics of strategic ability, belief and rationality, as well as algebraic/coalgebraic methods for reasoning about dynamic decision making processes. The PhD candidate will be supervised by Dr. Helle Hvid Hansen who works closely with the Applied Logic group at TPM, as well as with other researchers in coalgebra and logic in the Netherlands and abroad.

    For more details, and information on how to apply (closing date: 14 Dec 2015), go to http://recruitment2.tudelft.nl/vacatures/.

  • Hack Your Future

    Newsitem added on 17 November 2015.

    Hackyourfuture is an initiative that teaches computer programming to refugees in Dutch refugee centers. At the moment many refugees have very few possibilities in terms of work and education during their time in a refugee center. Our aim is to teach refugees to program and to bring them in contact with our network of businesses that hire programmers. Currently we're developing our on-line educational program and we're looking for programmers who would like to help out to create a high quality course.

    We are looking for people who'd like help as:
    - tutors, who help our students with their programming exercises and help them with more general questions. (like what language to learn next, career questions etc.) This is mainly done on-line and takes 2-4 hours a week. (we will teach multiple programming languages)
    - program developers, who organize and structure the educational set-up of the program. This mainly comes down to creating a curriculum of interesting exercises for our students after they have learned the basics of programming.

    If you're interested in helping, or have any questions mail usinfo at hackyourfuture.net. Also have a look at our website: http://www.hackyourfuture.net/. All help is greatly appreciated.

  • PhD and Postdoc Positions at QMATH Copenhagen

    Newsitem added on 15 November 2015.

    The positions are available in the frame of the recently announced Villum Center for Excellence in the Mathematics of Quantum Theory (QMATH) at the University of Copenhagen.

    QMATH will focus on research in quantum information theory and mathematical physics and will work in close collaboration with experimental quantum science in Copenhagen.

    For more information and current activities, please see: http://www.math.ku.dk/english/research/gamp/qit/.
    Postdoc call (deadline: Nov 30, 2015): http://employment.ku.dk/faculty/?show=778262.
    PhD call (deadline January 3, 2016): http://www.math.ku.dk/english/about/jobs/phd_2016/.

  • PhD student position in Cottbus

    Newsitem added on 5 November 2015.

    Klaus Meer informed us that there is an opening for a PhD student in theoretical computer science at the TU Cottbus. The position is a three year full-time position with teaching duties starting from 1 April 2016.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7036 or contact professor Meer at meer at b-tu.de.

New Appointments

  • Sonja Smets appointed new director of ILLC

    Newsitem added on 21 April 2016.

    Sonja Smets has been appointed director of the Institute for Logic, Language and Computation (ILLC) effective 1 June 2016. Smets has been working for ILLC since 2012, where she joined the management team in November 2013.

    In 2012 Smets moved with her research team from University of Groningen to UvA, where she became director of the ILLC PhD-programme. Her research programme, which is now part of the Institute’s Amsterdam Dynamics group, ranges over logic and its applications in areas such as formal epistemology and quantum theory. In 2009, she received a Vidi award from the Netherlands Organisation for Scientific Research (NWO) for her project on quantum logic and the applications of logic to quantum information theory. In 2012 she was awarded the ERC Starting Grant to fund her project on the logical structure of correlated information change.

    Besides her work for ILLC, Smets was appointed member of the Scientific Oversight Committee of the Joint Research Center for Logic at Tsinghua University (Beijing) and UvA in 2014.

Miscellaneous

  • New Book: Handbook of Computational Social Choice

    Newsitem added on 4 May 2016.

    The Handbook of Computational Social Choice, edited by Felix Brandt (Munich), Vincent Conitzer (Duke), Ulle Endriss (ILLC), Jérôme Lang (Paris), and Ariel Procaccia (Carnegie Mellon) has just appeared with Cambridge University Press.

    The digital edition of the book is freely available at http://www.cambridge.org/9781107060432. Find it under "Resources" und use the password cam1CSC to unlock it. This password can be distributed openly and legally.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7354 or contact Ulle Endriss (ulle.endriss at uva.nl).

  • 29 April 2016, ILLC drinks

    Date and time: Friday 29 April 2016, 17:30

    The ILLC PhD council kindly invites you to the first edition of the ILLC drinks in 2016! These drinks are meant as an informal meeting place for the entire ILLC community. There will be drinks, snacks & fun so be sure to be there :-)

    We hope to see you!

    For more information, please contact phdcouncil.illc at gmail.com
  • Fenrong Liu publishes an article in Guangming Daily

    Newsitem added on 17 April 2016.

    Fenrong Liu publishes an article "Advances in Modern Logic" in Guangming Daily April 13, 2016, one of the most influential newspapers in China. In the article, she argues that social structure plays an important role in intelligent interactions, and she explains some open problems and challenges in logic once we start thinking from a social dimension.

    For more information, see http://news.gmw.cn/2016-04/13/content_19683597.htm

  • New sourcebook on Formal Epistemology: ``Readings in Formal Epistemology: "Readings in Formal Epistemology"

    Newsitem added on 14 April 2016.

    This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic.

    For more information, see https://www.springer.com/us/book/9783319204505

  • The Vossius Center for the History of Humanities and Sciences has officially opened

    Newsitem added on 1 April 2016.

    After almost 400 years, the first professor at the University of Amsterdam, Gerardus Vossius, has been honored with a Center that aims to bring together researchers from all faculties who share an interest in the history of humanities and sciences.

    For more information, see http://vossius.uva.nl/

  • 31 March - 9 June 2016, Several IXA workshops on valorisation

    Newsitem added on 24 March 2016.

    IXA organises a new serie of workshops on various topics in valorisation. The workshops are very pratical to get you started immediately. The workshops are open to all scientists from AMC, HvA, UvA, VU, VUmc and NWO Institutes. Participation is free of charge and for the workshops starting at 08:30 breakfast will be served. The location of the workshops is alternately at the VU, UvA or AMC.

    For more information, see http://www.ixa.nl/en/news-agenda/agenda.html

  • Rens Bod delivered the Academy Lecture 2016 at The Norwegian Academy of Science and Letters

    Newsitem added on 20 March 2016.

    On 8 March 2016 Rens Bod delivered the 2016 Academy lecture to the Norwegian Academy of Science and Letters entitled "How Interactions between Humanities and Science have Shaped our Knowledge".

    For more information, see http://www.dnva.no/kalender/vis.html?tid=66789

  • 18 March - 4 September 2016, UvA Special Collections Exhibition 'Out of the Box'

    Newsitem added on 23 March 2016.

    The exhibition 'Out of the Box' showcases items from the rich heritage of the University of Amsterdam, selected by UvA scholars from various disciplines. Amongst the items are selections by ILLC researchers Rens Bod, Bas Cornelissen, Henkjan Honing and Carlos Vaquero.

    For more information (in dutch) see http://bijzonderecollecties.uva.nl/nieuws-agenda/tentoonstelling/.

  • M.Sc. Program in Cognitive Systems: Human-Computer Symbiosis

    Newsitem added on 28 February 2016.

    To teach the new paradigm of cognitive computing, the M.Sc. Program in Cognitive Systems brings together two main scientific areas: Cognitive Psychology, and Artificial Intelligence in Computer Science. Aiming, on the one hand, for the prospective students to understand the basis for human cognition, the Program is strongly influenced by Cognitive Psychology and includes learning modules that explore the fundamentals of perception, learning, mental representation, and reasoning in humans.

    For more information, see http://www.ouc.ac.cy/web/guest/s2/programme/cos/

  • Master in Pure and Applied Logic

    Location: Barcelona
    Newsitem added on 31 December 2015.

    The biannual two-year 'Master in Pure and Applied Logic' programme for 2016-2018, jointly organized by the University of Barcelona and Polytechnical University of Catalunya, is open for (pre) registration.

    The Barcelona Logic Master caters in the most central aspects of advanced logic. Professors related to the Barcelona Master in Pure and Applied Logic come from various prominent Universities and Research Institutes in the area of Barcelona.

    Interested students can find more information at http://www.ub.edu/masterlogic/. Questions, also questions related to scholarships, housing etc., can be sent to Ramon Jansana at jansana at ub.edu.

  • Honorary doctorate Dick de Jongh and Matthias Baaz

    Newsitem added on 5 October 2015.

    An honorary doctorate was awarded by the Ivane Javakhishvili Tbilisi State University to Professors Dick de Jongh (ILLC, University of Amsterdam) and Matthias Baaz (Vienna University of Technology) in recognition of their contribution to the development of the Georgian schools of logic and linguistics.

    The ceremony was held during The Eleventh Tbilisi Symposium on Logic, Language and Computation, Tbilisi, Georgia, 25 September, 2015.

    For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/Honorary-doctorate

Regular Events

  • Music Cognition Reading Group

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

    The Music Cognition Reading Group is a monthly meeting where we discuss recent papers in the field of music cognition and occasionally have a guest speaker over. The meetings are open to anyone interested in music cognition.

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

  • Theoretical Computer Science Seminar

    Date: irregular
    Location: Science Park 904, Amsterdam

    The Theoretical Computer Science seminar is a series of talks about theoretical computer science, focusing on topics related to algorithms, complexity, cryptography and quantum computing. Talks are organized in cooperation with the Algorithms and Complexity group at CWI. Events usually take place at CWI or at the ILLC.

    For more information, contact Christian Schaffner (c.schaffner at uva.nl).

  • Cognition@ILLC

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

    The goal of the seminar is to create a joint platform to discuss cognition related research. It is organized jointly by three ILLC research groups: LoCo, LaLo, and LaCo. If you have some questions/suggestions please contact Jakub Szymanik at jakub.szymanik at gmail.com.

  • Algebra|Coalgebra Seminar

    Date and time: biweekly on Thursdays, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    The purpose of the meeting is to discuss results and insights about and around algebraic and coalgebraic methods in logic. The atmosphere is very informal, talks usually last one hour and the rest of the time is devoted to discussion.

    The A|C homepage can be found at http://www.illc.uva.nl/alg-coalg/

  • Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)

    Date: Irregular, monthly
    Location: Room varies, Science Park 904, Amsterdam

    This is a seminar series on Provability, Interpretability, Intuitionism and Arithmetic, organized jointly by the universities of Amsterdam, Nijmegen and Utrecht. Each session will consist of informal technical talks, followed by elaborate discussion. The meetings will take place about once a month, either in Amsterdam or Utrecht.

    For more information, see http://jeroengoudsmit.com/piia/.

  • Cool Logic seminar for Logic Students

    Date and time: biweekly on Fridays, 17:30-18:30
    Location: Room varies, Science Park 904, Amsterdam

    Cool Logic is an internal seminar, where MScLogic and PhD students (only) of the ILLC can meet and keep each other updated about recent, current and ongoing work. It will be more informal than the Logic Tea, and students will be free to present not only finished results, but also e.g. ideas that are not yet fully worked out, or just any logic related topics that they find interesting.

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

  • The LeGO (Leerstoel Groepen Overleg) Seminar

    Date and time: biweekly on Fridays, 16:00-17:30
    Location: Room varies, Science Park 904, Amsterdam

    LeGO is an internal seminar where members of the LLA group (capacity group Logic and Language) keep each other updated about recent, current and ongoing work. Interested ILLC scholars and students are welcome and they can receive the announcements by subscribing to p.j.e.dekker at uva.nl or m.i.crespo at uva.nl.

    The LEGO homepage can be found at http://www.illc.uva.nl/LoLa/LeGO-Seminar/

  • LogiCIC Seminar

    Date: monthly on Thursdays
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    The monthly LogiCIC seminar series is organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.

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

  • SMART Cognitive Science Lectures

    Date and time: monthly, 15:00-18:00
    Location: UvA (building varies), Amsterdam

    The SMART (Speech & language, Music, Art, Reasoning & Thought) Cognitive Science initiative is part of the 'zwaartepunt' Brain & Cognitive Science of the Faculty. The main activity in SMART CS will be a new lecture series with internationally renowned cognitive scientists; additionally, we will support existing activities and initiate new ones, both online and offline, to bring together cognitive scientists at the ILLC, ACLC and other research institutes of the Faculty and to highlight the contributions of the humanities to the cognitive sciences. Our activitities are organized in close collaboration with the Cognitive Science Center Amsterdam.

    For more information, see http://smartcs.humanities.uva.nl/.

  • ILLC Colloquium

    Date: semiannually

    The ILLC Colloquium is a half-yearly festive event (respectively the New Year's Colloquium and the Midsummernight 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.

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

  • Seminar on music cognition and computation

    Date: irregular
    Location: Room TBA, Science Park 904, Amsterdam

    A reading/discussion group on music cognition and computation exists since 2004. For each meeting one or two articles are chosen (and read by the participants beforehand) to form the basis for a discussion.

    The seminar on music cognition and computation homepage can be found at http://staff.science.uva.nl/~ahoningh/readinggroup.html.

  • Logic and Interactive RAtionality (LIRa)

    Date and time: weekly (usually Fridays), 13:00-14:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    The LIRa seminar is a series of talks organized by the Amsterdam Dynamics Group, focusing on the logical, philosophical and computational aspects of agency, rational interaction and social-informational dynamics. The seminar covers research topics lying at the interface of Logic with Game Theory, Decision Theory, Learning Theory, Formal Epistemology, Social Choice Theory, Computer Science, Philosophy of Science or Philosophy of Language. Core areas of interest are Modal Logic approaches to interaction, as well as other approaches, e.g. game semantics,dynamic semantics for natural language, (co)algebraic approaches, or (in)dependence-friendly logics.

    Note that the day on which LIRa lectures are held may vary between terms.

    The LIRA seminar homepage can be found at http://www.illc.uva.nl/lgc/seminar/. Information about the Amsterdam Dynamics Group can be found at http://www.illc.uva.nl/dg/.

  • Computational Social Choice Seminar

    Date: irregular
    Location: Science Park 904, Amsterdam

    The Computational Social Choice Seminar is a series of occasional talks that address issues at the interface of computer science (including logic, multiagent systems and artificial intelligence) and mathematical economics (including social choice theory, game theory and decision theory).

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

  • The Colloquium on Mathematical Logic

    Date: irregularly
    Location: Room C1.112, Science Park 904, Amsterdam or Wiskundegebouw, Budapestlaan 6, Utrecht

    Starting in the Academic Year 2003/2004, the ILLC and the Mathematics and Philosophy Departments of the Universiteit Utrecht will be jointly organizing a Colloquium on Mathematical Logic (organizers: Allessandra Palmigiano, Jouko Väänänen, Jaap van Oosten and Rosalie Iemhoff). This joint colloquium revives the tradition of the InterCity seminar of the 1970s and 1980s and will be a venue for talks by external guests, researchers from Amsterdam and Utrecht, and last but definitely not least, students from Amsterdam and Utrecht.

    For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

  • Computational Linguistics Seminar

    Date and time: weekly on wednesdays, 16:00
    Location: Room A1.04, Science Park 904, Amsterdam

    Talks by locals and outsiders, alternating with a reading group, on Computational Linguistics -- that is, research that is or can be implemented in a computer program, and tries to process or account for natural language data (which includes language modeling, statistical modeling, pattern recognition and machine learning methods, formal linguistic grammars, speech recognition, machine translation, computational semantics, and other topics that one currently finds at ACL, COLING, or in the CL journal).

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

  • The DIP (Discourse and Philosophy) Colloquium

    Date and time: biweekly on fridays, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    The Discourse and Philosophy (DIP) Colloquium is organized by the Logic and Language group at the Institute for Logic, Language, and Computation, University of Amsterdam. The program reflects the current research interests of the group: cognition and reasoning, formal semantics and pragmatics, computational linguistics, and philosophy of logic and language.

    The DIP homepage can be found at http://www.illc.uva.nl/LoLa/DIP-Colloquium/

  • The Logic Tea

    Date and time: irregular, tuesdays, 17:00-18:00
    Location: Room A1.04, Science Park 904, Amsterdam

    The Logic Tea, a series of one-hour talks designed for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC, with discussion, tea and cookies afterwards.

    Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/.

  • Dutch Social Choice Colloquium

    Newsitem added on 9 February 2016.

    The Dutch Social Choice Colloquium will organise regular half-day meetings in Amsterdam, Maastricht, and Rotterdam on a wide variety of topics related to social choice theory, with local and international speakers from, amongst others, Philosophy, Political Science, Economics, Mathematics, Artificial Intelligence, and Computer Science. Everyone is welcome to attend. Please subscribe to the DSCC mailing list for announcements of individual metings.

    For more information on the programme and the mailing list, please visit http://www.illc.uva.nl/DSCC/.

  • Amsterdam Philosophy Encounters Science & Society (APES)

    Date: monthly
    Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam

    APES is the place where Amsterdam-based philosophers of science based discuss about their specialised work in progress, about their experience in communicating to the public or to policy makers, run meta-philosophical reflections about their discipline, academia, society, and much more. Anyone interested in hearing and contributing to discussion about science, society, philosophy of science — or any combination of these — is most welcome to our meetings.

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

        Back to top of page