Universiteit van Amsterdam


Institute for Logic, Language and Computation

News Archives 2018

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


Headlines Past Events

Headlines Calls for Paper

Headlines Past Conferences

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines Past appointments

Headlines Miscellaneous

No Former Regular Events

Past Events

  • 24 April 2018, Workshop on Set Theory and Theoretical Computer Science

    Date & Time: Tuesday 24 April 2018, 15:30-18:30
    Location: Vondelzaal (Universiteitsbibliotheek room C1.08, Singel 425)

    In connection with Hugo Nobrega's PhD defense (Tuesday, April 24, at noon at the Agnietenkapel), we are having a small workshop with talks by some of the members of his thesis committee on April 24. Everyone is cordially invited to join!

    The program is currently planned as follows:
    15:30 - 16:15 Vasco Brattka, TBA
    16:15 - 17:00 Jacques Duparc, TBA
    17:00 - 17:45 Jouko Väänänen, "An extension of a theorem of Zermelo”
    17:45 - 18:30 Arno Pauly, TBA

    For more information, see http://hugonobrega.github.io/activities/workshop.html or contact Hugo Nobrega at .
  • (Updated) 23 April 2018, ILLC Seminar, Anja Rey

    Speaker: Anja Rey
    Title: Testing Stability Properties in Graphical Hedonic Games
    Date & Time: Monday 23 April 2018, 14:00-14:50
    Location: ILLC Seminar Room F1.15, Science Park 107, The Netherlands

    Coalition formation games model situations in which agents cooperate in teams, such as stable-roommate problems and project allocation problems, based on individual preferences of the agents. Questions of interests are related to stable and fair outcomes as well as representations of these games.

    In this talk, firstly, an overview of hedonic games is given. These
    can model agents' preferences over coalitions (i.e. sets of agents),
    where the happiness of agents with a coalition structure only depends on their own coalition. Within the recent twenty years, various representations and stability notions, such as Nash stability, havebeen studied. Trade-offs exist between compact encodings and expressivity as well as the computational complexity of stability problems.

    Secondly, a model of hedonic games with ordinal preferences and
    thresholds is presented. Here, it is assumed that agents only know
    a subset of their co-agents whom they partition into the sets of
    friends and enemies. The remaining agents are considered as
    neutral. At the same time they specify a weak order over the former
    two sets. This relation is extended to a set of possible
    preferences over coalitions such that it is reasonable to define
    the notions of possible and necessary stability. While this model
    can express preferences more generally than related models, the
    complexity of various stability problems does not increase. Nevertheless many of these problems remain NP-hard or
    even hard for the second level of the polynomial hierarchy.

    In the literature natural restrictions are known that allow a decision
    of some stability problems. Nevertheless, in order to evaluate
    the stability of, e.g., a distribution into working groups, the
    whole game has to be taken into consideration. In particular, in
    large institutions or social networks, it would be desirable to
    deduce global information from local samples.  Finally, in this
    talk an initial result to tackle this problem with property
    testing in the context of hedonic games is introduced.

    For more information, contact Yde Venema at .
  • 20 April 2018, Workshop on Formal Models of Context

    Date & Time: Friday 20 April 2018, 15:00
    Location: Room E2.01, OMHP (Oudemanhuispoort), Oudemanhuispoort 4-6, Amsterdam

    The workshop on "Formal Models of Context in Natural Language Processing", on the occasion of Julian Schlöder's PhD defence, will take place on April 20th, 15:00 in Oudemanhuispoort Room E2.01. There is no need to register.

    Speakers: Luca Incurvati (Amsterdam), Alex Lascarides (Edinburgh), Matthew Stone (Rutgers).

    For more information, see http://jjsch.github.io/ws-context.html or contact Julian Schlöder at .
  • 20 April 2018, MoL thesis presentation events

    Speaker: MoL students
    Title: Presentations MoL theses in Mathematics and Computer Science
    Date & Time: Friday 20 April 2018, 13:00-15:00
    Location: Room F2.19, ILLC ILLC, Science Park 107, Amsterdam
    For more information, contact Maria Aloni at .
  • 19 April 2018, Logic and Interactive Rationality (LIRa), Giuseppe Dari-Mattiacci

    Speaker: Giuseppe Dari-Mattiacci
    Title: Mutual Persuasion
    Date & Time: Thursday 19 April 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

     (joint with Davide Grossi)

  • (Updated) 19 April 2018, ILLC Seminar, Daniela Petrisan

    Speaker: Daniela Petrisan
    Title: Duality and categories meet automata
    Date & Time: Thursday 19 April 2018, 10:00-10:50
    Location: ILLC Seminar Room F1.15, Science Park 107, The Netherlands

    In this talk I will present an overview of some recent results involving applications of duality and category theory in automata and language theory.

    One such strand of research involves a generic approach to  automata minimization. We depart from the standard coalgebraic approach and model automata as functors from a category specifying the input of the machine to another category which captures the structure of it's output. We identify sufficient conditions on the output category which ensure the existence of minimal automata. This allows us to cover awide range of examples by systematically applying the same category-theoretic principles in various instances.

    A second research axis heavily uses duality theory to extend algebraic methods from the theory of regular languages to the non-regular setting. There are a plethora of results relating algebraic and logical characterizations of classes of regular languages. We aim to develop the tools that allow us to obtain such correspondences forclasses of non-regular languages. I will explain in detail how thesyntactic monoid of a language can be seen as the dual of the Booleanalgebra spanned by the quotients of that language. This paves the way for defining a suitable notion of recognisers for non-regular languages and to extend in this setting standard constructions from monoids that are the algebraic counterpart of logical quantifiers.

    For more information, contact Yde Venema at .
  • 19 April 2018, NWO Information Meeting Veni pilot SSH and AES

    Date: Thursday 19 April 2018
    Location: Utrecht, The Netherlands

    On Thursday 19 April, NWO organises two information meetings for researchers who want to apply for a Veni grant in the coming round. In the coming Veni round the NWO Domains Applied and Engineering Sciences (AES) and Social Sciences and Humanities (SSH) will pilot the use of a pre-proposal phase. Find out more about the Veni programme and pilot and register.

  • 18 April 2018, ILLC MasterClass Cognition 2018

    Date: Wednesday 18 April 2018
    Location: University of Amsterdam, The Netherlands

    The ILLC will organise a MasterClass Cognition for secondary school students. The MasterClass will consist of one day with three lectures. Topics include philosophy, music cognition and language.

    For more information, see http://events.illc.uva.nl/MasterClass/Cognitie2018/ or contact Peter van Ormondt at .
  • 16 April 2018, AUC Logic Lectures, Alexandru Baltag

    Speaker: Alexandru Baltag (ILLC/UvA)
    Title: Logic Goes Viral - the fate of truth in the age of information
    Date & Time: Monday 16 April 2018, 18:00-19:00
    Location: AUC Common Room, Science Park 113, Amsterdam

    This is an invitation to reflect on the successes and failures of collective rationality, particularly as embodied in modern mechanisms for mass information-aggregation-and-exchange (media, markets, voting, social networks, crowdsourcing). Will 'truth' (the real truth) survive the ''information age"?

  • 13 April 2018, DIP Colloquium, Peter Pagin

    Speaker: Peter Pagin (Stockholm University)
    Title: Classical Propositions and Switcher Semantics
    Date & Time: Friday 13 April 2018, 16:00-17:30
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 13 April 2018, MoL thesis presentation events

    Speaker: MoL students
    Title: Presentations MoL theses in Philosophy
    Date & Time: Friday 13 April 2018, 13:00-15:30
    Location: Room F2.19, ILLC ILLC, Science Park 107, Amsterdam
    For more information, contact Maria Aloni at .
  • 12 April 2018, Logic and Interactive Rationality (LIRa), Alexandru Baltag

    Speaker: Alexandru Baltag
    Title: Some Thoughts on the Logic of Imprecise Observations
    Date & Time: Thursday 12 April 2018, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 11 April 2018, Algebra|Coalgebra Seminar, Esther Boerboom and Noor Heerkens

    Speaker: Esther Boerboom and Noor Heerkens (ILLC)
    Title: Classical equivalents of intuitionistic implication
    Date & Time: Wednesday 11 April 2018, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    The objective of our study was to find suitable classical equivalents of intuitionistic implication. Since the formula “p implies q” has infinitely many classical equivalents in the full fragment of intuitionistic propositional logic, we restricted ourselves first of all to finite fragments. In order to find the most suitable candidates we examined important features of the candidates in these fragments, such as reflexivity and transitivity. Additionally we examined if the formulas are weaker or stronger than intuitionistic implication and whether they are exact.

    For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .
  • 11 April 2018, Amsterdam Metaphysics Seminar, Nathan Wildman

    Speaker: Nathan Wildman (Tilburg University)
    Title: Necessity by Accident
    Date & Time: Wednesday 11 April 2018, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
  • 10 April 2018, Colloquium on Mathematical Logic, Joost Joosten

    Speaker: Joost Joosten
    Title: Münchhausen provability
    Date & Time: Tuesday 10 April 2018, 16:00-17:00
    Location: Room 106, Janskerkhof 15A, Utrecht
  • 10 April 2018, SURF Research Bootcamp

    Date & Time: Tuesday 10 April 2018, 09:00-17:00
    Location: Wibauthuis, Wibautstraat 3b, 1091 GH Amsterdam
    Costs: 75 EUR excl. VAT

    Are you interested in using new ICT technology to boost your research?

    Want to learn how to use high performance computing to speed up your calculations? Can you imagine the possibilities of scientific visualisation, and would you like to explore the power of big data analysis?

    Discover new possibilities, experience the practical impact and do more with your data at the SURF Research Bootcamp.

    For more information, see https://surfresearchbootcamp.nl/.
  • 6 April 2018, DIP Colloquium, Paul Portner

    Speaker: Paul Portner (Georgetown University)
    Title: The Semantics of Action and Comparison in Infinitives and Subjunctives
    Date & Time: Friday 6 April 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 6 April 2018, MoL thesis presentation events

    Speaker: MoL students
    Title: Presentations MoL theses in Language and AI
    Date & Time: Friday 6 April 2018, 13:00-15:00
    Location: Room F2.19, ILLC ILLC, Science Park 107, Amsterdam
  • 5 April 2018, Logic and Interactive Rationality (LIRa), Aldo Ramirez-Abarca

    Speaker: Aldo Ramirez-Abarca
    Title: Playing with stit-fire
    Date & Time: Thursday 5 April 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 4 April 2018, Workshop on Language Evolution, Semantics and Pragmatics

    Date & Time: Wednesday 4 April 2018, 14:30
    Location: P.C. Hoofthuis 4.11, Amsterdam

    The workshop will take place in Amsterdam on April 4th 2018. The workshop is free of charge. There's also no need to register. We're looking forward to see you there!

    Speakers: Gerhard Jäger (Tübingen), Marieke Woensdregt (Edinburgh), Jelle Zuidema (Amsterdam), Bas Cornelissen (Amsterdam), and Michael Franke (Osnabrück).

    For more information, see http://brochhagen.github.io/workshop.html or contact Thomas Brochhagen at .
  • 28 March 2018, Amsterdam Metaphysics Seminar, Johannes Korbmacher

    Speaker: Johannes Korbmacher (Utrecht University)
    Title: Tableaux for the Logic of Exact Entailment
    Date & Time: Wednesday 28 March 2018, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
  • 23 March 2018, Cool Logic, Ilaria Canavotto

    Speaker: Ilaria Canavotto
    Title: Where are norms in deontic logic? Here they are!
    Date & Time: Friday 23 March 2018, 18:00-19:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

    The main aim of deontic logic is to come up with a logical system suitable to capture normative concepts (like those of prescription and permission), but it seems clear that these normative concepts should also be somehow connected with norms and normative systems. However, the last sixty years of research has shown that the way to formulate a satisfactory logic of norms can be pretty tortuous. To mention some of the most serious issues, how can we account for the fact that norms direct rather than describe? How can we represent norms as consisting of prescriptions in conditional rather than categorical form? Can we model the fact that only enforced norms are sources of obligation? Is there a relation between norms and ideality?

    In this talk, I will introduce these fundamental problems and present a new logic of norms designed to address them. I will conclude by showing how this new system can be used to overcome the well-known paradox of contrary to duty obligations. Snacks and drinks will be provided in the ILLC common room after the talk!

    For more information, see here or at http://events.illc.uva.nl/coollogic/talks/84 or contact Zoi Terzopoulou at .
  • 22 March 2018, Logic and Interactive Rationality (LIRa), Zeinab Bakhtiari

    Speaker: Zeinab Bakhtiari
    Title: How does uncertainty about other voters determine a strategic vote?
    Date & Time: Thursday 22 March 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 21 March 2018, Algebra|Coalgebra Seminar, Frederik M. Lauridsen

    Speaker: Frederik M. Lauridsen
    Title: MacNeille transferability
    Date & Time: Wednesday 21 March 2018, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    In 1966 Grätzer introduced the notion of transferability for finite lattices. A finite lattice L is transferable if whenever L has an embedding into the ideal completion of a lattice K, then L already has an embedding into K. In this talk we will introduce the analogous notion of MacNeille transferability, replacing the ideal completion with the MacNeille completion. We will pay particular attention to MacNeille transferability of finite distributive lattices with respect to the class of Heyting algebras. This will also allow us to find universal classes of Heyting algebras closed under MacNeille completions.

    This is joint work with G. Bezhanishvili, J. Harding, and J. Ilin.

    For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .
  • 20 March 2018, Dutch Social Choice Colloquium

    Date & Time: Tuesday 20 March 2018, 15:00-18:30
    Location: Room H9-02, Tinbergen Building, Campus Woudestein, Erasmus University Rotterdam

    Speakers: Sacha Kapoor, Giacomo Ponzetto, Stephane Wolton

  • 20 March 2018, Expert sessie: Flipping the Classroom met Canvas

    Date & Time: Tuesday 20 March 2018, 14:00-17:00
    Location: Roeterseiland J/K 1.90, Valckenierstraat 65-67, Amsterdam
    Target audience: UvA Docenten
    Costs: free

    Ben je benieuwd hoe andere UvA docenten in de praktijk hun classroom flippen en hoe ze Canvas daarbij gebruiken? Kom inspiratie opdoen en stel je vragen!

    14.00-14.15 Opening door Ingrid Vos (projectleider Implementatie Canvas UvA)
    14.15-15.00 Blended learning ondersteund door Canvas, Danielle Sent (FdG)
    15.00-15.45 Flipped classroom met Canvas, Christian Schaffner (FNWI)
    15.45-16.30 Kennisclips, Fam te Poel en Jolien Arendsen (FMG)

    Er is na iedere presentatie ruimte voor vragen en het officiële programma duurt tot 16:30. Daarna is er nog de gelegenheid om met elkaar na te praten.

  • 19 March 2018, AUC Logic Lectures Series, Christian Schaffner

    Speaker: Christian Schaffner (ILLC)
    Title: Quantum Cryptography
    Date & Time: Monday 19 March 2018, 18:00-19:00
    Location: AUC Common Room, Science Park 113, Amsterdam

    Recent progress in building quantum computers leads to new opportunities for cryptography, but also endangers existing cryptographic schemes. A large-scale quantum computer will be able to factor large integer numbers, thereby breaking the security of currently used public-key cryptography. The research area of “post-quantum cryptography” investigates the possibilities for replacing currently used classical (i.e. non quantum) systems with quantum-proof variants. On the other hand, quantum mechanics offers a way to communicate with information-theoretic security (which is provably impossible in the classical world). The Quantum Key Distribution (QKD) protocol invented in 1984 by Bennett and Brassard allows two players, Alice and Bob, to securely communicate over an insecure line which is eavesdropped on by Eve. In this talk, I will cover various aspects of the fascinating field of quantum cryptographic research as well as some related political and logical questions.

  • 16 March 2018, DIP Colloquium, Ryosuke Igarashi

    Speaker: Ryosuke Igarashi (Kyoto University)
    Title: A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction
    Date & Time: Friday 16 March 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

    This paper is intended to offer a philosophical analysis of the propositional intuitionistic logic formulated as NJ. This system has been connected to Prawitz and Dummett’s proof-theoretic semantics and its computational counterpart. The problem is, however, there has been no successful justification of ex falso quodlibet (EFQ): “From the absurdity ‘⊥’, an arbitrary formula follows.” To justify this rule, we propose a novel intuitionistic natural deduction with what we call quasi-multiple conclusion. In our framework, EFQ is no longer an inference deriving everything from ‘⊥’, but rather represents a “jump” inference from the absurdity to the other possibility. The paper is joint work with Yosuke Fukuda.

  • 15 March 2018, Amsterdam Election Event

    Date & Time: Thursday 15 March 2018, 18:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    Costs: Free

    After the great success of the Discussion on Italian Politics, we are glad to announce that Ex Falso hosts a new social-political event regarding the election of the Municipality of Amsterdam, the 15th of March! As you may already know, on the 21 of March there will be Amsterdam Local Elections. All EU citizens and the people living in Amsterdam registered at the City Council for at least 3 years can vote!

    The event is aimed at all the people who are not particularly informed about the political situation in the Netherlands, on the different parties running, and their programs. Marlou Gijzen, a second year MoL student, will introduce us the different parties that are running, to their programs and will run a test to understand our ideologies to show us which party best represent them. Finally, she will also share some thoughts regarding the referendum (that she together with other UvA and ILLC students and PhD students initiated) and explain us their motivation for starting the campaign.

    If you haven't followed the electoral campaign this is the right time to get involved. Snacks and drinks will be provided!

    For more information, see https://www.facebook.com/events/207636633151563/ or contact Ex Falso at .
  • 15 March 2018, Logic and Interactive Rationality (LIRa), Martha Lewis

    Speaker: Martha Lewis
    Title: Interacting Conceptual Spaces
    Date & Time: Thursday 15 March 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 8 March 2018, Logic and Interactive Rationality (LIRa), Jan Broersen

    Speaker: Jan Broersen (Utrecht University)
    Title: In search for a backward looking interventionist stit semantic
    Date & Time: Thursday 8 March 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 7 March 2018, Algebra|Coalgebra Seminar, Benno van den Berg

    Speaker: Benno van den Berg
    Title: Path categories
    Date & Time: Wednesday 7 March 2018, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    The purpose of this talk is to introduce the notion of a path category (short for a category with path objects). Like other notions from homotopical algebra, such as a category of fibrant objects or a Quillen model structure, it provides a setting in which one can develop some homotopy theory. For a logician this type of category is interesting because it provides a setting in which many of the key concepts of homotopy type theory (HoTT) make sense. Indeed, path categories provide a syntax-free way of entering the world of HoTT, and familiarity with (the syntax of) type theory will not be assumed in this talk. Instead, I will concentrate on basic examples and results. (This is partly based on joint work with Ieke Moerdijk.)

    For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .
  • 6 March 2018, Semantic Debates - ROCKY seminar on reciprocity, collectivity and typicality

    Date & Time: Tuesday 6 March 2018, 13:15-18:00
    Location: Room 103, Drift 25, Utrecht
    Costs: free

    In this seminar, we address some substantial semantic debates, such as the debate between Tanya Reinhart & Tal Siloni and Edit Doron & Malka Rappaport Hovav on the meaning of clitics like SI and SE in Romance languages. Does a sentence like “Gianni e Maria si sposano” (=G. and M. get married) get interpreted the way it is due to a special syntactic operator (R&S) or due to a pronominal interpretation of “si” like the expression “each other” in English (D&RH)?

  • 1 March 2018, Logic and Interactive Rationality (LIRa), Jana Wagemaker

    Speaker: Jana Wagemaker
    Title: Gossip in NetKAT.
    Date & Time: Thursday 1 March 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 28 February 2018, Data Science Career Fair in Amsterdam

    Date & Time: Wednesday 28 February 2018, 15:00-19:30
    Location: ACE Start-up Village Science Park 608, Amsterdam
    Target audience: All students (Bachelor, Master, PhD) keen to follow a Data Science career (e.g. Business Analytics, Econometrics, Informatics, Information Studies, Software Engineering)

    A chance for Data Science organisations to connect with Students from Data Science-related domains.

    Free to attend, but please subscribe before 01 February.

  • 28 February 2018, Amsterdam Metaphysics Seminar, Richard Woodward

    Speaker: Richard Woodward (University of Hamburg)
    Title: The Cognitive Role of Fictionality
    Date & Time: Wednesday 28 February 2018, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
  • 23 February - 2 March 2018, Two day entrepeneurship event for MSc and PhD students

    Date: 23 February - 2 March 2018
    Location: Start Up Village, Science Park 608, Amsterdam, the Netherlands

    Are you curious about entrepreneurship but do not have a concrete startup idea yet? Or do you believe your research can be transformed into a business case but you don’t know where to start? Entrepreneurship in Data Science is an intensive two-day program that will allow you to experience all the challenging aspects of starting a company. Learn how to launch your own venture by joining interactive lectures, taking part in workshops by top science and business experts and listening to real-life stories from startup founders.

  • 22 February 2018, Logic and Interactive Rationality (LIRa), Dominik Klein 

    Speaker: Dominik Klein (University of Bayreuth)
    Title: In the Long Run we’re all Dead: On Kripke Models, Iterated Updates and Dynamic Systems.
    Date & Time: Thursday 22 February 2018, 16:00-17:30
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
  • Ex_Falso_logo.jpg

    19 February 2018, Where is Italy going? Discussion event on Italian politics in modern Europe

    Date & Time: Monday 19 February 2018, 18:00-23:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    Target audience: Students and staff of the ILLC
    Costs: free

    Ex Falso cordially invites all the students and staff of the ILLC to the event Where is Italy going?, held on Monday the 19th of February, at 18:00 in the Common Room. On March the 4th, Italy will hold Political Elections. Due to the very delicate current situation of European political landscape, this election is a stepping stone for the future of both Italy and Europe. Several topics will be discussed, and there will be room for debates. Some of the issues include fiscal policy, immigrants, and economic inequality. Pizza and drinks will be provided. Hope to see you there!

    For more information, see here or contact Federico Schiaffino at .
  • 16 February 2018, Cool Logic, Bas Cornelissen

    Speaker: Bas Cornelissen
    Title: Words adrift? An excursion into the cultural evolution of language.
    Date & Time: Friday 16 February 2018, 18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

    Congratulations! Together with our cats and cattle, we, humans, have accumulated a staggering portion of the planet's walking biomass — an unlikely fea(s)t for top predators like ourselves. But is biomass what makes humans special? How about logic? Language? (Computation?) Some would say that all of these are ‘mere’ products of something more fundamental: our species’ remarkable capacity for cumulative culture.

    The idea that cultural processes indeed hold answers to deep questions about language has fascinated a group of researchers for decades. This talk is a brief excursion into their field: the cultural evolution of language. We will follow the route of ‘iterated learning’, which tries to understand how cultural transmission can shape languages. On the way, we visit an unlikely assortment of topics: from zebra finch song cultures, emerging compositionality and integer-ratio rhythms to baby names, Bayesian learners and even genetic drift.

    Snacks and drinks will be provided in the common room after the talk!

    For more information, see here or at http://events.illc.uva.nl/coollogic/ or contact Zoi Terzopoulou at .
  • 15 February 2018, Logic and Interactive Rationality (LIRa), Alessandro Giordani

    Speaker: Alessandro Giordani (Catholic University of Milan)
    Title: Contrastive Epistemic Logic
    Date & Time: Thursday 15 February 2018, 16:30-18:00
    Location: KdVI Seminar Room F3.20, Science Park 107
  • 13 February 2018, Computational Linguistics Seminar, Ivan Titov

    Speaker: Ivan Titov (ILCC, Edinburgh and ILLC, Amsterdam)
    Title: Graph Convolutional Networks for Natural Language Processing and Relational Modeling
    Date & Time: Tuesday 13 February 2018, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    We investigate the applicability of Graph Convolutional Networks (GCNs) in the context of natural language processing (machine translation and semantic role labelling) and modeling relational data (link prediction).

    For more information, see here or at http://projects.illc.uva.nl/LaCo/CLS/ or contact Elia Bruni at .
  • 9 February 2018, DIP Colloquium, Paul Egré

    Speaker: Paul Egré (CNRS @ Institut Jean-Nicod)
    Title: Varieties of Logical Consequence and Suszko's Problem
    Date & Time: Friday 9 February 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35115/ or contact Peter Hawke at .
  • 8 February 2018, 3rd workshop of the European Non-Categorical Thinking Project (EuNoC #3)

    Date & Time: Thursday 8 February 2018, 09:45-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 1 February 2018, Logic and Interactive Rationality (LIRa), Paul Dekker

    Speaker: Paul Dekker
    Title: Exclusively Indexical Predicate Logic
    Date & Time: Thursday 1 February 2018, 16:00-17:30
    Location: ILLC Seminar Room F3.23, Science Park 107, Amsterdam
  • 31 January 2018, Amsterdam Metaphysics Seminar, Tom Schoonen

    Speaker: Tom Schoonen
    Title: Beliefs and 'Believes'; the semantics and objects of belief
    Date & Time: Wednesday 31 January 2018, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
  • 31 January 2018, Algebra|Coalgebra Seminar, Thijs Benjamins, Chase Ford, Kristoffer Kalavainen, Kyah Smaal, and Tatevik Yolyan

    Speaker: Thijs Benjamins, Chase Ford, Kristoffer Kalavainen, Kyah Smaal, and Tatevik Yolyan (ILLC)
    Title: Duality in Logic and Computer Science
    Date & Time: Wednesday 31 January 2018, 13:30-16:30
    Location: Room F2.19, ILLC, Science Park 107, Amsterdam

    This special session of the A|C seminar will consist of five 25-minute presentations by the participants of the MoL January project taught by Sam van Gool. Each participant studied one recent article on duality theory and its applications in logic and computer science, and will give a presentation in which they summarize the main results of the paper and highlight points of particular interest.

    For more information, see here or at http://events.illc.uva.nl/alg-coalg or contact Sam van Gool at .
  • 26 January 2018, LoLa day

    Date & Time: Friday 26 January 2018, 10:00-15:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

    This is a meeting for all LoLa members (as well as interested people from other groups and MOL students). The programme consists of presentations of (relatively) new group members, and a joint lunch.

    For more information, see http://projects.illc.uva.nl/LoLa/ or contact Floris Roelofsen at .
  • 25 January 2018, DIP Colloquium, Gerhard Jäger

    Speaker: Gerhard Jäger (University of Tübingen)
    Title: A Bayesian test of the lineage-specificity of word-order correlations
    Date & Time: Thursday 25 January 2018, 16:00-17:30
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
  • 18 January 2018, Logic and Interactive Rationality (LIRa), Dominik Klein

    Speaker: Dominik Klein (Bayreuth)
    Title: In the Long Run we’re all Dead: On Kripke Models, Iterated Updates and Dynamic Systems
    Date & Time: Thursday 18 January 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 18 January 2018, Concepts in Motion Meeting

    Date & Time: Thursday 18 January 2018, 13:00-15:00
    Location: ILLC, Room F2.40, Science Park 107, Amsterdam

    The Concepts in Motion Meeting is a meeting by invitation for prospective students and contributors to the Concepts in Motion Group.This group hosts the NWO VICI project e-ideas (PI Arianna Betti), which aims to provide a sound methodological foundation for computational research in the history of philosophical ideas. In addition, the group hosts a number of other projects that concern computational research in (history of) philosophy. During the meeting we will get to know all people that are involved within our projects, explain our research plans for the future, and discuss ongoing projects.

    For more information, see https://conceptsinmotion.org/ or contact Yvette Oortwijn at .
  • 16 January 2018, Computational Linguistics Seminar, Marco Baroni

    Speaker: Marco Baroni (Facebook AI Research)
    Title: Systematic compositionality with recurrent neural networks
    Date & Time: Tuesday 16 January 2018, 16:00
    Location: Room F3.20, Science Park 107, Amsterdam
    For more information, see http://projects.illc.uva.nl/LaCo/CLS/.
  • 16 January 2018, Computational Social Choice Seminar, Ronald de Haan

    Speaker: Ronald de Haan
    Title: Tool Auctions
    Date & Time: Tuesday 16 January 2018, 15:00
    Location: Room F1.15, Science Park 107, Amsterdam
    For more information, see here or at https://staff.fnwi.uva.nl/u.endriss/seminar/ or contact Ronald de Haan at .
  • 12 January 2018, ILLC New Year's Colloquium 2018

    Date & Time: Friday 12 January 2018, 16:00-17:15
    Location: Room F1.21, ILLC, Common Room, Science Park 107, Amsterdam

    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.

    For more information, see http://www.illc.uva.nl/ILLCColloquium/ or contact Peter van Ormondt at .
  • 11 January 2018, Computational Social Choice Seminar, Zoi Terzopoulou

    Speaker: Zoi Terzopoulou
    Title: Modelling Iterative Judgment Aggregation
    Date & Time: Thursday 11 January 2018, 15:00
    Location: Room F1.15, Science Park 107, Amsterdam
    For more information, see here or at https://staff.fnwi.uva.nl/u.endriss/seminar/ or contact Ronald de Haan at .
  • 9 January 2018, Workshop on the occasion of the honorary doctorate of Barbara Partee

    Date & Time: Tuesday 9 January 2018, 09:30-15:30
    Location: VOC-zaal, Bushuis/Oost-Indisch Huis, Kloveniersburgwal 48, 1012 CX Amsterdam, The Netherlands

    During the 386th Dies Natalis (birthday) of the University of Amsterdam Prof. Barbara Partee will receive an honorary doctorate for the crucial role she played in the development of the formal semantics of natural language. The Honorary Supervisors are Prof. Sonja Smets, professor of Logic and Epistemology, and Prof. Martin Stokhof, professor of Philosophy of Language.

    The day after the the honorary doctorate is awarded, on the 9th of January 2018, the ILLC will organise a workshop to mark this special occassion. Among the speakers will be Barbara Partee.

    For more information, see http://events.illc.uva.nl/Workshops/Barbara-Partee/ or contact Peter van Ormondt at .

Calls for Paper

  • 1 - 5 November 2018, 6th World Congress on the Square of Opposition, Chania/Crete (Greece)

    Date: 1 - 5 November 2018
    Deadline: Thursday 1 March 2018

    This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.

    To submit a contribution send a one page abstract before March 1st 2018. All talks related to the square of oppostion are welcome. Diagrammatic and Artistic works related to the square of oppposition are also welcome.

  • 29 October - 2 November 2018, 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), Groningen, The Netherlands

    Date: 29 October - 2 November 2018
    Location: Groningen, The Netherlands
    Deadline: Friday 6 April 2018

    Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

    We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Submissions must not be published or under review for publication elsewhere. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX.

    For more information, see http://www.ramics-conference.org/.
  • 24 - 28 September 2018, 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany

    Date: 24 - 28 September 2018
    Location: Berlin, Germany
    Deadline: Sunday 25 March 2018

    KI 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 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.


    We invite proposals for workshops and tutorials to be held at the beginning (September 24-25) of the conference week (September 24-28). Topics include all subareas of artificial intelligence as well as their foundations and applications. The KI 2018 conference organizers will provide rooms for the workshops and the tutorials as well as determine the dates and times of the tutorials and workshops.

    For more information, see http://ki2018.dai-labor.de/ or contact .
  • advert1.png

    18 - 21 September 2018, 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg

    Date & Time: 18 - 21 September 2018, 09:00-18:00
    Location: Luxembourg
    Target audience: researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas
    Deadline: Friday 20 April 2018

    RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

    RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

    RuleML+RR welcomes original research from all areas of Rules and Reasoning. High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited.
    Particularly encouraged are submissions that combine one or several of the conference topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI.

    We accept the following submission formats for papers:
    - Full papers (presenting original and significant research results)
    - Technical Communications (intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions, and optionally accompanied by a demo).
    In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge.

    For more information, see https://ruleml2018.gforge.uni.lu/ or contact Amal Tawakuli at .
  • 12 - 14 September 2018, 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland

    Date: 12 - 14 September 2018
    Location: Warsaw, Poland
    Deadline: Friday 20 April 2018

    The International Conference on Computational Models of Argument, COMMA, is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation.  COMMA 2018 will be part of a series of events of the Warsaw Argumentation Week, WAW 2018 (6-16 Sept 2018), which will include the next edition of the Summer School on Argumentation (SSA 2018), themed COMMA workshops, the 16th ArgDiap conference, and other cognate meetings and events. In addition to the main conference track, there will be thematically-focused workshops, and a session will be organized for the demonstration of innovative working applications and tools.


    We invite submission of original and unpublished work. Parallel submission to journals or other conferences or workshops with published proceedings is not permitted. Reviewing is single-blinded. The conference includes a Regular Track and an Innovative Applications Track. As to the latter, we encourage the submission of original papers about innovative applications, e.g., in law, medicine, e-democracy, risk assessment, intelligent user interfaces, recommender systems, argument mining etc. Innovative applications papers will be assessed in an equally rigorous reviewing procedure as regular track papers.

    For more information, see http://comma2018.argdiap.pl or contact .
  • 11 - 14 September 2018, Twenty-first International Conference on Text, Speech, & Dialogue (TSD 2018), Brno, Czech Republic

    Date: 11 - 14 September 2018
    Location: Brno, Czech Republic
    Deadline: Thursday 15 March 2018

    The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.

    The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee.  Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.

    The organizing committee invites papers to be presented during the conference. Topics of the conference will include (but are not limited to): 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, Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

    For more information, see http://www.tsdconference.org/tsd2018/ or contact Ales Horak at .
  • 5 - 7 September 2018, SuB 23: Sinn & Bedeutung, Barcelona, Spain

    Date: 5 - 7 September 2018
    Location: Barcelona, Spain
    Deadline: Monday 12 March 2018

    The Sinn und Bedeutung (SuB) conference has in recent years emerged as one of the biggest venues for formal semantics and pragmatics representing the full breadth of the field, and we aim to maintain this tradition.

    Invited speakers: Berit Gehrke, Wolfram Hinzen, Beth Levin and Judith Tonhauser.

    We invite abstract submissions on topics pertaining to natural language semantics, pragmatics, lexical semantics, the syntax-semantics interface, psycholinguistic and neurolinguistic studies related to meaning, and the philosophy of language. Abstracts should contain original research that, at the time of submission, has neither been published nor accepted for publication.

  • 4 - 7 September 2018, Computer Science Logic 2018 (CSL 2018), Birmingham, England

    Date: 4 - 7 September 2018
    Location: Birmingham, England
    Deadline: Saturday 7 April 2018

    The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.

    Submission Submissions will be through EasyChair. Proceedings will be published in the Leibniz International Proceedings in Informatics. After the conference, selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science.

    For more information, see http://events.cs.bham.ac.uk/csl18/.
  • 3 September 2018, Mini-Symposium "Mathematical Logic" at the 18th EWM meeting, Graz, Austria

    Date: Monday 3 September 2018
    Location: Graz, Austria
    Deadline: Thursday 15 March 2018

    The 18th European Women in Mathematics General Meeting  focuses on female mathematicians and their achievements. As part of this event, the Mini-Symposium on Mathematical Logic concentrates on recent results that demonstrate the fruitfulness of working at the interface between different parts of logic -- that is, model theory, set theory, recursion (or computability) theory and proof theory -- or between logic and other areas of mathematics. Our speakers therefore come from different fields of mathematical logic and are interested in cross-connections between their fields and areas of application such as topology, group theory, real geometry and combinatorics. For the general audience we are planning an introductory lecture on recent developments in model theory and its applications to real geometry.

    Invited speakers: Laura Fontanella (Université Aix Marseille), Charlotte Kestner (Imperial College, London) Salma Kuhlmann (University of Konstanz), Heike Mildenberger (Albert-Ludwigs University of Freiburg), Diana Carolina Montoya (Kurt Gödel Research Center, Vienna).

    We invite female researchers to apply for very short contributed talks (10-12 minutes) at the Mini-Symposium. Also, application is now open for travel support for graduate students to participate in the Mini-Symposium. We also encourage female researchers to contribute posters to a thematic grouping on Mathematical Logic as part of the EWM's poster session.

  • 28 - 31 August 2018, Logic, Algebra and Truth Degrees 2018 (LATD 2018, Berne, Switzerland

    Date: 28 - 31 August 2018
    Location: Berne, Switzerland
    Deadline: Sunday 22 April 2018

    Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

    We invite contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal and quantum logics). Abstracts of contributed talks, 2-4 pages, are to be prepared using the EasyChair class style and submitted via EasyChair.

    For more information, see http://www.latd2018.unibe.ch.
  • 27 - 31 August 2018, 12th International Conference on Advances in Modal Logic (AiML 2018), Bern, Switzerland

    Date: 27 - 31 August 2018
    Location: Bern, Switzerland
    Deadline: Sunday 11 March 2018

    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. AiML 2018 is the 12th conference in the series, and will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018).

    Authors are invited to submit, for presentation at the conference and publication in the proceedings:
    - full papers, intended for publication in the proceedings and presentation at the conference, reporting on original research and not submitted elsewhere
    - short presentations intended for presentation at the conference but not for the published proceedings. which may describe preliminary results, work in progress etc.

    We invite submissions on all aspects of modal logic. Papers on related subjects will also be considered.

    For more information, see http://www.aiml2018.unibe.ch or contact .
  • 11 - 12 August 2018, 23rd Conference on Formal Grammar (FG 2018), Sofia, Bulgaria

    Date: 11 - 12 August 2018
    Location: Sofia, Bulgaria
    Deadline: Friday 9 March 2018

    FG-2018 is the 23rd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2018, will take place in Sofia, Bulgaria.

    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). 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/2018/.
  • 10 - 11 August 2018, ICM 2018 Satellite Conference on Mathematical Logic, Niteroi, Brazil

    Date: 10 - 11 August 2018
    Location: Niteroi, Brazil
    Deadline: Sunday 1 April 2018

    It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018.

    Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven.

    The organisers invite all researchers in mathematical logic to submit abstracts of their research for presentation at the conference via our easychair website.

  • 6 - 17 August 2018, ESSLLI 2018 Student Session, Sofia, Bulgaria

    Date: 6 - 17 August 2018
    Location: Sofia, Bulgaria
    Deadline: Monday 26 February 2018

    The Student Session of the 30th European Summer School in Logic, Language and Information (ESSLII 2018) is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

    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 and selected papers will appear in the Student Session proceedings by Springer. 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.

    For more information, see http://esslli2018.folli.info/student-session/ or contact Jennifer Sikos at .
  • 6 - 10 August 2018, Workshop Bridging formal and conceptual semantics (BRIDGE 2018), Sofia, Bulgaria

    Date: 6 - 10 August 2018
    Location: Sofia, Bulgaria
    Deadline: Saturday 31 March 2018

    The main aim of this ESSLLI 2018 workshop is to get together linguists, philosophers and cognitive scientists from the two leading research traditions of natural language meaning, often referred to them as "formal semantics" and "conceptual semantics". The workshop provides a platform to investigate and discuss the ways of possible bridges between the two semantic perspectives, and to initiate a deeper conversation and collaboration between them. The workshop intends to gather approaches that show the way how the two perspectives can strengthen each other.

    The workshop holds 6 high-quality contributed talks, each of 45 minutes including discussions, and invited talks by Gemma Boleda (Universitat Pompeu Fabra) and James Pustejovsky (Brandeis University).

    The workshop invites high-quality submissions on topics closely related to the main issue of the workshop, for 45 minutes talks (incl. discussion). The submission of the abstracts will be handled via  EasyChair. Authors can submit anonymous abstracts of max. 2 pages.

  • 6 - 10 August 2018, ESSLLI Workshop on Ambiguity: Perspectives on Representation & Resolution (ARR), Sofia, Bulgaria

    Date: 6 - 10 August 2018
    Location: Sofia, Bulgaria
    Deadline: Monday 2 April 2018

    There are various approaches to ambiguity from a wide variety of perspectives. This is due to the fact that ambiguity exists and arises on many different levels of natural language. We want to bring together scholars working on different aspects of ambiguity, in particular to approach the following questions:
    1. What is the core of this phenomenon?
    2. What is the common ground in approaching the phenomenon?
    3. What can be gained by combining different approaches?

    Our special focus is thus on bringing together approaches seeing ambiguity as a mere computational problem and approaches seeing it as a linguistic phenomenon with some interest in itself.

    The conference invites extended abstracts of 2 pages (excluding references) related to the workshop themes. Extended abstracts should lay out original, unpublished research and/or implementation results. We would like to encourage a variety of submissions relating to any dimension of ambiguity. Depending on number and quality of submissions, and interest of authors, we plan to edit a special issue of worked out papers of contributions to the workshop.

    For more information, see https://ambiguity2018.phil.hhu.de or contact .
  • 5 - 8 August 2018, Fifteenth International Conference on Computability and Complexity in Analysis (CCA 2018), Lake Kochel, Germany

    Date: 5 - 8 August 2018
    Location: Lake Kochel, Germany
    Deadline: Monday 2 April 2018

    The conference is concerned with the theory of computability and complexity over real-valued data.

    Most mathematical models in physics and engineering 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. 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.

    The conference CCA 2018 is held in Honour of Klaus Weihrauch's 75th Birthday, and is preceded by the conference Computability in Europe (CiE 2018) that takes place in Kiel, in the north of Germany, from July 30 to August 3, 2018.

    Authors are invited to submit 1-2 pages abstracts in PDF format, including references.

    For more information, see http://cca-net.de/cca2018/.
  • alws-logo.gif

    5 - 11 August 2018, 41st International Wittgenstein Symposium 2018: Philosophy of Logic and Mathematics, Kirchberg am Wechsel, Austria

    Date: 5 - 11 August 2018
    Location: Kirchberg am Wechsel, Austria
    Deadline: Friday 30 March 2018

    1. Wittgenstein
    2. Traditional and Modern Logic
    3. The Structural Complexity of Judgements – Propositions – Sentences
    4. Logic: Absolute Normativity or Alternatives
    5. The Infinite
    6. Foundations of Mathematics

    Workshop 1: Wittgenstein on the Philosophy of Mathematics, 1937–1939: The Projected Early Version of PI (with Joachim Schulte)
    Workshop 2: Logical Paradoxes (with Hannes Leitgeb)

    We would like to encourage you to participate in the 41st International Wittgenstein Symposium. Papers can be written in German or English. They should not be submitted elsewhere.

    For more information, see http://alws.at/index.php/symposium/.
  • 30 July - 3 August 2018, Computability in Europe 2018 (CiE 2018), Kiel, Germany

    Date: 30 July - 3 August 2018
    Location: Kiel, Germany
    Deadline: Wednesday 17 January 2018

    CiE 2018 is the fourteenth 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.

    The conference will feature Special Sessions on Approximation and Optimisation, Bioinformatics and Bio-inspired Computing, Computing with Imperfect Information, Continuous Computation, History and Philosophy of Computing, and SAT-Solving. Tutoral Speakers: Pinar Heggernes (Bergen, Norway) and Bakhadyr Khoussainov (Auckland, NZ). Invited Speakers: Kousha Etessami (Edinburgh, UK), Johanna Franklin (Hempstead, US), Mai Gehrke (Paris, France), Alberto Marcone (Udine, Italy), Alexandra Silva (London, UK) and Jeffrey O. Shallit (Waterloo, Canada).

    The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to the conference for presentation at the conference and inclusion in the proceedings.

    Papers must be submitted in PDF format, using the LNCS style and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.

    For more information, see http://cie2018.uni-kiel.de or contact .
  • 24 - 27 July 2018, 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogota, Colombia

    Date: 24 - 27 July 2018
    Location: Bogota, Colombia
    Deadline: Sunday 11 March 2018

    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.

    Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors.

    For more information, see http://wollic.org/wollic2018/.
  • 19 July 2018, Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2018), Oxford, England

    Date: Thursday 19 July 2018
    Location: Oxford, England
    Deadline: Sunday 15 April 2018

    PRUV 2018 will take place during FLoC and associated to IJCAR. The aim of PRUV is to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, working on logics for reasoning about preferences, uncertainty, and vagueness. Making researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, respectively is the main goal of this meeting.

    PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness. There are three submission formats: Full papers (up to 15 pages), Technical Communications (up to 8 pages) and System Descriptions (up to 8 pages). The aim of the workshop is to bring together experts from a wide spectrum of research areas. Thus, we accept submissions of papers and results previously published in other major conferences and journals.

    For more information, see http://pruv18.inf.unibz.it/.
  • 19 July 2018, Third Workshop on Fun With Formal Methods (FWFM-2018), Oxford, England

    Date: Thursday 19 July 2018
    Location: Oxford, England
    Deadline: Friday 20 April 2018

    The workshop will be held in University of Oxford as a part of Federated Logic Conference FLOC-2018 ( http://www.floc2018.org/ ) in affiliation with 30th International Conference on Computer Aided Verification ( http://cavconference.org/2018/ ) The primary purpose of the workshop series on Fun With Formal Methods (FWFM) is to popularize and disseminate the best practice of popularization of Formal Methods.

    Extended abstracts and papers on topics related to FWFM are solicited. There is no any strict limit for page number or style, but it is recommended to be in range 2-4 pages for extended abstracts and 4-16 pages for papers. Papers already published somewhere are also welcome but must make it explicit their publication status (for including to proceedings).

    For more information, see http://persons.iis.nsk.su/en/FWFM2018.
  • 18 July 2018, 3rd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), Oxford, England

    Date: Wednesday 18 July 2018
    Location: Oxford, England
    Deadline: Sunday 15 April 2018

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

    We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications and describe example problems and benchmarks.

    For more information, see http://iltp.de/ARQNL-2018/ or contact .
  • 16 - 18 July 2018, Thirteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 13), Milan, Italy

    Date: 16 - 18 July 2018
    Location: Milan, Italy
    Deadline: Thursday 1 March 2018

    This is the 13th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

    Among the topics of particular relevance are:
    - Modal logics for games and protocols
    - Foundations of game and decision theory
    - Learning and information-processing models
    - Bounded rationality approaches to game and decision theory.

    Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.

  • 14 - 17 July 2018, 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, England

    Date: 14 - 17 July 2018
    Location: Oxford, England
    Deadline: Monday 22 January 2018

    IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

    IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods).

    IJCAR 2018 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Both original research papers and descriptions of working automated deduction systems are solicited.

    We welcome papers combining automated-reasoning formalisms & techniques and with those from other areas of CS and mathematics, including, e.g., computer algebra, machine learning, formal languages, formal verification, termination. In particular, high-quality conference papers on the topics of the IJCAR 2018 affiliated workshops are welcome.

    For more information, see http://www.ijcar2018.org.
  • 13 July 2018, 19th International Workshop on Logic and Computational Complexity (LCC 2018), Oxford, England

    Date: Friday 13 July 2018
    Location: Oxford, England
    Deadline: Sunday 15 April 2018

    LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity; deductive formalisms as they relate to complexity; complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2018 will be part of FLoC 2018.

    The program will consist of invited lectures by Mikolaj Bojanczyk (University of Warsaw) and Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis), as well as contributed talks selected by the Program Committee.

    We welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback. Submissions must be in English and in the form of an abstract of about 3-4 pages.

    For more information, see http://www.cs.swansea.ac.uk/lcc/.
  • 9 - 12 July 2018, 9th International Conference on Interactive Theorem Proving (ITP 2018), Oxford, England

    Date: 9 - 12 July 2018
    Location: Oxford, England
    Deadline: Thursday 25 January 2018

    The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.

    ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Furthermore, when appropriate, submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used. In addition to regular papers, there will be a section for shorter papers, which can be used to describe interesting work that is still ongoing and not fully mature.

    For more information, see https://itp2018.inria.fr/ or contact Jeremy Avigad and Assia Mahboubi at .
  • 9 - 12 July 2018, Third International Conference on Formal Structures for Computation and Deduction (FSCD'18), Oxford, England

    Date: 9 - 12 July 2018
    Location: Oxford, England
    Deadline: Monday 15 January 2018

    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 or homotopy type theory. FSCD'18 is part of The Federated Logic Conference, FLoC 2018.

    Submissions can be made in two categories: Regular research papers (presenting original research which is unpublished and not submitted elsewhere) and system descriptions (presenting new software tools in which FSCD topics play an important role, or significantly new versions of such tools). Suggested, but not exclusive, list of topics for submission are: Calculi, Methods in Computation and Deduction, Semantics, Algorithmic Analysis and Transformations of Formal Systems, and Tools and Applications.

    The program committee will consider declaring an award to a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting.

  • 9 - 12 July 2018, Twenty-first International Conference on Theory & Applications of Satisfiability Testing (SAT 2018), Oxford, England

    Date: 9 - 12 July 2018
    Location: Oxford, England
    Deadline: Wednesday 31 January 2018

    The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. SAT 2018 will take place as part of the Federated Logic Conference (FLoC) in Oxford.

    SAT 2018 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. including (but not restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.

    Submissions to SAT 2018 are solicited in three paper categories, describing original contributions: long papers, short papers and tool papers. Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. A tool paper should describe an implemented tool and its novel features.

    For more information, see http://sat2018.azurewebsites.net/ or contact .
  • 9 - 10 July 2018, Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems (FMLAMAS 2018), Stockholm, Sweden

    Date: 9 - 10 July 2018
    Location: Stockholm, Sweden
    Deadline: Sunday 15 April 2018

    The FMLAMAS 2018 workshop will provide a working meeting and discussion forum for researchers working on various formal methods and logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It will address a wide range of issues that arise in these contexts, from theoretical foundations to algorithmic methods, implemented tools, and applications.

    Submissions are invited of short abstracts (preferably up to 2 pages) reporting either original, ongoing, or recently published good quality work in the area of the workshop. Published work can be submitted for presentation in full, though an extended abstract would be preferable. Submissions for relevant talks presented elsewhere are welcome, too. The submissions are not anonymous and will be subjected to light reviewing and selection.

  • 8 July 2018, 12th International Workshop on Developments in Computational Models (DCM 2018), Oxford, England

    Date: Sunday 8 July 2018
    Location: Oxford, England
    Deadline: Sunday 8 April 2018

    Several new models of computation have emerged in the last years, and many developments of traditional computation models have been proposed with the aim of taking into account the new demands of users of computer systems and the new capabilities of computation engines.

    The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

    DCM 2018 will take place in Oxford on July 8, as a one-day satellite event of FLoC 2018, associated to LICS'18.

    Authors are invited to submit a short paper (max 8 pages). Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems. After the workshop authors are invited to submit a full paper taking into account the feedback given at their presentation. After a second round of refereeing, accepted contributions will appear in an issue of Electronic Proceedings in Theoretical Computer Science.


    For more information, see http://dcm-workshop.org.uk/ or contact Sandra Alves at .
  • 8 July 2018, Second Women in Logic Workshop (WiL 2018), Oxford, England

    Date: Sunday 8 July 2018
    Location: Oxford, England
    Deadline: Saturday 31 March 2018

    Women are chronically underrepresented in the LICS community; consequently they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating. The second Women in Logic Workshop (WiL 2018), held as a LICS associated workshop, will provide an opportunity for women in the field to increase awareness of one another and one another's work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprised of mostly women, replicating the experience that most men have at most LICS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women.

    Topics of interest of this workshop include but are not limited to the usual Logic in Computer Science (LICS) topics. Contributions should be written in English and can be submitted in the form of full papers (with a maximum of 10 pages), short papers (with a maximum of 5 pages), or talk abstracts (1 page).

  • 7 - 8 July 2018, Workshop "Programming & Reasoning on Infinite Structures" (PARIS), Oxford, England

    Date: 7 - 8 July 2018
    Location: Oxford, England
    Deadline: Sunday 15 April 2018

    Developing formal methods to program and reason about infinite data, whether inductive or coinductive, is challenging and subject to numerous recent research efforts. The understanding of the logical and computational principles underlying these notions is reaching a mature stage as illustrated by the numerous advances that have appeared in the recent years. The workshop aims at gathering researchers working on these topics as well as colleagues interested in understanding the recent results and open problems of this line of research.

    For outsiders, the workshop will offer tutorial sessions and survey-like invited talks. For specialists of the topic, the workshop will permit to gather people working with syntactical or semantical methods, people focusing on proof systems or programming languages, and foster exchanges and discussions benefiting from their various perspectives. The workshop is affiliated with FSCD 2018, as part of the Federated Logic Conference of 2018 and is funded by French ANR, RAPIDO project.


    We are seeking for short submissions (~3-4 pages long) presenting (i) new completed results (ii) work in progress, or (iii) advertising recently published results. Suggested, but not exclusive, topics of interest for the workshop are: Proof systems, Calculi, Type systems, Curry-Howard correspondence, Semantics, Tools, and Proof theory and verification.

    For more information, see https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/ or contact .
  • 7 - 8 July 2018, Workshop on Proof Complexity 2018 (PC 2018), Oxford, England

    Date: 7 - 8 July 2018
    Location: Oxford, England
    Deadline: Sunday 15 April 2018

    Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F and a proof system P, what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT/QBF solving.

    The workshop will be part of FLoC and will be affiliated with the conferences SAT'18 and LICS'18.

    We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even recently published) work on proof complexity. Particular topics of interest are Proof Complexity, Bounded Arithmetic, Relations to SAT/QBF solving, and Relations to Computational Complexity. The abstracts will appear in electronic pre-proceedings that will be distributed at the meeting. Accepted communications must be presented at the workshop by one of the authors.

    For more information, see http://easychair.org/smart-program/PC2018/.
  • 7 - 8 July 2018, 6th International Workshop on Strategic Reasoning (SR 2018), Oxford, England

    Date: 7 - 8 July 2018
    Location: Oxford, England
    Deadline: Sunday 15 April 2018

    Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behavior of adversaries.

    The SR international workshop, held within FLOC 2018, aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

    The morning sessions will be devoted to tutorials on topics closely related to strategic reasoning, namely cooperative game theory (by Edith Elkind) and parity games (by Marcin Jurdziński).

    We invite submissions reporting on published work, original contributions, and challenging open problems. In all three categories, submissions will be evaluated using he usual high standards of research publications. Strong preference will be given to papers whose topic is of interest to a broad, interdisciplinary audience and all contributions should be written so that they are accessible to such an audience.

    For more information, see http://projects.lsv.fr/sr18/index.php.
  • 7 July 2018, Seventh International Workshop on Classical Logic and Computation (CL&C 2018), Oxford, England

    Date: Saturday 7 July 2018
    Location: Oxford, England
    Deadline: Monday 19 March 2018

    CL&C is focused on the interplay between, on one side, the exploration of the computational content of classical mathematical proofs, and on the other side, the languages and the semantical models proposed in computer science for this task: continuations, game models, denotational models, learning models and so forth. The scientific aim of this workshop is to bring together researchers from both proof theory and computer science and to exchange ideas. This year, CL&C will be held as a satellite workshop of FSCD 2018 (former TLCA + RTA).

    Invited Speaker: Alex Simpson.

    The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, which we publish on EPTCS, and presentations of (short) papers about work in progress or overview of papers published elsewhere. We have room for informal talks, too. Therefore participants are encouraged to present: work in progress, overviews of more extensive work, and programmatic position papers. All submitted papers will be reviewed to normal standards. Proceedings will appear on EPTCS.

    For more information, see http://www.di.unito.it/~stefano/CL&C/CL&C18.htm or contact Stefano Berardi at .
  • 7 July 2018, Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2018), Oxford, England

    Date: Saturday 7 July 2018
    Location: Oxford, England
    Deadline: Sunday 8 April 2018

    Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including state-of-the-art techniques, the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

    Invited Speakers : Delia Kesner (Université Paris Diderot, France), Kuen-Bang Hou, alias Favonia (Institute for Advanced Study, Princeton, USA), and Grigore Rosu (University of Illinois at Urbana-Champaign, USA).


    In addition to regular papers, we accept the submission of "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be of interest for the community at large.

    For more information, see http://lfmtp.org/workshops/2018/.
  • 3 - 6 July 2018, 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), Utrecht, The Netherlands

    Date: 3 - 6 July 2018
    Location: Utrecht, The Netherlands
    Deadline: Monday 5 March 2018

    The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law.

    In addition to these general themes, DEON 2018 will encourage a special focus on the topic: 'Deontic reasoning for responsible AI'.

    The Program Committee invites papers concerned with any of the conference topics. Authors are invited to submit an original, previously unpublished, short research paper. This DEON's special theme "Deontic reasoning for responsible AI" solicits contributions that address issues related to the dual concerns of (1) systems for checking and proving responsibility characteristics of artificial intelligent agents and their designs, and (2) responsible decision making and machine ethics.

    For more information, see https://deon2018.sites.uu.nl.
  • 26 - 27 June 2018, Ninth Workshop on the Philosophy of Information: Information Visualisation, Brussels, Belgium

    Date: 26 - 27 June 2018
    Location: Brussels, Belgium
    Deadline: Thursday 15 March 2018

    The workshops in the Philosophy of Information bring together various philosophical perspectives on the nature and dynamics of information, and focus in particular on novel philosophical questions that arise in the information society. The central theme for the 9th workshop in the series is information visualisation.

    Our aim is to focus on informational artefacts that encode or convey information in order to try and explain why visualisations can play a certain epistemic role and why certain visualisation are more effective than others. A special attention will be given to the study of how scientists rely on visualisations and how visual artefacts are designed in the sciences. On this basis, we wish to explore convergences between the philosophy of information and the philosophy of science as well as between the formal sciences (logic, computing) and the philosophy of information.

    We welcome contributions on the conference topics, and encourage scholars of various disciplinary backgrounds to explore the lines of inquiry we proposed.

    For more information, see http://www.socphilinfo.org/workshops/wpi9 or contact Stefano Canali at .
  • 25 - 27 June 2018, 7th International Workshop on Computational Social Choice (COMSOC-2018), Troy, NY (USA)

    Date: 25 - 27 June 2018
    Location: Troy, NY (USA)
    Deadline: Thursday 1 March 2018

    Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

    Submissions of papers describing original or recently published work on all aspects of computational social choice are invited. We welcome both theoretical and empirical work on the conference topics, including, in particular, research on algorithms (exact, approximate, parameterized, online and distributed), learning, logic, uncertainty and simulations in the context of social choice.

  • 25 - 29 June 2018, 9th International Workshop on Physics and Computation (P&C 2018) , Fontainebleau, France

    Date: 25 - 29 June 2018
    Location: Fontainebleau, France
    Deadline: Thursday 1 March 2018

    P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.

    Invited Speakers: Judit X. Madarász, Oron Shagrir

    Authors are invited to submit either a full paper (12 pages maximum) or an extended abstract (maximum 4-5 pages) to the workshop's EasyChair site. We welcome extended abstracts and/or paper submissions for presentation on topics relating to physics and computation. Papers must not have been submitted simultaneously to other conferences or workshops with published proceedings.

    For more information, see https://easychair.org/cfp/pc2018 or contact .
  • 24 - 26 June 2018, Summer School and Conference on Topos Theory "Toposes in Como" , Como, Italy

    Date: 24 - 26 June 2018
    Location: Como, Italy
    Deadline: Sunday 15 April 2018

    The event "Toposes in Como", which represents the second edition of the conference "Topos à l'IHES" held in France in 2015, will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis and computer science.

    There is room for a few short communications (20-25 minutes long); if you want to submit a one-page abstract for a short talk at the conference, please upload it while registering on the conference website before the 15th of April.

    For more information, see http://tcsc.lakecomoschool.org or contact .
  • 21 - 23 June 2018, IACAP 2018: Computing & Philosophy, Warsaw, Poland

    Date: 21 - 23 June 2018
    Location: Warsaw, Poland
    Deadline: Thursday 15 February 2018

    The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence. IACAP's 2018 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore these topics. Keynote speakers include Ned Block (NYU) and Ed Zalta (Stanford).

    We invite submissions of papers and proposals for symposia. Paper submissions should be prepared for blind review, be between 3000 and 6000 words, and provide an abstract of 150-250 words. Proposals for symposia (deadline: January 15, 2018) should indicate: The title of the proposed symposium; A description of the topic; A list the participants; The number of hours required.

    For more information, see http://www.iacap.org/iacap-2018/.
  • 20 - 22 June 2018, 16th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Toledo, Spain

    Date: 20 - 22 June 2018
    Location: Toledo, Spain
    Deadline: Monday 29 January 2018

    Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. PAAMS intends to bring together researchers and developers from industry and the academic world to report on the latest scientific and technical advances on the application of multi-agent systems, to discuss and debate the major issues, and to showcase the latest systems using agent based technology. It will promote a forum for discussion on how agent-based techniques, methods, and tools help system designers to accomplish the mapping between available agent technology and application needs. Other stakeholders should be rewarded with a better understanding of the potential and challenges of the agent-oriented approach.

    PAAMS welcomes the submission of application papers. All submitted papers will undergo a thorough review process; each paper will be refereed by at least three experts in the field based on relevance, originality, significance, quality and clarity. The papers must consist of original, relevant and previously unpublished sound research results related to any of the topics of the conference.

    For more information, see https://www.paams.net/workshops/demadie.
  • 18 - 22 June 2018, LOGICA 2018, Hejnice (Czech Republic)

    Date: 18 - 22 June 2018
    Location: Hejnice (Czech Republic)
    Deadline: Thursday 15 February 2018

    LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.

    Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.

    Contributions that cover issues interesting both for ‘philosophically’ and for ‘mathematically’ oriented logicians are welcome. If you are interested in presenting a paper at the symposium, please submit a two-page blind abstract via EasyChair.

    For more information, see http://logika.flu.cas.cz/logica or contact Vít Punčochář at .
  • 18 - 22 June 2018, 20th European Agent Systems Summer School (EASSS-2018), Maastrict, The Netherlands

    Date: 18 - 22 June 2018
    Location: Maastrict, The Netherlands
    Deadline: Saturday 10 March 2018

    As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.

    EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.

    We invite proposals from members of the research community who are willing to offer tutorials at EASSS-2018. We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multi-Agent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We aim for a mix of tutorials on fundamental and well-established topics, as well as overviews of new and emerging areas of research.

    We encourage both well-established senior researchers and younger colleagues to submit proposals. EASSS tutorials are typically 3.5 hours long, divided into two sessions of 1.45 hours each. Each tutorial is usually given by one or two people.

  • 16 - 17 June 2018, 2nd Chinese Conference on Logic & Argumentation (CLAR 2018), Hangzhou, China

    Date: 16 - 17 June 2018
    Location: Hangzhou, China
    Deadline: Wednesday 7 February 2018

    The interplay between logic and argumentation has a long history, from ancient Aristotle's logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China.

    We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work.

  • 14 - 15 June 2018, Workshop on Dialogue and Perception 2018 (DaP 2018), Gothenburg, Sweden

    Date: 14 - 15 June 2018
    Location: Gothenburg, Sweden
    Deadline: Wednesday 4 April 2018

    The study of dialogue investigates how natural language is used in interaction between interlocutors and how coordination and successful communication is achieved. However, studies on dialogue have often taken for granted that we align our perceptual representations, an unsustainable assumption when we consider interactions between agents with obviously different perceptual capabilities, such as humans and avators or robots.

    Contrarily, studies of perception have focussed on how an agent interacts with and interprets the information from their perceptual environment. In the last decade there has been impressive progress on integrated approaches to language, action, and perception. However, these have a limited integration to the dynamics of dialogue and often fail to take into account the incremental and context sensitive nature of language and the environment.

    The aim of this workshop is to initiate a genuine dialogue between these related areas and to examine different approaches from computational, linguistic and psychological perspectives and how these can inform each other. It will feature invited talks by leading researchers in these areas, and high level contributed papers, presented as posters, selected through open competition and rigorous review.

    We invite papers of between 2-4 pages of content and up to one additional page for references, following the ACL style guidelines. The conference proceedings will be published online, with an ISSN, on the CLASP website. Authors will have the opportunity to extend their papers for the post-proceedings and will retain the copyright of their papers and be free to publish them elsewhere, with acknowledgement.

  • 11 - 13 June 2018, 6th Workshop on Algebra & substructural logics (AsubL Take 6), Cagliari, Italy

    Date: 11 - 13 June 2018
    Location: Cagliari, Italy
    Deadline: Sunday 15 April 2018

    The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy  as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.

    Invited speakers: Anatolij Dvurečenskij, Tomasz Kowalski, Hiroakira Ono (Founder of AsubL) and Constantine Tsinakis.

    Authors are kindly asked to submit an abstract (not exceeding two pages) for their proposed contributed talks to Francesco Paoli. The duration of the contributed talks will be communicated in a later announcement. We welcome contributions on any topic relevant to the theme of the workshop.

    For more information, see http://sites.unica.it/asubl6/ or contact .
  • 11 - 13 June 2018, Tenth Scandinavian Logic Symposium (SLS 2018), Gothenburg, Sweden

    Date: 11 - 13 June 2018
    Location: Gothenburg, Sweden
    Deadline: Sunday 8 April 2018

    The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

    The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic.

    For more information, see scandiavianlogic dot org or contact .

    Abstracts of contributed talks must be submitted as pdf files via EasyChair. The abstracts should be prepared according to the ASL abstract guidelines.

  • 28 - 29 May 2018, Third Conference on Computational Linguistics in Bulgaria (CLIB 2018), Sofia, Bulgaria

    Date: 28 - 29 May 2018
    Location: Sofia, Bulgaria
    Deadline: Sunday 4 February 2018

    CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.

    Our invited speakers will be: Dr. Zornitsa Kozareva (Amazon), Dr. Sujith Ravi (Google), and Prof. Ruslan Mitkov (University of Wolverhampton).

    CLIB invites contributions on original research. There will be two categories of research papers: oral and poster presentations. All accepted papers will be included in the conference proceedings.

    For more information, see http://dcl.bas.bg/clib/ or contact .
  • 28 - 30 May 2018, 37th Journees sur les Arithmetiques Faibles (JAF 37), Florence, Italy

    Date: 28 - 30 May 2018
    Location: Florence, Italy
    Deadline: Monday 2 April 2018

    The 37th Journees sur les Arithmetiques Faible (Days of Weak Arithmetics) will cover traditional topics of the "Days" such as: Provability in weak arithmetics, Definability in weak arithmetics, Weak arithmetics and model theory, Decidability/undecidability of weak logical theories, and Modeling computations in the frameworks of weak arithmetics.

    Authors are invited to send an abstract not exceeding three pages in electronic submission in the form of a pdf file.

    For more information, see http://www.lacl.fr/jaf/issues/generalJAF37.html or contact Patrick Cégielski at .
  • 18 - 20 May 2018, 46th annual meeting of the Society for Exact Philosophy, Storrs CT, U.S.A.

    Date: 18 - 20 May 2018
    Location: Storrs CT, U.S.A.
    Deadline: Sunday 21 January 2018

    The Society for Exact Philosophy is an international scholarly association, founded in 1970, to provide sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations. To this end, the Society meets annually, alternating between locations in Canada and the U.S.

    2018 Keynote Speakers: Elaine Landry (UC Davis), Joan Rand Moschovakis (UCLA) and Craige Roberts (NYU/Ohio State).

    The SEP invites submissions for its 2018 meeting. Paper submissions in all areas of analytic philosophy are welcomed.

  • 17 - 19 May 2018, Masterclass in the Philosophy of Mathematical Practice with Karine Chemla

    Date: 17 - 19 May 2018
    Location: Brussels, Belgium
    Target audience: PhDs and Postdocs
    Costs: Free
    Deadline: Sunday 1 April 2018

    The Centre for Logic and Philosophy of Science (CLWF) of the Vrije Universiteit Brussel (VUB) will host its Second Masterclass in the Philosophy of Mathematical Practice on May, 17-19, with Prof. Dr. Karine Chemla (SPHERE, Université Paris 7 - CNRS, France). The Masterclass will be composed of three lectures, the tentative titles of which are as follows:

    - Practices of Generality in the Mathematics of Ancient China and Beyond
    - Working with Diagrams, Interpreting Diagrams. Views Based on Chinese Sources
    - The Practices of Abstraction and their Interpretations in the Mathematics of Ancient China

    We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Prof. Chemla will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the History and Philosophy of Mathematical Practice. We ask people to register to the Masterclass by May, 1st.

    We invite early career researchers who would be interested to present their work to send us an abstract of at most 1 page by April, 1st. The talks will be of a duration of around 20 minutes (not including discussion). Notification of acceptance will be sent out by the middle of April.

    For more information, see here or contact the organizers at .
  • 14 - 17 May 2018, Fifth International Conference on the Nature and Ontology of Spacetime, Albena, Bulgaria

    Date: 14 - 17 May 2018
    Location: Albena, Bulgaria
    Deadline: Wednesday 28 February 2018

    The spacetime conferences bring together physicists and philosophers and provide a forum where aspects and implications of the nature and ontology of spacetime are discussed.

    To mark the 110th anniversary of Hermann Minkowski's groundbreaking lecture "Space and Time" the main theme of the Fifth International Conference on the Nature and Ontology of Spacetime will be the nature of spacetime - whether spacetime should be regarded merely as an abstract mathematical notion modelling an evolving present or spacetime represents a block universe or a growing block universe.

    In spite of the focus of the fifth spacetime conference being on the main theme, the Scientific Organizing Committee invites papers from physicists and philosophers on any topic related to the nature and ontology of spacetime.

  • 12 May 2018, Workshop on Replicability and Reproducibility of Research Results in Science and Technology of Language (4REAL Workshop 2018), Miyazaki, Japan

    Date: Saturday 12 May 2018
    Location: Miyazaki, Japan
    Deadline: Monday 15 January 2018

    Reproduction and replication of research results are at the heart of the validation of scientific knowledge and of the scientific endeavor. But despite their key importance, reproduction and replication have not been sufficiently encouraged given the prevailing procedures and priorities for the reviewing, selection and publication of research results. This workshop seeks to foster the discussion and the advancement on a topic that has been given insufficient attention in the research area of language processing tools and resources and that has been an important topic emerging in other scientific areas. The workshop will be collocated with LREC 2018 11th Language Resources and Evaluation Conference.

    We are nviting submissions of articles that present cases, either with positive or negative results, of actual replication or reproduction exercises of previous published results in our area. We are interested also in articles discussing the challenges, the risk factors, the appropriate procedures, etc. specific to our area or that should be adopted, or adapted from other neighboring areas, including methodologies for monitoring, maintaining or improving citation of language resources and tools and to assess the importance of data citation for research integrity. This includes also of course the new risks raised by the replication articles themselves and their own integrity, in view of the preservation of the reputation of colleagues and works whose results are reported has having been replicated, etc.

    For more information, see http://4real2018.di.fc.ul.pt.
  • 1 - 4 May 2018, PhDs in Logic X, Prague, Czech Republic

    Date: 1 - 4 May 2018
    Location: Prague, Czech Republic
    Deadline: Friday 26 January 2018

    "PhDs in Logic" is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20 minute) presentations by PhD students, master students and first-year postdocs on their research. The tenth edition of "PhDs in Logic" will take place at the Institute of Philosophy of the Czech Academy of Sciences.

    The tutorial speakers are: Chris Fermüller (TU Wien, Austria), Radek Honzík (Charles University, Czech Republic), Jan Krajíček (Czech Academy of Sciences, Czech Republic), Roman Kuznets (TU Wien, Austria) and Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France).

    PhD students, master students, and first-year postdocs in logic from disciplines that include but are not limited to philosophy, mathematics, and computer science are invited to submit an extended abstract on their research. Submitted abstracts should be about 2 pages long (not including references). Each abstract will be anonymously reviewed by the scientific committee. The accepted abstracts will be presented by their authors in a 20 minute presentation during the conference.

  • 30 April - 2 May 2018, Workshop on Medieval Logic & its Contemporary Relevance, St. Andrews, Scotland

    Date: 30 April - 2 May 2018
    Location: St. Andrews, Scotland
    Deadline: Thursday 1 February 2018

    Studying medieval logic can make us aware of the consequences of certain ideas in at least two ways. First, the problems that medieval logicians were tackling are in many cases still with us today and still unresolved, more so than in some more recent periods. Secondly, though medieval academia was small in comparison to its modern counterpart, logic played a key role in the medieval curriculum and was the object of close attention by some remarkably perceptive thinkers. So the study of medieval logic has particular contemporary relevance and can yield many insights into contemporary puzzles in philosophy of logic. The object of the workshop is to encourage investigation into these connections and to showcase notable examples.

    We hope to include at least half a dozen Contributed Talks, each allotted one hour (including discussion). Talks should preferably both contain historical material from the middle ages and relate it to contemporary concerns in philosophical logic. To submit a talk for the workshop, please send an abstract of around 500 words by 1 February 2018. We intend to let successful contributors know the result by 15 February.

  • 14 - 15 April 2018, 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS'18), Thessaloniki, Greece

    Date: 14 - 15 April 2018
    Location: Thessaloniki, Greece
    Deadline: Friday 5 January 2018

    Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

    CMCS'18 will be co-located with ETAPS 2018. Invited speakers: Clemens Kupke (Strathclyde) and Daniela Petrisan (Diderot). Invited tutorial speakers: Bob Coecke (Oxford) and Aleks Kissinger (Radboud).

    We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere.

    For more information, see http://www.coalg.org/cmcs18/.
  • 14 - 15 April 2018, 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece

    Date: 14 - 15 April 2018
    Location: Thessaloniki, Greece
    Deadline: Monday 29 January 2018

    GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.

    Invited Speakers: Guy McCusker, Matteo Mio and Ulrich Schöpp.

    Please submit an abstract (up to one page, excluding bibliography) of your proposed talk on the EasyChair submission page. Supplementary material may be submitted, and will be considered at the discretion of the PC. There will be no formal proceedings but the possibility of a special issue in a journal will be considered.

    For more information, see http://www.gamesemantics.org.
  • 12 - 13 April 2018, 25th Automated Reasoning Workshop (ARW 2018), Cambridge, England

    Date: 12 - 13 April 2018
    Location: Cambridge, England
    Deadline: Friday 16 March 2018

    The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike.

    The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and open discussion sessions organised around specific topics such as "Automated Reasoning and Artificial Intelligence". Invited speakers: Ekaterina Komendantskaya (Heriot-Watt University) and Lawrence Paulson (University of Cambridge).

    We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions. Each workshop participant will be asked to give a short talk (around 10 minutes depending on time constraints) to introduce their research. Each participant will also be allocated space in a poster session (poster size up to A0), where they can further present and discuss their work.

  • 22 - 23 March 2018, Fourth Symposium on the History and Philosophy of Programming (HaPoP 4), Oxford, England

    Date: 22 - 23 March 2018
    Location: Oxford, England
    Deadline: Monday 1 January 2018

    In a society where computers have become ubiquitous, it is necessary to develop a deeper understanding of the nature of computer programs, not just from the technical viewpoint, but from a broader historical and philosophical perspective.

    A historical awareness of the evolution of programming not only helps to clarify the complex structure of computing, but it also provides an insight in what programming was, is and could be in the future. Philosophy, on the other hand, helps to tackle fundamental questions about the nature of programs, programming languages and programming as a discipline.

    An interdisciplinary approach is necessary for understanding programming with its multifaceted nature. As such, we welcome participation by researchers and practitioners coming from a diversity of backgrounds, including historians, philosophers, computer scientists and professional software developers.

    For the symposium, we invite submission of two-page extended abstracts (including footnotes, but excluding references). Accepted papers will be given a 30 minute presentation slot including discussion. We intend to publish selected papers in a special journal issue following the symposium.

    In addition to submissions in a wide range of areas traditional for HaPoP (outlined below), we especially welcome submissions that explore the nature of scientific progress with respect to computer programming as a discipline. We are interested in investigations concerning the methodology of computer programming, whether it follows a form of scientific method that allows it to increase its problem solving ability, whether its development more is akin to science, engineering or rather art, and what examples from the history of programming can be provided to support either argument.

    For more information, see https://www.shift-society.org/hapop4/ or contact Tomas Petricek at .
  • Call for Proposals for volumes in book series "Outstanding contributions in logic"

    Deadline: Saturday 31 March 2018

    Outstanding Contributions to Logic is a book series that forms part of the Studia Logica Library. It is published by Springer in co-operation with Studia Logica. Each volume is devoted to the contributions to logic made by an eminent logician. The series is intended to cover contributions to logic broadly conceived, including philosophical and mathematical logic, logic in computer science, and the application of logic in linguistics, economics, psychology, and other specialized areas of study.

    The series editors would like to receive proposals for new volumes in the series. Please tell us whose work in logic (broadly conceived) would be a suitable topic for a volume in this series. The series has its primary focus on logicians who are still active and willing to contribute in some way to the volume (for instance with an autobiographical chapter and/or responses to comments on their work). If you can propose a suitable editor, that would be most helpful. Self-nominations for editorship are most welcome.

    For more information, see http://www.springer.com/series/10033 or contact Sven Ove Hansson (Editor-in-Chief) at .
  • 14 March 2018, Logic(s) for Imagination, Bochum, Germany

    Date: Wednesday 14 March 2018
    Location: Bochum, Germany

    On the 14th March 2018, there will be a workshop "Logics for Imagination" affiliated with the conference "Philosophy of imagination". It aims to explore and compare different ways to model the logic of imagination, addressing among other things, modelling acts of imagination as a non-normal modal operator, ceteris paribus imagination, the role of agency, the interpretation of normal modalities as imagination and/or conceivability modalities, and first-order extensions of existing logics for imagination.

    The speakers are: Christopher Badura, Lisa Benossi, Francesco Berto, Joan Casas Roma, Joan Gimeno Simó, Dominik Kauss, Pierre Saint-Germier and Heinrich Wansing.

    There are some slots available for contributed talks and it is my pleasure to invite submissions for those. Please send your abstract to with subject LOGIC. Abstracts should not exceed 3000 words (incl. references). Accepted authors will give a talk of about 20 minutes followed by a short discussion.

    For more information, contact Christopher Badura at .
  • CfP special issue of Synthese on "Mathematical Cognition & Enculturation"

    Deadline: Thursday 1 February 2018

    A CfP is out for the upcoming Synthese Special Issue "Mathematical Cognition and Enculturation", edited by Catarina Dutilh Novaes and Markus Pantsar.

    With this special issue, we hope to advance our understanding of mathematical cognition by exploring the perspective of enculturation. Conversely, we also hope to investigate the merits, reach and limits of the enculturation perspective by means of detailed analyses of a specific but important case study: mathematical cognition. Submissions are invited from a wide variety of approaches in philosophy of mathematics, including views critical of the concept of enculturation with respect to mathematics.

    For more information, see https://philevents.org/event/show/35470.

