Universiteit van Amsterdam


Institute for Logic, Language and Computation

News Archives 2017

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

No Past appointments

Headlines Miscellaneous

No Former Regular Events

Past Events

  • 27 March 2017, DIP Colloquium, Lance Rips

    Speaker: Lance Rips (Northwestern University)
    Title: Experimenting with (conditional) perfection
    Date & Time: Monday 27 March 2017, 16:15-17:30
    Location: Room BG2.008, Turfdraagsterpad 15-17k Amsterdam
  • (New) 27 March 2017, Computational Linguistics Seminar, Julia Kreutzer

    Speaker: Julia Kreutzer (Universität Heidelberg)
    Title: Bandit Structured Prediction for Machine Translation Domain Adaptation with Weak Feedback
    Date & Time: Monday 27 March 2017, 16:00
    Location: Room F3.20, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LaCo/CLS.
  • 27 - 28 March 2017, Asymmetry in Causal Inference and Conditional Reasoning

    Date & Time: 27 - 28 March 2017, 09:00-12:00
    Location: Room BG2.008/BG2.012, University of Amsterdam, Turfdraagsterpad 15-17, Amsterdam
    Target audience: philosophers, psychologists, logicians

    This workshop explores the relation between causal inference and conditional/counterfactual inference. We will focus in particular on the asymmetric nature of both types of inference. We bring together expertise from philosophy, psychology and artificial intelligence to address the following questions:

    1. How to account for the relative ease of causal inference (reasoning from cause to effect) compared to diagnostic inference (reasoning from effect to cause)?
    2. Do we have to distinguish different reasoning strategies to interpret conditional sentences and how does this relate to the distinction between causal inference and diagnostic inference?
    3. Are Causal Models appropriate to account for 1. and for the analysis of conditionals?
    For more information, see events.illc.uva.nl/Workshops/ACICR2017 or contact Katrin Schulz at .
  • 24 March 2017, Logic and Interactive Rationality (LIRa), Pierre Cardascia

    Speaker: Pierre Cardascia
    Title: The dialogic of matrices –Technical aspects of the actualism in game semantic
    Date & Time: Friday 24 March 2017, 15:30-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/lgc/seminar.
  • 23 March 2017, Computational Linguistics Seminar, Raffaella Bernardi

    Speaker: Raffaella Bernardi (Trento)
    Title: Learning quantities from vision and language
    Date & Time: Thursday 23 March 2017, 17:00
    Location: Room F3.20, Science Park 107, Amsterdam

    Linguistics quantifiers have been the realm of Formal Semantics. A lot is known about their formal properties and how those properties affect logical entailment, the licensing of polarity item, or scope ambiguities. Less is known about how quantifiers are acquired by children and even less about how computational models can learn to quantify objects in images. In this talk, we will report on our findings in this direction. First of all, we will explain why the task is interesting and challenging for a Language and Vision model. Secondly, we will report our evaluation of state-of-the-art neural network models against this task. Thirdly, we will compare the acquisition of quantifiers with the acquisition of cardinals. We will show that a model capitalizing on a `fuzzy' measure of similarity is effective for learning quantifiers, whereas the learning of exact cardinals is better accomplished when information about number is provided.

    For more information, see www.illc.uva.nl/LaCo/CLS.
  • phd-cover.jpeg

    23 March 2017, Workshop on intonation and pragmatics, on the occasion of the defense of Matthijs Westera

    Date & Time: Thursday 23 March 2017, 15:00-17:30
    Location: ILLC Seminar room F1.15
    Target audience: Everyone with an interest in intonation and pragmatics.

    I'm very happy that my three external committee members will give talks at the ILLC! They are:
    - Craige Roberts (NYU/Rutgers)
    - Michael Wagner (McGill)
    - Jörg Peters (Oldenburg)

    Topics will include focus/prominence in natural language, the tone inventories of languages like Dutch, German and English, experimental work on intonation, and of course pragmatics.
    Precise program TBA.

  • 21 March 2017, Busting Out: Two Takes on the Predictive Brain, Andy Clark

    Speaker: Andy Clark
    Date & Time: Tuesday 21 March 2017, 16:00-17:00
    Location: Room M1.01, Roeterseilandcampus gebouw M, Plantage Muidergracht 12, Amsterdam

    Recent work in computational and cognitive neuroscience depicts the brain as an ever-active prediction machine. In this talk, I contrast two ways of understanding the implied vision of mind. One way (Conservative Predictive Processing) depicts the predictive brain as an insulated inner arena populated by representations so rich and reconstructive as to enable the organism to ‘throw away the world’. The other (Radical Predictive Processing) stresses processes of circular causal influence linking brain, body, and world. Such processes can deliver fast and frugal, action-involving solutions of the kind often highlighted by work in robotics and embodied cognition, nesting them within a structured, uncertainty-modulated, knowledge-base that remains firmly rooted in sensory experience. This delivers a broader, profoundly embodied, and more ‘cybernetic’ vision of predictive processing. But it raises deep and important questions concerning how best to understand the core notions of prediction and prediction error minimization themselves.

    For more information, see abc.uva.nl/events/item/abc-lecture---andy-clark.html or contact Bastiaan van der Weij at .
  • 21 March 2017, Talks on Predictive processing and computational models of cognition

    Date & Time: Tuesday 21 March 2017, 10:00-13:00
    Location: REC M 1.03

    To warm up for Andy Clark's afternoon lecture, five young researchers from various disciplines will talk about topics related to predictive processing and computational models of cognition.

    The morning is divided into two parts: the first half consists of two talks in a row followed by 20 minutes for questions and discussion. After a coffee-break, we continue with another three talks followed by 30 minutes for questions and discussion. Everyone is of course warmly invited to participate in the discussion.

    The full programme can be found here. To participate, please send an email to Bastiaan van der Weij.

    For more information, contact Bastiaan van der Weij at .
  • 20 March 2017, AUC Logic Lectures, Katrin Schulz

    Speaker: Katrin Schulz
    Title: Paradoxes
    Date & Time: Monday 20 March 2017, 18:00-19:00
    Location: AUC Common Room, Science Park 113, Amsterdam

    When we encounter paradoxes, we apply a specific method to overcome them: Logical Analysis. I will argue in my talk that this method is a very useful tool to have in your toolbox, no matter what your particular academic discipline is. We will practice this method studying logical paradoxes and see the power of this method in broadening our understanding of paradoxes and logic in general. But can we overcome the logical paradoxes? Well, lets try.

  • 17 March 2017, DIP Colloquium, Yimei Xiang

    Speaker: Yimei Xiang (Harvard)
    Title: Composing complex questions: Multi-wh questions and questions with quantifiers
    Date & Time: Friday 17 March 2017, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LoLa/DIP-Colloquium.
  • 15 March 2017, Logic of Conceivability Seminar, Tom Schoonen

    Speaker: Tom Schoonen
    Title: Discussing the paper 'Two-Dimensional Semantics' by David Chalmers
    Date & Time: Wednesday 15 March 2017, 15:00-17:00
    Location: Room OTM 141, Oude Turfmarkt 141-143, Amsterdam
  • 15 March 2017, The Next Big Thing, Henkjan Honing

    Speaker: Henkjan Honing
    Date: Wednesday 15 March 2017
    Location: Roeterseilandcomplex, Amsterdam

    The NCR lecture series "The Next Big Thing" will discuss the big questions and challenges of a particular research area. Henkjan Honing will deliver the lecture of 15 March 2017.

    For more information, see nrcwebwinkel.nl/next-big-thing or contact Henkjan Honing at .
  • 14 March 2017, Computational Linguistics Seminar, Malvina Nissim

    Speaker: Malvina Nissim (Groningen)
    Title: (To what extent) Can we de-supervise affective computing?
    Date & Time: Tuesday 14 March 2017, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LaCo/CLS.
  • 7 March 2017, Computational Linguistics Seminar, Alex Fraser

    Speaker: Alex Fraser (LMU Munich)
    Title: Challenges in Machine Translation related to Morphologically Rich Languages
    Date & Time: Tuesday 7 March 2017, 16:00
    Location: Room F1.21, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LaCo/CLS.
  • 7 March 2017, DIP Colloquium, Mark Jago

    Speaker: Mark Jago (University of Nottingham)
    Title: Meaning: between truth and proof
    Date & Time: Tuesday 7 March 2017, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LoLa/DIP-Colloquium.
  • 7 March 2017, DIP Colloquium, Greg Restall

    Speaker: Greg Restall (University of Melbourne)
    Title: Proof identity, invariants and hyperintensionality
    Date & Time: Tuesday 7 March 2017, 14:15-15:45
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LoLa/DIP-Colloquium.
  • 6 March 2017, Logic and Interactive Rationality (LIRa), Greg Restall

    Speaker: Greg Restall (Melbourne)
    Title: Proof Terms for Classical Derivations
    Date & Time: Monday 6 March 2017, 16:00-17:30
    Location: KdVI Seminar Room F3.20, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/lgc/seminar.
  • 3 March 2017, SMART Cognitive Science Lecture, Vincent F. Hendricks

    Speaker: Vincent F. Hendricks (University of Copenhagen)
    Title: Bubbles Go Bust
    Date & Time: Friday 3 March 2017, 16:00-17:30
    Location: Room F0.01, Oudemanhuispoort, Oudemanhuispoort 4-6, Amsterdam
    For more information, see smartcs.uva.nl.
  • 2 March 2017, Computational Social Choice Seminar, Michail Mamakos

    Speaker: Michail Mamakos (Chania)
    Title: Overlapping Coalition Formation via Probabilistic Topic Modeling
    Date & Time: Thursday 2 March 2017, 16:00
    Location: Room A1.14, Science Park 904, Amsterdam
    For more information, see here or at staff.fnwi.uva.nl/u.endriss/seminar or contact Ulle Endriss at .
  • 24 February 2017, Dutch Social Choice Colloquium

    Date & Time: Friday 24 February 2017, 13:00-17:00
    Location: Seminar Room H0.06, Tongersestraat 53, Maastricht

    Speakers will be Matthias Mnich (Maastricht), Hessel Oosterbeek (Amsterdam), Dominik Karos (Maastricht) and Emre Ergin (Maastricht).

    For more information, see www.illc.uva.nl/DSCC/meetings.php.
  • 21 February 2017, PhD Day

    Date & Time: Tuesday 21 February 2017, 11:00-13:00
    Location: F1.15
    Target audience: ILLC PhD candidates

    On February 21, the ILLC PhD Council is organizing the next PhD Day. This is an event for all PhD candidates at ILLC. The council present a number of issues that we have been working on and at the same time we will discuss any issues that the PhD candidates will raise. The meeting will be followed by a lunch at Maslow.

    For more information, see phdcouncil.illc.uva.nl/events or contact ILLC PhD Council at .
  • 17 February - 16 March 2017, ILLC MasterClass Logic

    Date: 17 February - 16 March 2017
    Location: Science Park 107, Amsterdam

    The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

    ILLC MasterClass Day 1: Friday 17 February 2017
    ILLC MasterClass Day 2: Thursday 2 March 2017
    ILLC MasterClass Day 3: Thursday 9 March 2017
    ILLC MasterClass Day 4: Thursday 16 March 2017

    Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

    For more information, see events.illc.uva.nl/MasterClass/Logica2017.
  • 10 February 2017, Computational Social Choice Seminar, Mathijs de Weerdt

    Speaker: Mathijs de Weerdt
    Title: Minimising the Rank Aggregation Error
    Date & Time: Friday 10 February 2017, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam
    For more information, see here or at www.illc.uva.nl/~ulle/seminar or contact Ulle Endriss at .
  • 10 February 2017, Logic and Interactive Rationality (LIRa), Laurenz Hudetz

    Speaker: Laurenz Hudetz
    Date & Time: Friday 10 February 2017, 15:30-17:00
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/lgc/seminar.
  • 9 February 2017, Colloquium on Mathematical Logic, Andrew Swan

    Speaker: Andrew Swan (ILLC)
    Title: Lifschitz Realizability as a Topological Construction
    Date & Time: Thursday 9 February 2017, 16:00-17:00
    Location: F1.15, Science Park 107
    For more information, see here or contact Benno van den Berg at .
  • 9 February 2017, Music Cognition Reading Group

    Title: Cross-cultural iterated learning study on rhythm priors (discussion)
    Date & Time: Thursday 9 February 2017, 14:00-15:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    In the first music reading group of 2017, we will have a discussion on a recent cross-cultural study employing iterated learning to tease out priors on rhythmic categories. Bas Cornelissen will open the discussion with a short introduction to the paper.The paper to be discussed is the following: Jacoby, N., & McDermott, J. H. (2017). Integer Ratio Priors on Musical Rhythm Revealed Cross-culturally by Iterated Reproduction. Current Biology, 27, 1–12. http://doi.org/10.1016/j.cub.2016.12.031

    For more information, see musicreadinggroup.wordpress.com.
  • 8 February 2017, Computational Linguistics Retreat

    Date & Time: Wednesday 8 February 2017, 10:00-20:00
    Location: Utrecht, the Netherlands
    Target audience: Computational Linguists at ILLC

    Dear all,

    On February 8, we will have a retreat with all CL/ NLP/ MT researchers in the ILLC. If you identify yourself as such, you are very welcome to join. Please contact Sara for more information about this event if you did not receive an invitation yet.

    For more information, contact Sara Veldhoen at .
  • 8 February 2017, The Next Big Thing, Rens Bod

    Speaker: Rens Bod
    Date: Wednesday 8 February 2017
    Location: Roeterseilandcomplex, Amsterdam

    The NCR lecture series "The Next Big Thing" will discuss the big questions and challenges of a particular research area. Rens Bod will deliver the lecture of 8 February 2017.

    For more information, see nrcwebwinkel.nl/next-big-thing or contact Rens Bod at .
  • 3 February 2017, Joint LIRa-DIP Session, Alessandro Giordani

    Speaker: Alessandro Giordani (Catholic University of Milan)
    Title: An Evidence-based logic of Acceptance and Rejection
    Date & Time: Friday 3 February 2017, 15:30-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LoLa/DIP-Colloquium.
  • 2 February 2017, Career networking day (PhD and Research)

    Date & Time: Thursday 2 February 2017, 19:00-21:00
    Location: Crea Amsterdam
    Costs: Free

    Each year, the UvA hosts a series of Student-Alumni Career Talks, each focusing on a different career sector. The Career Talks feature a panel of international UvA-alumni who will share their experiences in finding a job in the Netherlands after graduation. During these highly interactive sessions you can learn from alumni career stories and advice. The panel discussion is followed by informal networking drinks with fellow students and alumni.

    In total there are four evenings, each with its own topic:
    2 February – PhD and Research
    16 February – Culture and Creative Sector
    2 March – Non-Profit and NGO
    9 March – Startup and SME’s

  • 1 February 2017, SMART Cognitive Science Lecture, Janet Pierrehumbert

    Speaker: Janet Pierrehumbert (University of Oxford)
    Title: The Cognitive and Social Lives of Words
    Date & Time: Wednesday 1 February 2017, 16:00-17:30
    Location: Room A0.08, Oudemanhuispoort, Oudemanhuispoort 4-6, Amsterdam
  • 30 January 2017, Visit of Language and Interaction Consortium

    Date & Time: Monday 30 January 2017, 15:00-16:00
    Location: ILLC, Science Park 107, Amsterdam

    30-60 researchers from the Language and Interaction consortium will visit ILLC.

    Language in Interaction is a so-called 'Gravity Program' from NWO, and brings together a great number of researchers from the Radboud University, The Max Planck Institute in Nijmegen, ILLC and various other Dutch universities, who all work on the foundations of natural language, from various angles. As part of the program, we are organizing a small ‘tour of the ILLC’. Since a lot of the research in our institute is connected to language in one way or another, this is a great opportunity to show what is going on here.

    For more information, see here or contact Sara at .
  • 27 January 2017, ILLC New Year's Colloquium 2017

    Date & Time: Friday 27 January 2017, 16:00-17:00
    Location: Common Room, Room F1.21, ILLC, 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.
  • 26 January 2017, DIP Colloquium, Clemens Mayr

    Speaker: Clemens Mayr (ZAS Berlin)
    Title: The logic of interrogative clause embedding
    Date & Time: Thursday 26 January 2017, 16:00-17:30
    Location: Room F3.20, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/LoLa/DIP-Colloquium.
  • 26 January 2017, Computational Social Choice Seminar, Sebastian Schneckenburger

    Speaker: Sebastian Schneckenburger (Tübingen)
    Title: The Atkinson Inequality Index in Multiagent Resource Allocation
    Date & Time: Thursday 26 January 2017, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam
    For more information, see here or at www.illc.uva.nl/~ulle/seminar or contact Ulle Endriss at .
  • 24 January 2017, LIRa Workshop on Rationality, Logic and Decisions (WoRLD)

    Date & Time: Tuesday 24 January 2017, 13:00-18:00
    Location: room F1.15, ILLC, Science Park 107

    The Workshop on Rationality, Logic, and Decisions will take place in Amsterdam on January 24th, 2017. The central theme will be the notion of rationality, with special attention to the issue of rationality in decisions. The workshop is associated with the PhD Defence of Paolo Galeazzi, that will take place on January 25th, 2017.

    For more information, see playwithoutregret.wordpress.com or contact Paolo Galeazzi at .
  • 20 January 2017, Logic and Interactive Rationality (LIRa), Yanjing Wang

    Speaker: Yanjing Wang (Peking University)
    Title: A logic of knowing why
    Date & Time: Friday 20 January 2017, 15:30-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/lgc/seminar.
  • 19 January 2017, Computational Linguistics Seminar, Gemma Boleda

    Speaker: Gemma Boleda (Pompeu Fabra, Barcelona)
    Title: The interplay between sense and reference
    Date & Time: Thursday 19 January 2017, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    Over a century ago, Frege famously introduced the distinction between sense and reference that is one of the theoretical foundations of formal semantics. However, in practice formal semanticists took reference and ran away with it, either eschewing sense-related issues altogether or giving a referential treatment to them (with notable exceptions). In this talk, I argue that we need to go back to Fregean sense, and propose that data-induced, continuous representations provided by distributional semantics and deep learning methods provide a good methodological handle for sense-related aspects of meaning. I support these claims with results from both computational modeling and theoretical studies. I then revisit reference and present ongoing work on the challenging enterprise of tackling it with continuous methods, too.

    For more information, see www.illc.uva.nl/LaCo/CLS.
  • 13 January 2017, Logic and Interactive Rationality (LIRa), Guillaume Aucher

    Speaker: Guillaume Aucher
    Title: Dynamic Epistemic Logic in Update Logic
    Date & Time: Friday 13 January 2017, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see www.illc.uva.nl/lgc/seminar.

Calls for Paper

  • 6 - 8 December 2017, 2nd Amsterdam SMART Cognitive Science Conference: 'SMART Animals', Amsterdam, the Netherlands

    Date: 6 - 8 December 2017
    Location: Amsterdam, the Netherlands
    Deadline: Wednesday 1 March 2017

    We are happy to announce the second Amsterdam SMART Cognitive Science Conference on the theme of ‘SMART Animals’. The conference will take place at the UvA, from December 6th-8th. The conference will consist of three plenary evening lectures and debates, and three successive workshops devoted to the topics of animal cognition in the broad sense (i.e., including humans).

    Every researcher affiliated to the research schools of the Faculty of Humanities at the University of Amsterdam can submit a workshop proposal. We invite proposals in all areas of the humanities and cognitive science but cross-disciplinary and innovative topics are particularly encouraged.

    For more information, see here or at smartcs.uva.nl/conference-2017 or contact SMART Cognitive Science at .
  • 23 - 27 October 2017, Fourth International Meeting of the Association for Philosophy of Mathematical Practice (APMP IV), Salvador da Bahia, Brazil

    Date: 23 - 27 October 2017
    Location: Salvador da Bahia, Brazil
    Deadline: Saturday 25 February 2017

    Over the last few years approaches to the philosophy of mathematics that focus on mathematical practice have been thriving. Such approaches include the study of a wide variety of issues concerned with the way mathematics is done, evaluated, and applied, and in addition, or in connection therewith, with historical episodes or traditions, applications, educational problems, cognitive questions, etc. In 2009, a group of researchers in this field gathered to promote the creation of the Association for the Philosophy of Mathematical Practice, APMP. This association aims to become a common forum that will stimulate research in philosophy of mathematics related to mathematical activity, past and present, and foster joint actions. The Fourth International Meeting of the Association for the Philosophy of Mathematical Practice will be held on October 23-27, 2017, in Salvador da Bahia, Brazil.

    We welcome paper proposals within the area of the philosophy of mathematical practice. A title and abstract (250-500 words) should be sent before January 31, 2017. Post-doctoral fellows and doctoral students are highly invited to send proposals.

    For more information, see www.philmathpractice.org or contact .
  • 4 - 7 September 2017, 10th International Conference on Natural Language Generation (INLG2017), Santiago de Compostela, Spain

    Date: 4 - 7 September 2017
    Location: Santiago de Compostela, Spain
    Deadline: Wednesday 1 March 2017

    The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).

    Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.

    The INLG organisers and SIGGEN invite further proposals for one-day or half-day workshops at INLG 2017. Workshops can focus on any topic that is viewed as relevant to the Natural Language Generation community. We especially invite proposals for workshops in relatively new areas which have recently begun to attract interest in the research community, or topics where greater interaction between the NLG community and another established research community can be beneficial to both fields. Proposals for workshops which form part of an existing series are also welcome.

    For more information, see eventos.citius.usc.es/inlg2017 or contact .
  • 23 - 27 August 2017, 3nd international conference on Logic, Relativity, and Beyond (LRB17), Budapest, Hungary

    Date: 23 - 27 August 2017
    Location: Budapest, Hungary
    Deadline: Sunday 26 February 2017

    There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

    The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.

    We invite you to submit your abstract or paper (or extended abstract) at the conference's Easychair page. Papers and extended abstracts should be no more than 12 pages (excluding bibliography), and should be submitted in pdf formatted for A4 paper. Extended abstracts and papers will be published in electronic form as a conference proceedings.

    For more information, see www.renyi.hu/conferences/lrb17 or contact Gergely Szekely at .
  • 21-28 August 2017, The Ninth European Congress of Analytic Philosophy (ECAP 9), Munich, Germany

    Date: 21-28 August 2017
    Location: Munich, Germany
    Deadline: 8 January 2017

    The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

    For more information, see http://analyticphilosophy.eu/ecap9/

    A call for contributed papers and symposia proposals will be announced in July 2016. The submission deadline will be 8 January 2017.

  • 20 - 24 August 2017, 26th Annual EACSL Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden

    Date: 20 - 24 August 2017
    Location: Stockholm, Sweden
    Target audience: logicians; computer scientists
    Deadline: Friday 24 March 2017

    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 and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science.

    CSL2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint session of CSL2017 and LC2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26.

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

    For more information, see www.csl17.conf.kth.se or contact Valentin Goranko at .
  • 19 - 25 August 2017, Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI-17), Melbourne, Australia

    Date: 19 - 25 August 2017
    Location: Melbourne, Australia
    Deadline: Thursday 16 February 2017

    For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

    A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

    The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

    The Program Committee invites the submission of technical papers for the main technical track of the conference. Submissions are invited on significant, original, and previously unpublished research on all aspects of artificial intelligence. For the Special Track on Autonomy, we seek papers that address or consider the challenges across multiple different dimensions: Technical, Philosophical, Legal, and Social. All papers will receive mindful and rigorous reviews.

    For more information, see ijcai-17.org.
  • 7 - 11 August 2017, 19th European Agent Systems Summer School (EASSS-2017), Gdansk, Poland

    Date: 7 - 11 August 2017
    Location: Gdansk, Poland
    Deadline: Friday 10 March 2017

    As was the case with the earlier editions, EASSS-2017 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 are aimed at advanced Master's students, PhD students, and other young researchers, and will be taught by leading researchers in the field.

    EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems.

    We invite proposals from members of the research community who are willing to offer tutorials at EASSS-2017.  We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems.  We aim for a mix of tutorials on fundamental and well-established topics, as well as overviews of new and emerging areas of research.

    Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic consideration of the fundamental topics presented.

    For more information, see easss2017.ipipan.waw.pl or contact .
  • 6 - 11 August 2017, The 26th International Conference on Automated Deduction (CADE-26), Gothenburg, Sweden

    Date: 6 - 11 August 2017
    Location: Gothenburg, Sweden
    Deadline: Saturday 11 February 2017

    CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

    High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Submissions can be made in two categories: regular papers and system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. Abstract deadline: 11 February 2017.

    For more information, see www.cade-26.info.
  • 22 - 23 July 2017, 22nd Conference on Formal Grammar (FG 2017), Toulouse, France

    Date: 22 - 23 July 2017
    Location: Toulouse, France
    Deadline: Tuesday 14 March 2017

    FG-2017 is the 22nd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which in 2017 will take place in Toulouse, France.

    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). Previous conferences in this series have welcomed papers from a wide variety of frameworks. 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 fg.phil.hhu.de/2017.
  • 18 - 21 July 2017, 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017), London, England

    Date: 18 - 21 July 2017
    Location: London, England
    Deadline: Tuesday 14 March 2017

    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. A title and single-paragraph abstract should be submitted by Mar 14, 2017.

    For more information, see wollic.org/wollic2017.
  • 17 - 28 July 2017, ESSLLI 2017 Student Session, Toulouse, France

    Date: 17 - 28 July 2017
    Location: Toulouse, France
    Deadline: Tuesday 7 February 2017

    The Student Session of the 29th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Toulouse, France, July 17th to 28th, 2017. The Student Session 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.

    Authors must be students, and submissions may be singly or jointly authored. Each author may submit at most one single and one jointly authored contribution. Note that there are two separate kinds of submissions, one for oral presentations (8 pages) and one for posters (4 pages). We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.

    As in previous years, Springer has kindly agreed to sponsor the ESSLLI student session. The best poster and best talk will be awarded Springer book vouchers of 500? each.

  • 17 - 28 July 2017, 7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Toulouse, France

    Date: 17 - 28 July 2017
    Location: Toulouse, France
    Deadline: Wednesday 1 March 2017

    Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

    The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

    In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

    Topics of interest to this forum include, but are not limited to: Modal Logics * Logical frameworks * Proof theory * Type theory * Automated deduction * Formal semantics of languages and systems * Applications.

    Contributions should be written in English and submitted in the form of full papers (with a maximum of 12 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. Paper submission deadline: March 1st, 2017.

    For more information, see sites.google.com/site/imla2017toulouse.
  • 17 - 21 July 2017, Formal approaches to the dynamics of linguistic interaction, Toulouse, France

    Date: 17 - 21 July 2017
    Location: Toulouse, France
    Deadline: Friday 24 February 2017

    It is uncontentious that natural language use involves interaction; between participants in a dialogue, between modalities such as vision, gesture and speech, and between new and existing information in language acquisition, for example. For this ESSLLI 2017 workshop we maintain a broad notion of interaction, roughly the production and exchange of information between agents of some sort, be they natural or artificial (e.g. avatars or modelling devices as in certain types of logics). We favour contributions which focus on the dynamics of the information exchange and discuss formal models to reconstruct it.

    We are accepting submissions for both posters and oral presentations. Papers should be anonymous and up to 4 pages of content (with one additional page for references). Submissions deadline: 24 February 2017.

    In addition to topics tied up with n-party communication using different communication media and human-computer interaction we also welcome contributions dealing with exchanges between semiotic systems or contact between languages. In addition, on a more fine-grained level we would like to have contributions on interaction between different modalities such as speech and, respectively, nonverbal context, intonation, eye-tracking processes, gesture, facial expression and perhaps still others.

    For more information, see www.christinehowes.com/fadli.
  • 17 - 21 July 2017, ESSLLI-2017 workshop on Quantifiers and Determiners (QUAD), Toulouse, France

    Date: 17 - 21 July 2017
    Location: Toulouse, France
    Deadline: Friday 17 March 2017

    This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.

    There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).

    All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.

    The program committee is looking for contributions introducing new viewpoints on quantification and determiners, the novelty being either in the mathematical logic framework or in the linguistic description or in the cognitive modelling. Submitting purely original work is not mandatory, but authors should clearly mention that the work is not original, and why they want to present it at this workshop (e.g. new viewpoint on already published results).

    For more information, see www.lirmm.fr/quad.
  • 13 - 14 July 2017, 24th International Symposium on Model Checking of Software (SPIN 2017), Santa Barbara CA, U.S.A.

    Date: 13 - 14 July 2017
    Location: Santa Barbara CA, U.S.A.
    Deadline: Friday 10 February 2017

    The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software.

    The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, symbolic execution, etc. SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017).

    Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. With the exception of survey and history papers, submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. We are soliciting two categories of papers: Full Research Papers (describing fully developed work and complete results) and Short Papers (presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods education).

    For more information, see conf.researchr.org/home/spin-2017.
  • 13 - 14 July 2017, 15th Meeting on the Mathematics of Language (MOL 2017), London, England

    Date: 13 - 14 July 2017
    Location: London, England
    Deadline: Friday 3 March 2017

    MOL, the biennial conference of the Association for Mathematics of Language, is devoted to the study of mathematical structures and methods that are of importance to the description of language. MOL will feature invited talks by the following distinguished researchers: Stephen Clark (University of Cambridge, UK), Shay Cohen (University of Edinburgh, UK) * Frank Drewes (Umeå University, Sweden). The meeting will precede the 24th Workshop on Logic, Language, Information and Computation.

    MOL invites the submission of papers on original, substantial, completed, and unpublished research. Each submission will be reviewed by at least three members of the program committee.  Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venue. Submissions must be uploaded no later than (end of day, Anywhere on Earth) Friday, March 3, 2017.

    For more information, see www.molweb.org/mol2017 or contact .
  • 12 - 15 July 2017, International Joint Conference on Rules and Reasoning (RuleML+RR 2017), London, England

    Date: 12 - 15 July 2017
    Location: London, England
    Deadline: Wednesday 1 March 2017

    RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR  events, one of the main goals of this conference is to build bridges between academia and industry.

    RuleML+RR 2017 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.

    In addition, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).

    We invite PhD students at an early or intermediate stage of their PhD studies as well as exceptional Master's students who are interested in pursuing a PhD to submit papers to the Doctoral Consortium describing their research on any of the topics of interest of RuleML+RR 2017.

    For more information, see 2017.ruleml-rr.org.
  • 10 - 14 July 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), Warsaw, Poland

    Date: 10 - 14 July 2017
    Location: Warsaw, Poland
    Deadline: Friday 17 February 2017

    ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 10.

    Invited Speakers: Mikolaj Bojanczyk (University of Warsaw, Poland), Monika Henzinger (University of Vienna, Austria) and Mikkel Thorup (University of Copenhagen, Denmark).




    Papers presenting original research on all aspects of theoretical computer science are sought. ICALP 2017 has 3 tracks:
    Track A: Algorithms, Complexity and Games
    Track B: Logic, Semantics, Automata and Theory of Programming
    Track C: Foundations of Networked Computation: Models, Algorithms and Information Management
    Submission deadline: Friday, February 17, 2017, 23:59 PST.

    For more information, see icalp17.mimuw.edu.pl.
  • 4 - 7 July 2017, Poznan Reasoning Week (PRW 2017), Poznan, Poland

    Date: 4 - 7 July 2017
    Location: Poznan, Poland
    Deadline: Wednesday 1 March 2017

    Consisting of two workshops, Poznań Reasoning Week 2017 (PRW2017) brings together experts from various disciplines whose research offers both systematic and historical contributions to the study of individual- as well as group-reasoning processes. This particularly includes, but is not restricted to, modelling these processes formally.

    In 2017 we would like to address (1) Question processing (QuestPro 2017) and (2) Fallacies: Strategy, Error, Shortcut (SES 2017).

    We invite proposals for contributed talks (45 minutes including discussion) and posters (A1 size in portrait orientation). Please submit an extended abstract of max. 1000 words including references.

    For more information, see poznanreasoningweek.wordpress.com.
  • 3 - 6 July 2017, 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland

    Date: 3 - 6 July 2017
    Location: Espoo, Finland
    Deadline: Friday 27 January 2017

    LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications.

    This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program.

    Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on conference topics. Deadline for paper registration: January 27th, 2017.

    Additionally, those interested in organizing a workshop at LPNMR 2017 are invited to submit a workshop proposal. Deadline for proposals: December 20, 2016.

    For more information, see lpnmr2017.aalto.fi or contact .
  • 3 - 5 July 2017, 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017), Milan, Italy

    Date: 3 - 5 July 2017
    Location: Milan, Italy
    Deadline: Wednesday 1 March 2017

    DCFS 2017 will be held in Milano, Italy, on July 3-5, 2017. The conference is organized by Department of Computer Science, University of Milano, and by the IFIP Working Group 1.02 "Descriptional Complexity".

    Invited Speakers: Jürgen Dassow, Dora Giammarresi, Stavros Konstantinidis and Orna Kupferman.

    Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2017. Original papers are sought in all aspects of descriptional complexity. Paper submission deadline: March 1, 2017.

    For more information, see dcfs2017.di.unimi.it or contact .
  • 3 - 7 July 2017, International Joint Conference on Rough Sets, 2017 (IJCRS-2017), Olsztyn, Poland

    Date: 3 - 7 July 2017
    Location: Olsztyn, Poland
    Deadline: Tuesday 28 February 2017

    It is intended that IJCRS 2017 follows the track already rutted by RSCTC and JRS conferences which aimed at unification of many facets of Rough Set Theory from theoretical aspects of the rough set idea bordering on theory of concepts and going through algebraic structures, topological structures, logics for uncertain  reasoning, decision algorithms, relations to other theories of vagueness and ambiguity, then to extensions of the rough set idea like granular structures, rough mereology, and to applications of the idea in diverse fields of applied science including hybrid methods like Rough-Fuzzy, Neuro-Rough, Neuro-Rough-Fuzzy computing.

    Our Authors are invited cordially to submit a research paper at most 10-20 pages long or 6+ page long short paper devoted to one or more of the conference topics, formatted in style of LNCS/LNAI of Springer. We also invite researchers in search of new tools suitable for their problems, researchers whose work touches problems involving uncertainty, and those who would like to discuss their problems with members of rough set community. We welcome them, please feel free to submit results of Your research or simply do come to the conference

    For more information, see ijcrs2017.uwm.edu.pl or contact .
  • 27 - 30 June 2017, 22nd International Conference on Implementation and Application of Automata (CIAA 2017), Paris, France

    Date: 27 - 30 June 2017
    Location: Paris, France
    Deadline: Wednesday 1 March 2017

    The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.

    The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).

    Submissions must be written in LaTeX and must not exceed 12 pages, bibliography included. If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed.

    For more information, see ciaa17.univ-mlv.fr or contact .
  • 26 - 28 June 2017, IACAP 2017: Computing and Philosophy, Stanford CA, U.S.A.

    Date: 26 - 28 June 2017
    Location: Stanford CA, U.S.A.
    Deadline: Sunday 15 January 2017

    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 2017 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists. The meeting will have a single main track focusing on topics at the core of IACAP members' interests. Symposia will also be organized and run by members, or groups of members, to focus on special topics.

    We invite submissions of papers and proposals for symposia. Subsequent to peer review, a selection of the papers presented during the meeting will be included in a volume planned for Springer's 'Philosophical Library Studies' series. Submission deadline: January 15, 2017.

    For more information, see www.iacap.org/iacap-2017.
  • 26 - 29 June 2017, 23rd International Symposium on Methodologies for Intelligent Systems (ISMIS 2017), Warsaw, Poland

    Date: 26 - 29 June 2017
    Location: Warsaw, Poland
    Deadline: Sunday 22 January 2017

    ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

    We solicit papers on any of the conference topics, as well as papers dealing with applications of Intelligent Systems in complex/novel domains, e.g. art, human genome, global change, manufacturing, social good, etc.

    For more information, see ismis2017.ii.pw.edu.pl.
  • 26 - 30 June 2017, 17th Latin American Symposium on Mathematical Logic (SLALM 2017), Puebla, Mexico

    Date: 26 - 30 June 2017
    Location: Puebla, Mexico
    Deadline: Friday 24 February 2017

    The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

    The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.

    We welcome submissions on any of the six topic sessions of the symposium: Model Theory, Set Theory, Computability, Proof Theory, Logic and Computer Science, and Philosophy of Logic/ Philosophical Logic/ Non-Classical Logics. All papers must contain original work, and respect the format specified by the LaTeX template provided on the website. Abstracts must not exceed 2 pages.

    For more information, see www.fcfm.buap.mx/SLALM2017 or contact .
  • 26 - 27 June 2017, Discourse Expectations: Theoretical, Experimental and Computational Perspectives (Detec2017), Nijmegen, The Netherlands

    Date: 26 - 27 June 2017
    Location: Nijmegen, The Netherlands
    Deadline: Tuesday 28 February 2017

    Studies on discourse processing indicate that natural language interpretation is expectation-driven. Even though it is uncontroversial that both linguistic (e.g. lexical items, morpho-syntactic constructions, prosody) and extra-linguistic factors (e.g. world knowledge, speaker/hearer knowledge) are used to anticipate how discourse is likely to continue, the nature of their interplay is a topic of ongoing research. DETEC approaches this topic in an interdisciplinary fashion by comparing theoretical, experimental, and computational perspectives.

    We welcome submissions of theoretical, experimental and computational studies on topics related to any aspect of discourse expectations, how they arise, how they may be quantified, and how they may be modelled.
    For more information, see sites.google.com/site/discexp2017/ or contact Geertje van Bergen at .
  • 26 - 28 June 2017, 25th International Conference on Case-Based Reasoning, Trondheim, Norway

    Date: 26 - 28 June 2017
    Location: Trondheim, Norway
    Deadline: Monday 20 March 2017

    ICCBR is the premier, annual meeting of the CBR community and the leading international conference on this topic. The theme for ICCBR 2017 is Analogy for Reuse. To encourage this, the ICCBR 2017 program will include keynote addresses, a main technical track, a workshop program, a doctoral consortium, and the Computer Cooking Contest with several connections to this theme.

    The ICCBR 2017 Organizers, Advisory Committee, and Program Committee invites submissions of original theoretical research, applied research and deployed application papers on all aspects of Case-Based Reasoning (CBR). The CBR community welcomes contributions from experts and students in related fields and who represent all types of affiliations (e.g., academic, industry, government). The theme for the ICCBR 2017 conference is Analogy for Reuse; submissions on this theme are particularly welcome!

    For more information, see research.idi.ntnu.no/cbr/iccbr2017.
  • 21-23 June 2017, 12th International Conference on Flexible Query Answering Systems (FQAS 2017), London, England

    Date: 21-23 June 2017
    Location: London, England
    Deadline: 25 January 2017

    FQAS is the premier conference focusing on the key issue in the information society of providing easy, flexible, and intuitive access to information to everybody. In targeting this issue, the conference draws on several research areas, such as information retrieval, database management, data science, information filtering, knowledge representation, knowledge discovery, analytics, soft computing, management of multimedia information, and human-computer interaction. The guiding topic of the FQAS conferences are innovative query systems aimed at providing easy, flexible and human-friendly access to information. Such systems are becoming increasingly important also due to the huge and always growing number of users as well as the growing amount of available information. Thus, the works related to the concepts of data science, data streams querying etc. are very welcome.

    For more information, see http://fqas-2017.org/.

    We invite submission of original research contributions, and proposals for invited sessions, panels, and tutorials. Paper Submission deadline: January 25, 2017.

  • 21 - 23 June 2017, 15th International Conference on Practical Applications of Agents and multi-agents systems (PAAMS'17), Porto, Portugal

    Date: 21 - 23 June 2017
    Location: Porto, Portugal
    Deadline: Monday 6 February 2017

    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 with preference to the topics listed in the call for papers.

    In addition to the main track, PAAMS has Special Sessions on Agent-Based Social Simulation, Modelling and Big-Data Analytics (ABM), on Advances on Demand Response and Renewable Energy Sources in Agent Based Smart Grids (ADRESS), on Agents and Mobile Devices (AM), on COoperative GREEN agents for the management of resources: towards sustainable systems (Co-Green), on Multi-Agent Systems and Ambient Intelligence (MASAI), on Persuasive Technologies (PT), on Computer vision in Multi-Agent Robotics (RV) and on Web and Social Media Mining (WASMM).

    Furthermore, PAAMS has a Special Track for Demonstrations, and a Doctoral Consortium where  students can present their on going research work.

    Finally, PAAMS includes Workshops on on Agents and multi-agent Systems for AAL and e-HEALTH (A-HEALTH), on Agent based Applications for Air Transport (AAAT), on Agent-Based Artificial Markets Computational Economics (ABAM), on Artificial Intelligence for Privacy in Electronic Systems (AIPES), on Agent Methodologies for Intelligent Robotics (AMIRA), on Agents-based Solutions for Manufacturing and Supply Chain (AMSC), on MAS for Complex Networks and Social Computation (CNSC), on Computational Sustainability and Big Data (CoSBD), on Decision Making in Dynamic Information Environments (DeMaDIE), on Empowering IoT with Agency and Cognition (EAC), on Intelligent Systems and Context Information Fusion (ISCIF), on Multi-agent based Applications for Energy Markets, Smart Grids and Sustainable Energy Systems (MASGES), on Multiagent System Based Learning Environments (MASLE), on Smart Cities and Intelligent Agents (SCIA) and on the application of agents to passenger transport (TAAPT).

    For more information, see www.paams.net/workshops/demadie.
  • 20 - 23 June 2017, Triennial International Conference of the Italian Society for Logic and Philosophy of Science (SILFS 2017), Bologna, Italy

    Date: 20 - 23 June 2017
    Location: Bologna, Italy
    Deadline: Sunday 15 January 2017

    SILFS 2017, the triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna, 20-23 June 2017.

    Confirmed invited speakers: Giovanna D’Agostino (Università di Udine), Francesco Guala (University of Milan), Eleanor Knox (King’s College London), Sabina Leonelli (University of Exeter), Jan von Plato (University of Helsinki) and Dag Westerståhl (University of Stockholm).

    We invite submissions of contributed paper and of contributed symposia in all areas of logic and philosophy of science. The deadline for submission is January 15th, 2017. The official language of the conference is English. Every contributed speaker will have 30 minutes, including discussion. Contributed symposia run parallel to the SILFS 2017 programme, and belong to the conference programme. They would be allocated either a full two-hours session (3-4 speakers) or one half-day (6-7 speakers).

    For more information, see www.silfs.it/silfs-2017- or contact Eugenio Orlandelli at .
  • 20 - 30 June 2017, The Eighth International Conference on Topology, Algebra and Categories in Logic (TACL 2017), Olomouc / Prague (Czech Republic)

    Date: 20 - 30 June 2017
    Location: Olomouc / Prague (Czech Republic)
    Deadline: Friday 10 March 2017

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

    Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributed talks can be on with any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. Extended deadline: 10/03/2017.

    For more information, see www.cs.cas.cz/tacl2017.
  • 19 June 2017, Workshop "Women in Logic" (WiL 2017), Reykjavik, Iceland

    Date: Monday 19 June 2017
    Location: Reykjavik, Iceland
    Deadline: Friday 17 February 2017

    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. We are holding the first Women in Logic (WiL) workshop as a LICS associated workshop this year. The 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.

    Invited Speakers: Claudia Nalon (University of Brasilia, Brasil) and Catuscia Palamidessi (INRIA Saclay and LIX, France).

    Contributions should be written in English and submitted in the form of full papers (with a maximum of 10 pages) or short papers (with a maximum of 5 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. Topics of interest of this workshop include but are not limited to the usual Logic in Computer Science (LICS) topics.

  • 19 - 23 June 2017, LOGICA 2017, Hejnice, Czech Republic

    Date: 19 - 23 June 2017
    Location: Hejnice, Czech Republic
    Deadline: Wednesday 15 February 2017

    LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

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

    For more information, see logika.flu.cas.cz/logica or contact .
  • 18 - 22 June 2017, 2nd World Congress on Logic and Religion, Warsaw, Poland

    Date: 18 - 22 June 2017
    Location: Warsaw, Poland
    Deadline: Sunday 15 January 2017

    After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.

    Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)

    We welcome participants in three categories:
    (1) regular presentation: speakers who present their papers within a regular session,
    (2) poster presentation within a poster session,
    (3) presence and discussion only: general audience who participates without presenting a paper / poster.

    The deadline for submission of an abstract is January 15, 2017.


    For more information, see logicandreligion.uw.edu.pl.
  • 15 - 16 June 2017, 17th Annual Philosophy of Logic, Mathematics, and Physics Graduate Conference, London ON, Canada

    Date: 15 - 16 June 2017
    Location: London ON, Canada
    Deadline: Tuesday 28 February 2017

    The 17th annual Philosophy of Logic, Mathematics, and Physics Graduate Conference will take place on Thursday-Friday, June 15-16th, 2017, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that Aristidis Arageorgis (National Technical University of Athen) will be giving the keynote address.

    Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Papers in philosophy of physics will be considered for the 14th Annual Clifton Memorial book prize. The contest will be adjudicated by philosophy of physics faculty members at Western.

    Authors of accepted papers will be limited to 30-35 minutes for presentation, followed by a 20-minute period of discussion. We will endeavour to make accommodations available to all visiting graduate students. Two travel bursaries for underrepresented groups will also be offered this year.

    For more information, see logicmathphysics.ca or contact the LMP Conference Committee at .
  • 14 June 2017, Workshop "Progress in Science and Society", Hannover, Germany

    Date: Wednesday 14 June 2017
    Location: Hannover, Germany
    Deadline: Sunday 12 March 2017

    In a one day workshop at Leibniz Universität Hannover, we will discuss the merits and challenges of the notion of progress. A special emphasis will be put on progress in science and ethics as well as the work of Philip Kitcher regarding these fields. However, progress in further areas (economy, law, politics) as well as contributions unrelated to Kitcher are also welcome. Philip Kitcher will be present at the workshop and give a keynote lecture.

    We invite submissions for 30 minutes talks (plus 20 minutes discussion); there are four to five free slots. Please submit a short abstract including no more than 200 words and an extended abstract with no more than 750 words.

  • 12 - 16 June 2017, Computability in Europe: Unveiling Dynamics and Complexity (CiE 2017), Turku, Finland

    Date: 12 - 16 June 2017
    Location: Turku, Finland
    Deadline: Thursday 5 January 2017

    CiE 2017 is the thirteenth 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.

    Special sessions include Algorithmics for biology, Combinatorics and algorithmics on words, Computability in Analysis, Algebra, and Geometry, Cryptography and information theory, Formal languages and automata theory, and History and philosophy of computing.

    The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to computability for presentation at the conference and inclusion in the proceedings. Deadline for article submission: January 5, 2017.


    For more information, see math.utu.fi/cie2017 or contact .
  • 12 - 16 June 2017, 16th International Conference on Artificial Intelligence and Law (ICAIL 2017), London, England

    Date: 12 - 16 June 2017
    Location: London, England
    Deadline: Friday 13 January 2017

    The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.

    The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.

    The field serves as an excellent setting for AI researchers to demonstrate the application of their work in a rich, real-world domain. The conference also serves as a venue for researchers to showcase their work on the theoretical foundations of computational models of law. Additionally, a session will be organised for the demonstration of creative, robust, and practical working applications and tools, and a Doctoral Consortium will provide doctoral students with an opportunity to publish and present papers on their PhD research and to receive feedback and encouragement from the AI and Law community. Accordingly, authors are invited to submit papers on a broad spectrum of research topics relevant to the conference.

    For more information, see nms.kcl.ac.uk/icail2017 or contact .
  • 7 - 9 June 2017, 23rd International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2017), Milano, Italy

    Date: 7 - 9 June 2017
    Location: Milano, Italy
    Deadline: Wednesday 8 February 2017

    The aim of the AUTOMATA series is:
    - To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS).
    - To provide a platform for presenting and discussing new ideas and results.
    - To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
    - To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

    Authors are invited to submit papers of no more than 12 pages (for full papers) or 8 pages (for exploratory papers). Papers presenting original and unpublished research on all fundamental aspects of cellular automata, affine/correlated models of automata (such as automata networks, finite automata over finite/infinite words, picture languages), and related discrete complex systems are sought.

    For more information, see automata17.disco.unimib.it.
  • 5 - 9 June 2017, UCNC 2017: Unconventional Computation and Natural Computation, Fayetteville AR, U.S.A.

    Date: 5 - 9 June 2017
    Location: Fayetteville AR, U.S.A.
    Deadline: Monday 23 January 2017

    The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.

    The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.

    Authors are invited to submit original research papers (of, at most, 12 pages in LNCS format), or one-page poster abstracts. Papers must not be under simultaneous consideration by any other conference with published proceedings. All accepted papers must be presented at the conference.

    For more information, see ucnc2017.uark.edu or contact Matthew Patitz at .
  • 5 - 7 June 2017, Workshop on topics at the intersection between the philosophy of language and linguistics, Zuerich, Switzerland

    Date: 5 - 7 June 2017
    Location: Zuerich, Switzerland
    Deadline: Friday 17 March 2017

    The Institute of Philosophy at the University of Zurich is organizing a workshop on topics at the intersection between the philosophy of language and linguistics. Invited speakers will be Angelika Kratzer (Amherst), John MacFarlane (Berkeley) and Maribel Romero (Konstanz).

    Presentations should be suitable for a 90 minute slot divided equally between presentation and discussion, started off by a 10 minute commentary. Suitable topics may be anything at the intersection of the philosophy of language and linguistics. Please make your abstracts suitable for blind review. The deadline for submission of abstracts is March 17, 2017.

  • 31 May - 2 June 2017, Reasoning and Argumentation in Science, Munich, Germany

    Date: 31 May - 2 June 2017
    Location: Munich, Germany
    Deadline: Wednesday 1 March 2017

    Progress in science is not only a matter of new models and theories, but also of new ways of reasoning and arguing for specific conclusions. In this conference, we focus on these epistemological features of science and consider the following questions: Which new reasoning and argumentation schemes do contemporary scientists use? How are these schemes justified, and how can they be assessed? Is it possible to come up with a unified normative theory of reasoning and argumentation in science? The conference focuses on reasoning and argumentation in the sciences in general, but there will also be a special focus on reasoning in specific natural and social sciences.

    Keynote Speakers: Catarina Dutilh Noaves, Christian List and Wayne Myrvold.

    We invite submissions for presentations on any topic relating to reasoning and argumentation in science, broadly construed. Submissions should include both a short abstract (max. 100 words) and an extended abstract (500-1000 words), and should be made through our automatic submission system by 1 March, 2017. To submit, please prepare your abstract for blind review and follow the instructions on the webpage.

  • 23 - 25 May 2017, Proofs of Propositions in 14th Century Logic, St Andrews, Scotland

    Date: 23 - 25 May 2017
    Location: St Andrews, Scotland
    Deadline: Monday 16 January 2017

    Paul Spade famously complained in 2000 that four key components of late medieval logic were mysterious to modern scholars. Since then, much has been done to clarify two of them (obligations and supposition), but the other two (exposition and proofs of propositions) remain just as mysterious. The aim of this workshop is to reach a clearer understanding of the genre of 'proofs of propositions' (probationes propositionum) that came to characterize British logic in the second half of the 14th century. We would also welcome contributions that shed some light on the earlier theories of 'exposition' that were subsumed into this new genre.

    Our invited speakers are Jennifer Ashworth, Harald Berger, Egbert Bos, Martin Dekarli, Ota Pavlícek and Joke Spruyt.

    Please submit abstracts of around 250 words to the organizers Mark Thakkar () and Stephen Read by Monday 16 January 2017. We will notify you of the outcome by the end of January.


    For more information, see www.st-andrews.ac.uk/arche/events/event or contact Mark Thakkar at .
  • 21 - 25 May 2017, The 13th International Conference on Autonomic and Autonomous Systems (ICAS 2017), Barcelona, Spain

    Date: 21 - 25 May 2017
    Location: Barcelona, Spain
    Deadline: Saturday 21 January 2017

    The ICAS 2017 (International Conference on Autonomic and Autonomous Systems) is a multi-track event covering related topics on theory and practice on systems automation, autonomous systems and autonomic computing.
    Special tracks include FUCOMA (Fuzzy Cognitive Maps), IoIT (Internet of Intelligent and Autonomic Things) and DEMAS (Deliberative Multi-Agent Systems).

    We solicit both academic, research, and industrial contributions. We welcome technical papers presenting research and practical results, position papers addressing the pros and cons of specific proposals, such as those being discussed in the standard fora or in industry consortia, survey papers addressing the key problems and solutions on any of the above topics short papers on work in progress, and panel proposals.

    For more information, see www.iaria.org/conferences2017/ICAS17.html.
  • 19 - 20 May 2017, The sixth Automated Formal Methods workshop (AFM 2017), Menlo Park CA, U.S.A.

    Date: 19 - 20 May 2017
    Location: Menlo Park CA, U.S.A.
    Deadline: Monday 27 March 2017

    AFM is a workshop centered around the use and integration of highly automated formal verification tools for specification, interactive theorem proving, satisfiability (SAT) and satisfiability modulo theories (SMT), model checking, program verification, static analysis, runtime verification, code generation, and testing, as well as interfaces, documentation, and education.

    It consists of both invited talks and contributed papers on May 19, and tutorials covering recent progress in tools such as PVS, SAL/SALLY/HybridSAL, Yices, SeaHorn, Radler, and Bixie. AFM functions both as a user's meeting for SRI's tools such as PVS, SAL, and Yices, and as a workshop for those interested in state of the art automation for formal methods generally.

    We welcome position papers, research papers, and reports on work in progress on the topics listed above and all other aspects of state of the art automation, particularly those that report on experiments, tool integration and evaluation, and case studies.

    For more information, see fm.csl.sri.com/AFM17.
  • 18 - 19 May 2017, Workshop on Ampliative Reasoning in the Sciences, Gent, Belgium

    Date: 18 - 19 May 2017
    Location: Gent, Belgium
    Deadline: Wednesday 1 March 2017

    Charles Peirce introduced the term 'ampliative' for reasoning in which the conclusion of an argument goes beyond that what is already contained in its premises. The workshop is devoted to the philosophical analysis of different forms of ampliative reasoning as they occur in scientific practice, such as abduction, inductive generalisation, reasoning by analogy and causal reasoning. We aim at a mix of contributions from formal, methodological and historical  perspectives.

    Keynote speakers: Chiara Ambrosio, Ulrike Hahn and Bert Leuridan.

    We welcome submissions on any topic that fits into the scope as described above.

    For more information, see www.lrr.ugent.be/ars or contact .
  • 8 - 12 May 2017, The 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21), Maun, Botswana

    Date: 8 - 12 May 2017
    Location: Maun, Botswana
    Deadline: Sunday 1 January 2017

    The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 21st LPAR will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th May 2017.


    New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Abstract Submission deadline: 1 January 2017.

    For more information, see www.LPAR-21.info.
  • 8 - 12 May 2017, Brazilian Logic Meeting (XVIII EBL), Pirenopolis, Brazil

    Date: 8 - 12 May 2017
    Location: Pirenopolis, Brazil
    Deadline: Sunday 5 February 2017

    The Brazilian Logic Meeting (EBL) is a traditional event of the Brazilian Logic Society (SBL). They have been occurring since 1979. It congregates logicians of different fields and the meeting is an important moment for the Brazilian and South-American community to join together and engage in a discussion about the state-of-art of their subject. The areas of Logic covered spread over Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence.

    We cordially invite submissions of contributed papers on the general topics of Logic. We are also happy to host round tables proposals with a duration of at most two hours. Extended deadline: 5 February 2017.

    For more information, see here or at www.inf.ufg.br/ebl2017 or contact .
  • 5 - 6 May 2017, Logic in Bochum III, Bochum, Germany

    Date: 5 - 6 May 2017
    Location: Bochum, Germany
    Deadline: Wednesday 15 March 2017

    The annual workshop Logic in Bochum gathers logicians from different domains for a two-day workshop at Ruhr University Bochum. This year it will take place on the 5th and 6th of May. The workshop traditionally consists of two parts: the first part (day 1), devoted to a specific area of logic and the second part (day 2) devoted to a variety of topics. Invited speakers include: Joao Marcos, Gabriella Pigozzi,  Niko Strobach and Allard Tamminga.

    We invite submissions of abstracts for the first part of the workshop, which this year focuses on deontic logics. Abstracts of about 500 words are to be submitted via EasyChair by the 15th of March 2017.

  • 2 - 4 May 2017, PhDs in Logic IX, Bochum, Germany

    Date: 2 - 4 May 2017
    Location: Bochum, Germany
    Deadline: Thursday 2 February 2017

    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 minutes) presentations by PhD students, master students and first-year postdocs on their research. We are happy to announce that the ninth edition of PhDs in Logic will take place at the Ruhr University Bochum, Germany, during 2nd - 4th May 2017.

    Confirmed tutorial speakers are: Petr Cintula (Czech Academy of Sciences), María Manzano (University of Salamanca), João Marcos (Federal University of Rio Grande do Norte), Gabriella Pigozzi (University Paris-Dauphine), Christian Straßer (Ruhr-University Bochum) and Heinrich Wansing (Ruhr-University Bochum).

    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 between 2 and 3 pages, including the relevant references. Each abstract will be anonymously reviewed by the scientific committee. Accepted abstracts will be presented by their authors in a 20-minute presentation during the conference. The deadline for abstract submission is 2nd February 2017.

    For more information, see www.ruhr-uni-bochum.de/phdsinlogicix.
  • 29 April 2017, Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden

    Date: Saturday 29 April 2017
    Location: Uppsala, Sweden
    Deadline: Friday 20 January 2017

    To show that a developed approach for automated reasoning actually scales to real systems, large case studies are essential. The development of formal models of real systems usually requires translating informal descriptions into a chosen specification formalism, and usually takes a large amount of time, often months or years, without even starting a formal analysis. When publishing the results on a formal analysis in a scientific paper, details of the model have to be skipped due to lack of space, and often the lessons learnt from modelling are not discussed since they are not the main focus of the paper. The workshop aims at discussing exactly these unmentioned lessons.

    The workshop emphasises modelling over verification. In particular, we invite papers that present full Models of Real Systems, which may lay the basis for future formal analysis. The workshop will bring together researchers from different communities that all aim at verifying real systems and are developing formal models for such systems. Areas where large models often occur are within networks, (trustworthy) systems and software verification (from byte code up to programming- and specification languages). An aim of the workshop is to present different modelling approaches and discuss pros and cons for each of them.

    Submissions must be unpublished and not be submitted for publication elsewhere. Appendices (of arbitrary length) can be used to present all details of a formalised model; the appendices will be part of the proceedings. In case a formal model is presented that is modelled in some formalism or tool, these models have to be submitted as well. They will be published as part of the proceedings, and will be made available in our Repository of Models for Formal Analysis of Real Systems. Submission deadline: Friday 13 January 2017.

    For more information, see mars-workshop.org/mars2017 or contact .
  • 29 April 2017, 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017), Uppsala, Sweden

    Date: Saturday 29 April 2017
    Location: Uppsala, Sweden
    Deadline: Friday 27 January 2017

    Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years. The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.

    CREST 2017 is a satellite event of ETAPS 2017.

    All contributed papers will be reviewed by at least 3 PC members. Revised versions of selected papers will be published as formal post-workshop proceedings in the Electronic Proceedings in Theoretical Computer Science (EPTCS). At least one of the authors of an accepted paper needs to register for the workshop and present the paper in order for it to be included in the post-workshop proceedings.

    For more information, see se.uni-konstanz.de/crest2017 or contact .
  • 27 - 29 April 2017, Workshop "Negation & Negativity in Natural Language", Bochum, Germany

    Date: 27 - 29 April 2017
    Location: Bochum, Germany
    Deadline: Tuesday 31 January 2017

    Negation and negativity are key features of human languages. While negation is a phenomenon of semantic opposition, negativity adresses a broader spectrum of phenomena. The investigation of the form and meaning of negation and negativity in natural language is at the heart of many debates in philosophy, linguistics, logic and psychology. The aim of this interdisciplinary workshop is to bring together the various perspectives of negation and negativity and thereby force the interdisciplinary research on negation and negativity in natural language.

    We invite authors to submit an abstract of max. 500 words excluding references in PDF format for a talk of ca. 35 min (incl. discussion) or for a poster. Up to one extra page for figures is allowed. The five best student and PhD student submissions will be awarded a travel grant of 80€ each.

  • 22 - 23 April 2017, 1st joint international workshop on Developments in Implicit Computational complExity (DICE) and FOundational and Practical Aspects of Resource Analysis (FOPARA), Uppsala, Sweden

    Date: 22 - 23 April 2017
    Location: Uppsala, Sweden
    Deadline: Sunday 19 February 2017

    The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties.

    The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice.

    Given the complementarity and the synergy between these two communities, and following the successful experience of co-location of DICE-FOPARA 2015 in London at ETAPS 2015, we will hold the 8th Workshop on DICE and the 5th Workshop on FOPARA together at ETAPS 2017..

    We ask for submission of *regular papers* describing original work (10--15 pages) or *extended abstracts* (2--6 pages) presenting already published work or work in progress.

    The joint international DICE-FOPARA workshop serves as a forum for presenting original and established research results that are relevant to the implicit computational complexity theory and to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged, as well as papers that combine theory and practice.

    For more information, see cbr.uibk.ac.at/events/dice-fopara.
  • 18 - 21 April 2017, CAOS 2017: Cognition & Ontologies, Bath, England

    Date: 18 - 21 April 2017
    Location: Bath, England
    Deadline: Wednesday 15 February 2017

    CAOS is a workshop devoted to the relationship between cognition and ontologies with the purpose to model, simulate and represent cognitive phenomena for artificial intelligence.

    CAOS addresses the difficult and topical question how key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology and reasoning, can be formally and ontologically understood, analysed and represented. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.

    We welcome submissions on topics related to the ontology of hypothesised building blocks of cognition (such as, for instance, image schemas, affordances, and related notions) and of cognitive capacities (such as, for instance, concept invention), as well as system-demonstrations modelling these capacities in application settings. CAOS 2017 welcomes researchers from all career stages to participate. Work in progress and student projects are also welcome for submission as the primary goal of the workshop is discussion. All paper must be original and not submitted to or accepted by any other workshop, conference or journal.

    For more information, see caos.inf.unibz.it.
  • 14 - 15 April 2017, Logic and Literary Form, Berkeley CA, U.S.A.

    Date: 14 - 15 April 2017
    Location: Berkeley CA, U.S.A.

    This conference promises to bridge the gap between literary formalism and formal logic by investigating conceptual and historical links between them in a range of subfields and periods. We will identify discrete affinities and analogical resonances among different areas of logic and literature. We will also consider what the cross-fertilization of ideas and practices has meant for logical and literary fields in the past, and might mean for these disciplines in the present.

    We will convene amid an unprecedented wave of scholarship addressing historical and theoretical commonalities in literature and logic. Our conference undertakes an interdisciplinary effort to extend and enrich this current surge in research connecting formal logic and literary formalism.


    The program committee cordially invites all researches to submit their papers for presentation. We invite papers on the historical and theoretical dimensions of form and formalism in relation to literature and logic, as well as any other topics related to literary formalism or formal logic.

    For more information, see logicandliteraryform.wordpress.com.
  • 12 April 2017, BSC Women Lovelace Colloquium 2017, Aberystwyth, Wales

    Date: Wednesday 12 April 2017
    Location: Aberystwyth, Wales
    Deadline: Friday 17 February 2017

    The BCSWomen Lovelace Colloquium is an annual one day conference for women students of Computing and related subjects.  The event started in 2008, and moves around the country - in 2017 it will be at Aberystwyth Universityon April 12th.

    The aims of this event are:

    • To provide a forum for undergraduate women and masters students to share their ideas and network
    • To provide a stimulating series of talks from women in computing, both from academia and industry
    • To provide both formal (talks) and informal (networking) advice to undergraduate women about careers in computing from a female perspective

    All women students of computing and related subjects(1) are invited to enter one of the poster contests at the BCSWomen Lovelace Colloquium. Your abstract can be on any computing topic you like. We've had submissions on everything from social networking to quantum computing; from medical image processing to wearables (complete with an arduino powered skirt). If it involves computers, we're interested.

  • 12 - 13 April 2017, Workshop on Group decision-making in scientific expert committees, Tilburg, The Netherlands

    Date: 12 - 13 April 2017
    Location: Tilburg, The Netherlands
    Deadline: Friday 24 February 2017

    Scientists are regularly called upon to serve as experts advisors for various institutions, be it on the authorization of a new drug, the effects of climate change, or a monetary policy. Typically, expert advisers are constituted in panels, who are to utter their advice collectively. This raises a variety of questions about the decision-making process: How should the group best take advantage of the individual strengths and expertise? How to wager individual opinions and how to ideally deal with peer disagreement? One may want to devise special deliberation procedures to avoid groupthink, and to install voting rules tailored to the situation at hand.

    This workshop aims at gathering researchers who tackle these normative questions, from a variety of perspectives. We aim to bring together approaches from fields such as philosophy of science, social epistemology, political philosophy, political science, judgment aggregation, social choice theory, or agent-based modeling that provide inside on these problems. We are particularly looking for papers who are concerned with the specificity of both group decision-making and scientific expertise (compared to, say, an individual scientist giving advice, or a group of friends choosing a restaurant). Submissions may cover abstract work as well as case studies, and may involve formal tools.

    Please submit an extended abstract of maximum 1000 words suitable for blind review, together with a short abstract of maximum 100 words. Submissions may cover abstract work as well as case studies, and may involve formal tools.

    For more information, see expertgroups17.wordpress.com.
  • 10 - 12 April 2017, Workshop Algebra and Coalgebra meet Proof Theory (ALCOP VIII)

    Date & Time: 10 - 12 April 2017, 09:00-17:00
    Location: University of Strathclyde, Glasgow
    Deadline: Tuesday 14 February 2017

    The workshop Algebra and Coalgebra meet Proof Theory (ALCOP) brings together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields.

    We invite submissions of a 1-2 page abstract for contributed talks by the extended deadline 14 February 2017: https://easychair.org/conferences/?conf=alcopviii2017

    For more information, see personal.cis.strath.ac.uk/clemens.kupke/ALCOP2017 or contact Johannes Marti at .
  • 4 April 2017, 2nd Workshop on Coreference Resolution Beyond OntoNotes (CORBON 2017), Valencia, Spain

    Date: Tuesday 4 April 2017
    Location: Valencia, Spain
    Deadline: Monday 23 January 2017

    Previous shared tasks on coreference resolution have largely focused on entity coreference. But this constitutes only one of the many kinds of coreference relations that were discussed in theoretical and computational linguistics in the past few decades. In fact, by focusing on entity coreference resolution, NLP researchers have only scratched the surface of the wealth of interesting problems in coreference resolution. This workshop seeks to encourage work on under-investigated coreference resolution tasks (as well as coreference resolution in under-investigated languages) and provide a forum for coreference researchers to discuss and present such work.


    The workshop welcomes submissions describing both theoretical and applied computational work on coreference resolution, especially for languages other than English, less-researched forms of coreference and new applications of coreference resolution. The submissions are expected to discuss theories, evaluation, limitations, system development and techniques relevant to the workshop topics.

    Papers that describe the creation and annotation of corpora, especially those with less-investigated coreference phenomena and those involving less-researched languages, are particularly welcome. In addition, the program committee members will be asked to give special attention to submissions that echo our special theme on knowledge-rich coreference resolution.

    For more information, see corbon.nlp.ipipan.waw.pl.
  • 3 April 2017, Cognitive Modelling and Computational Linguistics (CMCL 2017), Valencia (Spain)

    Date: Monday 3 April 2017
    Location: Valencia (Spain)
    Deadline: Monday 16 January 2017

    This workshop provides a venue for work in computational psycholinguistics: the computational and mathematical modeling of linguistic generalization, development, and processing.  The workshop invites a broad spectrum of work in the cognitive science of language, at all levels of analysis from sounds to discourse and on both learning and processing.

    We invite contributions that apply methods from computational linguistics to problems in the cognitive modeling of any and all natural language-related abilities. We solicit three categories of papers: regular workshop papers, extended abstracts and cross-submissions. Only regular workshop papers will be included in the proceedings as archival publications. The submission deadline is 11:59PM Pacific Time on January 16, 2017.

    For more information, see cmcl2017.osu.edu.
  • 30 - 31 March 2017, 4th (In)Coherence of discourse workshop , Nancy, France

    Date: 30 - 31 March 2017
    Location: Nancy, France
    Deadline: Monday 9 January 2017

    The objective of the workshop is to discuss the latest advances in the modelling of discourses, in particular the kind held with pathological patients (e.g. schizophrenics). The adopted modelling paradigm is that of formal semantics, which falls within the scope of both linguistics and logic while also making ties to the philosophy of language.

    Like the previous (In)Coherence of discourse workshops, the fourth edition is organised by the SLAM (Schizophrenia and Language: Analysis and Modelling) project. The SLAM project aims to systematize the study of pathological conversations as part of an interdisciplinary approach combining Psychology, Linguistics, Computer Science and Philosophy. It focuses particularly on conversations involving people with psychiatric disorders (schizophrenia, bipolar disorder).



    Authors are invited to submit a two-page PDF abstract (including references), anonymously prepared for review, in English or French.

    For more information, see discours.loria.fr.
  • 10 - 12 February 2017, 93th Workshop on General Algebra (AAA93), Bern, Switzerland

    Date: 10 - 12 February 2017
    Location: Bern, Switzerland
    Deadline: Sunday 1 January 2017

    The 93th Workshop on General Algebra (93. Arbeitstagung Allgemeine Algebra) will take place at the Bern University of Applied Sciences (BFH), Switzerland and will be jointly organized by the University of Bern and the Pädagogische Hochschule Bern.  We are happy to announce plenary lectures of the fowolling colleagues: Peter Gumm (Universität Marburg), Michael Pinsker (TU Wien / Charles University Prague), Marcel Tonga (Université de Yaounde I), Laura Ciobanu (Heriot-Watt University, Edinburg), Hilary Priestley (University of Oxford), Jens Zumbrägel (TU Dresden) and Jürg Schmid (Universität Bern).

    On Friday 10 we will organize a special session on applications of algebra with contributions of Bernhard Ganter (TU Dresden), Baris Sertkaya (FH Frankfurt a.M.), Jens Zumbrägel (TU Dresden), Peter Mayr (University of Colorado) and Geoff Ostrin (Berner Fachhochschule).

    Besides the plenary talks, contributed talks by the conference participants will be scheduled. If you intend to give a contributed talk (20min), please submit an abstract not later than 1 January 2017. Registration

  • CfP special issue of IfCoLog Journal on Argument Strength

    Deadline: Wednesday 1 March 2017

    We invite authors to submit papers to a Special Issue on Argument Strength to be published in IfCoLog (Journal of Logics and Their Applications, College Publications). In December 2016 the workshop "Argument Strength 2016" took place at Ruhr-University Bochum. In the special issue we intend to publish original high quality contributions on the basis of talks given at the workshop and we also welcome contributions from other authors.

    Arguments vary in strength. The strength of an argument is affected, for instance, by the plausibility of its premises, the nature of the link between its premises and its conclusion, and the prior acceptability of the conclusion. The aim of this special issue is to collect original and high quality contributions from the fields of artificial intelligence, philosophy, logic, and argumentation theory, which are related to the strength of arguments.

  • CfP special issue of TPLP on "Parallel and Distributed Computation in (Constraint) Logic Programming"

    Deadline: Tuesday 31 January 2017

    Since its inception, logic programming has been recognized as an ideal paradigm for addressing the needs of parallel computing. After over 30 years of research in these domains, the state of the art has reached a stage where technologies are highly complex and sophisticated, and applications are plentiful. Yet, the continuous development of novel architectures, the appearance of new domains and potential applications, and the developments in novel logic programming languages and paradigms are creating new research opportunities and fueling new ideas and developments. The goal of this special issue is to provide a multi-fold perspective of research at the junction between parallel and distributed computation and (constraint) logic programming.

    For more information, see www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017 or contact Enrico Pontelli at .

Past Conferences

  • (New) 24 March 2017, Workshop "Imagination and Modality", Padova, Italy

    Date: Friday 24 March 2017
    Location: Padova, Italy

    The aim of this one-day workshop is to discuss and exchange new ideas on imagination and modality and related topics.

    Speakers: Andrea Altobrando (Okkaido University, Sapporo), Roberta Ballarin (The University of British Columbia, Vancouver), Franz Berto (University of Amsterdam and ILLC, Amsterdam), Lisa Benossi (ILLC, Amsterdam), R. Dietz (Tokyo Denki University, Tokyo), and V. Morato (Padua University, Padova).

  • 20 - 23 March 2017, 2017 ASL North American Annual Meeting, Boise ID, U.S.A.

    Date: 20 - 23 March 2017
    Location: Boise ID, U.S.A.

    *2017 ASL North American Annual Meeting* *Boise, Idaho* *March 20--23 2017*

    The twenty-eighth annual Gödel Lecture will be delivered by C. Parsons. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Rinot, M. Seisenberger, and C. Terry. A tutorial will be offered by V. Harizanov. Special sessions (with organizers in parentheses) include: Computable structures (D. Hirschfeldt and R. Miller), Computer-aided proofs (S. Buss and V. Ganesh), Continuous model theory (B. Hart and W. Henson), Proofs in mathematical practice (K. Easwaran and C. Dutilh Novaes), and Set theory and its applications to analysis and topology (M. Hrusak and M. Scheepers). The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair). Electronic registration is available at

    http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in the January 2017 Newsletter mailing (as a pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.


    For more information, see asl2017.boisestate.edu.
  • 16 - 17 March 2017, Workshop "Modal Knowledge", Bielefeld, Germany

    Date: 16 - 17 March 2017
    Location: Bielefeld, Germany

    Workshop organized by Christian Nimtz (Bielefeld) and Barbara Vetter (Erlangen). Speakers: Al Casullo (Nebraska), Barbara Vetter (Erlangen), Christian Nimtz (Bielefeld), Margot Strohminger (Salzburg), Michael Wallner (Graz), Rebecca Hanrahan (Whitman College), Sonia Roca-Royes (Stirling), Timothy Williamson (Oxford), Wolfgang Schwarz (Edinburgh)

  • 8 - 11 March 2017, Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany

    Date: 8 - 11 March 2017
    Location: Hannover, Germany

    The conference includes talks by invited speakers Artur Jez (Wroclaw, Poland), Antoine Joux (Paris) and Till Tantau (Lübeck, Germany), and a tutorial by Juha Kontinen (Helsinki, Finland).


    For more information, see stacs2017.thi.uni-hannover.de.
  • 8-11 March 2017, 34th International Symposium on Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany

    Date: 8-11 March 2017
    Location: Hannover, Germany

    The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. Typical topics of the conference include algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, and current challenges.

    Further details are available on the conference website https://stacs2017.thi.uni-hannover.de.

  • 6 - 10 March 2017, Language and Automata Theory and Applications (LATA 2017), Umea, Sweden

    Date: 6 - 10 March 2017
    Location: Umea, Sweden

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

    LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.

    For more information, see grammars.grlmc.com/LATA2017.
  • 6 - 10 March 2017, Spring School on "Social Cognition, Emotion and Joint Action" 2017, Bochum, Germany

    Date: 6 - 10 March 2017
    Location: Bochum, Germany

    The spring course aims to provide state-of-the-art scientific and research-oriented training for post-doctoral researchers and highly promising doctoral students from European and overseas universities and research institutes on central questions concerning 'Social Cognition, Emotion and Joint Action'.

    We invite applications from PhD students, and post-doctoral researchers. Application deadline: 15 November 2016. Applicants may also propose poster presentations.

  • 2 - 3 March 2017, Consequence and Paradox between Truth and Proof, Tuebingen, Germany

    Date: 2 - 3 March 2017
    Location: Tuebingen, Germany

    The notion of logical consequence has been traditionally analysed as necessary truth-preservation, and such an analysis is at the core of contemporary model-theoretic approaches to semantics. An alternative approach to semantics is inferentialism, according to which the notions of inference and proof should play a more fundamental role than those of reference, truth and satisfaction in the construction of a semantic theory.

    Inferentialism has mostly been developed in opposition to the more traditional semantic approach. However, the tight relationships between the basic concepts involved in the two approaches suggest a more complex interplay than mere opposition. Many of the central notions (e.g. admissibility) and results (e.g. interpolation) in logic usually have both a model-theoretic and a proof-theoretic dimension. Moreover, the notions of truth and proof, when conceived as the central notions of a theory of meaning, share many of their core features.

    This complex interplay between truth and proof can be found in current debates on paradoxes as well. Solutions to paradoxes are motivated sometimes by traditional semantic considerations, sometimes by considerations about the structural features of our inferential practices. Plausibly, a thorough understanding of paradoxes requires resources coming from both model-theoretic and inferential conceptions of language and meaning.

    The aim of the workshop is to bring together researchers working on different aspects of logical consequence and paradoxes to exchange ideas and methods and discuss recent results.

  • 1 - 3 March 2017, Munich-Sydney-Tilburg Conference in the Philosophy of Science, Causation & Complexity (MuST10), Sydney, Australia

    Date: 1 - 3 March 2017
    Location: Sydney, Australia

    Causation and Complexity is the tenth MuST conference, an international collaborative conference series with a distinctive focus on philosophical issues in the sciences that can be addressed using exact reasoning and which have some potential policy relevance. MuST conferences bring together philosophers and scientists to explore these topics.

    MuST10 is organized by the Munich Centre for Mathematical Philosophy (MCMP), the Sydney Centre for the Foundations of Science (SCFS) and the Tilburg Centre for Logic, Ethics and Philosophy of Science (TiLPS), in collaboration with the Centre for Complex Systems (CCS) at the University of Sydney.  Keynote speakers are Professor Stuart Kauffman, Professor Anne-Marie Grisogono, and Professor Kevin Korb.

  • 27 February - 1 March 2017, Workshop "Formal methods in the philosophy of science", Sydney, Australia

    Date: 27 February - 1 March 2017
    Location: Sydney, Australia
    Costs: $150

    Formal methods add rigour to the analysis of conceptual and methodological issues in science. In this course, leading proponents of formal approaches to scientific inference give accessible introductions to some formal methods. They also present relevant examples for the application of formal tools, including those that arise in the biomedical and biological research fields of the Charles Perkins Centre. This intensive course provides an opportunity for advanced students and early career researchers to learn how to enhance their research through the use of new formal tools.

  • 24 - 26 February 2017, Partiality, Underspecification and Natural Language Processing (PUaNLP 2017), Porto, Portugal

    Date: 24 - 26 February 2017
    Location: Porto, 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) can participate in informational content, or influence its flow as information conveyors and interpreters.

    This Special Session at ICAART 2017 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 www.icaart.org/PUaNLP.aspx or contact Roussanka Loukanova at .
  • 13 - 17 February 2017, 2nd Indian Winter School on Diagrams, Kolkata, India

    Date: 13 - 17 February 2017
    Location: Kolkata, India

    Following on from the success of the first school in 2015, the 2nd Indian Winter School on Diagrams will bring together graduate students and early career researchers with interests in diagrams research, although participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering three main themes: diagrammatic logics, philosophical and historical developments, and empirical research. Courses will be delivered by internationally renowned experts and will have an emphasis on interactivity.

    The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in the study of logical diagrams. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators.


  • 12 - 16 February 2017, 7th BIU Winter School on Cryptography, Ramat-Gan, Israel

    Date: 12 - 16 February 2017
    Location: Ramat-Gan, Israel
    Costs: 750 shekels

    The concept of differential privacy is central to the rigorous foundational approach to private data analysis that has emerged in cryptography in the last decade. The development of this approach was motivated by the vast amounts of personal information that are collected in today’s information environment, and by a rapidly growing body of work demonstrating how traditional approaches to privacy, such as de-identification, fail to provide adequate privacy preservation.

    The framework of differential privacy provides a rigorous mathematical treatment of privacy, with concrete provable guarantees that are robust against adversaries with arbitrary computational power and with arbitrary auxiliary knowledge. There is now a large body of theoretical work in this vein, and many established relationships to scientific fields including statistics, machine learning, databases, algorithms, information theory, program verification, and game theory. The products of this research are also making their first strides into use in real world applications where sensitive personal information is analyzed, with algorithms currently deployed by the US Census Bureau, Google, Yahoo, and Apple.

    The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

    For more information, see cyber.biu.ac.il/event/the-7th-biu-winter-school or contact Christian Schaffner at .
  • 9 February 2017, Workshop "Culture and Cognition", Göttingen, Germany

    Date: Thursday 9 February 2017
    Location: Göttingen, Germany

    A number of disciplines make use of the concept of culture in their analyses, employing it in different contexts and with varying degrees of explicitness. There are myriad definitions of 'culture', and open questions about how culture is related to social life, evolution, and cognitive processes on the individual level - e.g. in human psychology as explored in both developmental and cross-cultural analyses - and in the understanding of non-human behaviors such as social learning, imitation, and creative problem solving.

    The goal of the workshop is to highlight interdisciplinary connections that will ameliorate our understanding of the phenomenon of culture and the ways in which this concept can enrich our analyses of cognition.

    For more information, see here or contact .
  • 3 - 5 February 2017, Very Informal Gathering of Logicians at UCLA (VIG 19), Los Angeles, U.S.A.

    Date: 3 - 5 February 2017
    Location: Los Angeles, U.S.A.

    There will be a Very Informal Gathering of Logicians at UCLA, from Friday February 3 to Sunday February 5, 2017. The invited speakers are Itai Ben-Yaacov (Hjorth lecture), Philipp Hieronymi, Elaine Landry, Joseph Miller, Kobi Peterzil, Dima Sinapova, Simon Thomas, Todor Tsankov, and Ryan Williams. It is expected that travel grants will be available for graduate students and faculty in early career stages; to apply contact the organizers by December 1.

    For more information, see www.logic.ucla.edu/vig2017.
  • 2 - 3 February 2017, Mathematical and Metaphysical Explanation Workshop, Paris, France

    Date: 2 - 3 February 2017
    Location: Paris, France

    The Institute of History and Philosophy of Sciences and Techniques (IHPST) hosts a workshop on Mathematical and Metaphysical Explanation. This is the first of two twin workshops to be jointly organized by IHPST and IUSS Pavia whose aim is to build a bridge a bridge between mathematical and metaphysical explanation, opening to unexplored and fruitful future directions of research.

    There will be talks by: Andrew Arana (University of Paris 1, IHPST), Luca Incurvati (University of Amsterdam), Marc Lange (University of North-Carolina at Chapel-Hill), Hannes Leitgeb (University of Munich), Mary Leng (University of York), Daniele Molinini (University of Lisbon), Francesca Poggiolesi (University of Paris 1, IHPST), Stefan Roski (University of Hamburg) and Erik Weber (University of Ghent).

    For more information, see sites.google.com/site/mmexplanation/ or contact .
  • 29 January - 5 February 2017, 6th Entia et Nomina workshop, Palolem, Goa, India

    Date: 29 January - 5 February 2017
    Location: Palolem, Goa, India

    The 'Entia et Nomina' series features English language workshops for researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among philosophers with a formal bent. Previous editions took place at Gdansk University, Ghent University (as part of the Trends in Logic series), Jagiellonian University, and Warsaw University. The sixth conference in the series will take place in Palolem, Goa, India, on 29 January - 5 February 2017.

    Please send questions and any inquiries to both Rafal Urbaniak <> and Juliusz Doboszewski < >.

    For more information, see philevents.org/event/show/26782.
  • 28 - 29 January 2017, 10th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, U.K.

    Date: 28 - 29 January 2017
    Location: Cambridge, U.K.

    Our keynote speakers for the conference are Prof Patricia Blanchette (Notre Dame) and Prof Ian Rumfitt (Oxford).

    For more information, see www.phil.cam.ac.uk/events/camb-grad-conf-2017 or contact Wes Wrigley and Luke Cash at .
  • 28 January - 4 February 2017, Winter School in Abstract Analysis: section set theory & topology, Hejnice, Czech Republic

    Date: 28 January - 4 February 2017
    Location: Hejnice, Czech Republic

    The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks.

    The meeting aims to be a meeting for both experienced researchers as well as advanced students who are most welcome to not only participate but to also present their work.

    The program is split into a tutorial part and a research part. The tutorial part consists of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: David Asperó, Joan Bagaria, Christina Brech and Andrew Marks. The research part consists of presentations of research papers/problems from the area of Set Theory, Set Theoretic Topology, Measure Theory and related fields.

    For more information, see www.winterschool.eu.
  • 25 - 27 January 2017, BPGMTC 2017: British Postgraduate Model Theory Conference, Leeds, England

    Date: 25 - 27 January 2017
    Location: Leeds, England

    This is the 7th version of this conference, and it is a great occasion for PhD students and young researchers in model theory to give talks and interact with each other. We expect to fund accommodation and part of travel expenses.

    The invited speakers are: Zoe Chatzidakis, Amador Martin-Pizarro, Jaroslav Nesetril and Boris Zilber.

    For more information, see here or contact .
  • 20 January 2017, "Zwischen Philosophie und Mathematik. Eine Erinnerung an Heinrich Scholz (1884-1956)", Muenster, Germany

    Date: Friday 20 January 2017
    Location: Muenster, Germany
    For more information, see www.dvmlg.de/ScholzGedenkfeier2017.pdf.
  • 16 - 17 January 2017, The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Paris, France

    Date: 16 - 17 January 2017
    Location: Paris, France

    CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.

    For more information, see cpp2017.mpi-sws.org.
  • 9 - 12 January 2017, Model Theory: Philosophy, Mathematics, and Language, Munich, Germany

    Date: 9 - 12 January 2017
    Location: Munich, Germany

    Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit.

    We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory?

  • 9 - 13 January 2017, Model Theory Conference, Stellenbosch, South Africa

    Date: 9 - 13 January 2017
    Location: Stellenbosch, South Africa

    This is a general model theory conference. The model theory of fields will receive particular attention, but contributed talks can be on any aspect of model theory. Students are very welcome and we intend to have a poster session. Talks will take place in Stellenbosch except on Tuesday 10 January when we shall visit the African Institute for Mathematical Sciences in Muizenberg.

    Invited speakers: Artem Chernikov (UCLA), Franziska Jahnke (University of Muenster), Gareth Jones (University of Manchester) and Angus Macintyre (QMUL).


  • 8-10 January 2017, 9th Methods for Modalities Workshop (M4M-9), IIT Kanpur, India

    Date: 8-10 January 2017
    Location: IIT Kanpur, India

    The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc.

    M4M resumes after a short break, but will continue to be an important avenue for discussions of research in modal logics, especially on proof methods and decision procedures, and linkages of modal formalisms to computer science. In M4M-9 we hope to have a substantial part of the meeting devoted to tutorial lectures to increase the instructional content of the event. M4M-9 will be co-located with the Indian Conference on Logic and its Applications (ICLA) to be held during January 5-7, 2017.

    For more information, see www.cse.iitk.ac.in/users/icla/M4M or contact .
  • 5-7 January 2017, 7th Indian Conference on Logic and its Applications (ICLA 2017), Kanpur, India

    Date: 5-7 January 2017
    Location: Kanpur, India

    ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

    For more information, see http://www.cse.iitk.ac.in/users/icla/ or contact .

  • 2 - 5 January 2017, Workshop on Sanskrit Computational Linguistics, Manipal, India

    Date: 2 - 5 January 2017
    Location: Manipal, India

    Manipal University is glad to inform you that they are organising a four-day international workshop on "Sanskrit Computational Linguistics - linking Sanskrit grammar and texts with modern Science and Technology" from January 2nd to 5th, 2017 at Dvaita Philosophy Resource Centre (DPRC), Department of European Studies (DES), Manipal University (MU) as part of their research project 'Grammatical Analysis and XML Tagging of Mahabharata'.

    This workshop is open to all interested. Please send your details with letter of motivation by December 20, 2016 to .

    For more information, contact .

MoL and PhD defenses

  • WEB-Westera-front-square.jpg

    23 March 2017, Exhaustivity and intonation: a unified theory, Matthijs Westera

    Date & Time: Thursday 23 March 2017, 10:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Jeroen Groenendijk
    Copromotor: Floris Roelofsen

    Everyone is cordially invited to attend the public defence of the dissertation of Matthijs Westera, with reception afterwards.

    In his dissertation he develops a rationality-based account of two central linguistic/cognitive phenomena: exhaustivity (that we tend to assume that what isn't explicitly mentioned is false) and intonational meaning (that we use rises and falls in our speech to indicate compliance with certain standards for rational conversation).

    For more information, contact Matthijs Westera at .
  • 21 March 2017, Master of Logic defense, Guido van der Knaap

    Title: The philosophical motivation for proof-theoretic harmony
    Date & Time: Tuesday 21 March 2017, 14:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Luca Incurvati
  • 2 March 2017, Master of Logic defense, Rana Klein

    Title: The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic
    Date & Time: Thursday 2 March 2017, 15:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Sonja Smets, Fernando Velazquez-Quesada
  • 24 February 2017, Master of Logic defense, Nina Dongen

    Title: Analysis and prediction of Dutch-English code-switching in social media messages
    Date & Time: Friday 24 February 2017, 11:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Raquel Fernandez
  • 25 January 2017, Play Without Regret, Paolo Galeazzi

    Date & Time: Wednesday 25 January 2017, 11:00
    Location: Aula, Oude Lutherse kerk
    Supervisor: Sonja Smets
    Promotor: Sonja Smets
    Copromotor: Alexandru Baltag
    For more information, contact Paolo Galeazzi at .

Projects and Awards

Funding, Grants and Competitions

  • Call for nominations: CAV Award 2016 for Fundamental Contributions to Computer-Aided Verification

    Deadline: Friday 10 February 2017

    The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. The award comes with a cash prize of US$10,000 shared equally among recipients.

    Anyone can submit a nomination. The Award Committee can originate a nomination. Anyone, with the exception of members of the Award Committee, is eligible to receive the Award. A nomination must state clearly the contribution(s), explain why the contribution is fundamental or the series of contributions is outstanding, and be accompanied by supporting letters and other evidence of worthiness. The deadline for nominations for the 2017 award is 10 February 2017.

    For more information, see cavconference.org/2017/cav-award.
  • Call for Nominations: Alonzo Church Award for Outstanding Contributions to Logic and Computation

    Deadline: Wednesday 1 March 2017

    An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by SIGLOG, EATCS, EACSL and KGS. 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 2017 award are now being solicited. The nominating letter must summarise the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Goedel Prize. (The nominee(s) may have received such awards for other contributions.)

  • Call for Nominations of Graduate Fellows in the CRA Education Committee

    Deadline: Monday 30 January 2017

    The Computing Research Association Education Committee  (CRA-E) is now accepting applications for the CRA-E Graduate Fellows Program. The program provides opportunities for Ph.D. candidates in computing fields to contribute to CRA-E projects, network with computer science education advocates on the committee, engage in advocacy for mentoring undergraduate students and promote undergraduate research and education at the national level.

    Faculty members are invited to nominate a graduate student by January 30, 2017. CRA-E plans to appoint up to two graduate fellows per year, who will serve as members of the committee, providing a voice for graduate students. The fellows will attend the annual CRA-E meeting (travel expenses funded by CRA-E), serve on a CRA-E subcommittee related to their interests and expertise, and contribute to the CRA-E Conquer site that provides resources for undergraduate research and applying to graduate school.

    For more information, see cra.org/crae/activities/fellows.
  • FameLab 2017

    Deadline: Friday 10 February 2017

    The AMC and UVA jointly organise the Amsterdam heat of FameLab 2017, an international competition in science communication for young scientists. Are you a PhD candidate or post doc, between 21 – 40 years, into science and eager to explain scientific concepts to a general audience…in just three minutes? Then take the challenge and enter the competition.

  • 2017 BSPS Doctoral Scholarship Competition, UK

    Deadline: Tuesday 7 March 2017

    The British Society for the Philosophy of Science is offering a scholarship for doctoral work in the philosophy of science at a UK university, subject to a candidate of sufficient merit presenting themselves.

    The competition is open to both UK/EU and international students. The scholarship will cover UK/EU fees at the UK Research Councils rate. International fees will be covered in part or in full, depending on the case, but will be covered at least up to UK/EU levels. The scholarship is conditional on being accepted into an appropriate doctoral programme in philosophy of science at a UK university in time for the start of the 2017-18 academic year. In cases where an awardee has partial funding from other sources, the size of the BSPS grant will be set accordingly.


    For more information, see www.thebsps.org/funding/doctoral-scholarship or contact the Assistant to the Committee at .
  • Paris Institute for Advanced Study fellowships

    Deadline: Wednesday 1 March 2017

    The Paris Institute for Advanced Study welcomes applications from high level international scholars and scientists in the fields of the humanities, the social sciences and related fields for periods of five or nine months, during the academic year 2017-2018.

  • ACM SIGAI Student Essay Contest on the Responsible Use of AI Technologies

    Deadline: Wednesday 1 March 2017

    The ACM Special Interest Group on Artificial Intelligence is inviting contributions by students to an essay contest reagarding the following questions: What do you see as the 1-2 most pressing ethical, social or regulatory issues with respect to AI technologies? What position or steps can governments, industries or organizations take to address these issues or shape the discussions on them?

  • ERC Proof of Concept

    Deadline: Thursday 19 January 2017

    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. Cut-off date: Thursday 19 January 2017.

  • UvA FGw Aspasia Fund

    Deadline: Thursday 12 January 2017

    The UvA FGw Aspasia Fund aims to support women in their career development within the Faculty of Humanities at the UvA and to expand their opportunities to conduct research. Two to three female academics can be awarded a temporary release from teaching duties to enable them to prepare applications for senior personal grants.

  • KNAW Academy Colloquia

    Deadline: Wednesday 1 March 2017

    Academy Colloquia are small, exclusive expert meetings, hosted and funded by the Academy. They are held at the Academy’s Trippenhuis Building in Amsterdam. The aim is to bring together a select international group of no more than fifty top researchers to discuss a subject in which key innovations are expected.

    Applications will be accepted starting in December 2016. The deadline for an Academy Colloquium to be organised in 2018 is 1 March 2017.

    For more information, see knaw.nl/en/awards/funding/akademie-colloquia or contact M. Wagenaar-Koot at .
  • ERC Consolidator Grant

    If, as a young principal investigator<a class="glossary-icon" title="The Principal Investigator (PI) is the lead scientist or engineer for a particularly well-defined science (or other research) project, such as a laboratory study or clinical trial.
    The Principal Investigator is an individual who assembles a team to carry out an ERC-funded project under his/her scientific guidance. The rights and obligations of Principal Investigators are detailed in Section I Article II.3 of ECGA Annex II – General Conditions." href="https://erc.europa.eu/glossary/term/317">[img]https://erc.europa.eu/sites/all/themes/erc/images/gloss.png[/img]</a>, you need support to consolidate your independence, the ERC is here to help. ERC Consolidator Grants are designed to back up researchers who want to establish their research teams and continue developing a successful career in Europe. The scheme also strengthens independent and excellent new individual research teams that have been recently created.

    Application deadline: 9 February 2017

    For more information, see erc.europa.eu/consolidator-grants.

Open Positions at ILLC

Open Positions, General

  • University of Bath: PhD Position in Logic for Decision Making in Security

    Deadline: Tuesday 14 March 2017

    This PhD project will develop the theory and applications of this Compliance Budget Logic. The basic theory of the logic will be developed, followed by its application to security decision-making. For example, we may study how the interaction of multiple security policies and multiple budgets (e.g. users’ own time, laptop battery life, etc) may be described and analysed via our logic. Some of this work will be carried out in collaboration with leading security researchers at University College London.

    Main supervisor: Professor Guy McCusker, University of Bath. Second supervisor: Professor David Pym, University College London.
    Anticipated start date: 2 October 2017.

    For more information, see www.findaphd.com/search/ProjectDetails.aspx.
  • PhD student positions in artificial intelligence, Manchester (England)

    Deadline: Friday 17 March 2017

    PHD STUDENTSHIPS IN ARTIFICIAL INTELLIGENCE University of Manchester, UK Available for 2017 entry

    Application deadline: 17 March 2017

    The University of Manchester boasts one of the most innovative and successful schools of computer science in the world. Manchester saw the birth of computer science, with the creation of the world's first stored-program computer. We continue to work on pioneering research including cutting-edge image processing software, new technologies to exploit the power of the web, medical imaging software and low-power chip design.

    In REF2014, the most recent research assessment, we were ranked in the top 5% in the UK (4th out of 89 submissions) based on GPA for Computer Science and Informatics. REF2014 also assessed that The University of Manchester is the best environment in the UK for computer science and informatics research, and 94% of our research was classed as "world-leading" (4*) or "internationally excellent" (3*). All of our impact case studies were ranked 3* and 4*, which puts us joint-top for research impact.

    The School of Computer Science is pleased to announce the following fully-funded studentships for September 2017 entry:


    The James Elson Studentship Award in Artificial Intelligence will provide an outstanding candidate with fees and an enhanced stipend to carry out a 3-year PhD research project relating to Artificial Intelligence, for September 2017 entry. This studentship has been established as a result of a bequest from James Elson, who passed away in 2012 after a long battle with cancer. Last year we awarded a James Elson Studentship in Cancer Research due to the nature of James' illness; this year the studentship focus is on Artificial Intelligence - the area of James' MEng dissertation whilst here at Manchester. The James Elson studentships are available for UK and EU nationals eligible to pay 'Home' fees. A list of eligible projects and further information about this studentship can be found on the School of Computer Science website:


    The deadline for this studentship is Friday 17th March.


    A number of School studentships are available for UK and EU nationals for both 3-year PhD and the 4-year CDT PhD programmes in Computer Science.

    The 3-year PhD studentships pay all tuition fees and a stipend award for 3 years. Applicants must be eligible to pay 'home' fees. There will normally be opportunities to undertake some teaching, in the form of laboratory demonstration. A number of fees-only studentships are also available for international students. The School supports mid-year as well as the standard September entry point.

    The 4-year CDT PhD studentships are offered through our Centre for Doctoral Training, and are available for applicants eligible to pay 'home' fees. The programme consists of an initial 'foundation period' of six months of taught components, followed by a 3.5 year period of focused PhD level research, carried out under the supervision of a PhD supervisor or team of supervisors.


    Further information about these studentships can be found on the Funding section of the School of Computer Science website


    For further information about PhD study, funding and admissions, please contact our Postgraduate Research admissions team: or +44(0)161 275 0699.

    Applications must be received before 17 March, 2017

  • Three PhD student positions on algorithmic techniques for automated planning, Delft (The Netherlands)

    Deadline: Tuesday 28 February 2017

    The Algorithmics research group of Delft University of Technology offers three PhD positions on the development of algorithmic techniques for automated planning and scheduling.

    The first PhD position is within the NWO TOP project LearnSDM, and focuses on combining machine learning and model checking to learn and evaluate models for sequential decision making. The second and third positions are position are within the NWO project FlexI, and concern developing algorithms for planning under uncertainty for optimizing flexible energy use in industry, and forstrategic decision-making regarding longer-term investments and trading, respectively.

    For more information, see www.alg.ewi.tudelft.nl/vacancies.
  • PhD student position in logic & security, London (England)

    Deadline: Tuesday 28 February 2017

    Applications are invited for a PhD position at the Information Security Group of the UCL Department of Computer Science, funded by the Government Communications Headquarters (GCHQ). The successful candidate will also be a member of the Programming Principles, Logic, and Verification (PPLV) Group. The studentship is open only to UK nationals because of the funder's eligibility requirements. The start-date for the studentship will be no later than October 2017 (this cannot be delayed).

    The successful candidate will develop logical and mathematical models of access control policies in physical and information systems, including the architectural and behavioural issues that affect the extent to which an implemented system complies with policies. The aim of the project is to develop a framework for modelling access control policies and their implementation in system architectures and will provide tools for reasoning about the circumvention of policies in the presence of behaviours that are driven by competing priorities.

    For more information, see www.prism.ucl.ac.uk/#! or contact Sarah Turnbull at .
  • Postdoctoral fellowships in philosophy, Mexico City (Mexico)

    Deadline: Wednesday 1 March 2017

    The Instituto de Investigaciones Filosóficas of the Universidad Nacional Autónoma de México (UNAM), offers postdoctoral research fellowships (one year, with possible renewal for a second year).

    The deadline for applications is March 1st, 2017. All documents must be received by this date. The fellowship begins on September 1st, 2017. The starting date is not deferrable.

    For more information, see www.filosoficas.unam.mx/sitio/becas-posdoctorales-filosofia-unam-2017#en or contact Edgar González Varela at .
  • University of Gdansk: Assistant Professorship in mathematical philosophy

    Deadline: Tuesday 28 February 2017

    An Assistant Professorship (“adiunkt” in Polish terminology) in the Chair of Logic, Philosophy of Science and Epistemology is available at the Department of Philosophy, Sociology and Journalism, University of Gdansk, Poland. The position is to start some time between July 1 and September 1, 2017, for a fixed period of time with the possibility of extension. Decisions about the exact beginning date of the contract and the number of years will be made during the hiring process. The successful candidate will be expected to do research in mathematical philosophy, teach about 230 hrs per academic year, apply for external research funding, participate in the research activities of the Chair, in the life of the department, and in the administrative work as necessary.

  • Rosalind Franklin Fellowships in Mathematics & Natural Sciences, Groningen (The Netherlands)

    Deadline: Tuesday 31 January 2017

    The University of Groningen has initiated the prestigious Rosalind Franklin Fellowship programme to promote the advancement of talented international researchers at the highest levels of the institution. The programme is aimed at women in academia, research institutes or industry who have a PhD and would like a tenure-track position leading to a full professorship in a top European research university. Successful candidates will be expected to establish an independent, largely externally funded research programme in collaboration with colleagues at our Faculty and elsewhere. They will also be expected to participate in and contribute to the development of the teaching programme of their discipline.

    In the next round of Rosalind Franklin Fellowships, the Faculty of Mathematics and Natural Sciences has five Rosalind Franklin Fellowships to offer in the disciplines:
    - Fundamental Computer Science
    - Fundamental Mathematics, Mathematical Data Analysis, Complex Systems
    - Mechanical Engineering
    - Artificial Intelligence
    - Bioinformatics

    For more information, see www.rug.nl/fwn/organization/vacatures/vacatures/rff or contact Ms Dr Y.E.F.M. Jeuken at .
  • Associate Professorship in Automated Verification, Oxford (England)

    Deadline: Friday 3 March 2017

    Applications are invited for the post of Associate Professor (or Professor) of Automated Verification to be held in the Department of Computer Science starting as soon as possible. The successful candidate will also be appointed as Fellow and Tutor in Computer Science at St. John's College.

    The Department is seeking to recruit an Associate Professor in Computer Science, with a research specialism in automated verification and synthesis, ideally complementing existing expertise. This is an area of fundamental importance in the design, evaluation and construction of software and systems (design flaws in applications such as autonomous vehicles can have devastating consequences, for example). The Associate Professor?s research will focus on developing theories and techniques to ensure system correctness and employing them in novel application domains. The appointee will also contribute to teaching on the Department's highly successful undergraduate and graduate programmes.

  • Postdoctoral position (5y) in computational logic, Innsbruck (Austria)

    Deadline: Thursday 2 February 2017

    The University of Innsbruck invites applications for a 5 year postdoctoral position in the Computational Logic research group. Candidates must hold a PhD degree in computer science. A strong background in computational logic (in particular automated and interactive theorem proving, SMT solving, term rewriting, type theory) is desired. The ideal candidate enjoys working with students at all levels. Candidates are expected to conduct research leading to a habilitation and contribute to teaching and administration. Knowledge of German is not essential.

  • Two postdoctoral positions in "trusted quantum software via a formally verified functional quantum programming language", Halifax NS (Canada)

    Deadline: Friday 20 January 2017

    Peter Selinger invites applications for two postdoctoral position, starting early in 2017 (ideally in February or March), at Dalhousie University under his supervision.

    The successful applicants will work on a project entitled "Trusted Quantum Software via a Formally Verified Functional Quantum Programming Language". Specifically, the project involves the design and semantics of a functional programming language for quantum computing, loosely modelled on the Quipper language. It will also involve developing the meta-theory of the language, and eventually the formalization of some of this meta-theory in a proof assistant. The research project is part of a team effort, also involving collaborators from Tulane, Stanford, Oxford, the University of Iowa, and the University of Pennsylvania.

    For more information, see here or at www.mathstat.dal.ca/~selinger/quipper or contact Peter Selinger at .
  • Several associate and assistant professorships in CS (including TCS) at KTH Royal Institute of Technology

    Deadline: Friday 17 February 2017

    The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for several tenured associate professorships in computer science. These positions include two positions specializing in Software Engineering, one in Machine Learning, and one position with a broad profile, covering all research areas currently represented at the school including theoretical computer science. All of these positions have an application deadline of February 17, 2017.

    For more information, see www.kth.se/en/om/work-at-kth/larare-1.572162 or contact Jakob Nordstrom at .
  • Assistant Professorship in Theoretical Philosophy, Zuerich (Switzerland)

    Deadline: Sunday 19 February 2017

    The University of Zurich invites applications for an Assistant Professorship Tenure Track in Philosophy with a focus on Theoretical Philosophy. The post should be filled by August 1, 2018. After two temporary three-year contracts it will become tenured, on the condition that the candidate successfully completes the evaluation process.

    For more information, see www.phil.uzh.ch/jobs.html or contact Prof. Dr. Hans-Johann Glock at .
  • Postdoctoral/PhD student positions in "From Perception to Belief and Back Again", Bochum (Germany)

    Deadline: Wednesday 15 February 2017

    The Ruhr-University Bochum is inviting applications for the positions of one Post-Doc Research Associate (TV-L E13, 100%, including social benefits; 3 years + option to extend 1 year) and either one PhD-Student (TV-L E13, 65%, including social benefits; 3 years) or one Post-Doc Research Associate (TV-L E13, 100%, including social benefits; 2 years) within the Emmy-Noether Research Group From Perception To Belief and Back Again under the direction of Peter Brössel. The positions will start May 1st, 2017 or as soon as possible thereafter.

    The successful candidate will have a PhD (for a Post-Doc position) or a Master's degree (for a PhD-student position) in philosophy or in cognitive science, respectively.  In addition, the appointee will have at least one of the following areas of specialization: cognitive science, epistemology (formal or non-formal epistemology), philosophy of cognition, philosophy of language, or philosophy of science. The appointee will be expected to carry out research relevant for the aims of the research project. The positions come without teaching obligations and no German language competency is required. An excellent command of English is necessary.

    For more information, see fromperceptiontobelief.wordpress.com/vacancies or contact Peter Brössel at .
  • Postdoctoral position in artificial intelligence, Cardiff (Wales)

    Deadline: Saturday 4 February 2017

    Applications are invited for a Research Associate post in Cardiff University's School of Computer Science & Informatics.

    This is a full-time, fixed-term post for 30 months, starting on 1 March 2017 or as soon as possible thereafter. The successful candidate will be dedicated to finding creative solutions and have a genuine curiosity and enthusiasm to undertake world-class research in the field of Artificial Intelligence. Specifically, the aim of this post will be to develop novel methods for learning interpretable/symbolic models from diverse sources of information, including knowledge graphs, vector space models and natural language text. These models will then be used as background theories in applications such as recognising textual entailment, automated knowledge base completion, or zero-shot learning. You will work closely with Steven Schockaert. You will possess or be near the completion of a PhD in Computer Science or a related area, or have relevant industrial experience.

    This research will be part of the ERC project FLEXILOG.

    For more details about the project and instructions on how to apply, please go to www.cardiff.ac.uk/jobs and search the Academic Vacancies for job 5545BR. Please note the requirement to evidence all essential criteria in the supporting statement.

  • Visiting Fellowships in Logic, Ethics and Philosophy of Science, Tilburg (The Netherlands)

    Deadline: Wednesday 25 January 2017

    The Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS) invites applications for visiting fellowships for the calendar year 2017. Short visits of several weeks are also possible; however, we encourage applicants to stay for a longer period.

    The fellowships are intended for advanced Ph.D. students, postdocs or faculty. Applicants should be keen on being an active part of a lively research community and on intellectual exchange with the resident fellows of TiLPS. The work of the candidates should relate to logic, philosophy of science, epistemology, ethics, or political philosophy. They should be committed to interdisciplinary and collaborative work, in line with the overall profile of TiLPS.

  • Twelve PhD student position in situated cognition, Bochum/Osnabrueck (Germany)

    Deadline: Tuesday 14 February 2017

    The interdisciplinary Research Training Group 'Situated Cognition',  invites applications for 12 Ph.D. positions (salary scale TV-L E 13, 65%; including social benefits) for a three-year structured PhD program. The program and all positions will commence June 1st, 2017. The RTG is based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum as well as at the Institute of Cognitive Science and the Department of Philosophy at Osnabrück University.

    All PhD positions are essentially interdisciplinary with an emphasis on one of the subjects involved, i.e. philosophical theory formation, experimental psychology or neuroscience. Applicants have to apply for one of the suggested projects (max. two with indication of preference). In addition, applicants are encouraged to submit their own original project proposal in one of the theoretical areas, as long as the proposal fits the RTG's guiding idea.


    For more information, see www.ruhr-uni-bochum.de/philosophy/Situated%20Cognition/call.html or contact Prof. Dr. Albert Newen, Speaker RTG at .
  • PhD student position in formal verification of sensor networks, Liverpool (England)

    Deadline: Friday 10 February 2017

    The Department of Computer Science at the University of Liverpool offers a PhD position, commencing in October 2017, and associated with the Science of Sensor Systems Software research programme. This position is available to both UK and EU students, and we are looking for outstanding candidates with either a first class degree or a distinction at masters level in Computer Science or Mathematical Logic, together with the desire to undertake PhD study on the formal verification for wireless sensor networks.

    For more information, see www.csc.liv.ac.uk/~michael/S4_PhD_2017.html.
  • PhD student position in dependence logic, Auckland (New Zealand)

    Deadline: Tuesday 31 January 2017

    The Department of Computer Science of the University of Auckland is currently looking for a PhD student to undertake research on dependence logic. Dependence logic is a novel logical formalism that has intriguing connections to computer science, statistics, linguistics, game theory, social choice theory, philosophy, and physics. We are seeking a PhD student to join a 3-year project that examines new variants of dependence logic, including approximate and probabilistic variants, and their applications to reasoning in database theory and statistics. The student will be supervised by Miika Hannula and Sebastian Link.

    We expect the applicant to have:
    - A strong background in logic and computational complexity,
    - A master's degree in mathematics, computer science, or other relevant discipline,
    - A good command of spoken and written English.
    Good programming skills and a background in statistics would be ideal, but are not necessarily expected attributes.

    For more information, see here or contact .
  • PhD positions in TCS at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 15 January 2017

    The Theory Group at KTH Royal Institute of Technology invites applications for up to four 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. Examples of topics of particular interest are the use of linear and semidefinite programming to solve hard combinatorial problems, or of proof complexity to prove that the problems are beyond the reach of such methods. Exciting recent developments have identified the so-called sums of squares hierarchy as a unifying theme for these questions, and one aim of our research is to build and expand on this theme. However, we will also freely explore whatever other methods turn out to be helpful for attacking these and other topics of interest in algorithms and complexity theory. 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 Håstad, Per Austrin, and Jakob Nordström, 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 2-3 existing PhD students and 3-4 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 apc.csc.kth.se/D-2016-0832-Eng.php or contact APC project co-PIs at .
  • Postdoc positions at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 15 January 2017

    The Theory Group at KTH Royal Institute of Technology invites applications for up to four postdoctoral positions in theoretical computer science.[b][b]The postdoc positions are in the area of computational complexity theory, focusing on questions at the intersection of approximation algorithms, subexponential algorithms, and proof complexity. Examples of topics of particular interest are the use of linear and semidefinite programming to solve hard combinatorial problems, or of proof complexity to prove that the problems are beyond the reach of such methods. [b][b]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 5-7 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.[b][b]These postdoc positions are full-time employed positions for one year with a possible one-year extension. The expected starting date is in August-September 2017, although this is to some extent negotiable.[b][b]The application deadline is January 15, 2017. See http://apc.csc.kth.se/D-2016-0871-Eng.php for the full announcement with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to .

    For more information, see apc.csc.kth.se/D-2016-0871-Eng.php or contact APC co-PIs at .
  • PhD position in SAT solving at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 15 January 2017

    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). We are even more interested in exploring new techniques that hold out the theoretical possibility of exponential improvements over CDCL, but seem hard to implement efficiently in practice, e.g., algebraic methods such as Groebner bases or geometric methods such as pseudo-Boolean solving (basically 0/1 integer linear programming).

    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 2017, although this is to some extent negotiable. The position is fully funded and comes with a competitive salary.

    For more information, see www.csc.kth.se/~jakobn/openings/D-2016-0833-Eng.php or contact Jakob Nordstrom at .
  • Postdoc position in Artificial Intelligence on Designing Responsible Agency, Utrecht (The Netherlands)

    Deadline: Sunday 1 January 2017

    We invite applications for a postdoctoral research position in the REINS project. With the project well underway, our aim is now to focus more on concrete architectures and systems for responsible decision making and responsibility checking (which are different, but closely connected). We are looking for a researcher with a background in artificial intelligence, knowledge representation and/or decision making that is enthusiastic about the idea of applying these theories to the problem of making intelligent systems behave responsibly. Areas of interest to the REINS project that are relevant for this position are: prioritized rule based reasoning mechanisms, agent programming languages, non- monotonic logics and argumentation, symbolic and neural-symbolic learning and reasoning.

    For more information, see www.uu.nl/staff/JMBroersen/0 or contact Jan Broersen at .
  • PhD and Postdoc Position in Normative and Value-based Reasoning, TU Delft

    Deadline: Tuesday 31 January 2017

    Applications are invited for one PhD and one postdoc position (PhD: 4 years, postdoc: 2 years), attached to the NWO Vidi grant of Birna van Riemsdijk. The project, Computational Reasoning for Socially Adaptive Electronic Partners (CoreSAEP). has the overall aim to develop a reasoning framework that combines logic and quantitative techniques for Socially Adaptive Electronic Partners that adapt their behavior to norms and values of people.

    For more information, see ii.tudelft.nl/~birna/projects/CoreSAEP.html.
  • Postdoc positions in SAT solving at KTH Royal Institute of Technology, Stockholm (Sweden)

    Deadline: Sunday 15 January 2017

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

    The postdoctoral researcher 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). We are even more interested in exploring new techniques that hold out the theoretical possibility of exponential improvements over CDCL, but seem hard to implement efficiently in practice, e.g., algebraic methods such as Groebner bases or geometric methods such as pseudo-Boolean solving.

    This postdoc position is a full-time employed position for one year with a possible one-year extension. The expected starting date is in August-September 2017, although this is to some extent negotiable.

    For more information, see www.csc.kth.se/~jakobn/openings/D-2016-0872-Eng.php or contact Jakob Nordstrom at .
  • Lectureships and Senior Lectureships in Artificil Intelligence, London (England)

    Deadline: Monday 16 January 2017

    The Department of Computing at Imperial College London invites applications for full-time faculty members at the Lecturer/Senior Lecturer level (comparable to American tenure-track Assistant Professorships) who can contribute to research and teaching, in particular in the area of Artificial Intelligence and Machine Learning. This includes (but is not limited to): autonomous systems; knowledge representation and reasoning; planning; machine learning for speech, audio and text; optimization and data mining.

    Notwithstanding the above focus, exceptional candidates from any area of Computer Science are also encouraged to apply.

    For more information, see www.imperial.ac.uk/computing/job-vacancies.
  • PhD student position in parameterised complexity, Nijmegen (The Netherlands)

    Deadline: Wednesday 1 February 2017

    Dr. ir. Johan Kwisthout is currently hiring a PhD candidate on the NWO TOP project "Parameterized complexity of approximate Bayesian inferences" and welcomes candidates with a MSc degree in CS/math/AI or related field, strong formal and analytical skills, and fascination for both the foundations of (tractable) computations as well as how they might be realized in the brain. Students with a background in parameterized complexity and/or Bayesian networks are particularly invited to apply.

    For more information, see www.ru.nl/werken/details/details_vacature_0 or contact Dr. ir. Johan Kwisthout at .
  • Postdoctoral position in logic, Barcelona (Spain)

    Deadline: Sunday 8 January 2017

    The Barcelona Graduate School of Mathematics (BGSMath) opens a call for two postdoctoral positions in the areas:
    1. Algebra, Combinatorics, Geometry and/or Logic.
    2. Analysis, Dynamical Systems, and/or Probability Theory.

    Succesful applicants will join the BGSMath research group of their choice in one of the five BGSMath institutions in Barcelona: Universitat Autònoma de Barcelona, Universitat de Barcelona, Universitat Politècnica de Catalaunya, Universitat Pompeu Fabra or Centre de Recerca Matemàtica.

    In brief: Two year contracts, anual gross salary of E26.250, plus E2000 mobility (to be provided by the research group). Requirements: To hold a Ph.D. degree at the time of application and at least two years of doctoral or postdoctoral experience outside of Catalonia. Deadline: January 8th

  • PhD student position in specification and verification of data-aware systems, Evry (France)

    Deadline: Monday 9 January 2017

    A PhD position is available within the JCJC project SVeDaS - Specification and Verification of Data-aware Systems, funded by the French Agence Nationale de la Recherche (ANR). The PhD position is a fixed-term contract over 3 years, the time normally allocated to a PhD in France. The PhD student will be part of the Laboratoire IBISC (Informatique, Biologie Integrative et Systemes Complexes) of the Universite de Saclay.

    The JCJC project SVeDaS, led by Dr Francesco Belardinelli, is designed to advance the state-of-the-art in the modelling, analysis and deployment of data-aware systems by using a novel, compositional, agent-based approach to their specification and verification. The PhD candidate is required to have a very strong background in computer science, logics and formal methods, and must be capable of programming in the most popular programming languages, including C, C++, Java.

    For more information, see here or at www.ibisc.univ-evry.fr/~belardinelli/Projects.html or contact Dr Francesco Belardinelli at .
  • Ertegun Graduate Scholarship in the Humanities, Oxford (England)

    Deadline: Friday 6 January 2017

    The Mica and Ahmet Ertegun Graduate Scholarship Programme funds full-time graduate degrees in various subjects in the Humanities. Established in 2012, the programme is supported by the generosity of Mica Ertegun.

    The scholarship will cover 100% of University and college fees and a grant for living costs (of at least £14,296). Awards are made for the full duration of your fee liability for the agreed course. Ertegun Scholars also benefit from exclusive use of Ertegun House; a fully modernized, non-residential building, built in 1808, located at the heart of Oxford's academic community, that provides an environment for study and camaraderie that is unique at Oxford and unparalleled in the world.

  • Two research fellowships in mathematical logic and theoretical computer science, Singapore (Singapore)

    Deadline: Sunday 15 January 2017

    Two Research Fellow Positions in Mathematical Logic and Theoretical Computer Science in Singapore

    The researchers Frank Stephan, Yang Yue and Sanjay Jain want to hire on their grant "Effective representations of algebraic structures" two research fellows in the areas of Mathematical Logic and Theoretical Computer Science. The expected starting date is 1 April 2017. The duration of the job is approximately 2.5 years and can not run longer than the duration of the grant (which terminates 31 January 2020).

    Job Description: Mathematical research in the areas of recursion theory, inductive inference, model theory and effective algebra; the applicant is expected do research and write papers inline with the research programme approved by the MOE for these positions. The applicant should also be able to present the results found at scientific conferences. Prior publications and a PhD in mathematical logic or theoretical computer science are expected.

  • Postdoctoral position on "Ideological bias and ideological diversity in philosophy of science", Leuven (Belgium)

    Deadline: Friday 6 January 2017

    The Centre for Logic and Analytic Philosophy at KU Leuven (Belgium) invites applications for one full-time postdoctoral position as part of a research project on "Ideological Bias and Ideological Diversity in Philosophy of Science" which is funded by a KU Leuven C1 grant (PI: Andreas De Block, co-supervisor: Lorenz Demey).

    DURATION: 24 months (with an assessment after the first year) Starting date: ASAP

  • Postdoctoral position on dependently typed lambda encodings, Iowa City IA (U.S.A.)

    Deadline: Wednesday 4 January 2017

    Professor Aaron Stump (Iowa) is looking for a postdoc to work with him on dependently typed lambda encodings in the new interactive theorem prover Cedille, written in Agda.He also expresses interest in supporting visiting doctoral students. This could be especially interesting for students from outside the US.


    For more information, see here or contact Aaron Stump at .


  • Nick Bezhanishvili: Lecturer in the Spotlight

    Nick Bezhanishvili (ILLC) teaches two courses in the Master’s programme Logic, as well as a logic course in the second year of the Mathematics Bachelor’s programme. In his research he studies mathematical structures arising from logic.

  • Harry Buhrman appointed as distinguished research professor

    Professor H.M. Buhrman (ILLC) and Professor J.N. H. Reek (IBED) have been appointed as distinguished research professors at the Faculty of Science with effect from 1 January 2017. The professors will succeed the current distinguished research professors, Jos Engelen and Kareljan Schoutens. Harry Buhrman, professor of computing science at the Institute for Logic, Language and Computation, will serve as the figurehead for the quantum software consortium QuSoft and work to develop it further in his capacity as a distinguished research professor.

  • Benedikt Loewe appointed on joint Strategy Working Group of ICSU and ISSC

    Benedikt Loewe has been appointed to serve on the joint Strategy Working Group of the International Council for Science (ICSU) and the International Social Science Council (ISSC).[b][b]ICSU and ISSC are the highest international bodies for the sciences and social sciences, respectively. The two councils consist of national members, represented by national research councils or national academies (e.g., the Netherlands are represented by the KNAW) and international scientific unions acting as the global representatives of individual scientific disciplines. The mandate of the Strategy Working Group is the development of the strategy of the new institution, taking into account the interdisciplinary connections between the natural and the social sciences. Benedikt Loewe represents the International Union for History and Philosophy of Science and Technology (IUHPST).

    For more information, see www.icsu.org/road-to-2018/strategy-working-group or contact Benedikt Loewe at .
  • ILLC PhD council has a new website

    ILLC PhD Council has updated its website both in terms of the look and in terms of the content. Newly, the minutes of the meetings of the PhD council will be public and published on the website.

    For more information, see phdcouncil.illc.uva.nl or contact the PhD Council members at .

The websites of the UvA make use of cookies. More information Hide this message X