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

  • 17 - 21 June 2019, 16th Asian Logic Conference (ALC 2019), Astana, Kazakhstan

    Date: 17 - 21 June 2019
    Location: Astana, Kazakhstan

    The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

    Each contributed talk should last 20 minutes including questions and answers. Abstract should be prepared according to the ASL instructions using the ASL abstract style.

    For more information, see http://www.alc2019.kz/.
  • 19 - 21 June 2019, Masterclass in the Philosophy of Mathematical Practice with Marcus Giaquinto, Brussels, Belgium

    Date: 19 - 21 June 2019
    Location: Brussels, Belgium

    The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its Third Masterclass in the Philosophy of Mathematical Practice on June, 19-21 with Prof. Dr. Marcus Giaquinto. We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment.

    The Masterclass will be composed of three lectures. The lectures by Marcus Giaquinto will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the Philosophy of Mathematical Practice.

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

    For more information, see here or contact .
  • 7 - 10 July 2019, Ninth Workshop on Combining Probability and Logic (PROGIC 2019), Frankfurt, Germany

    Date: 7 - 10 July 2019
    Location: Frankfurt, Germany

    The focus of this iteration of PROGIC is decision making, with an emphasis on advances in descriptive, normative, and prescriptive models of decision making.

    Invited Speakers: Sebastian Ebert (Frankfurt School), Johanna Thoma (LSE), Peter Wakker (Erasmus) and Michael Waldmann (Goettingen).

    Scholars who combine probability and logic to models of decision making are invited to submit an extended abstract (~1000 words, pdf format) for presentation at the workshop.

  • 29 - 31 July 2019, Truthmaker Semantics: Applications in Philosophy and Linguistics, Hamburg, Germany

    Date: 29 - 31 July 2019
    Location: Hamburg, Germany

    Kit Fine and the Emmy Noether Project Relevance are delighted to announce a conference on truthmaker semantics and its applications in philosophy and linguistics.

    Truthmaker semantics deviates from the familiar framework of possible world semantics, in that the notion of a possible world is replaced by a more general notion of a state that applies to any fragment of a world, and that a sentence is taken to be made true by a state only if every part of the state is involved in rendering the sentence true. A significant advantage of truthmaker semantics over the possible worlds approach is that it connects sentences with the worldly items that are directly relevant to their truth, thereby allowing important and intuitive hyperintensional distinctions to be drawn in a natural and formally elegant way. While the framework was originally developed as a semantics for relevant entailment by van Fraassen in the 1960s, recent developments have demonstrated its wide applicability in logic, metaphysics, philosophy and epistemology.

    Eight one-hour slots (up to 40 minutes for the talk, followed by 20 minutes for discussion) are available for contributed papers on the topic of the conference. If you would like to present a paper, please submit a CV and an extended abstract of up to 2,000 words, suitable for anonymous review.

  • 3 - 4 June 2019, Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe 2019), Philadelphia PA, U.S.A.

    Date: 3 - 4 June 2019
    Location: Philadelphia PA, U.S.A.
    Deadline: Tuesday 19 March 2019

    Everyday human decision making involves various kinds of non-classical reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. These types of reasoning usually show two intertwined aspects, an ampliative aspect (augmenting the underlying reasoning by allowing more conclusions) and a defeasible aspect (curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned). Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. But despite the progress that has been achieved, large avenues remain open for exploration.

    DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.

    DARe welcomes contributions on all aspects of defeasible and ampliative reasoning. We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references).

  • 18 - 21 June 2019, 32nd International Workshop on Description Logics (DL 2019), Oslo, Norway

    Date: 18 - 21 June 2019
    Location: Oslo, Norway
    Deadline: Friday 22 March 2019

    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.

    We invite contributions on all aspects of description logics.

    Submissions may be of two types: regular papers (of up to 11 pages), and 2-page abstracts (for authors who wish to announce results that have been or are to be published elsewhere). Accepted submissions, be they regular papers or 2-page abstracts, will be selected for either oral or poster presentation at the workshop.

    For more information, see http://dl.kr.org/dl2019/.
  • 5 - 16 August 2019, ESSLLI 2019 Student Session, Riga, Latvia

    Date: 5 - 16 August 2019
    Location: Riga, Latvia
    Deadline: Saturday 23 March 2019

    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.

    The ESSLLI 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. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.

    Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.

  • 5 - 7 June 2019, International Association for Computing and Philosophy Annual Meeting 2019 (IACAP 2019), Mexico City, Mexico

    Date: 5 - 7 June 2019
    Location: Mexico City, Mexico
    Deadline: Sunday 24 March 2019

    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 2019 meeting will gather philosophers, mathematicians, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore the conference topics.

    This year the IACAP Annual Meeting will include a special, one-day track on research related to computing and epistemic logic, with special interest in concurrency; computing systems where multiple sequential computers or microprocessors interact.

    We invite submissions of extended abstracts for paper presentations. Submissions for paper presentation should be prepared for blind review, provide an extended abstract of 800-1200 words, and provide a short abstract of 150-250 words suitable for inclusion in a program. Submission deadline: February 15, 2019 (regular conference) / March 24, 2019 (special track).

    We also invite proposals for symposia. Proposals for symposia should indicate the title of the proposed symposium, a description of the topic, a list the participants, and the number of hours required. Submission deadline: February 1, 2019.

    For more information, see http://www.iacap.org/iacap-2019/.
  • 30 March - 2 April 2020, 23rd International Conference on Database Theory (ICDT 2020), Copenhagen, Denmark

    Date: 30 March - 2 April 2020
    Location: Copenhagen, Denmark
    Deadline: Wednesday 27 March 2019

    ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.

    As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.

    Every topic related to the principles of data management is relevant to ICDT. Particularly welcome are contributions that connect data management to theoretical computer science, and those that connect database theory and database practice. Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. The results must be unpublished and not submitted for publication elsewhere.

    For more information, see https://databasetheory.org/icdt-pages.
  • 23 June 2019, LICS workshop Learning & Automata (LearnAut 2019), Vancouver BC, Canada

    Date: Sunday 23 June 2019
    Location: Vancouver BC, Canada
    Deadline: Saturday 30 March 2019

    Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science, spanning the same communities that the Logic in Computer Science (LICS) conference brings together. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.

    Invited speakers: Lise Getoor (UC Santa Cruz). Prakash Panangaden (McGill University) and Nils Jansen (Radboud University, to be confirmed).

     

    We invite submissions of recent work, including preliminary research, related to the theme of the workshop. Similarly to how main machine learning conferences and workshops are organized, all accepted abstracts will be part of a poster session held during the workshop. Additionally, the Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop.

    For more information, see https://learnaut19.github.io.
  • CfP special issue of JLAMP on "Relational & Algebraic Methods in Computer Science"

    Deadline: Sunday 31 March 2019

    Relational and algebraic methods belong to the core of computer science. This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) aims to showcase the variety and relevance of recent developments in this field ranging from theory to applications.

    We invite submissions of high-quality original research articles in the general fields of algebras relevant to computer science and applications of such algebras. While we welcome substantially extended versions of papers published in the proceedings of the RAMiCS 2018 conference, this call is open to anyone interested in the field of relational and algebraic methods.

  • 10 - 13 September 2019, Twenty-second International Conference on Text, Speech, & Dialogue (TSD 2019), Ljubljana, Slovenia

    Date: 10 - 13 September 2019
    Location: Ljubljana, Slovenia
    Deadline: Sunday 31 March 2019

    The history of the International Conference of Text, Speech and Dialogue (TSD) dates back to 1997 when the event was held for the first time, that time as an international workshop, in Mariánské Lázně. The essential idea behind the project was to establish a scientific meeting platform that would act as a bridge between the East and the West. Since then an uninterrupted row of the TSD conferences has been organised by Brno (even years) and Plzeň (odd years) crews.

    TSD2019 will explore the topics in the field of speech and natural language processing, in particular:
    corpora, texts, transcription, and translation;
    speech analysis, recognition, and synthesis;
    their intertwining within dialogue systems.

    The organizing committee invites papers to be presented during the conference. Topics of the 22nd conference will include (but are not limited to): Speech Recognition, Corpora and Language Resources, Speech and Spoken Language Generation, Tagging, Classification and Parsing of Text and Speech, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modeling.

    For more information, see http://www.tsdconference.org/tsd2019/ or contact Ms Lucie Tauchenova at .
  • 29 - 31 July 2019, 2nd Forcing Project Networking Conference (FPNC 2019): Set Theory, Bridging Maths & Philosophy, Konstanz, Germany

    Date: 29 - 31 July 2019
    Location: Konstanz, Germany
    Deadline: Sunday 31 March 2019

    The project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of modern set theory since the introduction of the forcing technique both from a historical and philosophical point of view. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to investigate if and how the extensive use of the forcing method brought about a conceptual change in set theory; and in which ways this may influence the philosophy of set theory and the foundations of mathematics.

    The research group organises a series of Networking Conferences with the goal of reaching out to researchers from these different areas. The second instalment will be devoted to the topic of recent set theory as a bridge between mathematics and philosophy and focuses on the interaction between mathematical and philosophical arguments and views in set theory. Set theory has long been both a mathematical discipline and a program with foundational motivations. It seems that this dual character makes it a natural crossway between mathematics and philosophy, possibly more so than other mathematical disciplines.

    We welcome contributions which
    a) add to current discussions in the philosophy of set theory by relating philosophical and mathematical arguments to one another; by working out the philosophical import of set-theoretic results; or by giving set-theoretic explications of philosophical concepts;
    b) question or uphold the relevance of philosophical arguments in set theory.
    c) analyse the mathematical and philosophical content of the concept "set-theoretic practice" as used in recent set-theoretic programs.
    d) investigate how the inclusion of alternative set theories impact the philosophy of set theory.

  • 26 - 30 June 2019, 12th Panhellenic Logic Symposium (PLS12)

    Date: 26 - 30 June 2019
    Deadline: Sunday 31 March 2019

    The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

    PLS12 will have Special Sessions on Computer Science, Model Theory and Philosophy & Set Theory, as well as a Poster Session and a Mentoring Session.

    The Scientific Committee cordially invites all researchers in the area of the conference to submit their papers for presentation at PLS12. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. During the symposium, each accepted paper will be presented by one of its authors.

    Graduate students and young researchers are invited to submit a short abstract for the Poster Session, on work in progress that may not be ready for a regular contributed talk.

  • 16 - 20 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Batumi, Georgia

    Date: 16 - 20 September 2019
    Location: Batumi, Georgia
    Deadline: Monday 1 April 2019

    The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, 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. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.

    The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome.

    Areas of interest include, but are not limited to:
    - Natural language syntax, semantics, and pragmatics
    - Linguistic typology and semantic universals
    - Language evolution and learnability
    - Historical linguistics, history of logic
    - Natural logic, inference and entailment in natural language
    - Logic, games, and formal pragmatics
    - Logics for artificial intelligence and computer science
    - Constructive, modal and algebraic logic
    - Categorical logic
    - Algorithmic game theory
    - Computational social choice
    - Formal models of multiagent systems
    - Information retrieval, query answer systems
    - Distributional and probabilistic models of information, meaning and computation
    - Models of computation.

    For more information, see http://events.illc.uva.nl/Tbilisi/Tbilisi2019/ or contact Peter van Ormondt at .
  • 16 - 20 September 2019, Workshop on Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM), Batumi, Georgia

    Date: 16 - 20 September 2019
    Location: Batumi, Georgia
    Deadline: Monday 1 April 2019

    The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction. This workshop will take place at the 13th International Tbilisi Symposium on Language, Logic and Computation.

    It is commonly assumed in both semantics and syntax that there is a distinction between inner aspect (lexical or predicational aspect) and outer aspect (grammatical aspect) (e.g. Smith 1991/97; Cinque 1999; Travis 2010 for spoken languages; Bross 2018 for sign languages). Inner aspect pertains to the distinction between telic and atelic predicates at the level of the VP (the verb and its argument(s)), and the compositional derivation of telicity, going back to works by Verkuyl (1972) and Krifka (1989). Outer aspect, on the other hand, is concerned with, e.g., imperfective (IPF) and perfective (PF) verb forms that are associated with (im)perfective meanings in finite sentences (see, e.g., Klein 1994). At the same time both levels of aspect interact, with grammatical aspect commonly taken to operate on the level of inner aspect (see, e.g., de Swart 1998 for an early treatment of this interaction). The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction.

  • 23 - 27 July 2019, Kurt Goedel's Legacy: Does Future lie in the Past?, Vienna, Austria

    Date: 23 - 27 July 2019
    Location: Vienna, Austria
    Deadline: Monday 1 April 2019

    In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.

    The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.

    Program will consist of the invited talks, contributed talks and posters.

    For more information, see https://kgs.logic.at/goedels-legacy/.
  • 19 - 21 June 2019, Masterclass in the Philosophy of Mathematical Practice with Marcus Giaquinto, Brussels, Belgium

    Date: 19 - 21 June 2019
    Location: Brussels, Belgium
    Target audience: PhDs and Postdocs
    Costs: Free
    Deadline: Monday 1 April 2019

    The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its Third Masterclass in the Philosophy of Mathematical Practice on June, 19-21 with Prof. Dr. Marcus Giaquinto. The Masterclass will be composed of three lectures, the tentative titles of which are as follows:

    Lecture 1 (Wednesday, 19/6): A priori and a posteriori in mathematics.

    Lecture 2 (Thursday, 20/6): Is the distinction between proofs and non-proofs in mathematics objective?

    Lecture 3 (Friday, 21/6): Can mathematical arguments have aesthetic value?

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

    We invite early career researchers who would be interested to present their work to send us an abstract of at most 1 page by April, 1st. Please submit your abstract, including your affiliation information, by sending it to the following email address: . The talks will be of a duration of around 20 minutes (not including discussion). Notification of acceptance will be sent out by the middle of April. Notice that submitting an abstract is not mandatory for attending the Masterclass.

  • CfP special issue of LMCS on Continuity, Computability, Constructivity

    Deadline: Monday 1 April 2019

    After a year of successful work in the EU-MSCA-RISE project "Computing with Infinite Data" (CID) and an excellent Workshop "Continuity, Computability, Constructivity: From Logic to Algorithms 2018" (CCC 2018) in Faro (Portugal) in September this year, we are planning to publish a collection of papers dedicated to the meeting and to the project as a Special Issue in the open-access journal "Logical Methods in Computer Science" (LMSC).

    The issue should reflect progress made in Computable Analysis and related areas, and is not restricted to work in the CID project or presented at the Workshop. Submissions are welcome from all scientists on topics in the entire spectrum from logic to algorithms.

  • 13 - 17 May 2019, 24th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, Poland

    Date & Time: 13 - 17 May 2019, 14:00
    Location: Szklarska Poręba, Poland
    Target audience: logic, logical philosophy, pragmatics, foundations of mathematics, foundations of computer science and related areas
    Deadline: Tuesday 2 April 2019

    The meeting takes place in Szklarska Poręba, in the lovely Sudetes Mountains on the Polish-Czech border. Our event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

    Our invited speakers are:

    • Andreas Herzig, Université Paul Sabatier, Toulouse;
    • Emil Jeřábek, Czech Academy of Sciences, Prague.

    We encourage everyone who is interested in logic to participate in our event.

    Contributions related to logic,logical philosophy, pragmatics, foundations of mathematics, foundations of computer science and related areas are welcome.The abstracts of about 30 minutes talks, not extending one page, should be submitted before April 2, 2019 and the notification of acceptance will be sent until April 12, 2019. The detailed information regarding submission of abstracts will be available in the forthcoming announcements and on the conference's website.

    For more information, see http://www.applications-of-logic.uni.wroc.pl/ or contact Marcin Selinger at .
  • 3 - 6 June 2019, 8th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, England

    Date: 3 - 6 June 2019
    Location: London, England
    Deadline: Wednesday 3 April 2019

    CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).  It aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

    The eighth edition will be held in London, UK, colocated with MFPS XXXV. It will have three invited speakers, and a joint special session with MFPS. It will also feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants.

    CALCO invites three categories of submissions:
    * Full technical papers that report
     - results of theoretical work on the mathematics of algebras and coalgebras, 
      - the way these results can support methods and techniques for software development, as well as
     - experience with the transfer of the resulting technologies into industrial practice.
    * Early ideas abstracts that lead to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute.
    * Tool papers that report on the development and use of tools for algebraic and coalgebraic methods in computer science.

    For more information, see https://www.coalg.org/calco-mfps-2019/.
  • 17 - 19 July 2019, 17th Conference onTheoretical Aspects of Rationality & Knowledge (TARK 2019), Toulouse, France

    Date: 17 - 19 July 2019
    Location: Toulouse, France
    Deadline: Wednesday 3 April 2019

    The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

    Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).

    Submissions are now invited to TARK 2019. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. TARK reviewing is not double-blind, so author names can be included in the submission.

    For more information, see https://tark.irit.fr/.
  • (New) 24 May 2019, IWCS’19 Workshop on Vector Semantics for Dialogue and Discourse (VSDD)

    Date: Friday 24 May 2019
    Location: IWCS Conference in Gothenburg
    Target audience: researchers using vector space methods for semantics in the realm of sentence, dialogue, and discourse
    Deadline: Sunday 7 April 2019

    Vector models of meaning have revolutionised computational linguistics via their ability to reflect semantic similarities and regularities while providing flexibility to model dynamics and change. However, despite much recent interest inextending these models from the level of words to larger phrases and sentences, there has been little attempt to extend these to the realm of discourse and dialogue. This requires a shift in perspective, moving beyond the static word/sentence view of language to a dynamic perspective seeing language as a set of mechanisms for real-time interactions, encompassing a whole range of actions both sub- and supra-sentential.

    This workshop hopes to bring together researchers using vector space methods for semantics in the realm of dialogue and discourse to discuss these challenges and fill this gap. We are planning this event as an open discussion session, with three keynote speakers (see below) and otherwise individual participants having a short slot to discuss a presented poster, with plenty of time allowed for free interactive exchange.

    Abstract Format: Abstracts should: be anonymous; be no longer than 2 A4 pages including references; be in .pdf format; use single line spacing, 11pt font with 1-inch margins.

    Topics of interest: Distributional Semantics, Vector Space Semantics, Composition Functions, Word Embeddings in Dialogue Systems, Distributional Pragmatics, Vector Composition beyond the Sentence, Sub-sentential Vector Composition, Incremental, Semantic Parsing in Vector Space, Underspecification, Hybrid Symbolic-Distributional Models, Representation Learning for Dialogue & Discourse, Vector Space Models of Dialogue & Discourse Context, Language Grounding.

    For more information, see https://sites.google.com/site/dialoguevector/ or contact Mehrnoosh Sadrzadeh at .
  • 29 - 30 June 2019, 5th Int. Workshop on Structures and Deduction 2019 (SD 2019), Dortmund, Germany

    Date: 29 - 30 June 2019
    Location: Dortmund, Germany
    Deadline: Friday 12 April 2019

    SD?19 is the fifth in a series of workshops aiming to gather various communities of structural proof theorists. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.

    We welcome submission of work that has already been published or currently submitted to a journal or conference. The following submission categories are welcome:
    - Extended abstracts (up to 8 pages). Finished work, system descriptions, surveys.
    - Short abstracts (up to 4 pages). Work-in-progress, perspectives on existing work.

    For more information, see http://anupamdas.com/sd19/ or contact .
  • 9 - 13 September 2019, 12th International Conference on Words (WORDS 2019), Loughborough, England

    Date: 9 - 13 September 2019
    Location: Loughborough, England
    Deadline: Friday 12 April 2019

    WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others.

    Invited Speakers: Florin Manea (Kiel), Svetlana Puzynina (St. Petersburg), Antonio Restivo (Palermo), Gwenaël Richomme (Montpellier), Aleksi Saarela (Turku), and Kristina Vuskovic (Leeds).

    Submitted papers should not exceed 12 pages and be prepared according to the following guidelines and LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint (updated before submission). Only original submission which have not been submitted for publication elsewhere will be considered.

    For more information, see http://words2019.lboro.ac.uk or contact .
  • (New) 10 - 12 August 2019, 5th Workshop on Bridging the Gap between Human and Automated Reasoning, Macau, China

    Date: 10 - 12 August 2019
    Location: Macau, China
    Deadline: Friday 12 April 2019

    This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.

    Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.

    Topics of interest include, but are not limited to the following:

    - limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning - benchmark problems relevant in both fields - approaches to tackle benchmark problems like the Winograd Schema Challenge or the COPA challenge - predicting an individual reasoners response (see https://www.cognitive-computation.uni-freiburg.de/modelingchallenge)

    This year's Bridging workshop will accept papers and submissions to the PRECORE challenge:

    Papers, including the description of work in progress, are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2019

    The PRECORE challenge is based on CCOBRA (https: //www.cognitive-computation.uni-freiburg.de/modelingchallenge), a Python framework for the behavioral analysis of reasoning models. The framework does not pose restrictions with respect to formalisms as long as individual predictions to syllogistic problems can be generated. Final model submissions are due on May 15th, 11:59 UTC-12 as a zip-archive. Please describe your model on a conceptual level on two pages in the workshop template. Details on the submission of the zip-archive can be found at: https://www.cognitive-computation.uni-freiburg.de/modelingchallenge

  • 27 - 30 August 2019, The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, The Netherlands

    Date: 27 - 30 August 2019
    Location: Amsterdam, The Netherlands
    Deadline: Monday 15 April 2019

    The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

    CONCUR is co-located with:
    - the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
    - the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
    - the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
    - the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
    - the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

    CONCUR 2019 solicits high quality papers reporting research results and/or experience related to semantics, logics, verification and analysis of concurrent systems. All papers must be original, unpublished, and not submitted for publication elsewhere.

    For more information, see https://event.cwi.nl/concur2019/.
  • 24 - 26 August 2019, 14th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019), Natal, Brazil

    Date: 24 - 26 August 2019
    Location: Natal, Brazil
    Deadline: Friday 19 April 2019

    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.

    LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).

    Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds (preliminary results and work in progress), original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty.

    Topics of interest include, but are not limited to: Specification languages and meta-languages, Formal semantics of languages and logical systems, Logical frameworks, Semantic frameworks, Type theory, Proof theory, Automated deduction, Implementation of logical or semantic frameworks, Applications of logical or semantic frameworks, Computational and logical properties of semantic frameworks, Logical aspects of computational complexity, Lambda and combinatory calculi, Process calculi.

  • 19 - 22 August 2019, 11th Principia International Symposium: The Quest for Knowledge, Florianopolis, Brazil

    Date: 19 - 22 August 2019
    Location: Florianopolis, Brazil
    Deadline: Saturday 20 April 2019

    Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.

    We welcome contributions that address any aspect of knowledge and other epistemic concepts, as well as critical assessments of historical and contemporary stances on the matter. Contributed papers to the symposium may be written in English, French, Portuguese, or Spanish.

  • 4 - 6 September 2019, The 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), London, England

    Date: 4 - 6 September 2019
    Location: London, England
    Deadline: Sunday 21 April 2019

    FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. If we also count the IJCAR editions, this year FroCoS celebrates its 20th edition.

    FroCoS 2019 will be co-located with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019). The two conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. Like its predecessors, FroCoS 2019 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use.

    The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation.

    For more information, see https://www.frocos2019.org or contact .
  • 3 - 5 September 2019, 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), London, England

    Date: 3 - 5 September 2019
    Location: London, England
    Deadline: Sunday 21 April 2019

    TABLEAUX is the main international conference at which research on all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of tableaux-based reasoning and related methods is presented. Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For many logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

    TABLEAUX 2019 will be co-located with the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.

    We invite submissions on any of the topics of interest to the conference. Submissions are invited in three categories:
    (A) research papers reporting original theoretical research or applications, with length up to 15 pages;
    (B) system descriptions, with length up to 9 pages;
    (C) position papers and brief reports on work in progress, with length up to 9 pages.

    We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning and on logical aspects of the solution.

    For more information, see https://www.tableaux2019.org or contact .
  • 18 - 19 July 2019, 16th Meeting on the Mathematics of Language (MoL 2019), Toronto ON, Canada

    Date: 18 - 19 July 2019
    Location: Toronto ON, Canada
    Deadline: Monday 22 April 2019

    MOL is devoted to the study of mathematical structures and methods that are of importance to the description of language.

     

    MOL invites the submission of papers on original, substantial, completed, and unpublished research. All submissions must follow the style set out in the conference style files, which are available at the conference website. 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.

    For more information, see http://www.molweb.org/mol2019/ or contact .
  • Logo.png

    23 - 25 May 2019, 65th StuTS, Cologne

    Date & Time: 23 - 25 May 2019, 09:00-19:00
    Location: Cologne
    Target audience: Students and young researchers
    Costs: 40€
    Deadline: Monday 22 April 2019

    StuTS is short for German Studentische Tagung Sprachwissenschaften which translates roughly to student conference for linguistics and it offers an interesting programme from linguistics and related disciplines, with expert keynotes, student presentations and workshops, tours and demos, and of course a social programme with the best that Cologne has in store for students. We are looking forward to welcoming you all in Cologne from 23 to 25 Mai, 2019.

    We are inviting students of linguistics and related disciplines from BA to PhD level to present their work at the 65th StuTS, which takes place from Mai 23 to 25, 2019 in Cologne. Feel free to present work from class projects, your bachelor’s or master’s thesis, or a project you are working on. We are also inviting language or technology related workshops from students who want to share their insights. The topics should somehow fit into the general topic of linguistics and language research and we would appreciate a wide variety of topics.

    Presentations will last for 20 minutes and there will be 10 minutes for questions. Longer slots are available for longer talks or workshops upon request. For information on language requirements, please see the website.

    For more information, see https://65.stuts.de/en/ or contact Organisational Team at .
  • 5 - 9 August 2019, ESSLLI 2019 Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, Riga, Latvia

    Date: 5 - 9 August 2019
    Location: Riga, Latvia
    Deadline: Thursday 25 April 2019

    Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.

    Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.

    We invite original contributions (up to 12 pages) of previously unpublished work. Submission of substantial, albeit partial results of work in progress is welcomed.

    We also invite extended abstracts (3 pages) of previously published work that is recent and relevant to the workshop. These should include a link to a separately published paper or preprint.

    For more information, see https://sites.google.com/view/semspace2019/.
  • 1 - 2 August 2019, 1st ACL Workshop on Gender Bias for Natural Language Processing, Florence, Italy

    Date: 1 - 2 August 2019
    Location: Florence, Italy
    Deadline: Friday 26 April 2019

    Gender and other demographic biases in machine-learned models are of increasing interest to the scientific community and industry. Models of natural language are highly affected by such perceived biases, present in widely used products, can lead to poor user experiences. This workshop will be the first dedicated to the issue of gender bias in NLP techniques and it includes a shared task on coreference resolution. In order to make progress as a field, this workshop will specially focus on discussing and proposing standard tasks which quantify bias.

    Keynote Speaker: Pascale Fung, Hong Kong University of Science and Technology

     

    Contact persons

    General Workshop:

     

    We invite submissions of technical work exploring the detection, measurement, and mediation of gender bias in NLP models and applications. Other important topics are the creation of datasets exploring demographics such as metrics to identify and assess relevant biases or focusing on fairness in NLP systems. Finally, the workshop is also open to non-technical work welcoming sociological perspectives.

    We also invite work on gender-fair modeling via our shared task, coreference resolution on GAP (Webster et al. 2018). GAP is a coreference dataset designed to highlight current challenges for the resolution of ambiguous pronouns in context. Participation will be via Kaggle, with submissions open over a three month period in the lead up to the workshop.

    For more information, see http://genderbiasnlp.talp.cat or contact Marta R. Costa-jussà at , or Kellie Webster at .
  • 21 - 25 September 2019, 35th International Conference on Logic Programming (ICLP 2019), Las Cruces NM, U.S.A.

    Date: 21 - 25 September 2019
    Location: Las Cruces NM, U.S.A.
    Deadline: Saturday 27 April 2019

    Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages, Declarative programming, Implementation, Related Paradigms and Synergies, and Applications.

    Besides the main track, ICLP 2019 will host additional tracks and special sessions:
    - Applications Track
    - Sister Conferences and Journal Presentation Track
    - Special Session: Women in Logic Programming
    - Research Challenges in Logic Programming Track

    Three kinds of regular papers will be accepted: Technical papers for technically sound, innovative ideas that can advance the state of logic programming, Application papers that impact interesting application domains, and System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Deadline: 27 April 2019.

    Additionally, those interested in organizing a workshop at ICLP 2019 are invited to submit a workshop proposal. Deadline: 15 April 2019.

    For more information, see https://www.cs.nmsu.edu/ALP/iclp2019/.
  • (New) 23 - 25 September 2019, 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA), Graz, Austria

    Date: 23 - 25 September 2019
    Location: Graz, Austria
    Deadline: Tuesday 30 April 2019

    This workshop is part of The Joint Ontology WOrkshops (JOWO) Episode V. The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models.

    The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users.

    We welcome two types of submissions: research articles (for presenting original unpublished work, neither submitted to, nor accepted for, any other venue) and extended abstracts (for presenting work in progress, brief descriptions of doctoral theses, or general overviews of research projects). Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines.

    For more information, see http://www.loa.istc.cnr.it/WODHSA/.
  • 29 - 30 October 2019, 5th International Conference on the History and Philosophy of Computing (HaPoC 2019), Bergamo, Italy

    Date: 29 - 30 October 2019
    Location: Bergamo, Italy
    Deadline: Tuesday 30 April 2019

    Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. People connected to the Internet can enjoy an unprecedented amount of information and computing power at their disposal, but more and more negative side effects of a widespread use of computers are brought to our attention: automation bias, echo chambers, shortened attention spans, job displacement, election hacking are just a few examples. The need to conduct a systematic and well-informed discussion in a context ranging from theoretical and mathematical problems to labour and resource exploitation issues is evident.

    HaPoC's appeal to historical and philosophical reflection aims at addressing this shortcoming. We aim to bring together researchers exploring the various aspects of computation: historians, philosophers, computer scientists, sociologists, anthropologists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, all part of a society impacted by computation, and all necessary to the creation of a better discourse.

    For HaPoC 2019, we welcome contributions from scholars who intend to participate in the debate on the impact of computers on culture, science, and society from the perspective of their area of expertise, and who are open to engage in interdisciplinary discussions across multiple fields. Accepted papers will be presented in 30 minute slots including discussion.

  • (New) 23 - 25 September 2019, Second Workshop on INteraction-based Knowledge Sharing (WINKS-2), Graz, Austria

    Date: 23 - 25 September 2019
    Location: Graz, Austria
    Deadline: Tuesday 30 April 2019

    This Second Workshop on INteraction-based Knowledge Sharing (WINKS-2) collocated with JOWO 2019 is aimed at researchers and practitioners investigating issues related to aspects of (autonomous) knowledge sharing, where the integration of knowledge is inherently interaction-based, irrespective of whether the interaction is machine to machine, or human to machine.

    Gradually expanding, distributed systems heighten the need of dynamic interactive knowledge-sharing processes and ever more sophisticated mechanisms are used to acquire and elicit knowledge. A paradigm shift has emerged that views knowledge creation, curation and evolution as a collaborative and interactive process between autonomous entities. As a highly interdisciplinary workshop, WINKS-2 invites submissions that address the fundamental issues and challenges posed by interaction-based approaches to knowledge sharing. At the same time, we are interested in submissions that provide solutions for allowing knowledge sharing interactively, with a particular focus on the processes, mechanisms and protocols underlying the proposed solution.

    3 types of submissions are sollicited:
    - Full papers: mature work describing original research and its validation (10-12 pages including references)
     - Short papers: research papers describing interesting new open issues and challenges, and opinions on the status of the field (5-6 pages including references)
     - Demonstration notes: research papers describing the development of a system that is to be part of the system demonstration session of the workshop (5-6 pages including references).
    Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. All submissions should be double-blind and will receive a minimum of two peer reviews.

    For more information, see https://www.iiia.csic.es/winks-2/.
  • 2 - 4 October 2019, Trends in Logic 2019, Moscow, Russia

    Date: 2 - 4 October 2019
    Location: Moscow, Russia
    Deadline: Wednesday 1 May 2019

    The 19th Trends in Logic international conference will be held in Moscow, Russia from October 2 to October 4, 2019. It is organized by the National Research University Higher School of Economics and the journal Studia Logica.

    Invited Speakers:
    • Lev Beklemishev (Moscow, Russia)
    • Johan van Benthem (Amsterdam, The Netherlands)
    • Per Martin-Löf (Stokholm, Sweden)
    • Graham Priest (New York, USA)

    We invite submissions presenting substantial recent advances in formal philosophical logic.

  • 8 July 2019, 20th International Workshop on Logic and Computational Complexity (LCC 2019), Patras, Greece

    Date: Monday 8 July 2019
    Location: Patras, Greece
    Deadline: Wednesday 1 May 2019

    LCC meetings are aimed at the foundational interconnections between logic and computational complexity. LCC'19 will be collocated with ICALP 2019. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.

    Submissions must be in English and in the form of an abstract of about 3-4 pages. We also welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time.

    For more information, see http://www.cs.swansea.ac.uk/lcc/ or contact .
  • 23 - 26 September 2019, German conference on Artificial Intelligence (KI 2019), Kassel, Germany

    Date: 23 - 26 September 2019
    Location: Kassel, Germany
    Deadline: Sunday 12 May 2019

    KI 2019 is the 42nd edition of the German Conference on Artificial Intelligence organized in cooperation with the AI Chapter of the German Society for Informatics (GI-FBKI).

    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. While KI is primarily attended by researchers from Germany and neighboring countries, it warmly welcomes international participation.

     

    We invite papers, which have to be in English and formatted according to the Springer LNCS style, in the following three categories:
    - Full technical papers reporting on new research that makes a substantial technical contribution to the field
    - Technical communications reporting on research in progress or other issues of interest to the AI community
    - Abstracts of papers accepted at (most recent editions of) major AI conferences
    Submission deadline; May 12th, 2019.

    We also invite proposals for workshops and tutorials to be held at the first day (September 23) of the conference week. Topics include all subareas of artificial intelligence as well as their foundations and applications. Submission deadline: March 1, 2019.

    Finally, the doctoral consortium provides an opportunity for PhD students to discuss their research interests and career objectives with established researchers in AI and network with other participants. Submission deadline: June 10th, 2019.

    For more information, see http://www.ki2019.de or contact .
  • 23 - 25 September 2019, Joint Ontology WOrkshops (JOWO 2019), Graz, Austria

    Date: 23 - 25 September 2019
    Location: Graz, Austria
    Deadline: Wednesday 15 May 2019

    The JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats.

    The following workshops are being organized:

    • 2nd International Workshop on Bad or Good Ontology (BOG)
    • Cognition And OntologieS (CAOS IV)
    • Contextual Representations of Events and Objects in Language (CREOL).
    • Workshop on Data meets Applied Ontologies in Open Science and Innovation (DAO-SI)
    • 10th International Workshop on Formal Ontologies meet Industry (FOMI)
    • Workshop on Foundational Ontology (FOUST).
    • Ontologies and Data in Life Sciences 2019 (ODLS 2019)
    • The Shape of Things (SHAPES 5.0).
    • Social, Legal and Economic Entities (SoLEE)
    • Second Workshop on INteraction-based Knowledge Sharing (WINKS-2)
    • 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA)
    • 4th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2019)

    In addition, JOWO 2019 will host four tutorials:

    • Data-driven ontology engineering with Relational Concept Analysis (DOnEReCA)
    • Introduction to Foundational Ontologies (FOUNT)
    • SNOMED CT Tutorial
    • Top Level Ontologies (ISO/IEC 21838)

    Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. As in earlier years, selected contributions to JOWO workshops with a minimum of 5 pages will be published in a joint CEUR proceedings volume.

    For more information, see https://www.iaoa.org/jowo/2019/ or contact .
  • (New) 31 October - 2 November 2019, 30th Novembertagung on the History and Philosophy of Mathematics, Strasbourg, France

    Date: 31 October - 2 November 2019
    Location: Strasbourg, France
    Deadline: Wednesday 15 May 2019

    The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history and philosophy of mathematics.

    Mathematical knowledge is commonly thought of as being essentially universal: its truths are eternal and incontrovertible, its propositions understandable and agreeable by all, independent of linguistic, cultural, ethnic or religious backgrounds. However, global knowledge, as mathematics seems to be, is always produced locally. As such, it hinges upon collectively shared ways of practicing, writing, and communicating mathematics. This year's Novembertagung invites participants to reflect on the theme 'Mathematical Cultures, Values, & Norms'. The invited speakers are June Barrow-Green (Open University) and Roy Wagner (ETH Zurich).

    We are looking for contributions by PhD students and early career researchers on the theme of this years conference: Mathematical Cultures, Values and Norms. Contributions less strictly related to this theme are also welcome; however, establishing links with the theme will allow for more fruitful discussions, and as such is recommended. We are happy to host presentations pertaining to historical, historiographical, or philosophical discussions of this theme.

  • 18 - 21 October 2019, The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), South-West University, Chongqing, China

    Date: 18 - 21 October 2019
    Location: South-West University, Chongqing, China
    Deadline: Monday 20 May 2019

    The ​ International Conference on Logic, Rationality and Interaction (LORI) ​ conference series aims at bringing
    together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

    We invite submission of contributed papers on any of the broad themes of the LORI series. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your title and abstract by May 13, 2019, and your full paper by May 20, 2019. Submission is via the EasyChair for LORI-VII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information​ , and some will later be considered for publication in a special issue of an international journal.

    For more information, see http://golori.org/lori2019/ or contact Meiyun Guo at .
  • CfP for Special issue on "Imprecise Probabilities, Logic and Rationality" of the International Journal of Approximate Reasoning (IJAR)

    Deadline: Saturday 1 June 2019

    This special Issue intends to contribute to the state-of-the-art of the interactions and connections between imprecise probabilities and logic, and more generally with formal theories of rationality, the hope being that this cross-disciplinary view will lead to new exciting perspectives for both communities and related areas.

    Topics of interests include but are not limited to the following:

    • IP and (modal/epistemic/dependence/probabilistic/possibilistic…) logic
    • IP and game/decision theory
    • IP and formal epistemology/deductive sciences
    • IP and StarAI
    • IP and coalgebra
    • applications of logic and formal languages to IP
    • applications of IP to logic
    • Logical, algebraic, categorical foundations of IP
  • (New) 24 - 26 October 2019, Conference on Rational Approaches in Language Science (RAILS), Saarbruecken, Germany

    Date: 24 - 26 October 2019
    Location: Saarbruecken, Germany
    Deadline: Saturday 1 June 2019

    The language sciences increasingly have in common their adoption of rational probabilistic approaches, such as Bayesian, Information Theoretic, and Game Theoretic frameworks. The goal of this conference is to bring together speech and language researchers whose scientific contributions reflect the full diversity of disciplines and methodologies - from speech to discourse, on-line processing to corpus-based investigation, through to language change and evolution - that have benefited from, and share, such rational explanations.

    Keynote speakers: Gerhard Jaeger (Tuebingen University), Gina Kuperberg (Tufts University), Hannah Rohde (University of Edinburgh) and Rory Turnbull (University of Hawaiʻi at Mānoa).

    We therefore seek submissions from across the language sciences - including speech science, theoretical linguistics, empirical linguistics, psycholinguistics and neuroscience, computational linguistics, as well as language development, change and evolution - which apply rational probabilistic explanations to linguistic phenomena, or bring novel experimental findings to bear on such accounts.

    Submissions in the form of 400 word abstracts are to be submitted electronically. Submission will be considered for either oral or poster presentation.

    For more information, see http://rails.sfb1102.uni-saarland.de/.
  • 16 - 19 October 2019, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Malaga, Spain

    Date: 16 - 19 October 2019
    Location: Malaga, Spain
    Deadline: Friday 7 June 2019

    ince 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 will be organized as a combination of technical paper presentations, keynote talks, and tutorials, encompassing three tracks (Time in Artificial Intelligence, Temporal DataBases, Temporal Logic and Reasoning).

    TIME 2019 accepts submission in PDF format, not longer than 15 pages excluding references and appendix, formatted following the LIPIcs instructions, and preferibly redacted in LaTex. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2019 must be original, and parallel submissions of the same material to other conferences or journals is not allowed.

    For more information, see https://sites.google.com/unife.it/time-2019.
  • 26 August 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019), Amsterdam, The Netherlands

    Date: Monday 26 August 2019
    Location: Amsterdam, The Netherlands
    Deadline: Friday 21 June 2019

    The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

    Invited speakers: Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany).

    We invite two types of submissions: * Full papers (up to 15 pages, excluding references) and Short papers (up to 5 pages, excluding references, not included in the workshop proceedings).

     We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as, for instance: - computer security - multi-agent systems - programming languages and formal verification - reversible computation - knowledge representation.

  • 13 - 16 January 2020, CSL 2020: Computer Science Logic, Barcelona, Spain

    Date: 13 - 16 January 2020
    Location: Barcelona, Spain
    Deadline: Thursday 4 July 2019

    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.

    Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.

    For more information, see http://www.cs.upc.edu/csl2020/ or contact Maribel Fernandez at , or Anca Muscholl at .