Past Conferences

  • 19 April 2018, Workshop on mixed inductive-coinductive reasoning

    Date & Time: Thursday 19 April 2018, 10:00-14:30
    Location: Room LIN 1, Linaeus building, Heyendaalseweg 137, Nijmegen

    The aim of this one-day workshop is to discuss how inductive-coinductive reasoning is used so far, what techniques exist and how we can advance on those techniques.

  • 17 - 19 April 2018, Tenth NASA Formal Methods Symposium (NFM 2018): 30 Years of Formal Methods at NASA, News VA, U.S.A.

    Date: 17 - 19 April 2018
    Location: News VA, U.S.A.

    The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

    The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

  • 8 - 12 April 2018, 12th International Conference on Language and Automata Theory and Applications (LATA 2018), Ramat Gan, Israel

    Date: 8 - 12 April 2018
    Location: Ramat Gan, Israel

    LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 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.

  • 7 - 9 April 2018, 29th International Conference on Algorithmic Learning Theory (ALT 2018), Lanzarote, Spain

    Date: 7 - 9 April 2018
    Location: Lanzarote, Spain

    The ALT 2018 conference is dedicated to all theoretical and algorithmic aspects of machine learning. This is a new ALT: new submission time, new conference time, new program, and a new ambition, to substantially grow its audience and let ALT be known as the best conference in algorithmic and theoretical machine learning. ALT 2018 will have both a best student paper award (E.M. Gold Award) and a best paper award.

    The conference will be co-located with AISTATS 2018, which immediately follows ALT 2018.

  • 7 - 8 April 2018, Mathematical Collaboration II

    Date: 7 - 8 April 2018
    Location: St Andrews, Scotland

    This is a joint Arché-Oxford event, following up on Group Knowledge and Mathematical Collaboration held in Oxford in April 2017.
    In this second edition, we will look at the social virtues that lead to good mathematics in such collaborative settings, drawing on research in mathematical practice, social epistemology, sociology, ethnography and philosophy of science to answer questions about which features of our practices lead to successful and unsuccessful collaborations

  • 4 - 6 April 2018, 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART 7), Parma, Italy

    Date: 4 - 6 April 2018
    Location: Parma, Italy

    The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

  • 4 - 7 April 2018, Workshop "Foundations in Mathematics: Modern Views" (FMV 2018), Munich, Germany

    Date: 4 - 7 April 2018
    Location: Munich, Germany

    The workshop is a continuation of a series of conferences on logic and foundations of mathematics (Formal Mathematics, Bonn 2015; FOMUS, Bielefeld 2016; LMP, Goettingen 2017). The meeting is designed as a hybrid between a research conference and a winter school. The workshop focuses on  investigating the landscape of current views on the foundations of mathematics. In addition to the scientific debate, it aims to foster a community of young scientists concerned with foundational questions.

    For more information, see https://fmv2018.weebly.com/ or contact .
  • 25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France

    Date: 25 - 30 March 2018
    Location: Aussois, France

    Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

    There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.

    For more information, see http://aitp-conference.org/2018.
  • 15 - 16 March 2018, "Philosophy of Imagination", Bochum, Germany

    Date: 15 - 16 March 2018
    Location: Bochum, Germany

    Recently, the notion of imagination has received much attention, especially in the epistemology of modality. However, what exactly it means to imagine something, and under what circumstances imaginability is a justification for believing in a modal claim, is still up for debate. The conference aims to elucidate the notion of imagination.

    The interdisciplinarity of the topic is reflected in the expertises of the invited speakers: Magdalena Balcerak Jackson (University of Miami), Francesco Berto (ILLC, University of Amsterdam), Ruth Byrne (Trinity College Dublin), Heinrich Wansing (Ruhr-University Bochum) and Timothy Williamson (Oxford University).

  • 8 - 9 March 2018, Paul Lorenzen: Mathematician & Logician, Konstanz, Germany

    Date: 8 - 9 March 2018
    Location: Konstanz, Germany

    Paul Lorenzen (1915--1994) was an outstanding philosopher from the latter half of the 20th century. His name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. Focussing at first on abstract algebra, Lorenzen later turned his attention to foundational issues in logic and mathematics. His studies in this field are still highly regarded today and finally led to his concept of operative logic and mathematics, which in turn were the base for his philosophy later on.

    This meeting focusses on integrating Lorenzen's original approach into the history of logic and mathematics. We furthermore explore the options of how Lorenzen's systematical ideas can be implemented in today's debates on proof-theoretic semantics, databank management and stochastics.

    For more information, see https://www.kim.uni-konstanz.de/phil-archiv/lorenzen-meeting/ or contact Dr. Brigitte Parakenings at .
  • 7 - 9 March 2018, Workshop "Specificity, definiteness & article systems across languages", Stuttgart, Germany

    Date: 7 - 9 March 2018
    Location: Stuttgart, Germany

    One of the main questions that inspires this workshop is how languages with and without an article system go about referent coding and helping the hearer to recognize whether a given NP should be interpreted as definite, specific or non-specific. Other questions concern the grammatical consequences of having or lacking an article system, and the specific semantic-pragmatic parameters along which article systems may vary. The workshop will be held at the 40th Annual Meeting of the DGfS.

    For more information, see https://artsysworkshop.wordpress.com/.
  • 5 - 9 March 2018, Section Logic at the joint annual meeting of GDM and DMV, Paderborn, Germany

    Date: 5 - 9 March 2018
    Location: Paderborn, Germany

    The local organizers and the scientific committee cordially invite you to participate in the 3rd annual meeting of the Deutsche Mathematiker-Vereinigung (DMV) und the Gesellschaft für Didaktik der Mathematik (GDM)/

    Besides classical talks on mathematical research and on research in mathematics education, the GDMV 2018 conference will include talks that bring these two fields together by focusing on teaching and learning at university level and in the mathematics education of future teachers. A special day of lectures for teachers (Lehrertag), as well as events for young researchers (Studierendenkonferenz DMV, Nachwuchstag GDM) and talks concerning mathematics in industry and enterprises, complete the program.

    For more information, see http://www.gdmv2018.de/en/.
  • 5 - 9 March 2018, 2nd Workshop on Mathematical Logic & its Applications, Kanazawa, Japan

    Date: 5 - 9 March 2018
    Location: Kanazawa, Japan

    The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad.

  • 27 February 2018, Cognitive Computation Symposium (CoCoSym 2018): Thinking Beyond Deep Learning, London, England

    Date: Tuesday 27 February 2018
    Location: London, England

    Using "Cognitive Computation" as joint umbrella term and final aim, this symposium brings together established leaders in the fields of neural computation, logic and artificial intelligence, knowledge representation, natural language understanding, machine learning, cognitive science and computational neuroscience. They are invited to share their views on the 3 "Big Questions":
     - Will development in Deep Learning completely solve the problem(s)of Artificial Intelligence?
     - If not, how could and/or should AI and ML continue towards such a general solution?
     - What is going to be "the next big thing" that lets us build beyond the recent success of Deep Learning?

  • 26 - 28 February 2018, 2nd SYSMICS Workshop "Substructural logics: semantics, proof theory and applications", Vienna, Austria

    Date: 26 - 28 February 2018
    Location: Vienna, Austria

    Substructural logics are non-classical logics lacking some of the structural rules of classical logic, and are motivated by philosophical, linguistic and computational considerations. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The program of this SYSMICS workshop will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications.

    For more information, see http://sysmics.logic.at or contact .
  • 16 - 18 February 2018, Workshop "Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy", Bonn, Germany

    Date: 16 - 18 February 2018
    Location: Bonn, Germany

    While self-reference is deeply intertwined with logic and foundational aspects of mathematics, the notion itself is still surprisingly barely understood. For instance, it can be observed that in discussions regarding the nature of Visser's and Yablo's paradoxes, often differing and vague concepts are applied. However, there has been recently several proposals of precise characterizations of self-reference. This workshop is intended to facilitate a discussion of such proposals, their interrelations and applicability to the paradoxes as well as their adequacy to capture the intuitive notion of self-reference.

    This interdisciplinary workshop, designed as a hybrid between winter school and research conference, is aimed at students (incl. PhDs) and researchers from the fields of mathematics, philosophy and computer science.

    For more information, see https://ouroboros2018.weebly.com/ or contact .
  • 16 - 17 February 2018, Workshop on Ramsey Theory of Equations & Related Topics, Pisa, Italy

    Date: 16 - 17 February 2018
    Location: Pisa, Italy

    In 2016 two long standing open problems in Ramsey Theory of equations and polynomial configurations have been solved: the Boolean Pythagorean triples problem and the partition regularity of the configuration {x,x+y,xy}. For this reason, problems regarding the partition regularity of nonlinear Diophantine equations and polynomial configurations are now in the spotlight of the mathematical community. An interesting feature of this topic is that several different non-elementary techniques, including ultrafilters, ergodic theory, nonstandard analysis, semigroup theory and topological dynamics, can be used to solve problems in this area. The aim of this Workshop is to present aspects of several of these different techniques, as well as to discuss many interesting related problems.

    For more information, see https://ramseyequations.sciencesconf.org/ or contact Mauro Di Nasso at , or Lorenzo Luperi Baglini at .
  • 15 - 17 February 2018, Linguistic Evidence 2018, Tübingen, Germany

    Date: 15 - 17 February 2018
    Location: Tübingen, Germany

    With the ninth Linguistic Evidence we bring a new focus on empirical, theory-driven approaches to syntax, semantics and their interface to this conference series. We also aim at providing a forum that allows us to address and reflect on the challenges and opportunities of experimental approaches to linguistic theory.

    Invited Speakers: Barbara Hemforth (Paris Diderot), Edward Gibson (MIT), Valentine Haquard (University of Maryland) and David Beaver (University of Texas, Austin).

  • 31 January 2018, Workshop "Modal & Many-Valued Logics", Paris, France

    Date: Wednesday 31 January 2018
    Location: Paris, France

    Workshop organized by École Normale Supérieure and Institut d’Histoire et de Philosophie des Sciences et des Techniques, with funding from the University Paris 1 Panthéon-Sorbonne and the project “New Ideas in Mathematical Philosophy” (DEC-ENS).

    Speakers: Andreas Herzig, Paul Égré, Allard Tamminga and Ekaterina Kubyshkina.

    This event is taking place in the context of Ekaterina Kubyshkina's PhD defense ("La logique de l'agent rationnel" / "The Logic of Rational Agent").

  • 16 - 18 January 2018, Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2018) at ICAART 2018, Funchal, Madeira - Portugal

    Date: 16 - 18 January 2018
    Location: Funchal, Madeira - Portugal

    Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.

    The session covers theoretical work, advanced applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

    For more information, see http://www.icaart.org/NLPinAI.aspx or contact .
  • 16 - 18 January 2018, 10th International Conference on Agents and Artificial Intelligence (ICAART-2018), Funchail, Madeira - Portugal

    Date: 16 - 18 January 2018
    Location: Funchail, Madeira - Portugal

    The purpose of the International Conference on Agents and Artificial Intelligence is to bring together researchers, engineers and practitioners interested in the theory and applications in the areas of Agents and Artificial Intelligence. Two simultaneous related tracks will be held, covering both applications and current research work. One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

    For more information, see here or at http://www.icaart.org/.
  • 10 - 13 January 2018, Joint Mathematics Meeting 2018, San Diego CA, U.S.A.

    Date: 10 - 13 January 2018
    Location: San Diego CA, U.S.A.

    Held early each January in partnership with the American Mathematical Society, the Joint Mathematics Meetings is the largest annual mathematics meeting in the world. The program provides plentiful opportunities to engage with your fellow mathematicians and learn about innovative research in your interest areas, including numerous invited addresses, minicourses, short courses, panel sessions, workshops, paper sessions, posters, exhibits, an AMS Special Session on Homotopy Type Theory, and more.

    For more information, see http://jointmathematicsmeetings.org/jmm/ or contact .
  • 8 - 11 January 2018, Symposion on Logical Foundations of Computer Science (LFCS 2018), Deerfield Beach FL, U.S.A.

    Date: 8 - 11 January 2018
    Location: Deerfield Beach FL, U.S.A.

    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 in 1992.

    For more information, see http://lfcs.ws.gc.cuny.edu/.
  • 8 - 10 January 2018, Mathematics & Culture II, Kolkata, India

    Date: 8 - 10 January 2018
    Location: Kolkata, India

    Mihir Chakrborty, Subhasis Banerjee and Michele Friend are organising a workshop on the topic of mathematical culture. Place: IIEST campus, Kolkata. Sponsored by: ISSTac, HSS.

    For more information, see here or contact Mihir Chakraborty at , Subhasis Banerjee at , or Michele Friend at .
  • 4 - 6 January 2018, British Postgraduate Model Theory Conference 2018, Oxford, England

    Date: 4 - 6 January 2018
    Location: Oxford, England

    The aim of this conference is to provide a platform for postgraduate students working in model theory to present their research.

    Invited speakers: Bruno Poizat (Institut Camille Jordan) and Francoise Delon (Paris Diderot), plenary talks, and Dugald Macpherson (Leeds), short course.

    For more information, see https://bpgmtc2018.wixsite.com/bpgmtc.
  • 3 - 5 January 2018, Fifteenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2018), Fort Lauderdale FL, U.S.A.

    Date: 3 - 5 January 2018
    Location: Fort Lauderdale FL, U.S.A.

    The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the fifteenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence.

    Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

