Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

News and Events: Conferences

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.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Sections

Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

  • 6 - 7 September 2018, Workshop on Proof Theory, Ghent, Belgium

    Date: 6 - 7 September 2018
    Location: Ghent, Belgium
    Target audience: Researchers in mathematics, computer science and philosophy

    The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The intended audience for the workshop is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy with an interest in Proof Theory in a broad sense.

    Invited Speakers:
    Andrew Arana (Université Paris 1 - Panthéon-Sorbonne)
    Rosalie Iemhoff (Utrecht University)
    Dale Miller (Inria Saclay and LIX)
    Paulo Oliva (Queen Mary University of London)
    Pavel Pudlák (Czech Academy of Sciences)
    Michael Rathjen (University of Leeds)
    Albert Visser (Utrecht University)

    Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.

    For more information, see http://www.proofsociety.org/workshop-2018/ or contact Bahareh Afshari at .
  • 28 - 30 November 2018, 29th Novembertagung on the History of Mathematics: "History of Mathematical Concepts & Conceptual History of Mathematics", Sevilla, Spain

    Date: 28 - 30 November 2018
    Location: Sevilla, Spain

    The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history of mathematics. In 2018 the Novembertagung will be held in Spain for the first time, at the Institute of Mathematics of the University of Seville (IMUS). The conference will commence on November 28th with a lunch reception; presentations will then begin after lunch and continue throughout the next two days.

    We encourage submissions that engage with historical considerations of key concepts in mathematics, as well as those that are guided by a conceptual approach to the history and philosophy of mathematics. Abstracts, of around 250 words, should be submitted by May 15th 2018. Please note that the theme serves as a guide, not a criterion for exclusion, and as such it is not necessary for a submission to engage with the theme to be accepted.

  • 27 - 30 March 2019, Third Tübingen Conference on Proof-Theoretic Semantics (PTS3): Assessment and Future Perspectives, Tübingen, Germany

    Date: 27 - 30 March 2019
    Location: Tübingen, Germany

    There will be several slots for contributed talks (30 min). A call for papers will be issued later in 2018.

    For more information, see http://ls.informatik.uni-tuebingen.de/PTS3/.
  • 27 - 28 October 2018, 19th Annual Midwest PhilMath Workshop (MWPMW 19), Notre Dame IN, U.S.A.

    Date: 27 - 28 October 2018
    Location: Notre Dame IN, U.S.A.

    As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.

     

    If you would like to give a talk, please email a pdf of your talk or a substantial summary of it to the organizers. We would like to have all proposals for talks by August 31st so that we can set the program by mid September. Talks should be 35--40 minutes in length, with 15--20 minutes left for discussion.

    For more information, see https://mdetlefsen.nd.edu/midwest-philmath-workshop/midwest-philmath-workshop-19/ or contact Mic Detlefsen at , Paddy Blanchette at , Tim Bays at , or Curtis Franks at .
  • 13 - 20 August 2018, APMP session at XXIV World Congress of Philosophy: Diagrams in Mathematical Practice, Beijing, China

    Date: 13 - 20 August 2018
    Location: Beijing, China

    The Association for the Philosophy of Mathematical Practice organises a SOCIETY SESSION at the World Congress of Philosophy, Beijing 13-20 August, 2018. The theme is "Diagrams in mathematical practice",  but talks on different aspects of the practice of mathematics are also welcome.

    Confirmed speakers: Colin McLarty (Case Western Reserve University), Danielle Macbeth (Haverford College) Cathy Legg (Deakin University), Silvia De Toffoli (Stanford University).

    There are some extra slots. In case you are interested in particpating contact  Dr. Silvia De Toffoli.

    For more information, see http://wcp2018.pku.edu.cn/yw/Programme/societysession/ or contact Dr. Silvia De Toffoli at .
  • CfP special issue of Synthese on "Varieties of Entailment"

    Deadline: Tuesday 31 July 2018

    On August 26, 2017, our colleague Carolina Blasio fell victim to a fatal car accident in Campinas, Brazil, only one day after successfully defending her PhD thesis "Sobre Noções de Consequência Generalizadas e Lógicas Plurivalentes" (On generalized notions of consequence and plurivalent logics) at UNICAMP (Brazil). She was a young and promising researcher, besides being the administrator of the Brazilian discussion group on Logic, an active member of the Brazilian LaTeX community, and a diligent feminist campaigner. This special issue of Synthese, on Varieties of Entailment, is dedicated to her memory, and is concerned with topics in logic and philosophy of logic related to her fields of interest.

    Contributions must be original and not under review elsewhere. Each submission should include a separate title page containing the contact details for the author(s), a brief abstract and list of five keywords.

    For more information, see here or contact .
  • 4 - 5 October 2018, Bridging the gap between formal argumentation & actual human reasoning, Institute for Philosophy II, Ruhr-University Bochum, Germany

    Date: 4 - 5 October 2018
    Location: Institute for Philosophy II, Ruhr-University Bochum, Germany
    Deadline: Tuesday 31 July 2018

    Non-monotonic reasoning has received a lot of attention in the fields of artificial intelligence and philosophical logic. One of the most promising paradigms is formal argumentation. One central goal of this research program is to give a (normative) account of actual human reasoning. However, there is still a substantial gap between these formal models and many real-life instances of the formalized phenomena.

    This workshop welcomes abstracts (≈ 1000 words) can be submitted on the following topics addressing the gap between formal models of human reasoning and and real-life instances of the formalized phenomena. In particular the this workshop we intend to approach this gap from three different angles: the Linguistic angle, the Inferential angle, and the Cognitive angle.

  • 17 - 26 September 2018, Luxembourg Logic for AI Summit (LuxLogAI 2018), Luxembourg, Luxembourg

    Date: 17 - 26 September 2018
    Location: Luxembourg, Luxembourg
    Deadline: Sunday 5 August 2018

    The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

    With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

    In Deduktionstreffen 2018 everyone (not only the German community) interested in deduction can report on their work in an informal setting. Deadline for submissions: 5 August 2018.

    RuleML+RR 2018 calls for additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. Poster paper submission: 1 August 2018.

    For more information, see https://luxlogai.uni.lu.
  • 16 - 21 November 2018, Logic for Programming, AI & Reasoning (LPAR-22), Awassa, Ethiopia, Haile Resort

    Date: 16 - 21 November 2018
    Location: Awassa, Ethiopia, Haile Resort
    Deadline: Monday 6 August 2018

    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 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

    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. Submissions of two kinds are welcome: Regular papers (up to 15 pages) that describe solid new research results, and Experimental and tool papers (up to 8 pages) that describe implementations of systems, report experiments with implemented systems, or compare implemented systems.

    Proposals for workshops to be held in conjunctionwith LPAR-22 are solicited. Please email proposals to the program and conference chairs.

    For more information, see http://www.LPAR-22.info.
  • 6 - 8 March 2019, Post-truth: The semantics and pragmatics of saying "what you believe to be false", Bremen

    Date: 6 - 8 March 2019
    Location: Bremen
    Deadline: Wednesday 15 August 2018

    Grice's first maxim of quality says "do not say what you believe to be false", but we often do. We tell lies ("I did not have sexual relations with that woman"), we deceive (e.g. by lying by implicature), we bullshit ("Trade wars are easy to win"), we make up stories ("When Harry Potter first came to Hogwarts …"), we pretend (Kids playing: "You were Batgirl and I was Wonder Woman"), or we use irony ("Losing the key was very smart!"). In all such speech acts there is a clear sense in which we're not, or at least not literally, speaking the truth. In this workshop we want to discuss the challenges that these and other deviations from the Gricean norm of quality pose for semantics and pragmatics and see if we can incorporate ideas from philosophy, literary theory, cognitive science and other related fields to extend the coverage of our theories of meaning and our understanding of the dynamics and logic of (non-)cooperative conversation.

    Invited speakers: Regine Eckardt (Konstanz) and Jörg Meibauer (Mainz). Organized by Daniel Gutzmann (Cologne), Emar Maier (Groningen), and Katharina Turgay (Landau).

    Send anonymous two-page abstracts for 20 minute talks (plus 10 minutes discussion) in pdf-format to: Deadline: August 15, 2018.

    For more information, see https://sites.google.com/view/post-truth/ or contact Emar Maier at .
  • CfP special issue of the Artificial Intelligence Journal (AIJ) on Epistemic Planning

    Deadline: Monday 1 October 2018

    Epistemic planning is the enrichment of automated planning with epistemic notions such as knowledge and belief. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine state of the art from several such sub-areas of artificial intelligence that have so far been considered mostly in separation. Epistemic planning has applications in game playing, human-robot interaction, social robotics, etc.

    For this special issue of AIJ, we invite papers on theory, applications, and implemented systems of epistemic planning.

    For more information, see here or at http://ees.elsevier.com/artint.
  • 21 - 25 January 2019, Syntax Meets Semantics 2019

    Date: 21 - 25 January 2019
    Location: Doelenzaal, University Library, Singel 425 Amsterdam Nederland
    Deadline: Friday 5 October 2018

    Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

    Contributed talks can be on any topic related to substructural logic. The Programme Committee will accept submissions of abstracts ranging from 2 to 4 pages.

    For more information, see http://events.illc.uva.nl/SYSMICS2019/.
  • CfP special issue of Synthese on "Reliability"

    Deadline: Sunday 11 November 2018

    Current political, social and even scientific debates all hinge upon whether data, inferences and/or belief forming processes are reliable. We are calling for philosophical/methodological contributions which help us through these difficult circumstances.

    Given the variety of intertwined problems we are calling for contributions addressing the notion of reliability [broadly construed]. Submissions should be prepared like any other submission to Synthese prepared to under-go double-blind peer-review.

    For more information, see here or contact .
  • CfP topical issue of Open Philosophy on "Computer Modeling in Philosophy"

    Deadline: Thursday 28 February 2019

    Computational modeling opens new prospects for philosophical exploration and argument. The role played by logic in 20th century philosophy, it can be argued, will be played by computational modeling in the 21st. This special issue is devoted first and foremost to examples of computer-aided or computer-instantiated modeling across the discipline, including but not limited to philosophy of science, cognitive science, philosophy of mind, theory of evolution, logic, philosophy of language, epistemology, and social and political philosophy. Computational techniques range from agent-based modeling to neural networks and data mining. Results can expand the role of intuition pumps and thought experiments, can be used to measure the robustness and parameter-sensitivity of basic models, can put techniques from other disciplines to work in philosophical analysis, can track unexpected consequences of basic assumptions, and can force philosophical assumptions to be made explicit. Beyond new answers, computational techniques can highlight new questions, including questions regarding model validation, complexity, computability, representation, and reality.

    Submissions will be collected from October 1, 2018 to February 28, 2019. There are no specific length limitations. To submit an article for the special issue of Open Philosophy, authors are asked to access the on-line submission system.Before submission the authors should carefully read over the Instruction for Authors. All contributions will undergo critical review before being accepted for publication.

    For more information, see https://www.degruyter.com/page/1776 or contact Patrick Grim at .