Upcoming conferences

  • 22 - 23 March 2019, Mathematics in Philosophy: Purity and Idealization, Notre Dame IN, U.S.A.

    Date: 22 - 23 March 2019
    Location: Notre Dame IN, U.S.A.
    In honor of the 70th birthday of Professor Mic Detlefsen, the University of Notre Dame will host a conference on twin themes in Detlefsen's work: Purity and Idealization in the Philosophy of Mathematics. All are welcome.
    For more information, see https://philosophy.nd.edu/Detlefsen or contact Paddy Blanchette at , Tim Bays at , or Curtis Franks at .
  • 22 - 24 March 2019, The 30th International Conference on Algorithmic Learning Theory (ALT 2019), Chicago IL, U.S.A.

    Date: 22 - 24 March 2019
    Location: Chicago IL, U.S.A.

    The ALT 2019 conference is dedicated to all theoretical and algorithmic aspects of machine learning.

    Invited speakers: Sanjeev Arora (Princeton University) and Jennifer Wortman Vaughan (Microsoft Research, New York City).
  • 25 - 29 March 2019, 13th International Conference on Language and Automata Theory and Applications (LATA 2019), St Petersburg, Russia

    Date: 25 - 29 March 2019
    Location: St Petersburg, Russia

    LATA is a conference series on theoretical computer science and its applications. LATA 2019 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 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).

    For more information, see http://lata2019.irdta.eu/.
  • 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
    For more information, see http://ls.informatik.uni-tuebingen.de/PTS3/.
  • 27 - 28 March 2019, Third Symposium on Compositional Structures (SYCO 3), Oxford, England

    Date: 27 - 28 March 2019
    Location: Oxford, England

    The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language.  This new series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic".

    Invited speakers: Marie Kerjean (INRIA Bretagne Atlantique)  and Alessandra Palmigiano (Delft University of Technology and University of Johannesburg).

  • 29 - 30 March 2019, "The Creative Power of Metaphor", Oxford, England

    Date: 29 - 30 March 2019
    Location: Oxford, England

    Join us for an innovative 2-day conference on the nexus between Metaphor, Linguistic Diversity, and Creativity.

    The conference will be structured around four themes. Each theme will be introduced in a keynote lecture, and developed in a plenary round-table discussion featuring selected panelists. Panelists will address general questions as well as questions raised by the audience. Moreover, two extensive Poster sessions will be dedicated to present specific studies related to the four themes.

    Themes:
    - Metaphor and Linguistic Diversity (keynote speaker: Lera Boroditsky)
    - Metaphor and Emotion (keynote speaker: Zoltán Kövecse)
    - Metaphor and Communication (keynote speaker: Gerard Steen)
    - Metaphor and Creativity (keynote speaker: Rachel Giora)

     

  • 3 - 5 April 2019, Workshop "Reasoning, Argumentation and Logic in Natural Language: Experiments and Models", Bochum, Germany

    Date: 3 - 5 April 2019
    Location: Bochum, Germany

    The workshop examines reasoning, argumentation and logic from the perspective of experimental pragmatics. Whereas these issues have a long tradition in the philosophy of language and theoretical linguistics, research in experimental pragmatics has come to focus on them only recently. This is surprising since pragmatic phenomena exert strong influence on which arguments count as sound and valid in everyday reasoning. Relevant phenomena include (a) the disambiguation of polysemous words, (b) context effects on the interpretation of content words and (c) pragmatic properties of logical connectives (e.g., order effects associated with and) as well as of quantifiers (e.g., the scalar implicature from some to not all). The workshop focuses on (i) experimental approaches and (ii) empirically driven models regarding these as well as other pragmatic phenomena in the domain of argumentation and reasoning.

  • (New) 3 April 2019, ILLC Current Affairs Meeting

    Date & Time: Wednesday 3 April 2019, 16:30-18:00
    Location: ILLC Common Room, ILLC, Science Park 107, Amsterdam
    As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.
    For more information, contact .
  • 6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech Republic

    Date: 6 - 11 April 2019
    Location: Prague, Czech Republic

    ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.

    Main conferences:
    - ESOP: European Symposium on Programming
    - FASE: Fundamental Approaches to Software Engineering
    - FoSSaCS: Foundations of Software Science and Computation Structures
    - POST: Principles of Security and Trust
    - TACAS: Tools and Algorithms for the Construction and Analysis of Systems
    TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).

    A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.

  • 7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria

    Date: 7 - 12 April 2019
    Location: Obergurgl, Austria

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

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

    For more information, see http://aitp-conference.org/2019.
  • 8 - 11 April 2019, Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA 2019), Las Vegas NV, U.S.A.

    Date: 8 - 11 April 2019
    Location: Las Vegas NV, U.S.A.

    The CogSIMA conference series provides an annual venue for presenting multi-disciplinary research on complex heterogeneous dynamical systems - of interacting humans, machines, computer agents and/or networks - whose individual and/or collective behavior depends on their Situation Awareness.

    Examples of systems include a variety of command and control systems, disaster monitoring and recovery systems, human-robot teams, physical and cyber security situation awareness systems, intelligent transportation systems, health care medical situation control systems, and many other systems.

    The CogSIMA conferences are aimed at researchers and practitioners from academia, industry and government, with a wide variety of backgrounds and experience including computer science, artificial intelligence, human factors, cognitive science, modeling & simulation, robotics, and systems engineering.

    For more information, see http://www.cogsima2019.org or contact .
  • 8 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, England

    Date: 8 - 12 April 2019
    Location: Birmingham, England

    These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.

    The main parts of the programme are:
    - A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
    - Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
    - Contributed talks from other participants - if you wish to offer one, please submit an abstract.

    For more information, see http://www.cs.bham.ac.uk/~sjv/6WFTop/.
  • 9 April 2019, CROSSING THE BOUNDARIES: LANGUAGE IN INTERACTION, Nijmegen, the Netherlands

    Date: Tuesday 9 April 2019
    Location: Nijmegen, the Netherlands
    Target audience: PhD students
    Costs: Free

    Broca and Wernicke’s breakthroughs in the 19th century paved the way to the current knowledge of language in the human brain. Yet, current research on this topic has gone above and beyond the scope of neuropsychology, with contributions from neuroscience, computer modelling, linguistics and genetics. The knowledge from these disciplines helped paint a more comprehensive picture of how the language system is organized in the brain. However, there is a theoretical gap between all these findings: solid evidence exists for how discrete elements of the language system are organized and work, but comprehensive models that encompass these separate results are still lacking. This reductionist bias is further exacerbated when overlooking the communicative aspect of language: are we able to fully explain how two human beings are able to communicate in an effective way?

    In this symposium experts from different disciplines will explore how their fields of expertise can come together to provide an integrated understanding of human language.

    For more information, see https://www.languageininteraction.nl/research/lii-symposium.html or contact Lotte Eijk, João Ferreira, Guilherme Freches or Marlou Rasenberg at .
  • 13 - 16 April 2019, 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), Kitakyushu, Japan

    Date: 13 - 16 April 2019
    Location: Kitakyushu, Japan

    TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”.  TAMC 2011 was held in Tokyo, Japan.

  • 13 - 14 April 2019, The 20th Annual Graduate Student Conference in Logic (GSCL XX), Chicago IL, U.S.A.

    Date: 13 - 14 April 2019
    Location: Chicago IL, U.S.A.
    Target audience: graduate students

    Next semester the University of Illinois at Chicago is hosting the annual graduate student conference in logic. It will be a weekend long conference with one plenary talk from a professor in Model Theory or Set Theory and then talks from grad students.

    It is most likely that free housing and a few meals will be provided for all participants, while funding for travel expenses will be limited to national flights.

    For more information, see https://www.math.uic.edu/lhls/GSCLXX/ or contact .
  • 14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, England

    Date: 14 - 18 April 2019
    Location: Birmingham, England

    The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.

    Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.

    For more information, see http://events.cs.bham.ac.uk/mgs2019/.
  • 15 - 17 April 2019, "Mathematical Ability", Utrecht, The Netherlands

    Date: 15 - 17 April 2019
    Location: Utrecht, The Netherlands

    Recently, the focus of inquiries intop mathematical cognition is shifting towards the process of mathematical activity: what is it to have mathematical ability, and how do we acquire the knowledge how to do mathematics? These questions are informed by the various E-approaches to cognition (Extended, Embodied, Embedded, Enactive, Enculturated cognition): our bodies, our technology, our environment - both offline and online - our practices, our culture, our education, and our interactional history might all have some role to play in our mathematical ability and the development thereof. How mathematical cognition is shaped by these factors is a broad question that warrants an interdisciplinary approach.

  • 24 - 26 April 2019, PhDs in Logic XI , Bern

    Date: 24 - 26 April 2019
    Location: Bern
    Target audience: PhD students, master students, first-year postdocs
    Costs: No registration fees

    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 usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.

    We welcome students to participate in PhDs in Logic XI regardless of whether they want to submit a contribution. We also encourage students and postdocs in logic from disciplines other than computer science, mathematics, and philosophy to apply.

    For more information, see https://mathsites.unibe.ch/phdlogic2019/index.html or contact Almudena Colacito at .
  • 24 - 26 April 2019, 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART), Leipzig, Germany

    Date: 24 - 26 April 2019
    Location: Leipzig, Germany

    The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

  • 29 - 30 April 2019, Mathematical Collaboration III, Bristol, England

    Date: 29 - 30 April 2019
    Location: Bristol, England

    We are pleased to announce the third edition of the Mathematical Collaboration workshops. After the previous two successful workshops on group knowledge and mathematical collaboration (Oxford 2017) and social virtues in mathematics (St Andrews 2018), this year we return with a focus on communities and communication in mathematics.

    Mathematical progress is a collective endeavour. Researchers build on one another’s work, collaborate, and rely on one another to learn techniques, and to identify interesting problems. Well-designed communities can support inquiry, foster collaboration, and include diverse researchers. Badly-designed communities can stymie inquiry, block collaboration, and can exclude people from marginalised groups. To understand what well-functioning communities look like, and how institutional structures in mathematics might be designed to best support intellectual progress, we need to engage in interdisciplinary inquiry, bringing together mathematical practice, social epistemology, sociology, education, and computer science. We also need to include working mathematicians, and researchers who are working on practical projects to improve the profession.

     

  • 6 - 10 May 2019, The 19th Brazilian Logic Conference (EBL 2019), Joao Pessoa, Brazil

    Date: 6 - 10 May 2019
    Location: Joao Pessoa, Brazil

    The Brazilian Logic Conferences (EBL) is a traditional event of the Brazilian Logic Society (SBL). It has been occurring since 1979. Congregating logicians of different fields and with different backgrounds -- from undergraduate students to senior researchers -- the meeting is an important moment for the Brazilian and South-American logical community to join together and discuss recent developments of the field. The areas of Logic covered spread over Foundations and Philosophy of Science, Analytic Philosophy, Mathematics, Computer Science, Informatics, Linguistics and Artificial Intelligence.

    There will be a Logic School during the conference; speakers and subjects to be announced.

    For more information, see http://ebl2019.ci.ufpb.br/ or contact .
  • (New) 6 - 9 May 2019, 50 years of complexity theory: a celebration of the work of Stephen Cook, Toronto ON (Canada)

    Date: 6 - 9 May 2019
    Location: Toronto ON (Canada)

    This symposium celebrates 50 years of NP-Completeness and the outstanding achievements of Stephen Cook and his remarkable influence on the field of computing.

    The symposium begins Monday evening May 6, with a reception and a public lecture by Christos Papadimitriou. The scientific program continues Tuesday May 7 to Thursday May 9 and features an outstanding set of speakers, including a number of Turing Award and other award winners. On Thursday there will be a student round table lunch with Stephen Cook.

  • 7 - 8 May 2019, Workshop on the History of Arabic Logic, St Andrews, Scotland

    Date: 7 - 8 May 2019
    Location: St Andrews, Scotland

    Since the last century, scholars have acknowledged the original and relevant contribution of medieval Arabic philosophers and thinkers to the development of medieval Western logic and, more generally, to the history of logic. The Workshop on History of Arabic Logic has two main aims: to make better known the richness and importance of Arabic logic, that is, logic developed and studied in Arabic-speaking lands from the 8th to the 15th centuries CE; and to provide a forum for interaction and discussion by scholars of Arabic logic.

    Invited Speakers: Saloua Chatti (Tunis), Khaled El-Rouayheb (Harvard), Wilfrid Hodges (British Academy) and Riccardo Strobino (Tufts).

  • 8 - 10 May 2019, 16th European Conference on Logics in Artificial Intelligence (JELIA-2019), Rende, Italy

    Date: 8 - 10 May 2019
    Location: Rende, Italy

    The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially. JELIA aims at bringing together researchers active in all aspects concerning the use of logics in AI to discuss current research, results, problems, and applications of both a theoretical and a practical nature.

    For more information, see https://jelia2019.mat.unical.it/.
  • 9 - 10 May 2019, Worksh on Non-Causal Explanations: Logical, Linguistic and Philosophical Perspectives, Gent, Belgium

    Date: 9 - 10 May 2019
    Location: Gent, Belgium

    Many disciplines, from mathematics to metaphysics, employ non-causal explanations. But what is the logic (or the logics) of non-causal explanation? What are the pros and cons of different logical approaches? Is the linguistic expression of non-causal explanation specifically codified in some natural language? Can algorithms pick up non-causal explanations in textual databases? The workshop welcomes formal and informal contributions both from within specific disciplines employing non-causal explanations and from a more general perspective.

    Keynote speakers: Hannes Leitgeb (Munich), Francesca Poggiolesi (Paris) and Erik Weber (Ghent).

    For more information, see http://www.lrr.ugent.be/noncausalexplanation/ or contact .
  • 22 - 24 May 2019, International Conference on Simplicities & Complexities, Bonn, Germany

    Date: 22 - 24 May 2019
    Location: Bonn, Germany

    Throughout the 20th century the sciences have approached more and more complex phenomena, in tune with the increased social relevance of scientific knowledge. The perceived need to address complexity head-on has led to a broader reaction against simplification and reductionism within the sciences. However, if simplicity, in its various outfits, has proven an unreliable guide, what should it be replaced with? Looking at the various strategies of addressing complexity in the sciences and the disciplines reflecting upon them, it appears that the notion is at least as variegated as simplicity.

    The aim of the conference is to analyze, differentiate, and connect the various notions and practices of simplicity and complexity, in physics as well as in other sciences. We invite contributors from a spectrum of disciplines, scientists and scholars reflecting on their respective and neighboring research fields, as well as historians, philosophers, and sociologists of science investigating the epistemologies, practices, and discourses of fellow epistemic communities. The conference will thrive on intense discussion surpassing disciplinary boundaries.

  • 23 - 27 May 2019, 13th International Conference on Computational Semantics (IWCS Gothenburg 2019), Gothenburg, Sweden

    Date: 23 - 27 May 2019
    Location: Gothenburg, Sweden

    IWCS is the bi-yearly meeting of SIGSEM, the ACL special interest group on semantics. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and machine learning approaches to computational semantics, and everything in between.

    The main conference will be run from 25-27 May 2019, preceded by workshops on 23-24 May. The areas of interest for the conference include all computational aspects of meaning of natural language within written, spoken, or multimodal communication.

  • 24 May 2019, IWCS Workshop "Computing Semantics with Types, Frames & Related Structures", Gothenburg, Sweden

    Date: Friday 24 May 2019
    Location: Gothenburg, Sweden

    The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.

  • 24 May 2019, Sixth Workshop on Natural Language and Computer Science (NLCS'19), Gothenburg, Sweden

    Date: Friday 24 May 2019
    Location: Gothenburg, Sweden

    A workshop affiliated with the 13th International Conference on Computational Semantics (IWCS 2019)

    Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.

    Invited speakers: Krasimir Angelov (Gothenburg), Rafaella Bernardi, (Trento).

    For more information, see http://www.indiana.edu/~iulg/nlcs.html.
  • 28 - 29 May 2019, Bergen Workshop on Logical Disagreement, Bergen, Norway

    Date: 28 - 29 May 2019
    Location: Bergen, Norway

    Confirmed speakers:
    * Roy Sorensen (Washington University, St. Louis)
    * Catarina Dutilh Novaes (Vrije Universiteit Amsterdam)
    * Catrin Campbell-Moore (Bristol University)

    For more information, see here or contact Ben Martin at .
  • 30 - 31 May 2019, Bergen Early-Career Masterclass on Logical Epistemology, Bergen, Norway

    Date: 30 - 31 May 2019
    Location: Bergen, Norway

    The philosophy department at the University of Bergen is pleased to invite applications for participation in an early-career masterclass on logical epistemology, with tutorials from both Roy Sorensen and Ole Hjortland. Participants will also have the opportunity to present their own work in the philosophy of logic with a 30-minute presentation, and receive feedback from experts in the field. Applicants should be doctoral candidates, or those within three years of obtaining their PhD.

    Confirmed speakers:
    * Roy Sorensen (Washington University, St. Louis): Topic TBA
    * Ole Hjortland (University of Bergen): Logical Anti-Exceptionalism

    For more information, see https://philevents.org/event/show/69126 or contact Ben Martin at .
  • 31 May - 2 June 2019, MCMP-Western Ontario Workshop on Computation in Scientific Theory & Practice, Munich, Germany

    Date: 31 May - 2 June 2019
    Location: Munich, Germany

    The goal of this interdisciplinary meeting is to explore philosophical and historical issues that arise at the intersection of theoretical computer science, mathematics, and natural science, including issues that arise in the practice of those disciplines.

    Conference topics include: the history of computer science; the foundations of computation and mathematical cognition; computational and informational perspectives on scientific decision making, scientific methodology, and the characterisation of scientific theories; physical notions of computation and the 'Physical Church-Turing Thesis'.

  • 3 - 7 June 2019, 4th SILFS Postgraduate Conference on Logic & Philosophy of Science, Urbino, Italy

    Date: 3 - 7 June 2019
    Location: Urbino, Italy

    The aim of the conference is to gather young researchers working in the field of logic and philosophy of sciences and to offer them the opportunity to present and discuss their papers in an informal and stimulating environment.

    The conference is divided into eight sessions, namely:
    1) Philosophy of Biology and Health Sciences
    2) Philosophy of Mind and Cognitive Science
    3) Foundations of Computing and Artificial Intelligence
    4) Classical and Non-Classical Logics
    5) Philosophy and Foundations of Physics
    6) Foundations of Logic and Mathematics
    7) Philosophy of Social Sciences
    8) General Philosophy of Science
    Each session will host 4 different talks (30 minutes for each talk + 10 minutes of discussion).

  • 3 - 21 June 2019, Summer School in Logic & Formal Epistemology, Pittsburgh PA, U.S.A.

    Date: 3 - 21 June 2019
    Location: Pittsburgh PA, U.S.A.

    The Department of Philosophy at Carnegie Mellon University holds a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences. The goals are to:

    • introduce promising students to cross-disciplinary fields of research at an early stage in their career; and
    • forge lasting links between the various disciplines.

    Tuition and housing are provided to participating students.

  • 3 - 7 June 2019, Summer School "Conditionals in Paris - Logic, Linguistics and Psychology", Paris, France

    Date: 3 - 7 June 2019
    Location: Paris, France

    Philosophers and logicians have studied conditional constructions, of the form 'if A then B', for millennia, and have made many deep points about them. However, we are still far from having a full account of them and their essential relation to reasoning, to inferring B from A. More recently, linguists, psychologists, cognitive scientists, and theorists in artificial intelligence have also illuminated this study.

    Our Summer School will be truly interdisciplinary, and will be structured around linguistics, philosophical logic, and psychology, bringing together internationally renowned experts in these fields to introduce and advance research on conditionals. We look forward to welcoming everyone who wants to learn about and contribute to this research to Paris.

  • 3 - 14 June 2019, Workshop "The Core Model Induction & Other Inner Model Theoretic Tools", Piscataway NJ, U.S.A.

    Date: 3 - 14 June 2019
    Location: Piscataway NJ, U.S.A.

    The meeting will consist of tutorials with a focus on discussions and interactions among the participants. The aim of the tutorials is to introduce all participants to the necessary background to pursue research using the core model induction technique. We encourage all participants to stay one more week at Rutgers University after the meeting for informal discussions and work groups. This workshop is aimed at advanced PhD students and young PostDocs working in inner model theory or related areas, but everyone interested in learning these techniques is welcome to attend.

    Tutorials:
    - Fine Structure and the Core Model (Martin Zeman)
    - Determinacy and Scales (Trevor Wilson)
    - Prikry-type Forcings and Inner Model Theory (Omer Ben-Neria)
    - HOD Computations (Sandra Müller and Grigor Sargsyan)
    - The Core Model Induction (Grigor Sargsyan and Nam Trang)

  • 4 - 7 June 2019, 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Philadelphia PA, U.S.A.

    Date: 4 - 7 June 2019
    Location: Philadelphia PA, U.S.A.

    LPNMR 2019 is the fifteenth 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. A Doctoral Consortium will also be a part of the program.

  • 5 - 6 June 2019, "The pholological conundrum": representation of language, Jerusalem, Israel

    Date: 5 - 6 June 2019
    Location: Jerusalem, Israel

    The Edelstein Center and the Bergmann Center at the Hebrew University of Jerusalem are happy to announce a workshop on aspects of language representation. The workshop concerns approaches to the representation of linguistic expressions and their implications on issues in logic, semantics and computability theory.

    Participants include: Nachum Dershowitz (Tel Aviv University), Michael Goldboim (Tel Aviv University), Balthasar Grabmayr (HU Berlin), David Kashtan (Hebrew University of Jerusalem), Carlo Nicolai (King's College London), Paula Quinon (Lund University), Gil Sagi (Haifa University) and Stewart Shapiro (Ohio State).

  • 6 - 8 June 2019, Workshop "Expressing Evidence", Konstanz, Germany

    Date: 6 - 8 June 2019
    Location: Konstanz, Germany

    Evidential restrictions cross-cut grammars in varied ways. In this workshop, we want to bring together researchers working from different angles on how natural language expresses evidence. We are especially interested in (but not limited to) submissions that straddle the divide between linguistics and philosophy and address the following issues:
    1. Evidentiality across syntactic categories
    2. Speech acts conveyed by evidentials
    3. Evidentiality in a broader context of attitude ascriptions and subjective expressions
    4. Types of reasoning and knowledge involved in statements with different evidentials
    5. Formal tools for modelling evidence

    Invited speakers: Corien Bary (Nijmegen), Lisa Matthewson (British Columbia), Elin McCready (Aoyama) and Dilip Ninan (Tufts).

  • 6 - 7 June 2019, 3rd ILLC Workshop on Collective Decision Making

    Date: 6 - 7 June 2019
    Location: De Doelenzaal, University Library, Singel 425, Amsterdam
    For more information, contact Ulle Endriss at .
  • 10 - 11 June 2019, 19th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference, London, Canada

    Date: 10 - 11 June 2019
    Location: London, Canada

    The 19th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference will take place on Monday-Tuesday, June 10-11, 2019, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that David John Baker (the University of Michigan) will be giving the keynote address for this year's LMP.

    The 23rd annual Philosophy of Physics Conference will be on the subject of quantum field theory and will immediately follow the LMP on Wednesday-Friday, June 12-14, 2019.

  • 11 - 13 June 2019, Second Conference on Deliberation, Belief Aggregation, and Epistemic Democracy (DBAED II), Neuville-sur-Oise (France)

    Date: 11 - 13 June 2019
    Location: Neuville-sur-Oise (France)

    This interdisciplinary conference will bring together researchers in theoretical economics, formal political science, philosophy, computer science, engineering, psychology, sociology, physics and mathematics who have been independently studying similar questions: namely, opinion formation dynamics, peer interactions and deliberation in social groups, and the implications of these phenomena for the epistemic competency of collective decisions. Participation is free, but registration is required.

    For more information, see https://sites.google.com/view/dbaed2/.
  • (New) 14 June 2019, Dutch Social Choice Colloquium

    Date: Friday 14 June 2019
    Location: Rotterdam

    Speakers: Wulf Gaertner (Osnabrück and Berlin), Kirsten Rohde (Rotterdam), and Erik Schokkaert (Leuven).

    For more information, see http://events.illc.uva.nl/DSCC/meetings.php.
  • 15 - 21 June 2019, 3rd International Conference on Numerical Computations: Theory and Algorithms (NUMTA 2019), Crotone, Italy

    Date: 15 - 21 June 2019
    Location: Crotone, Italy

    The goal of the NUMTA2019 Conference is to create a multidisciplinary round table for an open discussion on numerical modeling nature by using traditional and emerging computational paradigms. The Conference (including also special streams and sessions) will discuss all aspects of numerical computations and modeling from foundations and philosophy to advanced numerical techniques. New technological challenges and fundamental ideas from theoretical computer science, linguistic, logic, set theory, and philosophy will meet requirements and new fresh applications from physics, chemistry, biology, and economy.

    Together with regular presentations at the Conference there will be the Summer School offering tutorials and discussion sections covering the topics of the Conference.

  • 17 - 21 June 2019, Topology, Algebra, and Categories in Logic 2019 (TACL 2019), Nice, France

    Date: 17 - 21 June 2019
    Location: Nice, France

    Studying logic 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 2019 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods.

    For more information, see https://math.unice.fr/tacl/2019/ or contact TACL team at .
  • 17 - 21 June 2019, Caleidoscope: Research School in Computational Complexity, Paris, France

    Date: 17 - 21 June 2019
    Location: Paris, France

    Computational complexity theory was born more than 50 years ago when researchers started asking themselves what could be computed efficiently. Classifying problems/functions with respect to the amount of resources (e.g. time and/or space) needed to solve/compute them turned out to be an extremely difficult question. This has led researchers to develop a remarkable variety of approaches, employing different mathematical methods and theories.

    The future development of complexity theory will require a subtle understanding of the similarities, differences and limitations of the many current approaches. The goal (and peculiarity) of the Caleidoscope school is to reunite in a single event as many different takes on computational complexity as can reasonably be fit in one week. It is intended for graduate students as well as established researchers who wish to learn more about neighbouring areas.

     

    For more information, see http://caleidoscope.sciencesconf.org/.
  • 18 - 21 June 2019, 14th International Federated Conference on Distributed Computing Techniques (DisCoTec 2019), Kongens Lyngby, Denmark

    Date: 18 - 21 June 2019
    Location: Kongens Lyngby, Denmark

    DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues.

    Main conferences:

    • Coordination 2019 - International Conference on Coordination Models and Languages
    • DAIS 2019 - International Conference on Distributed Applications and Interoperable Systems
    • FORTE 2019 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems
    For more information, see https://www.discotec.org/2019 or contact .
  • 19 - 21 June 2019, Formal Epistemology Workshop 2019 (FEW 2019), Torino, Italy

    Date: 19 - 21 June 2019
    Location: Torino, Italy

    The 15th edition of FEW will take place at the University of Turin, situated in the Piedmont, a region in the Northwest of Italy. The keynote speakers will be Paul Égré (ENS Paris), Ulrike Hahn (Birkbeck) and Stephan Hartmann (LMU Munich).

    For more information, see https://www.few2019.com/.
  • 19 - 21 June 2019, Sixth Formal Ethics conference (FE2019), Gent, Belgium

    Date: 19 - 21 June 2019
    Location: Gent, Belgium

    Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research which goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, value theory and the evolution of norms and conventions.

    Keynote speakers: Edith Elkind (Oxford), Campbell Brown (LSE), and Ray Briggs (Stanford).

    For more information, see http://www.fe2019.ugent.be/ or contact .
  • 19 - 21 June 2019, KNAW Colloquium and Master Class on Musicality and Genomics

    Date: 19 - 21 June 2019
    Location: Trippenhuis KNAW, Kloveniersburgwal 29, 1011 JV Amsterdam

    This Academy Colloquium on Musicality and Genomics will bring together leading experts from neurobiology, cognitive psychology, music cognition and genetics to discuss (Day 1) the phenotypes of musicality, how to measure them, and genetic techniques for studying human variation. and (Day 2) the possibilities for combining musicality indices with the latest genomic methods, genetic pleiotropy between traits, and the instalment of an international consortium on the biological bases of musicality.

    By invitation only.

  • (New) 21 - 23 June 2019, 98th Workshop on General Algebra (Arbeitstagung Allgemeine Algebra, AAA 98), Dresden, Germany

    Date: 21 - 23 June 2019
    Location: Dresden, Germany
    Costs: E50,-

    The 98th edition of the `Arbeitstagung Allgemeine Algebra' conference series will be held in Dresden, Germany, June 21?23, 2019 at the campus of TU Dresden. The conference will commence on Friday morning and conclude around noon on Sunday.

    The topics of the conference include Universal Algebra, Lattices, Logic, Classical Algebra and Applications in Computer Science, etc. The programme will consist of five invited plenary talks of one hour and contributed talks of approximately 20 minutes each. All participants are welcome to give a talk.

  • 22 - 27 June 2019, The thirty-fourth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'19), Vancouver BC, Canada

    Date: 22 - 27 June 2019
    Location: Vancouver BC, Canada

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

    For more information, see https://lics.siglog.org/lics19/ or contact .
  • 23 June 2019, 3rd Women in Logic Workshop (WiL 2019), Vancouver BC, Canada

    Date: Sunday 23 June 2019
    Location: Vancouver BC, Canada

    We are holding the third Women in Logic Workshop (WiL 2019) as a LICS associated workshop on 23 June 2019. The workshop follows the pattern of meetings such as Women in Machine Learning (WiML) or Women in Engineering (WIE) that have been taking place for quite a few years.

    Women are chronically underrepresented in the LiCS community. 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 comprising 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. Previous versions of Women in Logic (Reykjavik, Iceland 2017 and Oxford, UK 2018) were very successful in showcasing women's work and as catalysts for recognition of the need for change in the community.

  • 24 - 30 June 2019, Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Dortmund, Germany

    Date: 24 - 30 June 2019
    Location: Dortmund, Germany

    FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).

  • 24 - 28 June 2019, LOGICA 2019, Hejnice, Czech Republic

    Date: 24 - 28 June 2019
    Location: Hejnice, Czech Republic

    The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2019', the 33nd in the series of annual international symposia devoted to logic. The first session begins on the morning of Tuesday, 25 June. The symposium closes at noon Friday, 28 June.

    Invited Speakers: David Makinson, Per Martin-Lof, Alessandra Palmigiano and David Ripley.

  • 25 - 28 June 2019, International Conference on Formal Concept Analysis (ICFCA 2019), Frankfurt, Germany

    Date: 25 - 28 June 2019
    Location: Frankfurt, Germany

    Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery.

    The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Environment, Life and Social Sciences, etc.

  • 26 - 28 June 2019, AUTOMATA 2019, Guadalajara, Mexico

    Date: 26 - 28 June 2019
    Location: Guadalajara, Mexico

    AUTOMATA 2019 is the official annual event of IFIP WG 1.5, the Working Group 5 (on Cellular Automata and Discrete Complex Systems), of the Technical Committee 1 (on Foundations of Computer Science), of the International Federation of Information Processing (IFIP).

    The purpose of this conference is to highlight the major advances in the field and the development of new tools, to support the development of theory and applications of CA and DCS, and to identify and study within an inter- and multidisciplinary context the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

    For more information, see https://automata2019.wordpress.com/.
  • 26 - 29 June 2019, 12th Young Set Theory Workshop (YSTW 2019), Vienna, Austria

    Date: 26 - 29 June 2019
    Location: Vienna, Austria

    The 12th Young Set Theory Workshop will be held June 26 - 29, 2019 in Vienna, Austria, as an "Advanced Class in Set Theory".

    The workshop features tutorial lectures by leading experts in set theory, research talks, poster and discussion sessions. The tutorial speakers are: Jörg Brendle, Alexander Kechris, Justin Moore, Slawomir Solecki, Matteo Vieale and Hugh Woodin. The postdoctoral speakers are: Thomas Baumhauer, Filippo Calderoni, Spencer Unger and Zoltan Vidnyánszky.

    Registration opens on February 10th, 2019. Early career researchers are encouraged to participate in our poster session!

  • 28 June 2019, ABC Networking Day 2019

    Date & Time: Friday 28 June 2019, 00:01
    Location: Amsterdam, the Netherlands

    This will be a full day of opportunities for strong mind and brain connections!

  • 28 June 2019, Amsterdam Mind and Brain symposium, Amsterdam, the Netherlands

    Date & Time: Friday 28 June 2019, 14:30-23:00
    Location: Amsterdam, the Netherlands

    AMBition is a coalition of four leading neuroscience research institutes (NIN, Amsterdam UMC, IBBA and ABC) aimed at building sustainable bridges between Amsterdam’s top research groups in the fields of brain and mind research. With the launch of AMBition, Amsterdam’s international visibility as an attractive and inspiring centre for mind and brain research will grow greatly, pushing Amsterdam in joining the league of worldwide leading institutes in this field. The kick-off of AMBition is scheduled for the 28th of June 2019 during a symposium in the KIT Royal Tropical Institute in Amsterdam.

  • 1 - 5 July 2019, 14th Computer Science Symposium in Russia (CSR'19), Novosibirsk, Russia

    Date: 1 - 5 July 2019
    Location: Novosibirsk, Russia
    Target audience: researchers and students in Theoretical Computer Science
    Costs: TBA

    The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.

    For more information, see https://logic.pdmi.ras.ru/csr2019/ or contact Gregory Kucherov at .
  • 1 - 15 July 2019, Spring Course in Epistemic Game Theory

    Date: 1 - 15 July 2019
    Location: Maastricht University, Maastricht, The Netherlands

    Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

    For more information, see http://www.epicenter.name/springcourse/ or contact Andres Perea at .
  • 1 - 5 July 2019, 7th European Set Theory Conference (7ESTC), Vienna, Austria

    Date: 1 - 5 July 2019
    Location: Vienna, Austria

    The 7th European Set Theory Conference will be held July 1 - 5, 2019 in Vienna, Austria.

    The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society. The currently confirmed invited speakers are: Jörg Brendle, Mirna Džamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.

    Registration opens on February 10th, 2019. Contributed talks are welcome!

    For more information, see https://sites.google.com/view/estc2019.
  • 1 - 5 July 2019, 17th EurAI Advanced Course on AI (ACAI), Chania (Crete, Greece)

    Date: 1 - 5 July 2019

    ACAI is the biannual summer school sponsored by the European Association for Artificial Intelligence (EurAI). This year's theme is "AI for Multi-Agent Worlds". The programme will include courses on logic and strategic interaction in multiagent systems, computational social choice, reinforcement learning, argumentation theory, and AI ethics, amongst many others. EurAI will provide a number of scholarhips for participants.

    For more information, see http://acai2019.tuc.gr.
  • 1 - 6 July 2019, 11th International School on Rewriting (ISR'19), Paris, France

    Date: 1 - 6 July 2019
    Location: Paris, France

    Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

    This school proposes to master students, PhD students and researchers, two parallel tracks:

    • Basic track: introduction to first-order term rewriting and λ-calculus
    • Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).
    For more information, see https://isr2019.inria.fr/.
  • 2 - 5 July 2019, The Ershov Informatics Conference (PSI 2019), Novosibirsk, Russia

    Date: 2 - 5 July 2019
    Location: Novosibirsk, Russia

    The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

    PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.

    For more information, see https://psi.nsc.ru or contact Denis Ponomaryov at .
  • 2 - 5 July 2019, 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht, The Netherlands

    Date: 2 - 5 July 2019
    Location: Utrecht, The Netherlands

    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.

    Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops:
    -Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area.
    -Compositionality in formal and distributional models of natural language semantics, on July 6 2019.

    For more information, see https://wollic2019.sites.uu.nl.
  • 3 - 6 July 2019, International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2019), Gent, Belgium

    Date: 3 - 6 July 2019
    Location: Gent, Belgium

    ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.

    ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.

    For more information, see http://isipta2019.ugent.be.
  • 7 - 13 July 2019, IVR Workshop "Judicial decision-making: integrating empirical and theoretical perspectives"

    Date: 7 - 13 July 2019
    Location: Luzern, Switzerland

    Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

    Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

    For more information, see https://www.ivr2019.org/special-workshops or contact Bartosz Janik at .
  • 8 - 12 July 2019, 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Patras, Greece

    Date: 8 - 12 July 2019
    Location: Patras, Greece

    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 8 July 2019.

    ICALP 2019 will have three tracks:
    Track A: Algorithms, Complexity and Games
    Track B: Automata, Logic, Semantics, and Theory of Programming
    Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management

    For more information, see https://icalp2019.upatras.gr/.
  • 8 - 11 July 2019, Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019), Zagreb, Croatia

    Date: 8 - 11 July 2019
    Location: Zagreb, Croatia

    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 2019 is followed by the conference Computability in Europe (CiE 2019).

    For more information, see http://cca-net.de/cca2019/ or contact Vasco Brattka at , or Zvonko Iljazović at .
  • 8 - 12 July 2019, 21st European Agent Systems Summer School (EASSS-2019), Bar-Ilan University, Israel

    Date: 8 - 12 July 2019
    Location: Bar-Ilan University, Israel

    This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.

    The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.

    For more information, see http://www.biu-ai.com/EASSS2019/ or contact .
  • 13 July 2019, Martin Hofmann Memorial Meeting, Munich, Germany

    Date: Saturday 13 July 2019
    Location: Munich, Germany

    We will meet to remember and celebrate Martin's life and work. There will be invited talks from friends and colleagues as well as ample time for discussions and exchange of memories during the breaks. The talks will be about various topics in Computer Science and Mathematics that Martin would have enjoyed. The talks will combine scientific content with personal stories about Martin.

    If you would like to propose a contribution to the program then contact Jan Hoffmann or Don Sannella.

    For more information, see http://mmm.tcs.ifi.lmu.de/.
  • 15 - 19 July 2019, 15th Conference on Computability in Europe (CiE 2019), Durham, England

    Date: 15 - 19 July 2019
    Location: Durham, England

    CiE 2019 is the 15th 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 CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

    For more information, see https://community.dur.ac.uk/cie.2019/ or contact .
  • 22 - 26 July 2019, 2019 Hamburg Summer School on Truthmaker Semantics, Hamburg, Germany

    Date: 22 - 26 July 2019
    Location: Hamburg, Germany

    The Phlox Research Group at Hamburg University is delighted to announce the 2019 Hamburg Summer School on Truthmaker Semantics. Truthmaker semantics is an approach to semantics that has attracted a growing amount of interest in recent years. It takes the content of a statement to be given in terms of the states that exactly verify it, wherethis is taken to require that the state-roughly, a part or fragment of a world=be wholly relevant to the truth of the statement.

    In this course, after an introduction to the history, the motivations, and the basic framework of truthmaker semantics, we will survey its applications to (i) deontic and imperative logic, (ii) conditionals, (iii) partial content, (iv) intuitionistic and relevance logic, (v) Bayesian epistemology and the theory of rational belief revision, as well as (vi) natural language semantics (attitude reports, modals, and intensional definite descriptions). The Summer School will be taught by Kit Fine (NYU), Mark Jago (Nottingham), Johannes Korbmacher (Utrecht), Stephan Krämer (Hamburg), and Friederike Moltmann (Paris, NYU).

    For more information, see https://hamburgersommerkurs.wordpress.com.
  • 28 July - 3 August 2019, 6th Summer School on Mathematical Philosophy for Female Students, Munich, Germany

    Date: 28 July - 3 August 2019
    Location: Munich, Germany

    The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

    This year, we will have the following lecture streams:
    1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
    2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
    3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

  • 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 .
  • 5 - 10 August 2019, 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST XVI), Prague, Czech Republic

    Date: 5 - 10 August 2019
    Location: Prague, Czech Republic

    The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of 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) by the Institute of Philosophy of the Czech Academy of Sciences.

    The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

    For more information, see http://clmpst2019.flu.cas.cz/.
  • (Updated) 10 - 11 August 2019, 24th Conference on Formal Grammar (FG 2019), Riga, Latvia

    Date: 10 - 11 August 2019
    Location: Riga, Latvia

    FG 2019 is the 24th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2019, will take place at University of Latvia, Riga, Latvia. 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/2019/.
  • 25 - 30 August 2019, The 27th International Conference on Automated Deduction (CADE-27), Natal, Brazil

    Date: 25 - 30 August 2019
    Location: Natal, Brazil

    The conference on Automated Deduction (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. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

    For more information, see http://www.cade-27.info.
  • 2 - 6 September 2019, 12th Conference on Recent Advances in Natural Language Processing (RANLP 2019), Varna, Bulgaria

    Date: 2 - 6 September 2019
    Location: Varna, Bulgaria

    RANLP (Recent Advances in Natural Language Processing) is one of the most competitive and influential NLP conferences. The event is held biennially and traditionally includes pre-conference tutorials, main conference with Student Research Workshop, and post-conference specialised workshops.

    All RANLP conferences feature keynote talks by leading experts in NLP. The confirmed keynote speakers at RANLP 2019 include Kenneth Church (Baidu USA), Hinrich Schütze (Ludwig Maximilian University, Munich) and Kyunghyun Cho (New York University).

    For more information, see http://lml.bas.bg/ranlp2019/.
  • 20 - 26 September 2019, Autumn School "Proof & Computation", Herrsching, Germany

    Date: 20 - 26 September 2019
    Location: Herrsching, Germany

    The aim of the autumn school 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.

    Courses include Ingo Blechschmidt on Generalized Spaces for Constructive Algebra, Stefania Centrone on Proof Theory, Thierry Coquand on Applications of Type Theory, Anton Freund on Dilators,  Tatsuji Kawai on Concepts of Continuity, and Dominique Larchey on Extraction of Programs in Coq. 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.