MoL and PhD defenses

  • 24 April 2018, PhD defense, Hugo Nobrega

    Title: Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks
    Date & Time: Tuesday 24 April 2018, 12:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Benedikt Löwe
    Copromotor: Arno Pauly
  • 20 April 2018, PhD Defense, Julian Schlöder

    Title: Assertion and Rejection
    Date & Time: Friday 20 April 2018, 12:00
    Location: Agnietenkapel University of Amsterdam, Oudezijds Voorburgwal 229 - 231, Amsterdam
    Supervisor: Raquel Fernández
    Promotor: Robert van Rooij
  • cover-front-v3-compressed.png

    18 April 2018, Supporting the Complex Dynamics of the Information Seeking Process, Hugo C. Huurdeman

    Date & Time: Wednesday 18 April 2018, 10:00
    Location: Agnietenkapel University of Amsterdam, Oudezijds Voorburgwal 229 - 231, Amsterdam
    Promotor: R.A. Rogers, A.P. de Vries
    Copromotor: J. Kamps

    On the 18th of April, 2018, Hugo Huurdeman will defend his PhD thesis, entitled “Supporting the Complex Dynamics of the Information Seeking Process.”

    The thesis was inspired by a paradox: online search engines currently offer a streamlined set of functionality, yet they are used in increasingly complex tasks. The thesis’ focus is on research-based tasks conducted via web archives and online search engines. Through literature reviews, user studies and information retrieval experiments, Hugo’s thesis aims to rethink the currently dominating search approach, and ultimately arrive at more dynamic support approaches for complex search tasks.

    For more information, see http://www.timelessfuture.com/phd-defense/ or contact Hugo Huurdeman at .
  • 4 April 2018, PhD Defense, Thomas Brochhagen

    Title: Signaling under uncertainty
    Date & Time: Wednesday 4 April 2018, 10:00
    Location: Agnietenkapel
    Promotor: Robert van Rooij
  • 20 March 2018, PhD defense, Joachim Daiber

    Title: Typologically Robust Statistical Machine Translation
    Date & Time: Tuesday 20 March 2018, 12:00
    Location: Agnietenkapel
    Promotor: Prof. dr. Khalil Sima'an
    Copromotor: Dr. Wilker F. Aziz
    For more information, see here or contact Joachim Daiber at .
  • BJ_BookFront.png

    9 February 2018, PhD defense, Berit Janssen

    Title: Retained or Lost in Transmission? Analyzing and Predicting Stability in Dutch Folk Songs
    Date & Time: Friday 9 February 2018, 13:00
    Location: UvA Aula, Singel 411, Amsterdam
    Promotor: Henkjan Honing
    Copromotor: Peter van Kranenburg

    On February 9th, 1 p.m. in the Aula of the University of Amsterdam, Berit Janssen will defend her dissertation, “Retained or Lost in Transmission? Analyzing and Predicting Stability of Dutch Folk Songs”. She was a Ph.D. candidate at the Meertens Institute as part of the Computational Humanities group project “Tunes & Tales”. Through her promotor Henkjan Honing she was also part of the Music Cognition Group at the ILLC.

    For more information, see here or contact Fleur Bouwer, Yvonne van Amerongen at .
  • 25 January 2018, Master of Science AI defense, Peter Dekker

    Title: Reconstructing language ancestry by performing word prediction with neural networks
    Date & Time: Thursday 25 January 2018, 14:00
    Location: Science Park 107, room F3.20
    Supervisor: dr. Jelle Zuidema and prof.dr. Gerhard Jäger

    In my thesis, I applied the machine learning paradigm, succesful in many computing tasks, to historical linguistics. I proposed the task of word prediction: by training a machine learning model on pairs of words in two languages, it learns the sound correspondences between the two languages and should be able to predict unseen words.

    For more information, see here or contact Peter Dekker at .
  • 12 January 2018, Master of Logic defense, Line van den Berg

    Title: Unreliable Gossip
    Date & Time: Friday 12 January 2018, 13:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Jan van Eijck and Theodora Achourioti