Upcoming conferences

  • 6 - 19 July 2018, 7th Federated Logic Conference (FLoC'18), Oxford, England

    Date: 6 - 19 July 2018
    Location: Oxford, England
    FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science:
    

    Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June - 6 July).

    We have already begun confirming exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O'Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre. We will also hold an Oxford Union-style debate on ethics for autonomous robots. There will be banquets, receptions and other social events in historic venues across the city.

    The FLoC volunteer programme allows students and postdocs to have free participation (no registration fee) at FLoC conferences and workshops, in exchange for contributing to the smooth running of the conference by performing several tasks. Volunteers will be able to interact with speakers and participants, network with other researchers and meet graduate students from all over the world. Deadline for applications: 18 May 2018.

    For more information, see http://www.floc2018.org/.
  • 14 - 17 July 2018, 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, England

    Date: 14 - 17 July 2018
    Location: Oxford, England

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

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

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

    Date: 16 - 18 July 2018
    Location: Milan, Italy

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

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

  • 16 - 27 July 2018, 2nd Crete Summer School of Linguistics, Crete, Greece

    Date: 16 - 27 July 2018
    Location: Crete, Greece
    Target audience: MOL and PhD students

    There will be introductory courses and advanced seminars on syntax, phonology, sign language, morphology, semantics, syntax-semantics interface, phonology-syntax interface, language evolution, animal communication and historical linguistics.

    For more information, see http://www.phl.uoc.gr/confs/cssl18/ or contact Floris Roelofsen at .
  • 17 - 20 July 2018, Workshop "Accessible categories and their connections", Leeds, England

    Date: 17 - 20 July 2018
    Location: Leeds, England

    Accessible categories are notable for their importance in other areas of mathematics, be it through combinatorial model categories in homotopy theory or abstract elementary classes in model theory, with large cardinal axioms from set theory often thrown into the mix. The goal of this workshop is to bring together practitioners from these different fields to try to break down barriers and build new connections.

  • 18 July 2018, 3rd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), Oxford, England

    Date: Wednesday 18 July 2018
    Location: Oxford, England

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

    For more information, see http://iltp.de/ARQNL-2018/ or contact .
  • 19 July 2018, Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2018), Oxford, England

    Date: Thursday 19 July 2018
    Location: Oxford, England

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

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

    Date: Thursday 19 July 2018
    Location: Oxford, England

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

    For more information, see http://persons.iis.nsk.su/en/FWFM2018.
  • 19 - 20 July 2018, 17th International Workshop on Proof, Computation, & Complexity (PCC 2018), Bonn, Germany

    Date: 19 - 20 July 2018
    Location: Bonn, Germany

    The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

    PCC 2018 is organized as external event for the trimester on "Types, Sets and Constructions" of the Hausdorff Research Institute for Mathematics.

    For more information, see https://www.irit.fr/PCC2018/.
  • 23 - 28 July 2018, Logic Colloquium 2018 (LC 2018), Udine, Italy

    Date: 23 - 28 July 2018
    Location: Udine, Italy

    The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry.

    LC 2018 will include tutorials by Katrin Tent (WWU Münster) and Ulrike Sattler (University of Manchester), a Gödel Lecture by Rod Downey (Victoria University of Wellington), and 6 special sessions on the topics of Descriptive set theory and dynamical systems, Model theory, Proof theory and constructivism, Temporal and multivalued logics, Computability theory, and Philosophy of Logic and Mathematics.

    For more information, see https://lc18.uniud.it or contact .
  • 24 - 27 July 2018, 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogota, Colombia

    Date: 24 - 27 July 2018
    Location: Bogota, Colombia

    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.

    For more information, see http://wollic.org/wollic2018/.
  • 25 - 27 July 2018, Inquisitive logic workshop

    Date & Time: 25 - 27 July 2018, 09:30-18:00
    Location: Room C0.01 (Potgieterzaal), Universiteitsbibliotheek, Singel 421-427, Amsterdam.

    Inquisitive logic is a novel approach to logic which aims primarily at extending the scope of logic to questions. It has close connections with intuitionistic logic, dependence logic, truth-maker semantics, possibility semantics, and various versions of modal and dynamic logics.

    The workshop aims to bring together researchers working in inquisitive logic and related areas, in order to communicate recent advances, explore the relations with other lines of work, and spark novel ideas and cooperations. It is part of the series of events organized by the ILLC inquisitive semantics group of Amsterdam. If you would like to attend, get in touch with the organisers.

    For more information, see http://inquisitivelogicws.scienceontheweb.net/ or contact Gianluca Grilletti at .
  • 27 - 28 July 2018, Workshop on Decision Theory & the Future of Artificial Intelligence, Munich, Germany

    Date: 27 - 28 July 2018
    Location: Munich, Germany

    This workshop will continue in the tradition established last year of bringing together philosophers, decision theorists, and AI researchers in order to promote research at the nexus between decision theory and AI. Our plan for the second installment is to make connections between decision theory and burgeoning research programs that may play a prominent role in the near future of the discipline - e.g., quantum information theory, social network analysis, and causal inference.

    Confirmed Speakers Hans Briegel (University of Innsbruck), Tina Eliassi-Rad (Northeastern University), Dominik Janzing  (Max Planck Institute - Tübingen), Teresa Scantamburlo  (University of Bristol) and Wolfgang Spohn  (University of Konstanz).

    For more information, see http://decision-ai.org/2018/.
  • 30 July - 3 August 2018, Computability in Europe 2018 (CiE 2018): Sailing Routes in the World of Computation, Kiel, Germany

    Date: 30 July - 3 August 2018
    Location: Kiel, Germany

    CiE 2018 is the fourteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

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

    For more information, see http://cie2018.uni-kiel.de or contact .
  • 1 - 3 August 2018, International Conference "Varieties of Mathematical Abstraction", Vienna, Austria

    Date: 1 - 3 August 2018
    Location: Vienna, Austria

    Mathematical abstraction is a general phenomenon, a process by which we generalize from the properties and relations of particular objects to the abstract, mathematical structure that those objects exhibit. It is a process that can be iterated to achieve higher levels of abstraction, and plays an important role in shaping how we think about and understand empirical phenomena. The main objective of this conference is to explore the philosophical significance of mathematical abstraction from different perspectives: metaphysically, epistemologically, historically, and practically. Particular attention will be devoted to the role of abstraction in mathematical practice.

  • 5 - 8 August 2018, Fifteenth International Conference on Computability and Complexity in Analysis (CCA 2018), Lake Kochel, Germany

    Date: 5 - 8 August 2018
    Location: Lake Kochel, Germany

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

    Most mathematical models in physics and engineering are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

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

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

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

    Date: 5 - 11 August 2018
    Location: Kirchberg am Wechsel, Austria

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

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

    For more information, see http://alws.at/index.php/symposium/.
  • 6 - 17 August 2018, 30th European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, Bulgaria

    Date: 6 - 17 August 2018
    Location: Sofia, Bulgaria

    The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

    For more information, see http://esslli2018.folli.info/ or contact .
  • 6 - 17 August 2018, ESSLLI 2018 Student Session, Sofia, Bulgaria

    Date: 6 - 17 August 2018
    Location: Sofia, Bulgaria

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

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

    Date: 6 - 10 August 2018
    Location: Sofia, Bulgaria

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

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

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

    Date: 6 - 10 August 2018
    Location: Sofia, Bulgaria

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

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

    For more information, see https://ambiguity2018.phil.hhu.de or contact .
  • 6 - 10 August 2018, 10th Conference on Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2018), Denver CO, U.S.A.

    Date: 6 - 10 August 2018
    Location: Denver CO, U.S.A.

    After a full decade of being hosted in various universities, BLAST returns to its birthplace. BLAST aims at bringing together researchers and students in the above-mentioned diverse areas and the scientific program will include three tutorials exposing the audience to various aspects of the these areas. There will also be seven invited lectures and contributed talks.

  • 6 - 12 August 2018, Summer School and Workshop "Concepts in Action - Representation, Learning & Application" (CARLA), Osnabrueck, Germany

    Date: 6 - 12 August 2018
    Location: Osnabrueck, Germany

    The summer school will bring together researchers from different disciplines with the goal of providing participants with knowledge about concept research outside of their own fields and to initiate interdisciplinary exchanges and research. The subsequent and co-located international workshop provides an excellent opportunity to present and discuss ongoing research on concepts.

    Both events will focus on (but not be restricted to) three core questions: How can we formally describe and model concepts? Where do concepts come from, and how are they acquired? How are concepts used in cognitive tasks?

  • 10 - 11 August 2018, ICM 2018 Satellite Conference on Mathematical Logic, Niteroi, Brazil

    Date: 10 - 11 August 2018
    Location: Niteroi, Brazil

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

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

  • 11 - 12 August 2018, 23rd Conference on Formal Grammar (FG 2018), Sofia, Bulgaria

    Date: 11 - 12 August 2018
    Location: Sofia, Bulgaria

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

    FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

    For more information, see http://fg.phil.hhu.de/2018/.
  • 13 - 17 August 2018, ESSLLI Workshop on Quantity in Language and Thought, Sofia, Bulgaria

    Date: 13 - 17 August 2018
    Location: Sofia, Bulgaria

    Quantifiers are linguistic expressions encoding representations of quantities. Their study has been one of the great success stories in natural language semantics. On the other hand, the study of the mental representation of numerical and other quantitative information has become an active area of research in cognitive science and neuroscience. This workshop provides a venue for continued exploration of the interface between these two domains.

    Keynote Speakers: Jakub Dotlačil (Amsterdam), Michael Franke (Tübingen), and Steven Piantadosi (Rochester).

  • 22 - 26 August 2018, Second SYSMICS Summer School, Les Diablerets, Switzerland

    Date: 22 - 26 August 2018
    Location: Les Diablerets, Switzerland
    Target audience: Master's and PhD students
    Costs: CHF 652 (single room) / CHF 556 (shared double room)

    The second summer school for the EU RISE project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics) will take place 22-26 August 2018 at Hotel Les Sources in Les Diablerets, Switzerland. This school will precede two logic conferences taking place in Bern the following week: Logic, Algebra and Truth Degrees (LATD) 2018 and Advances in Modal Logic (AiML) 2018.

    Tutorials will be given each morning by Peter Jipsen (Chapman University), David J. Pym (University College London), and Alexandra Silva (University College London), and in the early evening there will be lectures by Johan van Benthem (University of Amsterdam), Laura Kovács (Vienna University of technology), and Fred Wehrung (University of Caen). Since places for the school are limited, we ask students to register online via the webpage before 30 April 2018.

    For more information, see https://mathsites.unibe.ch/sysmics/ or contact Nick Bezhanishvili and George Metcalfe at .
  • 22 - 25 August 2018, The Joint Multi-Conference on Human-Level Artificial Intelligence 2018 (HLAI 2018), Prague, Czech Republic

    Date: 22 - 25 August 2018
    Location: Prague, Czech Republic

    HLAI 2018 will combine three confernces:

    - AGI'18, the Eleventh Annual Conference on Artificial General Intelligence.
    The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field - the creation of thinking machines with general intelligence at the human level and possibly beyond.
    Conference site: http://agi-conference.org/2018/

    - NeSy'18, the Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning.
    NeSy is the premier event worldwide for the study and integration of neural computation and symbolic AI.
    Conference site: http://www.neural-symbolic.org/

    - BICA'18, the Ninth Annual International Conference on Biologically Inspired Cognitive Architectures.
    The annual BICA conference attracts researchers from the edge of scientific frontiers, offering informal brainstorming atmosphere together with publication venues to ambitious ideas, regardless of their immediate practical value or solid empirical justification.
    Conference site: http://bica2018.bicasociety.org/

    For more information, see https://www.hlai-conf.org/ or contact .
  • 22 August 2018, Masterclass on Generalised Baire Spaces, Amsterdam, The Netherlands

    Date: Wednesday 22 August 2018
    Location: Amsterdam, The Netherlands

    In classical descriptive set theory, Baire space is the most central topological space for the study of the real numbers, consisting of functions from omega to omega. Moving from omega to an uncountable cardinal kappa, one can consider *generalised Baire spaces*, the sets of functions from kappa to kappa. The study of these spaces has become a very important subject in set theory in the past decade.

    In combination with the KNAW Academy Colloquium "Generalised Baire Spaces", the Royal Netherlands Academy of Arts and Sciences is offering a one day Master Class on the topic of Generalised Baire Spaces, with four 2-hour courses taught by Andreas Blass, Jouko Vaananen, Andrew Brooke-Taylor, and Philipp Schlicht. This Master Class, intended for graduate students, will teach the basic material needed to understand the research results discussed during the colloquium on the two following days.

    For more information, see http://events.illc.uva.nl/KNAW2018/ or contact Lorenzo Galeotti at .
  • 23 - 25 August 2018, KNAW Academy Colloquium "Generalised Baire Spaces", Amsterdam, The Netherlands

    Date: 23 - 25 August 2018
    Location: Amsterdam, The Netherlands

    The study of generalised Baire spaces has developed into a research area in its own right with a rich overarching theory, internally motivated open questions (cf. Khomskii, Laguzzi, Loewe, Sharankou 2016) and an active research community, combining methods and techniques from several branches of set theory as well as classical model theory. While many concepts from the classical setting can be transferred to generalised Baire space and some classical results remain true at uncountable cardinals, in general the rich combinatorial nature of uncountable cardinals causes the theory of the corresponding spaces to differ significantly, e.g., notions which are equivalent in the classical setting can lead to different notions in the generalised theory. Phenomena like this shed light on structures and properties otherwise hidden in the classical setting.

    This Academy Colloquium is a reunion of the research community after a hiatus of two years. The Colloquium will be preceded by an associated KNAW Master Class for postgraduate students in order to prepare them for the talks at the Colloquium.

    For more information, see http://events.illc.uva.nl/KNAW2018/.
  • 27 - 31 August 2018, 12th International Conference on Advances in Modal Logic (AiML 2018), Bern, Switzerland

    Date: 27 - 31 August 2018
    Location: Bern, Switzerland

    Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2018 is the 12th conference in the series, and will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018).

    For more information, see http://www.aiml2018.unibe.ch or contact .
  • 27 - 31 August 2018, Utrecht Topology Feest 2018: in honour of Ieke Moerdijk's 60th birthday, Utrecht, The Netherlands

    Date: 27 - 31 August 2018
    Location: Utrecht, The Netherlands

    Utrecht Topology Feest 2018 is an international conference in honour of prof. Ieke Moerdijk on the occasion of his 60th birthday.

    All lectures are in the Cosmos lecture theatre of the Koningsbergergebouw. There is a conference dinner on Thursday evening.

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

    Date: 28 - 31 August 2018
    Location: Berne, Switzerland

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

    For more information, see http://www.latd2018.unibe.ch.
  • 28 - 31 August 2018, Symposium Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018), Stockholm, Sweden

    Date: 28 - 31 August 2018
    Location: Stockholm, Sweden
    Costs: Roussanka Loukanova, Kristina Liefke

    Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

    The workshop focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

  • 2 - 5 September 2018, 1st International Summer School on Proof Theory, Ghent, Belgium

    Date: 2 - 5 September 2018
    Location: Ghent, Belgium
    Target audience: advanced master students, PhD students postdocs and experienced researchers in mathematics, computer science and philosophy

    The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

    The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

    The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.

    For more information, see http://www.proofsociety.org/summer-school-2018/ or contact Bahareh Afshari at .
  • 2 September 2018, Compositional Approaches for Physics, NLP, and Social Sciences

    Date: Sunday 2 September 2018
    Location: Nice, France

    Compositional Approaches for Physics, NLP, and Social Sciences (CAPNS 2018) will be colocated with QI 2018. The workshop is a continuation and extension of the Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, held in June 2016.

    The ability to compose parts to form a more complex whole, and to analyze a whole as a combination of elements, is desirable across disciplines. In this workshop we bring together researchers applying compositional approaches to NLP, Physics, Cognitive Science, and Game Theory. The categorical model of Coecke et al. [2010], inspired by quantum protocols, has provided a convincing account of compositionality in vector space models of NLP. Similar category-theoretic approaches have been applied in cognitive science, and now are being extended to game theory. The interplay between the three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact in sentences and discourse, how concepts develop, and how complex games can be analyzed. Commonalities between the compositional mechanisms employed may be extracted, and applications and phenomena traditionally thought of as 'non-compositional' will be examined.

    For more information, see here or at https://sites.google.com/view/capns2018/home or contact Martha Lewis at .
  • 3 September 2018, Mini-Symposium "Mathematical Logic" at the 18th EWM meeting, Graz, Austria

    Date: Monday 3 September 2018
    Location: Graz, Austria

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

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

  • 3 - 7 September 2018, Summer School: 100 Years of Model Theory, Jena, Germany

    Date: 3 - 7 September 2018
    Location: Jena, Germany

    The Loewenheim-Skolem theorem was proven about 100 years ago. It is not only the first theorem of model theory, but also the first theorem of metalogic. In the summer school we will read the fundamental results from Loewenheim and Skolem, as well as works from Goedel and Herbrand, that build on the latter. We will discuss their relations and their impact from both a formal logical and philosophical point of view.

    The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. The lecturers at the school include Timothy Bays (University of Notre Dame) and Juliette Kennedy (University of Helsinki).

    For more information, see http://www.mt100.uni-jena.de/en/ or contact .
  • 4 - 7 September 2018, Computer Science Logic 2018 (CSL 2018), Birmingham, England

    Date: 4 - 7 September 2018
    Location: Birmingham, England

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

    For more information, see http://events.cs.bham.ac.uk/csl18/.
  • 4 - 7 September 2018, Conference of the Académie Internationale de Philosophie des Sciences (AIPS2018)

    Date: 4 - 7 September 2018

    This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

    The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

    For more information, see http://events.illc.uva.nl/AIPS2018/ or contact Benedikt Loewe at .
  • _.png

    4 - 5 September 2018, 2nd HSE Semantics & Pragmatics Workshop

    Date: 4 - 5 September 2018
    Location: Moscow

    Topics of interest include but are not limited to:
    – formal semantics and formal pragmatics
    – experimental pragmatics
    – formal/experimental pragmatics interface
    – semantics/pragmatics distinction and semantics/pragmatics interface
    – epistemic foundations of semantics and pragmatics
    – semantics/pragmatics and epistemic logic
    - speech act theory
    – semantics and pragmatics of conventions
    – the principles of compositionality and contextuality
    – lexical semantics and pragmatics

    For more information, see https://sites.google.com/site/sempraghse2018/ or contact Vitaliy Dolgorukov at .
  • 5 - 7 September 2018, SuB 23: Sinn & Bedeutung, Barcelona, Spain

    Date: 5 - 7 September 2018
    Location: Barcelona, Spain

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

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

  • 5 - 7 September 2018, 14th International Conference on Grammatical Inference (ICGI 2018), Wroclaw, Poland

    Date: 5 - 7 September 2018
    Location: Wroclaw, Poland

    ICGI, which has been organized bi-annually since early nineties, is the major forum for presentation and discussion of original research papers on all aspects of grammatical inference. The theme of ICGI 2018 will include theoretical and experimental analysis of various models of grammatical inference and algorithms for induction of different classes of languages and automata. This year we especially encourage submissions related to the domain of bioinformatics, which will be presented at a special joint session with the collocated Polish Bionformatics Society symposium.

    The confirmed keynote speakers include: Colin de la Higuera (Nantes), Johannes Söding (Goettingen), and Frits Vaandrager (Nijmegen).

    For more information, see http://icgi2018.pwr.edu.pl or contact .
  • 6 - 16 September 2018, Warsaw Argumentation Week (WAW 2018), Warsaw, Poland

    Date: 6 - 16 September 2018
    Location: Warsaw, Poland

    The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

    - COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

    - 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

    For more information, see http://waw2018.argdiap.pl/.
  • 9 - 12 September 2018, 3rd International Workshop on AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18), Poznan, Poland

    Date: 9 - 12 September 2018
    Location: Poznan, Poland

    There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

    For more information, see https://www.fedcsis.org/2018/airim or contact Roussanka Loukanova at .
  • 10 - 14 September 2018, "Set theory today", A conference in honour of Georg Cantor, Vienna, Austria

    Date: 10 - 14 September 2018
    Location: Vienna, Austria

    Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

  • 11 - 14 September 2018, Twenty-first International Conference on Text, Speech, & Dialogue (TSD 2018), Brno, Czech Republic

    Date: 11 - 14 September 2018
    Location: Brno, Czech Republic

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

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

    For more information, see http://www.tsdconference.org/tsd2018/ or contact Ales Horak at .
  • 11 - 15 September 2018, Poznań Reasoning Week 2018, Poznań, Poland

    Date: 11 - 15 September 2018
    Location: Poznań, Poland

    Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
    - Games and Reasoning 2018 (11 september)
    - Logic and Cognition 2018 (12-13 september)
    - Refutation Symposium 2018 (14-15 september)

    The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

    Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

    Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

  • 11 - 15 September 2018, Conference "Das Kontinuum: 100 years later", Leeds, England

    Date: 11 - 15 September 2018
    Location: Leeds, England

    The conference will feature recent research in predicativity. It will bring together mathematicians, computer scientists and philosophers of mathematics working in areas related to the legacy of Hermann Weyl, on this centennial anniversary of the publication of Das Kontinuum.

    For more information, see https://weyl100.wordpress.com/.
  • 12 - 14 September 2018, 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland

    Date: 12 - 14 September 2018
    Location: Warsaw, Poland

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

     

    For more information, see http://comma2018.argdiap.pl or contact .
  • 14 - 16 September 2018, Colloquium Logicum 2018 (CL 2018), Bayreuth, Germany

    Date: 14 - 16 September 2018
    Location: Bayreuth, Germany

    The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

    Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kobe, Japan), Douglas Cenzer (Gainesville FL, U.S.A.), Laura Fontanella (Marseille, France), Benny Kimelfeld (Haifa, Israel), Yang Liu (Cambridge, England), Sara Negri (Helsinki, Finland) and Charlotte Werndl (Salzburg, Austria). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

  • 16 - 22 September 2018, Autumn School "Proof & Computation", Fischbachau, Germany

    Date: 16 - 22 September 2018
    Location: Fischbachau, Germany

    The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

  • 17 - 18 September 2018, Workshop "Once upon a time... Semantic approaches to fiction, literature, and narrative", Groningen, the Netherlands

    Date: 17 - 18 September 2018
    Location: Groningen, the Netherlands

    We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

    In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

    For more information, see https://sites.google.com/view/fiction2018 or contact Emar Maier at .
  • 17 - 18 September 2018, 1st International Workshop on Ontology of Economics, Cape Town (South Africa)

    Date: 17 - 18 September 2018
    Location: Cape Town (South Africa)

    Understanding the ontological nature of economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics have only recently been approached from an ontological perspective. For instance: value, risk, preference, utility, capability, good, service, exchange, transaction, competition. This workshop offers a venue to gather the recent contributions to this important topic.

    The workshop is part of the Joint Ontology Workshop Programme associated with the 10th International Conference on Formal Ontology in Information Systems (FOIS).

    For more information, see https://oe.inf.unibz.it/.
  • 17 - 21 September 2018, Methodological Approaches in the Study of Recent Mathematics, Konstanz, Germany

    Date: 17 - 21 September 2018
    Location: Konstanz, Germany

    The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

    For more information, see http://network2018.forcing-project.com or contact Daniel Kuby at .
  • 17 - 18 September 2018, Workshop "Once upon a time...": Semantic approaches to fiction, literature, and narrative

    Date: 17 - 18 September 2018
    Location: Groningen

    We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

    In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

    For more information, see https://sites.google.com/view/fiction2018/ or contact Sofia Bimpikou at .
  • 17 - 18 September 2018, Epistemology in Ontologies (EPINON II), Cape Town, South Africa

    Date: 17 - 18 September 2018
    Location: Cape Town, South Africa

    Formal ontologies and knowledge representation mainly focus on characterising how a given domain is structured, i.e., they identify a set of concepts, entities, and relations together with the constraints that hold for this domain. The structure of the characterisation is usually intended to reflect the point of view of significant experts or a realist view of how things about a particular domain are in reality. The aim of this workshop is to explore an epistemological stance in formal ontology and knowledge representation and focus on the assessment of the modelling provided by the ontology designer.

    In particular, we are interested in fostering the discussion about two intertwined research directions: epistemology of ontology and and ontology of epistemology. We are interested in formal and ontological approaches to the definitions of the concepts that are relevant to the assessment of the perspective of the ontology designer. Problems related to this direction include: ontology of general epistemological concepts (e.g. proof, argument, explanation, epistemic reliability, trust), ontology of cognitive concepts (perception, reasoning, sensations), ontology of data and measurements.

  • 17 September 2018, Mining & Reasoning with Legal texts (MIREL 2018), Luxembourg, Luxembourg

    Date: Monday 17 September 2018
    Location: Luxembourg, Luxembourg

    The MIREL 2018 workshop is the start of the Luxembourg Logic for AI Summit. The aim of the workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project. The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications).

  • advert1.png

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

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

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

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

    For more information, see https://ruleml2018.gforge.uni.lu/ or contact Amal Tawakuli at .
  • 20 - 21 September 2018, 4th Installment of Logic Now and Then (LNAT4): Scales in language and logic, Brussels, Belgium

    Date: 20 - 21 September 2018
    Location: Brussels, Belgium

    Scalarity is a rich field of study in linguistics and logic. Linguistically, it enters into the meaning of a wide range of expressions. The best-known case in degree semantics may well be the gradable adjective (tall, short, likely, good ), but crosscategorially many other cases have been detected and analysed in similar scalar terms. LNAT4 seeks to consider (i) the nature and variation of scalarity in language and logic, (ii) the diagrams proposed for scalar notions, as well as (iii) the nature of possible connections between logico-linguistic scalar concepts and perception scales.

    Invited Speakers: Christopher Kennedy (University of Chicago) and Stefanie Solt (Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS).

  • 24 - 28 September 2018, 1st workshop of Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, Croatia

    Date: 24 - 28 September 2018
    Location: Dubrovnik, Croatia

    The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).

    The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

    Invited speakers: Vivek Nigam.

    For more information, see http://formals.ufzg.hr/ or contact .
  • 24 - 27 September 2018, Trends in Logic XVIII: Fine-Grained Semantics for Modal Logic, Milan, Italy

    Date: 24 - 27 September 2018
    Location: Milan, Italy

    In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.

    Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).

    For more information, see http://www.unicatt.it/meetings/trends2018.
  • 24 - 27 September 2018, Ninth conference on Non-Classical Logic: Theory and Applications, Torun, Poland

    Date: 24 - 27 September 2018
    Location: Torun, Poland

    The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.

    The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.

  • 24 - 28 September 2018, 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany

    Date: 24 - 28 September 2018
    Location: Berlin, Germany

    KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.

     

    For more information, see http://ki2018.dai-labor.de/ or contact .
  • 24 - 28 September 2018, Continuity, Computability, Constructivity (CCC 2018), Faro, Portugal

    Date: 24 - 28 September 2018
    Location: Faro, Portugal

    CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

    Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).

  • 24 - 28 September 2018, 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018): Formal and Cognitive Reasoning, Berlin, Germany

    Date: 24 - 28 September 2018
    Location: Berlin, Germany

    The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. The 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

  • 26 - 28 September 2018, Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbruecken, Germany

    Date: 26 - 28 September 2018
    Location: Saarbruecken, Germany

    The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

  • 26 - 28 September 2018, 13th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2018), Fortaleza, Brazil

    Date: 26 - 28 September 2018
    Location: Fortaleza, Brazil

    Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

    Invited Speakers: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).

    For more information, see http://lia.ufc.br/~lsfa2018/ or contact .
  • 20150902_0004_.jpg

    1 - 2 October 2018, International Conference "Formal Philosophy", Moscow, Russia

    Date & Time: 1 - 2 October 2018, 11:00-18:00
    Location: Moscow, Russia

    The international conference "Formal Philosophy" will be held from 1st to 2nd October 2018 ( Moscow, Higher School of Economics). Conference topics include philosophical logic, formal epistemology, formal ontology, formal ethics and other branches of formal and mathematical philosophy. Invited speakers: Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences), Ahti-Veikko Pietarinen (Nazarbayev University), Allard Tamminga (University of Groningen) and Paul Weingartner (University of Salzburg).

    For more information, see https://sites.google.com/site/formalphilosophy2018 or contact Vitaliy Dolgorukov at .
  • 6 - 7 October 2018, 104th Peripatetic Seminar on Sheaves & Logic (PSSL), Amsterdam, The Netherlands

    Date: 6 - 7 October 2018
    Location: Amsterdam, The Netherlands

    The next Peripatetic Seminar on Sheaves and Logic (PSSL), the 104th, will be held in Amsterdam during the weekend of October 6 and 7, 2018. We will use the occasion to celebrate the 60th birthdays of Jaap van Oosten and Thomas Streicher.

    Further details will be available in due course.

    For more information, contact Benno van den Berg at .
  • 15 - 17 October 2018, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018), Warsaw, Poland

    Date: 15 - 17 October 2018
    Location: Warsaw, Poland

    TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.

    For more information, see https://time2018.ipipan.waw.pl/.
  • 19 - 21 October 2018, 4th Workshop on Connexive Logics, Bochum, Germany

    Date: 19 - 21 October 2018
    Location: Bochum, Germany

    Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, the fourth workshop aims at discussing directions for future research in connexive logics. Moreover, we will have a special session on contra-classical logics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal to classical logic.

    For more information, see here or at http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/ or contact Hitoshi Omori at , or Heinrich Wansing at .
  • 20 - 21 October 2018, The 4th Asian Workshop on Philosophical Logic (AWPL-2018), Beijing, China

    Date: 20 - 21 October 2018
    Location: Beijing, China
    Target audience: Logicians and philosophers who interested in non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences

    The Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles) with Springer.

    The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University.

  • 26 - 29 October 2018, 31st International Workshop on Description Logics(DL 2018), Tempe AZ, U.S.A.

    Date: 26 - 29 October 2018
    Location: Tempe AZ, U.S.A.

    The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

    For more information, see http://dl.kr.org/dl2018/.
  • 29 October - 2 November 2018, 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), Groningen, The Netherlands

    Date: 29 October - 2 November 2018
    Location: Groningen, The Netherlands

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

    For more information, see http://www.ramics-conference.org/.
  • 30 October - 2 November 2018, 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe AZ, U.S.A.

    Date: 30 October - 2 November 2018
    Location: Tempe AZ, U.S.A.

    Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

    The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.

    KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.

    For more information, see http://reasoning.eas.asu.edu/kr2018/.
  • 1 - 5 November 2018, 6th World Congress on the Square of Opposition, Chania/Crete (Greece)

    Date: 1 - 5 November 2018

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

  • 8 - 10 November 2018, 22nd Workshop on Semantics and Pragmatics of Dialogue (SemDial 2018 / AixDial), Aix-en-Provence (France)

    Date: 8 - 10 November 2018
    Location: Aix-en-Provence (France)

    AixDial will be the 22nd edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.

    For more information, see http://semdial.hypotheses.org/.
  • 10 November 2018, Conference in Honour of Ken Manders, Pittsburgh PA, U.S.A.

    Date: Saturday 10 November 2018
    Location: Pittsburgh PA, U.S.A.

    The Philosophy Department at the University of Pittsburgh will host a one day conference at the University Club in honor of Ken Manders's contributions to the History and Philosophy of Mathematics on November 10, 2018.

    The scheduled list of speakers is: Karine Chemla (Paris), Marco Panza (Paris), Josh Hunt (Ann Arbor), Paolo Mancosu (Berkeley), Becky Morris (Stanford), Mary Domski (New Mexico) and Jeremy Heis (Irvine).

    Details to follow. All events are open to the public, but please notify Kathleen Labuda if you plan to attend.

    For more information, contact Kathleen Labuda at .
  • 18 - 20 November 2018, 12th Multi-disciplinary International Conference on Artificial Intelligence Venue (MIWAI 2018), Hanoi, Vietnam

    Date: 18 - 20 November 2018
    Location: Hanoi, Vietnam

    MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. The main objective of the conference is to present the latest research and results of scientists related to AI topics. The theme for this year's event is "Intelligent World". MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam.

  • 8 - 9 December 2018, 13th International Symposium on Cognition, Logic, & Communication: "Events & Objects in Perception, Cognition, & Language", Riga, Latvia

    Date: 8 - 9 December 2018
    Location: Riga, Latvia

    Object and event perception are core features of human cognitive processing. Further, these core human cognitive abilities may be reflected differently in language and in perception. This symposium aims to integrate perspectives from different areas (including psychology, neuroscience, linguistics, computer science, AI, and philosophy).

    The conference will include the Robert Blumberg Distinguished Lecture.

    For more information, see https://www.lpcs.lu.lv/13thsymposium/ or contact .
  • 17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), Santiago de Chile, Chile

    Date: 17 - 21 December 2018
    Location: Santiago de Chile, Chile

    The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic such as Kolmogorov complexity and reverse mathematics. This year, the conference has special attention to the connections between these topics and dynamical systems and ergodic theory.

    For more information, see http://www.mat-unab.cl/~ccr2018/.
  • 5 - 16 August 2019, 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, Latvia

    Date: 5 - 16 August 2019
    Location: Riga, Latvia

    The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

    For more information, see http://esslli2019.folli.info/ or contact .
  • 16 - 19 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation, Georgia

    Date: 16 - 19 September 2019
    Location: Georgia

    The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. There have been ten instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013), Tbilisi (2015) and Lagodekhi (2017).

    For more information, see http://events.illc.uva.nl/Tbilisi/ or contact Peter van Ormondt at .