Projects and Awards

Funding, Grants and Competitions

  • Research fellowships at the Paris IAS in 2019-2020

    Deadline: Tuesday 3 April 2018

    The Paris Institute for Advanced Study is launching two calls for applications for research fellowships in 2019-2020 open to researchers of all nationalities.

    - one call for 5 or 10-month fellowships in the "Blue Sky Research" program, open to all disciplines and themes in the humanities and social sciences.

    - one call for 5 or 10-month fellowships in the “Brain, Culture and Society” program. This call is for researchers willing to conduct a project at the interface between neuroscience, cognitive science and the humanities and social sciences.

  • VCLA International Student Awards in memory of Helmut Veith

    Deadline: Sunday 25 March 2018

    The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
    · Outstanding Master Thesis Award
    · Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)

    The main areas of interest are: Computational Logic, Databases and Artificial Intelligence, and Verification. The degree must have been awarded between November 15th 2015 and December 31st 2017.

    The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.

    For more information, see http://logic-cs.at/award-call-2018/ or contact .
  • E. W. Beth Dissertation Prize, 2018

    Deadline: Monday 23 April 2018

    Since 2002, FoLLI (the Association for Logic, Language, and Information) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2017.

    For more information, see http://www.folli.info/?page_id=251 or contact Ian Pratt-Hartmann at .
  • ERC Proof of Concept Grant

    Deadline: Wednesday 18 April 2018
    Frontier research often generates unexpected or new opportunities for commercial or societal application. The ERC Proof of Concept Grants aim to maximise the value of the excellent research that the ERC funds, by funding further work (i.e. activities which were not scheduled to be funded by the original ERC frontier research grant) to verify the innovation potential of ideas arising from ERC funded projects. Proof of Concept Grants are therefore on offer only to Principal Investigators whose proposals draw substantially on their ERC funded research.
  • Open call for COST Actions proposals

    Deadline: Friday 20 April 2018

    COST Actions are bottom-up science and technology networks, open to researchers and stakeholders with a duration of four years. They are active through a range of networking tools, such as workshops,
    conferences, training schools, short-term scientific missions (STSMs), and dissemination activities. COST does not fund research itself.

    Proposals are invited for COST Actions contributing to the scientific, technological, economic, cultural or societal knowledge advancement and development of Europe. Multi- and interdisciplinary proposals are encouraged.

    For more information, see http://www.cost.eu/participate/open_call.
  • NWO Rubicon

    Deadline: Thursday 29 March 2018

    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. To this purpose, 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 more information, see https://www.nwo.nl/en/funding/our-funding-instruments/nwo/rubicon/index.html or contact Dhr. drs. J.S. Voskuilen at .
  • Internationalisation in the Humanities

    Deadline: Thursday 1 March 2018

    The Internationalisation in the Humanities grant is intended to facilitate collaboration between Dutch and foreign humanities research groups. Furthermore, NWO wants to foster the formation of international networks in the humanities and encourage funding proposals from the humanities to international agencies.

    The grant encourages international collaboration between Humanities research groups, research schools, research institutes and/or departments. The collaboration must be related to a single coherent research project. The research activities have to fit within a programme for structural collaboration with two or more foreign institutions or research groups. The maximum duration of a project is three years.

  • Call for Nominations: Ackermann Award 2018

    Deadline: Wednesday 4 April 2018

    The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. Nominations are now invited for the 2018 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2016 and 31.12.2017 are eligible for nomination for the award. The 2018 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 4-7 September 2018, in Birmingham (UK).

    For more information, see http://www.eacsl.org/submissionsAck.html or contact Thomas Schwentick at .
  • Call for Nominations: IACAP Covey Award for innovative research in computing and philosophy

    Deadline: Friday 9 February 2018

    The Executive Board of the International Association for Computing and Philosophy seeks nominations for the Covey Award to be presented at IACAP 2018, Staszic Palace, Polish Academy of Sciences, Warsaw, Poland.

    The Covey Award recognizes senior scholars with a substantial record of innovative research in the field of computing and philosophy broadly conceived.

    Covey Award candidates may be proposed either by their home institution or by fellow scholars of computing and philosophy who are well-versed in the candidate's work.

    To nominate, please send names and website URLs (or CVs) to: Steve McKinlay <> by 9 February 2018.

    For more information, see http://www.iacap.org/awards/.
  • Call for Nominations: 2018 Alonzo Church Award for Outstanding Contributions to Logic & Computation

    Deadline: Thursday 1 March 2018

    An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015.The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research.

    Nominations for the 2018 award are now being solicited. The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2018 award, the cut-off date is January 1, 1993. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Gödel Prize. While the contribution can consist of conference or journal papers, journal papers will be given a preference. Self- nominations are excluded. The 2018 award will be presented at ICALP 2018, the International Colloquium on Automata, Languages and Programming.

  • UvA385 Grants for PhD candidates

    Deadline: Monday 2 April 2018

    In honour of its 385th anniversary, the UvA introduced special UvA385 grants at the beginning of 2017. These grants enable UvA PhD candidates to gain relevant international experience for their research. The grants will be awarded in two rounds: the first grants were awarded in June 2017, and the application period for the second round of grants will begin in early 2018.

  • NWO STW Demonstrator 2018

    Deadline: Tuesday 27 February 2018
    The Demonstrator programme intends to facilitate and stimulate de application of research results of organisations including Dutch universities
    For more information, see http://www.stw.nl/en/node/8630 or contact Monique Wiegel at .
  • NWO Vici

    Deadline: Tuesday 27 March 2018
    Vici is a funding instrument from the Talent Scheme. It gives senior researchers the opportunity to build up their own research group, often in anticipation of a tenured professorship. The research group must become structurally embedded in the research institution.
  • Research Innovation and Sustainability Fund

    Deadline: Thursday 1 March 2018

    The UvA Faculty of Humanities offers a new funding scheme that aims to support staff in their career development within the faculty and to expand their opportunities to conduct research.

    The Research Innovation and Sustainability (RIS) Fund enables employees to apply for temporary teaching release in order to have more time to write grant applications, or to finish one or more (substantial, strategic) publications so as to strengthen the track record significantly and qualify for a successful grant application in the near future.

    For more information, see http://aihr.uva.nl/content/news/2017/12/ris-fund.html or contact Brigit van der Pas at .
  • ABC Project Grant

    Deadline: Monday 15 January 2018

    In 2018 Amsterdam, Brain & Cognition (ABC) introduces an additional ABC Project Grant aiming to stimulate more interdisciplinary research cooperation between humanities and other sciences. Next to the two existing project grants, an additional (third) project will be awarded that consists of collaboration with the Faculty of Humanities.

  • NWO Veni

    Deadline: Wednesday 10 January 2018

    Veni is part of the Incentives Scheme. It allows researchers who have recently obtained their PhD to conduct independent research and develop their ideas for a period of three years.

Open Positions at ILLC

Open Positions, General

  • PhD student position in formal methods, Konstanz (Germany)

    Deadline: Saturday 14 April 2018

    The Chair for Software and Systems Engineering of the University of Konstanz has the opening of a full-time PhD Student / Research Associate position available starting July 1, 2018. We are primarily looking for a PhD Student interested in working on formal methods for the design and verification of critical cyber-physical systems.

    We like to use logic-based methods in modeling, specification and analysis of these systems. The position may therefore be interesting of a logician with strong interests in logic-based methods in computer science. Affinity towards software and some programming experience, however, is a prerequisite.

  • PhD positions in Theoretical Computer Science at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 22 April 2018

    The Theory Group at KTH Royal Institute of Technology invites applications for PhD positions in theoretical computer science.

    The PhD positions are in the area of computational complexity theory, focusing on questions at the intersection of approximation algorithms, subexponential algorithms, and proof complexity. The overarching goal is to understand fundamental properties of efficient computation by proving mathematical theorems about the power and limitations of different computational models.

    This research project is led by Johan Hastad, Per Austrin, and Jakob Nordstrom, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council.

    In addition to the PIs and the announced PhD positions, the research project will also involve 3-4 existing PhD students and 4-5 postdocs. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.

    For more information, see http://apc.eecs.kth.se/J-2018-0292-Eng.php or contact APC group at .
  • Postdoc positions in Theoretical Computer Science at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 22 April 2018

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in theoretical computer science.

    The postdoc positions are in the area of computational complexity theory. Current research in the group focuses mostly on approximation algorithms/hardness of approximation, subexponential algorithms, and proof complexity, but excellent researchers in neighbouring areas such as, e.g., communication complexity, circuit complexity, algebraic complexity, and harmonic analysis are also warmly welcome to apply.

    This research project is led by Johan Hastad, Per Austrin, and Jakob Nordstrom, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council. In addition to the PIs, the research project is planned to involve a total of 4-5 postdocs and 4-5 PhD students. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.

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

    For more information, see http://apc.eecs.kth.se/J-2018-0433-Eng.php or contact APC group at .
  • PhD student scholarships in logic and related fields, Canberra (Australia)

    Deadline: Friday 20 April 2018

    The Logic and Computation Group at the Research School of Computer Science, The Australian National University has a number of PhD scholarship available for bright, enthusiastic doctoral students in logic and several related fields. The scholarships are open to individuals of any nationality. Potential applicants are encouraged to consult the group's web pages and make direct contact with potential supervisors.

  • Visiting Assistant Professorship (2y) in philosophy of science, Notre Dame IN (U.S.A.)

    Deadline: Friday 20 April 2018

    The Philosophy Department and the Program in the History and Philosophy of Science (HPS) will make one visiting appointment, to begin Fall Semester 2018. Rank: Assistant Professor, with an initial appointment for one year, which may be renewable for a second year. AOS: Philosophy of Science. AOC: Open, but candidates with teaching interests in the Philosophy of Technology and the Philosophy of Medicine are particularly encouraged to apply.

    The teaching load will be 2-2, at all levels, with opportunities to teach in the following programs: Philosophy Department, graduate HPS program, and undergraduate Science, Technology, and Values program. HPS is an interdisciplinary PhD program, which trains its students rigorously in Philosophy, History, or Theology. There would be normal non-teaching duties, including mentorship of graduate students.

    For more information, see https://philjobs.org/job/show/9894.
  • Assistant Professorship of Computer Science, Roskilde University (Denmark)

    Deadline: Monday 16 April 2018

    Department of People and Technology, Roskilde University, invites applications for a position as assistant professor of Computer Science from August 1st 2018 or as soon as possible thereafter.

    The successful candidate is expected to become affiliated with the research group Programming, Logic and Intelligent Systems.

    For more information, see http://bit.ly/asst-prof-cs or contact Anders Siig Andersen at .
  • Postdoctoral position in "A new dawn of intuitionism", Leeds (England)

    Deadline: Wednesday 4 April 2018

    The University of Leeds School of Mathematics is looking for a Research Fellow to join our project "A new dawn of intuitionism," which seeks to address contemporary foundational concerns from the intuitionistic point of view. The project's broad goals are to advance the proof theory of intuitionistic theories; to determine the proof-theoretic strength of some of the most expressive intuitionistic type and set theories; and to describe computational models of intuitionistic logic and theories.


  • Researcher positions (postdoc) in "Verification of Quantum Cryptography", Tartu (Estonia)

    Deadline: Saturday 31 March 2018

    We are starting a project in which we will develop methods for the verification of proofs in quantum cryptography. Similar to what the EasyCrypt tool does in classical cryptography. The scope of the project covers everything from the logical foundations, through the development of tools, to the verification of real quantum protocols.

    The ideal candidate would have experience in: Semantics, Theorem proving, Verification of classical cryptography, Quantum cryptography, and Quantum computation / communication. Of course, expertise in all those areas is very rare, so candidates who are strong in some of those areas and are interested in the others are encouraged to apply!

  • PhD student position and postdoctoral position on "Time in Translation", Utrecht (The Netherlands)

    Deadline: Monday 2 April 2018

    The Utrecht-based 'Time in Translation' project is hiring a PhD (1,0 FTE, 4 years) and a Post-Doc (0,8 FTE, 3 years).

    'Time in Translation: a semantics of the Perfect' is funded by NWO, by way of a Vrije Competitie project awarded to Prof. dr. Henriëtte de Swart and dr. Bert Le Bruyn. The project aims to develop the meaning of the present perfect. We will collect data from 5 languages (Dutch, English, German, French, Spanish) in parallel corpora, and analyse perfect use in relation to other verbal tense forms both at the sentence and at the discourse level. Translation experiments will be used to check the space of variation in choosing one form over another.

    For more information, see http://time-in-translation.hum.uu.nl/.
  • Postdoctoral position in non-classical logic, Prague (Czech Republic)

    Deadline: Thursday 5 April 2018

    The Institute of Computer Science of the Czech Academy of Sciences (ICS), Prague, Czech Republic, is seeking a postdoctoral researcher to complement the team for the project 'Non-classical logical models of information dynamics'.

    Candidates with experience in non-classical logic (substructural, esp. relevant and fuzzy) or modal logic are encouraged to apply. A formal requirement of the grant scheme is that the postdoctoral researcher was not older than 35 by December 31, 2017.

    The position is full-time and it is available for a fixed term of two years. The starting date is flexible, but a start between June and August 2018 is expected. The position is without teaching duties, with a gross salary of 38 000 CZK (approximately 1 500 euro).

    For more information, see http://www.ustavinformatiky.cz/?id_jazyk=en&id_stranky=kariera or contact Dr. Igor Sedlar at .
  • Postdoctoral Fellowships in Artificial Intelligence, Groningen (the Netherlands)

    Deadline: Thursday 8 March 2018

    We offer two fellow positions in the field of:
    Artificial Intelligence, preferably in the area of ‘Multi Agent Systems’ or ‘Machine-learning for Robotics’. The fellow will teach in the BSc Artificial Intelligence and be embedded in the research institute for Artificial Intelligence and Cognitive Engineering (ALICE).

  • Associate Senior Lectureship in Logic of Programs, Stockholm (Sweden)

    Deadline: Tuesday 3 April 2018

    The Department of Mathematics at Stockholm University is looking for an Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs. The subject of the position includes program verification, implementation of proof systems, and applications of proof theory in programming, functional programming, and semantics of programming languages.

  • Head of School position (School of Philosophy, Psychology & Language Science), Edinburgh (Scotland)

    Deadline: Thursday 22 March 2018

    The School of Philosophy, Psychology and Language Sciences at the University of Edinburgh is seeking to appoint a Head of School with outstanding leadership skills, an academic background in one of our cognate disciplines, and the confidence and vision to lead the School of PPLS and inspire our large and diverse academic community.

  • PhD student positions in modal logic for granularity and spatial knowledge representation, Leeds (England)

    Deadline: Friday 30 March 2018

    The School of Computing at University of Leeds is offering up to six PhD scholarships in a variety of topics including 'A Modal Logic for Granularity' and 'Spatial Knowledge Representation in the Digital Humanities'.The studentships are open to candidates of any nationality.

     Note that funding will be awarded on a competitive basis and only up to six scholarships will be funded in topics in the list available on the webpage.

  • Associate Professorships in Computer Science,Tbilisi (Georgia)

    Deadline: Sunday 15 April 2018

    The Faculty of Computer Technologies and Engineering of The International Black Sea University, Tbilisi, Georgia, invites applications for multiple faculty positions at the rank of an associate professor in the area of computer science. We are looking for candidates from all areas of computer science.

    Interested candidates should send the following documents: Motivation letter, Curriculum vitae, and List of publications.

    For more information, see https://www.ibsu.edu.ge/en/ or contact .
  • Postdoctoral fellowships in history and philosophy of science & ideas, Tel Aviv (Israel)

    Deadline: Friday 23 March 2018

    The Cohn Institute for the History and Philosophy of Science and Ideas, Tel Aviv University, offers one or two Post-Doctoral Fellowships for the academic year 2018-19. The recipient(s) will spend the academic year at the institute pursuing their own research project while interacting with faculty and students.

    Fellowship award will be based on consideration of scholarly distinction and academic promise within the area of history and philosophy of science broadly construed. Candidates must hold a PhD degree in a relevant academic field, which has been awarded from a recognized university after October 2013.

  • Assistant Professorship in algebra and mathematical logic, Prague (Czech Republic)

    Deadline: Thursday 15 March 2018

    Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague, invites applications for a faculty position at the rank of an assistant professor in the areas of algebra and mathematical logic. The expected starting date is October 1, 2018 and it is negotiable.

    We look for candidates that would complement and/or strengthen the current main research areas in the department (in particular, applications of algebra and logic in computational complexity, and representation theory). However, strong candidates in all areas of algebra and mathematical logic will be considered.

    For more information, see https://www.mathjobs.org/jobs/jobs/11638 or contact Jiri Tuma at .
  • (New) PhD position in Computational Linguistics, Utrecht University, Netherlands

    Deadline: Thursday 15 March 2018

    The Utrecht Institute of Linguistics (UiL OTS) invites applications for a PhD position in computational semantics in the research program ‘Forests and Trees: the Formal Semantics of Collective Categorization’, led by Prof. Dr. Yoad Winter. The project aims to investigate the mechanisms underlying our linguistic ability to conceptualize collections, as exemplified by the sentence “the Rockies are near” which categorizes a collection of mountains by estimating distance from the nearest mountain in the Rockies. Collective categorization forms an important probe into the connections between grammar and the mind, and is crucial for artificial intelligence. This opening concerns a PhD position in the computational work package within the above interdisciplinary project, to be carried out with the collaboration of Dr. Tejaswini Deoskar (ILLC/UvA and UU) and Dr. Joost Zwarts (UU).

    The project makes use of large language corpora and modern machine learning methods in order to analyse spatially-based concepts expressed in language (“the Rockies are far”, “the books are inside the box”, “the soldiers are surrounded”). The project’s methodology involves an interaction between data-driven machine learning and semantic parsing, as well as principles in formal semantics for analysing spatially-based collective categorization. The project offers collaboration with a broader team of NLP researchers (Khalil Sima’an, Jelle Zuidema, James Hampton).

  • PhD Position in AI and Computational Soical Choice, Paris-Dauphine University (France)

    Deadline: Sunday 1 April 2018

    Applications are invited for a full-time three-year PhD position in Computer Science at LAMSADE, Université Paris-Dauphine on the topic of eliciation and explanation for voting rules. The theme of this call is around the development of procedures to help a committee (or a society) choose a suitable voting rule. The successful student will be hosted at LAMSADE and will be supervised by Remzi Sanver and Olivier Cailloux.

  • Two PhD student fellowships at MCMP, Munich (Germany)

    Deadline: Sunday 15 April 2018

    The Munich Center for Mathematical Philosophy (MCMP) seeks applications for *two 3-year doctoral fellowships* starting on October 1, 2018. (A later starting date is possible.) We are especially interested in candidates with research interests in at least one of the following fields: general philosophy of science, philosophy of physics, philosophy of the social sciences, philosophy of statistics, formal epistemology, formal philosophy of science, social epistemology, philosophy and psychology of reasoning and argumentation, agent-based modeling in philosophy, or decision theory.

  • PhD student position in human-centric information systems design, Innsbruck (Austria)

    Deadline: Saturday 17 February 2018

    We are offering a 3 year funded PhD position in information systems (research areas: human-centric information systems design and development, cognitive heuristics and biases, online communication and collaborative systems, business process management, conceptual modeling) at the University of Innsbruck. Starting date: as soon as possible.

  • Professorship in Mathematical Logic, Vienna (Austria)

    Deadline: Sunday 15 April 2018

    A position is available for a Full Professor of Mathematical Logic at the Kurt Gödel Research Center of the University of Vienna, Austria. Applications from all areas of logic are welcome. For further information please contact Ben Miller <> or Sy-David Friedman <> of the Gödel Center. The application deadline is April 15, 2018.

    For more information, contact .
  • Postdoctoral fellowship in mathematical logic, Stockholm (Sweden)

    Deadline: Tuesday 3 April 2018

    The Department of Mathematics at Stockholm University is looking for a Postdoctoral Fellow in Mathematical Logic. The main responsibility is to conduct research. A broad spectrum of different projects within mathematical logic are possible, but with a preference for projects including type theory, in particular homotopy type theory, constructive set theory, category theory and categorical logic, topos theory, point-free topology and locale theory or other constructive aspects of mathematical logic.

    The position also includes some teaching duties (up to 20 %), which may include supervision of students. The successful applicant is expected to participate in activities in the department, in particular by attending and contributing talks in the logic group's seminar. The position involves full-time employment for a maximum of two years, with the possibility of extension under special circumstances. Start date is 2018-09-01 or as per agreement.

    For more information, see https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4748&rmlang=UK or contact Professor Erik Palmgren at , or Peter LeFanu Lumsdaine at .
  • PhD student positions in theoretical computer science, Loughborough (England)

    Deadline: Friday 16 February 2018

    The School of Science at Loughborough University is funding the following three PhD studentships with start date 1st October 2018:
    - Applications of finite semigroups in formal verification (with Manfred Kufleitner)
    - Scheduling and data flow problems in special-purpose networks (with Lars Nagel)
    - String logics for query languages (with Dominik D. Freydenberger)

  • Postdoctoral position and PhD student position in Algorithms, Potsdam (Germany)

    Deadline: Sunday 18 February 2018

    The Algorithm Engineering group at the Hasso Plattner Institute (HPI) invites applications for a Postdoctoral Researcher (2y) in Algorithms and a PhD student in Algorithms.

    The HPI is a unique research and teaching institute in Germany, which was founded in 1999 as an institute of the University of Potsdam. HPI carries out internationally acclaimed research and offers innovative academic majors in the field of IT Systems Engineering. The institute offers a vibrant scientific environment at the beautiful Campus Griebnitzsee, which is located at the border to Berlin.

    Applicants should have a theoretical/mathematical background and an interest in at least one of the following topics: Random structures and algorithms, Models of scale-free networks and propositional satisfiability, Theory of evolutionary algorithms and swarm intelligence, and/or Heuristic and mathematical optimization.

    For more information, see https://hpi.de/friedrich/offers/2018/february.html or contact Prof. Dr. Tobias Friedrich at .
  • PhD Position in Algorithmic Game Theory, University of Essex (UK)

    Deadline: Friday 23 February 2018

    Fully funded PhD position in Algorithmic Game Theory, within the Centre for Computational Finance and Economic Agents and under the supervision of Maria Kyropoulou and Carmine Ventre at the University of Essex.

  • One PhD and two postdoctoral positions in philosophy of science (including formal epistemology), Cambridge (England)

    Deadline: Thursday 8 February 2018

    Centre for Research in Arts, Social Sciences and Humanities (CRASH) is seeking to appoint two postdoctoral Research Associates to join the ERC-funded project, Qualitative and Quantitative Social Science: Unifying the Logic of Causal Inference, led by Dr. Christopher Clarke. This five-year project (2017-2022) examines the epistemological challenges that arise when social scientists investigate the causes and effects of social phenomena.

    Prof. Clarke is looking to recruit excellent candidates in the fields of philosophy of science (including formal epistemology) or the philosophy of social science (including the philosophy of gender and the philosophy of race very broadly construed). These are full-time research, faculty-level positions, each lasting over three years, with the positions beginning this July or September 2018. The positions are also suitable for PhD candidates who will have submitted their dissertation by September 2018.

    There is also a 4 year fellowship attached to the project to fully fund a PhD student from the beginning to the end of their PhD studies at Erasmus University Rotterdam, which is also hosting his grant. The PhD student will work on a topic in the philosophy of social sciences relating to the distinction between qualitative and quantitative evidence.

    For more information, see http://www.jobs.cam.ac.uk/job/16107/(for the PostDoc positions) and https://www.eur.nl/en/fw/about-faculty/working/fully-funded-phd-position-philosophy-social-science-10-fte (for the PhD position).


    For more information, see http://www.chrisclarke.eu/intro or contact .
  • Postdoctoral position on false belief understanding, Bochum (Germany)

    Deadline: Thursday 1 March 2018

    At the Institute of Philosophy II of the Ruhr-University in Bochum a postdoc position (100% TVL) is offered in the area of philosophy of mind and cognition in the research group of Prof. Albert Newen. The position is available for a period of three years. The subproject will be situated in Bochum and developed in a close collaboration with further philosophers from the universities Bochum (Prof. T. Schlicht) and Zurich (Prof. H.-J. Glock). In addition, the project is embedded in a close collaboration with the psychology department in Salzburg (Prof. J. Perner). Thus, ideally, the candidate has a strong background and interest in philosophy of mind and cognition as well as developmental psychology as a basis for grounding philosophical theories. These dimensions are expected to be applied to discuss the paradox of false belief understanding in the context of understanding actions and reasons of other agents.

    For more information, see http://www.ruhr-uni-bochum.de/philosophy/ii/jobs.html.de or contact Prof. Albert Newen at .
  • 3 Postdoc Positions in Computational Social Choice, University of Oxford (UK)

    Deadline: Thursday 22 February 2018

    Applications are invited for 3 Research Associate positoons to join the ERC-funded project ‘Algorithms for Complex Collective Decisions of Structured Domains’ (ACCORD) led by Professor Edith Elkind at the Department of Computer Science, University of Oxford. This project aims to develop new tools and methodologies for making complex group decisions in rich and structured environments.

    For more information, see http://www.cs.ox.ac.uk/news/1445-full.html.
  • Two Open Research Assistant Positions in Knowledge Representation and Reasoning Group at TU Dresden (Germany)

    Deadline: Wednesday 31 January 2018

    Two positions as research assistants are available from March 15, 2018 onwards. Currently, the group is doing research in two main areas: Satisfiability Testing and Computational Modeling of Human
    Reasoning. We intend to strengthen these areas.

    For more information, see here or at https://iccl.inf.tu-dresden.de/web/News35/en or contact Steffen Hölldobler at .
  • Graduate Student Research Positions in Computational Logic, Simon Fraser University, BC (Canada)

    Applications are invited for several graduate student positions in Knowledge Representation and Reasoning, specifically, and more broadly in Computational Logic in the School of Computing Science, Simon Fraser University. The successful applicants will work with members of the Computational Logic Lab.

    Ph.D. students will receive funding for at least four years, while M.Sc. students will receive funding for at least 20 months.

    Applications should be submitted via the School's online application system. Prospective applicants should also directly contact a faculty member they wish to work with. Students interested in beginning in September 2018 should apply no later than February 1, 2018.

    For more information, see http://www.cs.sfu.ca/.
  • Various PhD student funding opportunities in theoretical computer Science, Swansea (Wales)

    Deadline: Monday 22 January 2018

    The CS department of Swansea University is inviting applications for a fully funded PhD studentship, for start in October 2018 or January 2019. Applicants should hold an MSc or equivalent in a relevant subject at the starting time, and be UK/EU citizens.

    There are a number of available projects, including several logic-related ones (see http://www.swansea.ac.uk/science/research/dtc/computer-science-projects-2018-19/ for the full list). Ideally, applicants will get in touch with the prospective supervisor well in advance. The prospective supervisors will gladly give more information to potential applicants.

    In order to be eligible for funding, applications should be submitted under the umbrella project http://www.swansea.ac.uk/postgraduate/scholarships/research/science-sures-phd-comp-sci-putting-theory-into-practice.php.

    For more information, contact Dr Ulrich Berger at .
  • Master in Pure and Applied Logic programme, Barcelona (Spain)

    The biannual two-year 'Master in Pure and Applied Logic' programme for 2018-2020, jointly organized by the University of Barcelona and by the 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.

    For more information, see here or at http://www.ub.edu/masterlogic/ or contact Ramon Jansana at .
  • Several positions (Assistant, Associate, and Full Professorships) in Logic & Philosophy, Chongqing (China)

    Deadline: Tuesday 20 March 2018

    The Institute of Logic and Intelligence (ILI) of Southwest University in Chongqing China offers several job positions in logic and philosophy.

    Ideal candidates from Logic:  logic applied in philosophy, artificial intelligence, computer science and so on.   Variants of Positions like professorship, associate professorship,  assistant professorship, lecturership and postdoctoral positions are available until been full filled.

  • PhD student position in knowledge representation and reasoning techniques, Ulm (Germany)

    Deadline: Tuesday 20 March 2018

    BMW Car IT is offering a 3-year doctoral position starting from February 2018 in cooperation with Prof. Dr. Birte Glimm the University of Ulm.

    BMW Car IT in Ulm is working on the development of the latest generation of advanced driver assistance systems (ADAS). These systems need anticipatory map data to create a representation of the road ahead. The data is transformed in a foresight by a component that needs to satisfy a set of requirements like the ability to easily incorporate and distribute new information, the possibility to infer and extract knowledge related to these data and the aptitude of offering a generic and abstract interface to extract this knowledge. The objective of this research is to address the challenges generated by the previous requirements by adopting a knowledge-oriented approach based on defining an ontological model to store, extract and distribute the map data to the ADAS functions.

    For more information, see here or contact Prof. Dr. Birte Glimm at .
  • PhD student position in Cognitive Reasoning, Wernigerode (Germany)

    Deadline: Wednesday 3 January 2018

    The Harz University of Applied Sciences conducts the project "CORG - Cognitive Reasoning", which aims at the construction of a cognitive computing system by modeling aspects of human reasoning. We are looking to recruit a dedicated project staff. The position is limited to 3 years, full-time. The salary will be according to qualification up to salary scale 13 TV-L. The successful candidate will pursue a PhD thesis in collaboration with the partner university.

  • PhD positions in Theoretical Computer Science at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 21 January 2018

    The Theory Group at KTH Royal Institute of Technology invites applications for PhD positions in theoretical computer science.

    The PhD positions are in the area of computational complexity theory, focusing on questions at the intersection of approximation algorithms, subexponential algorithms, and proof complexity. The overarching goal is to understand fundamental properties of efficient computation by proving mathematical theorems about the power and limitations of different computational models.

    This research project is led by Johan Hastad, Per Austrin, and Jakob Nordstrom, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council.

    In addition to the PIs and the announced PhD positions, the research project will also involve 3-4 existing PhD students and 4-5 postdocs. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.

    For more information, see http://apc.csc.kth.se/D-2017-0885-Eng.php or contact APC group at .
  • Postdoc positions in Theoretical Computer Science at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 21 January 2018

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in theoretical computer science.

    The postdoc positions are in the area of computational complexity theory. Current research in the group focuses mostly on approximation algorithms/hardness of approximation, subexponential algorithms, and proof complexity, but excellent researchers in neighbouring areas such as, e.g., communication complexity, circuit complexity, algebraic complexity, and harmonic analysis are also warmly welcome to apply.

    This research project is led by Johan Hastad, Per Austrin, and Jakob Nordstrom, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council. In addition to the PIs, the research project is planned to involve a total of 4-5 postdocs and 4-5 PhD students. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.

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

    For more information, see http://apc.csc.kth.se/D-2017-0898-Eng.php or contact APC group at .
  • Position as summer lecturer in digital humanities, Berkeley CA (U.S.A.)

    Deadline: Tuesday 2 January 2018

    The Division of Arts and Humanities at the University of California, Berkeley seeks applications for a pool of outstanding lecturers to teach in the Summer Minor in the Digital Humanities. Courses are offered in a six-week session, July 2, 2018 - August 10, 2018.

    General duties (include but are not limited to): Teaching topical digital humanities courses offered in the Summer Minor program. These courses fall under four categories: Digital Humanities and Archival Design; Digital Humanities and Text and Language Analysis; Digital Humanities and Visual and Spatial Analysis; and Critical Digital Humanities. In addition to classroom responsibilities, general duties include holding office hours, assigning grades, advising students, preparing course materials (e.g., syllabus), and maintaining a course website.

  • Postdoctoral position in formal verification, dynamical systems, and constructive analysis, Pittsburgh PA (U.S.A.)

    The logic group in the Department of Philosophy at Carnegie Mellon University seeks a postdoctoral researcher for a project in formal verification, dynamical systems, and constructive analysis, beginning August 2018. There are no teaching duties, and the position is for one academic year with a possibility of renewal.

    Candidates should have a PhD and research experience in a related area, and a desire to collaborate with the existing research group, which consists of several faculty members, postdocs, and graduate students. Background in interactive theorem proving or other uses of formal methods is desired.

    For more information, see here or contact Jeremy Avigad at .
  • PhD position in SAT solving at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 21 January 2018

    The TCS Group at KTH Royal Institute of Technology invites applications for a PhD position in computer science focused on SAT solving.

    The PhD student will be working in the research group of Jakob Nordstrom. Much of the activities of this research group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). On the practical side, one problem of interest is to gain a better understanding of, and improve, the performance of current state-of-the-art SAT solvers --- in particular, solvers using conflict-driven clause learning (CDCL) --- but we are even more interested in exploring new techniques that hold out the theoretical possibility of exponential improvements over CDCL, but which have so far turned out to be hard to implement efficiently in practice.

    This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The successful candidate is expected to start at the latest in August-September 2018, although this is to some extent negotiable. The position is fully funded and comes with a competitive salary.

    For more information, see http://www.csc.kth.se/~jakobn/openings/D-2017-0883-Eng.php or contact Jakob Nordstrom at .
  • Postdoc positions in SAT solving at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 21 January 2018

    The TCS Group at KTH Royal Institute of Technology invites applications for postdoc positions in computer science focused on SAT solving.

    The postdoctoral researchers will be working in the research group of Jakob Nordstrom. Much of the activities of this research group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). On the practical side, one problem of interest is to gain a better understanding of, and improve, the performance of current state-of-the-art SAT solvers based on conflict-driven clause learning (CDCL). We are even more interested in exploring new algebraic or geometric techniques (such as Groebner bases or pseudo-Boolean solving) that could potentially yield exponential improvements over CDCL. We also believe that there should be ample room for technology transfer with related areas such as SMT solving, constraint programming, and/or mixed integer linear programming, and so excellent researchers in these areas are also warmly welcome to apply.

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

    For more information, see http://www.csc.kth.se/~jakobn/openings/D-2017-0893-Eng.php or contact Jakob Nordstrom at .
  • Postdoc in Economics and Computation, Rensselaer Polytechnic Institute, NY

    Deadline: Thursday 1 March 2018

    Applications are invited for a 2-year postdoc position in Economics and Computation at the Computer Science Department of Rensselaer Polytechnic Institute (RPI), Troy, NY, in the research group of Prof. Lirong Xia.

    For more information, see here or contact Lirong Xia at .
  • Postdoctoral position in philosophical logic, Helsinki (Finland)

    Deadline: Monday 15 January 2018

    There is an opening of a Post-Doc position for one year, renewable for a second year, within the Academy of Finland project "Modalities and conditionals: systematic and historical studies" directed by Sara Negri at the Philosophy Unit of the University of Helsinki.

    The proposed research belongs to philosophical logic, a core area of theoretical philosophy. The main objectives of the proposal are the application and further development of a novel logical methodology for the study of the inferential aspect of modalities and conditionals and the study of the sources of related modal concepts in European philosophy. The ideal candidate is expected to have a strong background in modal logic, epistemic logic and proof theory, research experience with labelled deductive systems, and a strong motivation for collaborative work with the PI on the project's specific themes.

  • Postdoctoral position in logic ("Reflection & Truth"), Gothenburg (Sweden)

    Deadline: Monday 8 January 2018

    The Department of Philosophy, Linguistics and Theory of Science at University of Gothenburg is advertising a Postdoc position in Logic. The position is full-time for two years, starting Spring 2018. The successful applicant will be employed on the project Reflection and Truth,  led by Graham Emil Leigh. This project investigates the philosophical, mathematical and computational properties of reflection principles and formal truth through a cross-disciplinary research team.

  • PhD student positions in computer science ("logic for agents"), Nottingham (England)

    Deadline: Sunday 11 March 2018

    There are 10 PhD positions available for UK and international students at the School of Computer Science, University of Nottingham. If you are interested in doing a PhD in logics for agents, agent theories and architectures, agent programming languages, verification and synthesis of agent programs and controllers for multi-agent systems, please contact or .

  • PhD studentship in applications of logic & category theory, Londen (UK)

    Location: London, England

    Applications are invited for a fully-funded PhD studentship at University College London under the supervision of Fabio Zanasi, for a project on the applications of logic and category theory to the semantics of non-classical computational models (probabilistic, quantum, concurrenct, cyber-physical, ?). Starting date can be negotiated (February to September 2018).

  • PhD Scholarship available at University College London, UK, on categorical approaches to non-classical computation

    A fully-funded PhD position is available at University College London for a project on the applications of logic and category theory to the semantics of non-classical computational models (probabilistic, quantum, concurrenct, cyber-physical, …). Starting date can be negotiated (February to September 2018).

  • PhD student positions in homotopy type theory, Pittsburgh PA (U.S.A.)

    Deadline: Tuesday 2 January 2018

    The Pure and Applied Logic PhD program at CMU has positions open in the coming academic year 2018-19. The Homotopy Type Theory research group has positions open  incoming PhD students interested in doing research in type theory, homotopy theory, (higher) category theory, and related areas. The department also has a research group focused on interactive theorem proving, formal verification, and formalization of mathematics, centered on the Lean Theorem Prover.

    For more information, see https://www.cmu.edu/dietrich/philosophy/graduate/phd/pure-and-applied-logic/ or contact Steve Awodey at , or Jeremy Avigad at .
  • PhD studentship on "The ethics of AI", Oxford (U.K.)

    Location: Oxford, England
    Deadline: Friday 19 January 2018

    Applications are invited for a three-year doctoral studentship on The Ethics of AI: Challenges and Opportunities. The studentship will commence in October 2018.

    Eligible candidates will need to qualify for UK or EU fee status and be ordinarily resident in the UK or EU. The successful candidate will investigate the ethical aspects, requirements, and desiderata underpinning the design and development of AI, and develop original and innovative research to foster value-based and ethically sound solutions to the problems posed by AI. The student will be supervised by Prof. Luciano Floridi and Dr Mariarosaria Taddeo, and will be a member of, and collaborate with, the OII's Digital Ethics Lab (DELab).The studentship is supported by funding donated by Google.

  • Tenure-track position in Computer Science, New York City NY (U.S.A.)

    Deadline: Saturday 20 January 2018

    Lehman College of The City University of New York invites applications at all levels for a computer science faculty position beginning in Fall 2018. Outstanding candidates from all areas of computer science will be considered, but those working in the following research areas are particularly encouraged to apply: machine learning, robotics, networks, security, data center-scale computing, and cyber-physical systems. The successful candidate will be expected to pursue an active, externally funded research program and to perform high-quality undergraduate teaching and mentoring.

  • PhD student position in Artificial Intelligence (computational models of strategic behaviour), Warwick (England)

    Deadline: Tuesday 16 January 2018

    We are seeking expressions of interest from candidates interested in pursuing a PhD at the University of Warwick in the topic of Artificial Intelligence, with particular emphasis on computational models of strategic behaviour in multi-agent interaction.

    The research will be in mathematical modelling and analysis of strategic behaviour for distributed Artificial Intelligence. Desirable research directions include, but are not limited to, strategic reasoning in complex games, protocols for collective decision-making, mechanism design for electronic commerce. The research will be supervised by Dr Paolo Turrini.

  • Associate / Full Professorship in Philosophy of Science & Technology, Munich (Germany)

    Deadline: Thursday 11 January 2018

    The Technical University of Munich (TUM) invites applications for the position of Associate Professor or Full Professor in Philosophy of Science and Technology to begin in summer semester 2018. The position is a tenured W3 position.

    The professorship belongs to the TUM School of Governance (GOV) and will be affiliated with the Integrative Research Center (IRC) Munich Center for Technology in Society (MCTS). The TUM School of Governance focuses its research and teaching on the interaction between politics, society and technology, for instance to integrate future technologies into the political dialogue and decision-making. The MCTS is representing a cross-faculty integrative research center focusing its activities in interdisciplinary research, teaching, outreach, on the interface between science, technology and society.

  • Two PhD student positions in formal verification, Columbia MO (U.S.A.)

    Deadline: Thursday 11 January 2018

    Two funded Ph.D. positions are available from Spring/Fall 2018 in EECS department at the University of Missouri, Columbia, USA under the supervision of Dr. Khaza Anuarul Hoque. The research project will focus on the development of formal verification based techniques for designing dependable and safe cyber-physical systems (target application domain: aerospace, automotive and smart-energy).

    For more information, see http://www.kahoque.com/#hiring-tab or contact Dr. Khaza Anuarul Hoque at .
  • Postdoctoral and PhD student positions in applying formal verification to new biological computing devices, Ramat Gan (Isral)

    Deadline: Monday 1 January 2018

    We invite students and postdocs to join a research program on applying formal verification and programming languages methods towards designing new biological computing devices, aimed to solve complex computational problems efficiently and investigate alternative computing technologies. The selected candidates will work with Dr. Hillel Kugler with opportunities to collaborate with several leading experimental groups in Europe that will be studying the development and design of the underlying methods and technology, as part of a 5-year European Project Bio4Comp.

    For more information, see http://www.eng.biu.ac.il/hillelk/ or contact Dr. Hillel Kugler at .

Past appointments


  • ILLC professors among those holding new Jin Yuelin Chair at Tsinghua University

    Jin Yuelin is the founding father of modern logic in China, as well as a pioneer in establishing bridges in the field of philosophy between China and the West. After receiving his doctorate at Columbia University in 1920, he returned to Beijing to lecture on mathematical logic, and then went on to create the department of philosophy at Tsinghua University. In 2017, Tsinghua University decided to institute a Jin Yuelin Visiting Chair to support the activities of its Logic Center that has been in existence since 2014.

    For more information, see http://tsinghualogic.net/JRC/?page_id=975 or contact Johan van Benthem at .
  • Christian Schaffner interviewed by tweakers.net

    Christian Schaffner was interviewed by tweakers.net for an extensive article about the dangers of quantum computers for cryptography.

  • Launch of the Chinese translation of Rens Bod's book: A New History of Humanities

    Today (the 20th of November 2017) in Beijing Rens Bod will present the Chinese translation of his book to the Tsinghua-UvA Joint Research Center in Logic. The title is `A New History of Humanities'. Among those present will be the President of Tsinghua University, the Dean of the School of Humanities and the Dutch Deputy Ambassador.

    For more information, contact Rens Bod at .
  • Marcin Mostowski 1955-2017

    Professor Marcin Mostowski has passed away last Saturday, October 28th, 2017. He was an extremely inspiring teacher, great friend, charismatic logician and philosopher.

    For more information, see here or contact Jakub Szymanik at .
  • New Book on Trends in Computational Social Choice

    We are pleased to announce the publication of a new open-access book on Trends in Computational Social Choice.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X