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.

Sections

Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

  • (New) 3 October 2017, Workshop on "The Reception of Hilbert's Axiomatic Method in Central and Eastern Europe", Brno, Czech Republic

    Date: Tuesday 3 October 2017
    Location: Brno, Czech Republic

    The Workshop will be held in Brno on October 3, 2017, preceding the 4th HaPoC conference. The aim of the Workshop is to throw light on the history of logic in Central and Eastern Europe through the reception of Hilbert's axiomatic method. It is planned to be a full day of talks and discussions.

    Confirmed Speakers: Jan Wolenski (Poland), Srecko Kovac (Croatia), Ivica Martinovic (Croatia), Mate Szabo (Hungary, USA) and Adam Tuboly (Hungary).

    There are some further spots open for the workshop. Please submit abstracts of 2-500 words by September 1st.

    For more information, see hapoc2017.sciencesconf.org/resource/page/id/7 or contact Mate Szabo at .
  • 25 June 2018, Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018, Vichy, France

    Date: Monday 25 June 2018
    Location: Vichy, France

    The Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018 aims to deepen our theoretical understanding of the logical and diagrammatic behavior of Aristotelian diagrams, as well as to broaden our perspective on their (historical and contemporary) applications.

    The keynote speaker at WoLGA will be Amirouche Moktefi (Talinn University of Technology, Estonia).

    A one-page abstract should be sent via email before September 15th, 2017  to: and .

  • 7 - 9 March 2018, Workshop "Specificity, definiteness & article systems across languages", Stuttgart, Germany

    Date: 7 - 9 March 2018
    Location: Stuttgart, Germany
    Deadline: Sunday 20 August 2017

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

    The workshop will bring together researchers from theoretical linguistics, psycholinguistics, typology, semantics and pragmatics, and seeks to stimulate an interdisciplinary discussion. We invite submissions in the topics including (but not limited to): (1) grammatical implications of having an article system vs. not having any articles at all; (2) the (dis-)similarity with respect to reference coding in languages with and without article systems; (3) the contextual restrictions on the omission of articles in languages with an article system; (4) the psycholinguistic implications of the different ways of coding definiteness and specificity across languages.

    For more information, see artsysworkshop.wordpress.com.
  • 13 - 15 November 2017, 14th International Workshop on Logic & Engineering of Natural Language Semantics (LENLS 14), Tokyo, Japan

    Date: 13 - 15 November 2017
    Location: Tokyo, Japan
    Deadline: Thursday 31 August 2017

    LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI. Invited Speakers: Craige Roberts (The Ohio State University),Ivano Ciardelli (University of Amsterdam), Shoichi Takahashi (Aoyama Gakuin University).

     

    We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields. Abstracts (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format.

    For more information, see www.is.ocha.ac.jp/~bekki/lenls.
  • CfP: special issue of Topoi on "Foundations of Clinical Reasoning"

    Deadline: Thursday 31 August 2017

    Among the most discussed epistemological issues in clinical reasoning is the problem of the external validity. Once verified that the results of a Randomized Controlled Trial (RCT) are valid, we still have to explain how to apply these results to patients who did not take part in the experiment. How can we justify the belief that a certain treatment has the same effect when applied to a different setting? Without a reasonable answer to this latter question, RCTs would prove less helpful, as they would only show the results related to a particular situation, without any guarantee that the same results could apply to other contexts. The possible advantages of a Bayesian perspective on RCTs will be explored, as is the difference between types of uncertainty conveyed by diagnostic and prognostic judgements.

    Contributions must be original and not submitted elsewhere. Papers must be in English and should not exceed 8,000 words (references and footnotes included). Each submission should also include a separate title page containing contact details, a brief abstract and a list of keywords for indexing purposes.

  • 4 - 8 December 2017, Non-classical Modal and Predicate Logics:The 9th International Workshop on Logic and Cognition (WOLC2017), Guangzhou, China

    Date: 4 - 8 December 2017
    Location: Guangzhou, China
    Deadline: Friday 1 September 2017

    Modalities and predicates have since ancient times been central notions of logic. In the 20th century, various systems of non-classical logics emerged, with applications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathematics, and Philosophy. Both the theoretical studies and the needs of applications gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.

    Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues.

    We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.), as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.). Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, propositional quantification, etc.).

    For more information, see logic.sysu.edu.cn/wolc2017 or contact .
  • 8 - 12 September 2017, Workshop on Computability Theory & Foundations of Mathematics, Singapore, Singapore

    Date: 8 - 12 September 2017
    Location: Singapore, Singapore
    Deadline: Friday 1 September 2017

    This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

    The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

    Abstracts of talks should be submitted via email to with subject line: CTFM2017 submission. The length of abstract is limited to 2 pages including references. The authors are recommended to prepare their abstracts in the following IMS format:
    Tex file: http://ims.nus.edu.sg/files/IMSAbstractTemplate.tex
    PDF example: http://ims.nus.edu.sg/files/IMSAbstractTemplate.pdf

    For more information, see ims.nus.edu.sg/events/2017/wcom or contact .
  • 20 - 22 December 2017, 21st Amsterdam Colloquium (AC'2017), Amsterdam, The Netherlands

    Date: 20 - 22 December 2017
    Location: Amsterdam, The Netherlands
    Deadline: Friday 1 September 2017

    The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The 21st Amsterdam Colloquium will feature two workshops on Causality and Semantics and on Formal and Distributional Perspectives on Meaning; and one evening lecture, jointly organized with the E.W. Beth Foundation.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. The rules for submissions for the regular programme and the workshops are the same. Authors can submit an anonymous abstract of at most two pages.  The proceedings of the Amsterdam Colloquium will be downloadable from the AC website during the conference.

    For more information, see events.illc.uva.nl/AC/AC2017.
  • 15 - 17 November 2017, 7th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2017), Vienna, Austria

    Date: 15 - 17 November 2017
    Location: Vienna, Austria
    Deadline: Sunday 3 September 2017

    MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research.

    Authors are invited to submit papers, presenting original and unpublished research, both REGULAR papers (up to 15 pages) and SHORT papers (up to 5 pages). Simultaneous submission to other conferences with published proceedings or journals is not allowed. Authors are required to choose one of the following tracks:
    Track 1: Foundation of Algorithms in Mathematics, Engineering & Scientific Computation
    Track 2: Combinatorics and Codes in Computer Science
    Track 3: Data Modeling and Analysis
    Track 4: Mathematical Aspects of Information Security and Cryptography.

    For more information, see macis2017.sba-research.org or contact Dimitris Simos at .
  • 8 - 11 January 2018, Symposion on Logical Foundations of Computer Science (LFCS 2018), Deerfield Beach FL, U.S.A.

    Date: 8 - 11 January 2018
    Location: Deerfield Beach FL, U.S.A.
    Deadline: Sunday 10 September 2017

    The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992.

    SUBMISSION DETAILS. Proceedings will be published in the Springer LNCS series. There will be a post-conference volume of selected works published. Submissions should be made electronically via http://www.easychair.org/LFCS18/. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings.

    For more information, see lfcs.ws.gc.cuny.edu.
  • 14 - 15 December 2017, 15th European Conference on Multi-Agent Systems (EUMAS 2017), Evry, France

    Date: 14 - 15 December 2017
    Location: Evry, France
    Deadline: Sunday 10 September 2017

    In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key intelligent systems technologies in the 21st century. The aim of the EUMAS series is to provide a forum for academics and practitioners in Europe at which current research and application issues are presented and discussed, and to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts.

    EUMAS is co-located with the 5thedition of the International Agreement Technologies (AT) Conference, and is a designated event of the European Association of Multi-Agent Systems (EURAMAS).

    To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2017 offers three submission types (full original papers, short original papers, and published papers).  Each submission will be peer-reviewed. We request the submission of title and abstract prior to paper submission to support the tight schedule of reviewing.

    For more information, see eumas2017.ibisc.univ-evry.fr or contact EUMAS Organising Committee at .
  • 21 September 2017, 3L workshop: Language, Learning, Logic, London, England

    Date: Thursday 21 September 2017
    Location: London, England
    Deadline: Sunday 10 September 2017

    There is widespread agreement that AI has grown over the years into a fragmented landscape of sub-disciplines with a narrow focus. Specialisation has certainly facilitated great advances within the sub-disciplines and AI overall, but fragmentation has created a silos mentality which hinders cross-fertilisation and further advancements within AI.

    This workshop will bring together researchers from three broad AI areas, namely natural language processing (NLP), machine learning (ML) and logic-based symbolic AI, to discuss and explore opportunities for cross-fertilisation centered around NLP. The workshop also aims at discussing and identifying possible directions for future research at the intersection of NLP, ML and symbolic AI.

    To attend and give a presentation, please submit a 2-page abstract of your intended presentation via Easy Chair. To attend without presenting, please submit a half-page summary of your research interests and previous (relevant) research, also via Easy Chair.

    For more information, see sites.google.com/view/3lworkshop/.
  • (New) 9 - 10 November 2017, Workshop "Logic in the Wild", Gent, Belgium

    Date: 9 - 10 November 2017
    Location: Gent, Belgium
    Deadline: Sunday 10 September 2017

    Nowadays we are witnessing a ‘practical’, or cognitive turn in logic. The approach draws on enormous achievements of a legion of formal and mathematical logicians, but focuses on `the Wild: actual human processes of reasoning and argumentation. Moreover, high standards of inquiry that we owe to formal logicians offer a new quality in research on reasoning and argumentation. In terms of John Corcoran’s distinction between logic as formal ontology and logic as formal epistemology, the aim of the practical turn is to make formal epistemology even more epistemically oriented. This is not to say that this ‘practically turned’ (or cognitively oriented) logic becomes just a part of psychology. This is to say that this logic aquires a new task of “systematically keeping track of changing representations of information”, as Johan van Benthem puts it, and that it contests the claim that the distinction between descriptive and normative accounts of reasoning is disjoint and exhaustive. From a different than purely psychological perspective logic becomes — again — interested in answering Dewey’s question about the Wild: how do we think? This is the new alluring face of psychologism, or cognitivism, in logic, as opposed to the old one, which Frege and Husserl fought against. This is the area of research to which this workshop is devoted.

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

    For more information, see www.lrr.ugent.be/logic-in-the-wild or contact .
  • 16 - 26 June 2018, 6th World Congress & School on Universal Logic (UNILOG 2018), Vichy, France

    Date: 16 - 26 June 2018
    Location: Vichy, France
    Deadline: Friday 15 September 2017

    UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

    The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

    All talks dealing with general aspects of logic are welcome, in particular those falling into the categories 'General Tools and Techniques', 'Study of Classes of Logics', 'Scope of Validity/Domain of Applications of Fundamental Theorems' and 'Philosophy and History'.

    For more information, see www.uni-log.org/vichy2018 or contact .
  • (New) 21 - 26 June 2018, Workshop on Proof Theory at UNILOG 2018, Vichy, France

    Date: 21 - 26 June 2018
    Location: Vichy, France
    Deadline: Friday 15 September 2017

    We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

    We invite contributions on all aspects of proof theory, philosophical or technical.

  • (New) 23 - 24 June 2018, Workshop on Practices of Reading & Writing in Logic at UNILOG 2018, Vichy, France

    Date: 23 - 24 June 2018
    Location: Vichy, France
    Deadline: Friday 15 September 2017

    The presently announced workshop aims at an account of logic as construed from logicians' practices of writing and reading, both when working a problem in logic. and when communicating logical problems and solutions with othres. Further interests are activities of commenting or reviewing, and of publishing and collecting. In order to take an interdisciplinary stance, the workshop will allow for a variety of approaches.

    Keynote speakers: Prof. Dr. Volker Peckhaus (University of Paderborn), Editor-in-Chief of History and Philosophy of Logic Prof. Dr. Dirk Schlimm (McGill University Montreal / LMU Munich) PD. Dr. Matthias Wille (University of Paderborn).

     Contributed talks should not exceed 30 minutes including discussion. To submit a contribution, please send a one-page abstract.

  • (New) 10 - 13 January 2018, Joint Mathematics Meeting 2018, San Diego CA, U.S.A.

    Date: 10 - 13 January 2018
    Location: San Diego CA, U.S.A.
    Deadline: Tuesday 26 September 2017

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

    The MAA Committee on Sessions of Contributed Papers solicits papers pertinent to the conference sessions listed.  Any paper that fits the subject of one of the themed sessions should be submitted directly to that session.  All others should be submitted to the general sessions, which will accept abstracts in all areas of collegiate mathematics, mathematical pedagogy, and the undergraduate mathematics curriculum.  Presentations in the themed sessions are normally 15 minutes in length while presentations in the general sessions are limited to 10 minutes each.

    For more information, see jointmathematicsmeetings.org/jmm or contact .
  • 23 - 29 June 2018, 8th North American Summer School in Logic, Language and Information (NASSLLI 2018), Pittsburgh PA, U.S.A.

    Date: 23 - 29 June 2018
    Location: Pittsburgh PA, U.S.A.
    Deadline: Saturday 30 September 2017

    The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

    NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

    We invite proposals for courses and workshops that address topics of relevance to NASSLLI's central goal. We particularly encourage submissions which illustrate cross-disciplinary approaches, especially courses showing the applicability of computational methods to theoretical work, and the use of theoretical work in practical applications. Courses involving a hands-on component (e.g. actual experience with NLP tools, coding, or machine learning algorithms) will be very welcome. We also welcome proposals from researchers and practitioners working on relevant areas in the technology industries. Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience.

    For more information, see nasslli2018.com or contact .
  • (New) 3 - 5 January 2018, Fifteenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2018), Fort Lauderdale FL, U.S.A.

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

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

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

    We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application.

    For more information, see isaim2018.cs.virginia.edu or contact .
  • (New) 4 - 6 April 2018, 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART 7), Parma, Italy

    Date: 4 - 6 April 2018
    Location: Parma, Italy
    Deadline: Wednesday 1 November 2017

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

    We welcome submissions which use Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm Intelligence) in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields.

    For more information, see www.springer.com/computer/lncs.
  • 18 - 22 June 2018, 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), Edinburgh, Scotland

    Date: 18 - 22 June 2018
    Location: Edinburgh, Scotland
    Deadline: Thursday 16 November 2017

    Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

    Diagrams 2018 has various calls, providing a range of opportunities for taking part in the conference. Diagrams solicits research contributions falling within the scope of the conference, to be submitted to one of three tracks: the Main track, the Main track, the Psychology of Diagrams track, and the Philosophy of Diagrams track. In addition, Diagrams seeks to host Workshops and Tutorials.

    For more information, see www.diagrams-conference.org/2018.
  • 16 - 17 June 2018, 2nd Chinese Conference on Logic & Argumentation (CLAR 2018), Hangzhou, China

    Date: 16 - 17 June 2018
    Location: Hangzhou, China
    Deadline: Monday 15 January 2018

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

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

  • 27 - 31 August 2018, 12th International Conference on Advances in Modal Logic (AiML 2018), Bern, Switzerland

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

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

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

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

    For more information, see www.aiml2018.unibe.ch or contact .
  • (Updated) 30 October - 2 November 2018, 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe AZ, U.S.A.

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

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

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

    We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. We invite two kinds of submissions: full papers and short papers.

    For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The deadline for proposal submissions  is 21 February 2018.

    For more information, see reasoning.eas.asu.edu/kr2018.

Upcoming conferences

  • 7 - 25 August 2017, Logic in Stockholm 2017, Stockholm, Sweden

    Date & Time: 7 - 25 August 2017, 08:00-22:00
    Location: Stockholm, Sweden
    Target audience: mathematics, computer science, philosophy

    Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

    • August 7–11: The Third Nordic Logic Summer School,  NLS 2017
    • August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
    • August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
    • August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
    • August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
    • August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

    See the conference homepages or the individual conference announcements for CFPs.

  • 14 - 20 August 2017, 2017 ASL European Summer Meeting (Logic Colloquium '17), Stockholm, Sweden

    Date: 14 - 20 August 2017
    Location: Stockholm, Sweden

    The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

    For more information, see www.lc17.conf.kth.se.
  • 14 - 25 August 2017, Summer School in Dynamic Epistemic Logic, Sapporo, Japan

    Date: 14 - 25 August 2017
    Location: Sapporo, Japan

    The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

    The following two intensive courses are scheduled to be offered during the summer school:
    Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
    Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
    There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

    Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

  • 14 - 18 August 2017, BLAST 2017: Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology, & Point-free Topology, Nashville TN, U.S.A.

    Date: 14 - 18 August 2017
    Location: Nashville TN, U.S.A.

    The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.

    This is a preliminary announcement. Additional information will be provided in the beginning of April.

    For more information, see my.vanderbilt.edu/blast2017 or contact .
  • 15 - 18 August 2017, 10th Annual Conference on Artificial General Intelligence (AGI-17), Melbourne, Australia

    Date: 15 - 18 August 2017
    Location: Melbourne, Australia

    The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field — the creation of thinking machines with general intelligence at the human level and possibly beyond.

    This is an unprecedentedly exciting time to be working in the AGI field. Today, in 2017, the quest to create AI systems with general intelligence at the human level and beyond is taken more seriously by a broader community than ever before. There has been no better time in history to gather together with other AGI researchers and learn and discuss and share together, regarding how best to take the next steps toward advanced artificial general intelligence.

    For more information, see agi-conf.org/2017.
  • 16 - 19 August 2017, Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm, Sweden

    Date: 16 - 19 August 2017
    Location: Stockholm, Sweden

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

    The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. . It intends to be a forum for presenting new results as well as work in progress. LACompLing 2017 is affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017, and co-located with: Logic in Stockholm 2017.

  • 19 - 25 August 2017, Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI-17), Melbourne, Australia

    Date: 19 - 25 August 2017
    Location: Melbourne, Australia

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

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

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

    For more information, see ijcai-17.org.
  • 19 - 25 August 2017, The 9th International Workshop on Modelling and Reasoning in Context (MRC 2017), Melbourne, Australia

    Date: 19 - 25 August 2017
    Location: Melbourne, Australia

    MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

    By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

    The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

    For more information, see mrc.kriwi.de or contact .
  • 20 - 24 August 2017, 26th Annual EACSL Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden

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

    Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science.

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

    For more information, see www.csl17.conf.kth.se or contact Valentin Goranko at .
  • 21-28 August 2017, The Ninth European Congress of Analytic Philosophy (ECAP 9), Munich, Germany

    Date: 21-28 August 2017
    Location: Munich, Germany

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

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

  • 21 - 23 August 2017, 3rd Workshop on Philosophy, Logic and Analytical Metaphysics (Filomena 2017), Natal, Brazil

    Date: 21 - 23 August 2017
    Location: Natal, Brazil

    The third edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group for Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Logic, a branch of Philosophy on its own, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.

    Invited Speakers: Tuomas Tahko (University of Helsinki), Jonas Arenhart (Federal University of Santa Catarina) and Giorgio Venturi (State University of Campinas).

  • 21 - 25 August 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aalborg, Denmark

    Date: 21 - 25 August 2017
    Location: Aalborg, Denmark

    MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.

    MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

    For more information, see mfcs2017.cs.aau.dk.
  • 22 - 27 August 2017, International Summer School for Proof Theory in First-order Logic, Funchal, Madeira, Portugal

    Date: 22 - 27 August 2017
    Location: Madeira, Portugal

    The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

    The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

    For more information, see kgs.logic.at/madeira.
  • 23 - 27 August 2017, 3nd international conference on Logic, Relativity, and Beyond (LRB17), Budapest, Hungary

    Date: 23 - 27 August 2017
    Location: Budapest, Hungary

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

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

    For more information, see www.renyi.hu/conferences/lrb17 or contact Gergely Szekely at .
  • 25 August 2017, Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) , Stockholm, Sweden

    Date: Friday 25 August 2017
    Location: Stockholm, Sweden

    The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools.

    Invited speakers: Hans van Ditmarsch (LORIA) and Nancy Wojtek Jamroga (Polish Academy of Sciences).

    For more information, see www.cs.nott.ac.uk/~psznza/lamas17.
  • 25 August 2017, Workshop on Logic and Automata Theory in memory of Zoltán Ésik, Stockholm, Sweden

    Date: Friday 25 August 2017
    Location: Stockholm, Sweden

    Zoltán Ésik was an automata theorist of high calibre from the Institute of Informatics, University of Szeged, Hungary. Among his many contributions to the subject, perhaps the most important is the study of equational properties of fixed point operators, constituting Iteration Theories (a book he co-authored with Stephen Bloom). This one-day workshop, a satellite event of CSL 2017, is intended as a tribute to Zoltán Ésik, constituting a discussion of topics that lie at the intersection of automata theory, logic and algebra. The workshop mainly consists of invited talks but also has room for the sharing of memories.

    For more information, see www.imsc.res.in/~jam/esik/zoltan.html or contact .
  • 27 - 31 August 2017, 20th anniversary International Conference on Text, Speech and Dialogue (TSD 2017), Prague, Czech Republic

    Date: 27 - 31 August 2017
    Location: Prague, Czech Republic

    TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.

    Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.

    For more information, see www.tsdconference.org/tsd2017 or contact Mrs Romana Strapkova (TSD2017 Conference Secretary) at .
  • (New) 30 August - 2 September 2017, ABC Colloquium

    Title: Metaphor Festival Amsterdam ’17
    Date: 30 August - 2 September 2017
    Location: Amsterdam, the Netherlands

    The conference starts on Wednesday 30 August with a social gathering (evening, optional). Thursday 31 August & Friday 1 September will be filled with academic presentations from metaphor researchers from all over the world. Plenary lectures will be delivered by Kathleen Ahrens (Hong Kong Polytechnic University) and by Alan Cienki (Vrije Universiteit Amsterdam & Moscow State Linguistic University). Saturday 2 September we present several interesting workshops and metaphor related activities: an academic day with a fun twist!

  • 3 - 6 September 2017, 2nd International Workshop on AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17), Prague, Czech Republic

    Date: 3 - 6 September 2017
    Location: Prague, Czech Republic

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

    For more information, see www.fedcsis.org/2017/airim or contact .
  • 3 - 9 September 2017, Second International Conference on Formal Structures for Computation and Deduction (FSCD'17), Oxford, England

    Date: 3 - 9 September 2017
    Location: Oxford, England

    FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

    For more information, see www.cs.ox.ac.uk/conferences/fscd2017.
  • 4 - 7 September 2017, 10th International Conference on Natural Language Generation (INLG2017), Santiago de Compostela, Spain

    Date: 4 - 7 September 2017
    Location: Santiago de Compostela, Spain

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

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

    For more information, see eventos.citius.usc.es/inlg2017 or contact .
  • 4 September 2017, Workshop on Recent Advances in Concurrency & Logic (RADICAL 2017), Berlin, Germany

    Date: Monday 4 September 2017
    Location: Berlin, Germany

    RADICAL is a new workshop aligned within the intersection between concurrency and logic, broadly construed.

    Recently, the interplay of concurrency and logic with areas/applications has received much attention, as witnessed by recent CONCUR editions. These areas/applications have become increasingly consolidated, and start to have profound impact in neighbouring communities. As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event.  RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from neighbouring communities whose work naturally intersects with CONCUR.

  • 4 - 6 September 2017, The Ninth Semantics and Philosophy in Europe Colloquium (SPE9), Padua, Italy

    Date: 4 - 6 September 2017
    Location: Padua, Italy

    This year's Semantics and Philosophy in Europe Colloquium consists of two special sessions:
    1) Applied Ontology and Natural Language (Invited speakers: Bjorn Jespersen (Barcelona), Nicola Guarino (Trento), Laure Vieu (Toulouse))
    2) Ontology and Generative Syntax (Invited speakers: Boban Arsenijevic (University of Niš),  John Collins (East Anglia), Andrea Moro (Pavia), Gillian Ramchand (Tromsoe))

    There will also be a preconference tutorial "Ontology and Natural Language" by Friederike Moltmann (CNRS) and Nicola Guarino (Trento).

    For more information, see www.spe9.lagado.org or contact .
  • 5 - 8 September 2017, 18th EPIA Conference on Artificial Intelligence (EPIA 2017), Porto, Portugal

    Date: 5 - 8 September 2017
    Location: Porto, Portugal

    EPIA is a well-established international conference on Artificial Intelligence, supported by Portuguese Association for Artificial Intelligence (APPIA). The purpose of the conference is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines.

    As in past editions, EPIA 2017 will feature a number of leading researchers in AI as invited speakers.The technical program of EPIA 2017 will feature a set of thematic tracks, covering a wide spectrum of AI topics.The conference will also include a doctoral symposium, a poster session, AI competitions and tutorials on specific topics.

    For more information, see web.fe.up.pt/~epia2017.
  • 7 - 12 September 2017, Conference & Workshop on Set Theoretic & Topological Methods in Model Theory, Tezpur, India

    Date: 7 - 12 September 2017
    Location: Tezpur, India

    The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

    For more information, see www.isical.ac.in/~statmath/smsconf.
  • 7 September 2017, 3rd Workshop on Connexive Logics, Kyoto, Japan

    Date: Thursday 7 September 2017
    Location: Kyoto, Japan

    After two workshops on connexive logics in Istanbul (June 2015) and Raesfeld Castle (June 2016), a third workshop on connexive logics will take place in Kyoto (Japan) as part of 'Kyoto Nonclassical Logic Workshop III', 7th of September 2017.

    This workshop is meant to present current work on connexive logic and to stimulate future research. Keynote speakers: Norihiro Kamide (Teikyo University, Japan) Andreas Kapsner (LMU Munich, Germany).

  • 7 September 2017, ERC Celebration Event

    Date & Time: Thursday 7 September 2017, 14:00-18:00
    Location: Industrieele Groote Club, Dam 27, Amsterdam

    Since the establishment of the European Research Council, UvA and AMC researchers have received 94 ERC grants. UvA is the top host organisation in the Netherlands. This event will be a celebration of the accomplishment and is meant to inspire for new opportunities to come.

  • 8 - 9 September 2017, BLC 2017: British Logic Colloquium, Brighton, England

    Date: 8 - 9 September 2017
    Location: Brighton, England

    This is the annual meeting of the British Logic Colloquium. The scope of the event includes mathematical and philosophical logic as well as logic in computer science and applications of logic.

    Invited Speakers: Hazel Brickhill (Bristol), Oliver Kullmann (Swansea), James Ladyman (Bristol), Sam Staton (Oxford), Tamara von Glehn (Cambridge), Katrin Tent (Münster).

    For more information, see www.sussex.ac.uk/blc17 or contact Bernhard Reus at .
  • 8 - 9 September 2017, 4th International Workshop on Structures and Deduction(SD 2017), Oxford, England

    Date: 8 - 9 September 2017
    Location: Oxford, England

    SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates.

    For more information, see www.anupamdas.com/sd17 or contact .
  • 8 - 9 September 2017, 1st Annual Workshop on String Diagrams in Computation, Logic, and Physics (STRING 2017), Oxford, England

    Date: 8 - 9 September 2017
    Location: Oxford, England

    String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy.

    This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. It will furthermore provide an informal atmosphere in a unique venue: the upstairs of the Jericho Tavern, a music venue, where famously Radiohead played their first concert. All the usual conference facilities will be provided, and the distinctive location will provide plenty of opportunities to discuss and share ideas. STRING 2017 is a satellite event of FSCD 2017  and will be co-located with the 3rd Higher-Dimensional Rewriting and Applications.

    For more information, see string2017.cs.ru.nl/index.html.
  • 10 - 12 September 2017, 70th birthday of John Truss: homogeneous structures, permutation groups, and connections to set theory, Leeds, England

    Date: 10 - 12 September 2017
    Location: Leeds, England

    This conference focusses on several related interests of John: first order structures which are homogeneous in the sense of Fraïssé (or of more recent generalisations), and also ω-categorical structures in model theory; automorphism groups of such structures, and connections to other fields such as permutation group theory, semigroup theory, Ramsey theory and other aspects of combinatorics, topological dynamics; connections to set theory – related questions in combinatorial set theory, and permutation group methods in set theory.

    This is a BLC-supported meeting.

    For more information, see www1.maths.leeds.ac.uk/pure/logic/events/homogeneous or contact Dugald Macpherson at .
  • 11 - 13 September 2017, 21st International Symposium on Fundamentals of Computation Theory (FCT 2017), Bordeaux, France

    Date: 11 - 13 September 2017
    Location: Bordeaux, France

    The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wroclaw, Budapest, Lübeck. FCT 2017 will take place in Bordeaux, France.

    There will be four invited talks at FCT 2017. The invited speakers are: Thomas Colcombet, Martin Dietzfelbinger, Juraj Hromkovic and Anca Muscholl. There will also be one invited talk in memoriam of Zoltan Esik given by Jean-Eric Pin.

    For more information, see fct2017.labri.fr or contact Arnaud Casteigts, Ralf Klasing, Marc Zeitoun (Organization and PC co-Chairs) at .
  • 11 - 14 September 2017, The Sixth International Conference on Logic, Rationality and Interaction (LORI-VI), Sapporo, Japan

    Date: 11 - 14 September 2017
    Location: Sapporo, Japan

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

    For more information, see golori.org/lori2017 or contact .
  • 11 - 15 September 2017, 19th OeMG Congress and Annual DMV Meeting, Section Algebra, Logic & Set Theory, Salzburg, Austria

    Date: 11 - 15 September 2017
    Location: Salzburg, Austria

    Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

    The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

    For more information, see oemg-dmv-2017.sbg.ac.at.
  • (New) 11 - 22 September 2017, 9th DGfS Computational Linguistics Fall School, Duesseldorf, Germany

    Date: 11 - 22 September 2017
    Location: Duesseldorf, Germany

    The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

    The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
    - Michael Franke, Michael Henry Tessler: Computational Pragmatics
    - Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
    - Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
    - Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

    For more information, see cl-fallschool2017.phil.hhu.de.
  • 12 - 15 September 2017, Highlights of Logic, Games, & Automata (HIGHLIGHTS 2017), London, England

    Date: 12 - 15 September 2017
    Location: London, England

    HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The program will feature contributed and invited talks,  two invited sessions, and two two tutorials.

    For more information, see highlights-conference.org.
  • 12 - 16 September 2017, 1st Summer School on Formal Methods for Cyber-Physical Systems, Verona, Italy

    Date: 12 - 16 September 2017
    Location: Verona, Italy

    The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

    This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

    The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

  • 18 - 22 September 2017, Twelfth International Tbilisi Symposium on Language, Logic and Computation, Kakheti, Georgia

    Date: 18 - 22 September 2017
    Location: Kakheti, Georgia

    The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.

    The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).

    For more information, see events.illc.uva.nl/Tbilisi/Tbilisi2017.
  • 18 - 20 September 2017, Workshop "Mathematics and Mechanics in the Newtonian Age: historical and philosophical questions", Sevilla, Spain

    Date: 18 - 20 September 2017
    Location: Sevilla, Spain

    The topic of this workshop is one of the objectives of our research project P12-HUM-1216 “La génesis del conocimiento matemático: cognición, historia y prácticas”. We aim to investigate the changing configuration of relations between pure and “applied” maths in different periods, with particular attention to the “classical” era (17th and 18th centuries) contrasted with the “modern” 19th and early 20th centuries.

    The invited speakers are Helmut Pulte (Ruhr Universität Bochum-RUB), Ivahn Smadja (Université de Paris Diderot – Paris 7 & Lab. Sphère) and Robert DiSalle (University of Western Ontario).

    For more information, see gecomat1216.wordpress.com or contact .
  • (New) 18 - 29 September 2017, ICCL Summer School 'Bridging the Gap between Human and Automated Reasoning'

    Date & Time: 18 - 29 September 2017, 09:00-17:00
    Location: Dresden, Germany
    Target audience: students, PhD students
    Costs: 200 - 500EUR

    The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

    For more information, see iccl.inf.tu-dresden.de/web/SummerSchool2017 or contact Irina Karadschow at .
  • 19 - 22 September 2017, 12th International Workshop on Computational Semantics (IWCS 2017), Montpellier, France

    Date: 19 - 22 September 2017
    Location: Montpellier, France

    The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

    For more information, see www.lirmm.fr/iwcs2017.
  • 19 September 2017, Workshop on Language, Ontology, Terminology and Knowledge Structures (LOTKS - 2017) , Montpellier, France

    Date: Tuesday 19 September 2017
    Location: Montpellier, France

    This workshop, held in conjunction with the 12th International Conference on Computational Semantics (IWCS), will bring together two closely related strands of research. On the one hand it will look at the overlap between ontologies and computational linguistics; and on the other the relationship between knowledge modelling and terminologies -- as well as the many points of intersection between these two topics. This workshop aims to create a forum for open discussion that will help to highlight the common areas of interest in the different fields concerned, as well as fostering dialogue between the various different approaches taken by each discipline.

     

  • 20 - 22 September 2017, Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017), Rome, Italy

    Date: 20 - 22 September 2017
    Location: Rome, Italy

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

    For more information, see gandalf2017.istc.cnr.it.
  • 21 - 23 September 2017, PLM4: Philosophy of Language and Mind, Bochum, Germany

    Date: 21 - 23 September 2017
    Location: Bochum, Germany

    PLM is a European network of centers devoted to the Philosophy of Language and Mind and organizes a biennial international conference series with leading experts on the field.

    The conference will be preceded by an independent satellite conference on 'Pain and Emotion' in Bochum on 20 September 2017.

    For more information, see www.ruhr-uni-bochum.de/phil-lang/PLM4 or contact Prof. Dr. Markus Werning at .
  • 21 - 23 September 2017, 1st Workshop on Contextual Representation of Objects and Events in Language (CREOL 2017), Bolzano, Italy

    Date: 21 - 23 September 2017
    Location: Bolzano, Italy

    CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in their context of occurrence.

    Presentations of sollicited contributions will be followed by a multi-centric panel session where authors will meet and discuss with other researchers and stakeholders from industry. Follow-up discussions will be organized to promote project networking, cross-contamination on methodological prospective approaches and techniques, and discussions over practical, individuated applications.

    For more information, see creol2017.di.unito.it.
  • 21 - 23 September 2017, 1st International Workshop on Epistemology in Ontologies (EPINON 2017)

    Date: 21 - 23 September 2017
    Location: Bozen-Bolzano (Italy)
    Target audience: Philosophers, Logicians, Computer Scientists, Ontologists

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

    This workshop is part of The Joint Ontology Workshops, Episode III, JOWO 2017.

    For more information, see www.loa.istc.cnr.it/workshops/epinon2017/home.html or contact Daniele Porello at .
  • 21 - 23 September 2017, First Workshop on Interaction-Based Knowledge Sharing (WINKS 2017), Bolzano, Italy

    Date: 21 - 23 September 2017
    Location: Bolzano, Italy

    This first Workshop on Interaction-Based Knowledge Sharing (WINKS) collocated with the third Joint Ontology Workshop is fully dedicated to challenges and solutions to knowledge sharing in interaction-based environments, ranging from the Internet of Things to multi-agent systems. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. As a highly interdisciplinary workshop, discussions will center on requirements and suggestions to endow computational models with knowledge sharing capabilities in interactive scenarios.

    For more information, see www.iiia.csic.es/winks.
  • 23 - 24 September 2017, 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017), Brasilia, Brazil

    Date: 23 - 24 September 2017
    Location: Brasilia, Brazil

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

    LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP, that aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.

    For more information, see lsfa2017.cic.unb.br or contact .
  • 23 - 26 September 2017, Autumn School "Proof & Computation", Herrsching, Germany

    Date: 23 - 26 September 2017
    Location: Herrsching, Germany
    Target audience: Graduate or PhD students and young postdoctoral researchers

    An international autumn school "Proof and Computation" will be held from 23rd to 26th September 2017 at Haus der bayerischen Landwirtschaft Herrsching in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

  • 24 September 2017, Workshop DaLí – Dynamic Logic: new trends and applications

    Date: Sunday 24 September 2017
    Location: Brasilia, Brazil

    Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heteroge- neous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic.

    Invited Speakers: Alexandru Baltag (UvA), Edward Hermann Haeusler (PUC-Rio, BR).

    For more information, see workshop.dali.di.uminho.pt or contact Alexandre Madeira at .
  • 24 - 25 September 2017, EPS: Encyclopedia of Proof Systems, Brasilia, Brazil

    Date: 24 - 25 September 2017
    Location: Brasilia, Brazil

    The Encyclopedia of Proof Systems was created in 2014 with the goal of being a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries on the most various logics and calculi. This was only possible due to the collaboration of many members of the logic community.

    This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of:
    - a poster session in the afternoon of September 24th, 2017, during which submitted entries will be displayed as posters;
    - an interactive hands-on meeting in the morning of September 25th, 2017, for those who would like to contribute to the continuous improvement of the encyclopedia.

    For more information, see proofsystem.github.io/Encyclopedia or contact .
  • 25 - 29 September 2017, 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Brasilia, Brazil

    Date: 25 - 29 September 2017
    Location: Brasilia, Brazil

    In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

    The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

    FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

    For more information, see frocos2017.cic.unb.br.
  • 25 - 29 September 2017, 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), Brasilia, Brazil

    Date: 25 - 29 September 2017
    Location: Brasilia, Brazil

    TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-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 large groups of 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 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

    For more information, see tableaux2017.cic.unb.br.
  • 25 - 29 September 2017, Summer School on computer simulation methods, Stuttgart, Germany

    Date: 25 - 29 September 2017
    Location: Stuttgart, Germany

    The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

    The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

    For more information, see regi.hlrs.de/2017/summer-school/index.jsp or contact .
  • 25 - 29 September 2017, 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017), Dortmund, Germany

    Date: 25 - 29 September 2017
    Location: Dortmund, Germany

    Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.

    The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning.

    For more information, see www.fernuni-hagen.de/wbs/dkbkik2017.html.
  • 25 - 26 September 2017, Deduktionstreffen 2017, Dortmund, Germany

    Date: 25 - 26 September 2017
    Location: Dortmund, Germany

    The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

    A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2017 is associated with KI 2017.

    For more information, see fg-dedsys.gi.de/dt2017.
  • 25 - 27 September 2017, 13th Tbilisi Summer School in Logic & Language, Tbilisi, Georgia

    Date: 25 - 27 September 2017
    Location: Tbilisi, Georgia

    The Kurt Gödel Society will host a summer school on Logic and Language at the Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The summer school targets students in Logic, Computer Science and Mathematics at PhD, Masters or Bachelor level, but the event is open to all interested students.

    The school will feature lectures by Federico Aschieri, Matthias Baaz, Guram Bezhanishvili, Uwe Egly, Carles Noguera and Michel Parigot.

    For more information, see www.logic.at/tbilisi17.
  • 26 - 29 September 2017, 8th International Conference on Interactive Theorem Proving (ITP 2017), Brasilia, Brazil

    Date: 26 - 29 September 2017
    Location: Brasilia, Brazil

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

    For more information, see itp2017.cic.unb.br or contact .
  • 26 - 29 September 2017, 32nd Italian Conference on Computational Logic (CILC 2017), Naples, Italy

    Date: 26 - 29 September 2017
    Location: Naples, Italy

    CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming). Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.

    For more information, see cilc2017.unina.it or contact .
  • 26 - 29 September 2017, 18th Italian Conference on Theoretical Computer Science (ICTCS 2017), Naples, Italy

    Date: 26 - 29 September 2017
    Location: Naples, Italy

    The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers.

    ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 with which it will share part of the program.

    For more information, see ictcs2017.unina.it or contact .
  • 28 - 30 September 2017, The Making of the Humanities VI, Oxford, England

    Date: 28 - 30 September 2017
    Location: Oxford, England

    The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of disciplines, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

    Keynote Speakers: Elisabeth Décultot, Shamil Jeppie, and Peter Mandler.

  • 28 - 30 September 2017, Warsaw Workshop on Formal Truth Theories, Warsaw, Poland

    Date: 28 - 30 September 2017
    Location: Warsaw, Poland

    The notion of truth has been a long-standing centre of attention for logicians, philosophers and mathematicians. In particular, the logical properties of formal theories of truth have been revealed to be relevant to various philosophical questions, such as to discussions on deflationism, sources of semantic paradoxes, philosophical foundations of arithmetic, and many others.

    The present Warsaw Workshop on Formal Truth Theories will contribute to the efforts having as their purpose a deeper understanding of the concept of truth. The aim of the meeting is to bring together researchers in logic, philosophy and mathematics addressing a wide range of truth-related topics in order to maintain common ground for new research, to discuss latest results and work in progress and to simply foster cooperation of researchers studying the notion of truth from different perspectives.

    For more information, see formaltruththeories.pl or contact .
  • 29 - 30 September 2017, International Workshop on Big Data, Reasoning and Decision Making (BRaD 2017, Hangzhou, China

    Date: 29 - 30 September 2017
    Location: Hangzhou, China

    The purpose of this workshop is to gather researchers and practitioners in multi-disciplinary fields (including logic, artificial intelligence, cognitive science, etc), to discuss research related to knowledge acquisition, representation, reasoning and decision making in the context of Big Data.

    Invited speakers: Thomas Ågotnes (University of Bergen), Jan Broersen (Universiteit Utrecht), Kim Plunkett (Oxford University) and Chris Reed (University of Dundee).

    For more information, see www.xixilogic.org/events/brad2017.
  • 2 - 6 October 2017, Formal Methods in Computer-Aided Design (FMCAD 2017), Vienna, Austria

    Date: 2 - 6 October 2017
    Location: Vienna, Austria

    FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

    For more information, see www.fmcad.org/FMCAD17.
  • 4 - 7 October 2017, 4th International Conference on the History and Philosophy of Computing, Brno, Czech Republic

    Date: 4 - 7 October 2017
    Location: Brno, Czech Republic

    HaPoC conferences aim to bring together researchers exploring the various aspects of the computer from historical or philosophical standpoint. The series aims at an interdisciplinary focus on computing, rooted in historical and philosophical viewpoints. The conference brings together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape.

    For more information, see hapoc2017.sciencesconf.org.
  • 5 - 9 October 2017, 10th Workshop on Intelligent Narrative Technologies (INT10), Snowbird UT, U.S.A.

    Date: 5 - 9 October 2017
    Location: Snowbird UT, U.S.A.

    The Intelligent Narrative Technologies (INT) workshop represents the tenth iteration of a series of gatherings dedicated to advancing research in artificial intelligence for the computational understanding and expression of narrative. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. INT10 will be celebrated as a workshop of the Thirteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).

    INT brings together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.

    For more information, see www.di.unito.it/~rossana/INT10 or contact .
  • 9 - 11 October 2017, 4th Symposium on the Foundations of Mathematics (SotFoM-4): Reverse Mathematics, Munich, Germany

    Date: 9 - 11 October 2017
    Location: Munich, Germany

    Reverse mathematics is concerned with examining exactly which axioms are necessary for various central mathematical theorems and results. The program is a relatively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explore the philosophical significance of reverse mathematics as a research program in the foundations of mathematics.

    Speakers: Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy, LMU Munich), Walter Dean (University of Warwick) (TBC), Benedict Eastaugh (University of Bristol), Marcia Groszek (Dartmouth College), Takako Nemoto (Japan Advanced Institute of Science and Technology), Stephen G. Simpson (Pennsylvania State University and Vanderbilt University).

     

    For more information, see sotfom.wordpress.com or contact .
  • 11 - 14 October 2017, Axiomatic Thinking, Lisbon, Portugal

    Date: 11 - 14 October 2017
    Location: Lisbon, Portugal

    100 years ago, in 1917 David Hilbert gave his seminal talk Axiomatisches Denken at a meeting of the Swiss Mathematical Society in Zurich. It marks the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic.  The aim of this conference is to reevaluate the success of Hilbert's axiomatic method, which did not only lay the foundations for the understanding of modern mathematics, but which also found its way in many applications, first of all - and as vividly advocated by Hilbert - in Physics.

    On Wednesday 11, the conference will take place in the beautiful main hall of Academia das Ciências de Lisboa. That day is fully dedicated to the Foundations of Mathematics. For the remaining days, the conference moves to the campus of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa (across from the Tagus river), and the topic of the conference widens to other aspects of Axiomatic Thinking, not only in Mathematics but also in Physics and other fields of science. Also, philosophical and methodological aspects of Axiomatic Thinking will be discussed.

    For more information, see eventos.fct.unl.pt/aips17.
  • 15 - 17 October 2017, The 3rd Israeli Workshop on Non-Classical Logics and Their Applications (IsraLog 2017), Tel Aviv, Israel

    Date: 15 - 17 October 2017
    Location: Tel Aviv, Israel

    The aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the 'end-users' of non-classical formalisms for various applications. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions.

    This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.

    For more information, see is.haifa.ac.il/~annazam/isralog17.
  • 16 - 18 October 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Mons, Belgium

    Date: 16 - 18 October 2017
    Location: Mons, Belgium

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

    For more information, see informatique.umons.ac.be/time2017.
  • 18 - 20 October 2017, 16th International Conference on WWW/INTERNET 2017 (ICWI'2017), Vilamoura, Portugal

    Date: 18 - 20 October 2017
    Location: Vilamoura, Portugal

    The WWW/Internet 2017 Conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference aims to cover both technological as well as non-technological issues related to these developments.

    For more information, see www.internet-conf.org or contact Conference Secretariat at .
  • 18 - 20 October 2017, 14th International Conference on Applied Computing 2017 (AC 2017), Vilamoura, Portugal

    Date: 18 - 20 October 2017
    Location: Vilamoura, Portugal

    The Applied Computing 2017 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas.

    For more information, see www.computing-conf.org or contact Conference Secretariat at .
  • 23 - 27 October 2017, Fourth International Meeting of the Association for Philosophy of Mathematical Practice (APMP IV), Salvador da Bahia, Brazil

    Date: 23 - 27 October 2017
    Location: Salvador da Bahia, Brazil

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

    For more information, see www.philmathpractice.org or contact .
  • 25 - 27 October 2017, Workshop on Linguistic Intuitions, Evidence, and Expertise, Aarhus, Denmark

    Date: 25 - 27 October 2017
    Location: Aarhus, Denmark

    At this conference we want to bring together linguists and philosophers interested in the methodological foundations of linguistics. In particular, we want to better understand whether linguistic intuitions can legitimately be used as evidence for theories of grammar. How big is the risk of bias and distortion when linguists use their own intuitions? Can the evidential value of linguistic intuitions be improved by systematically studying the intuitions of non-linguists? Or are there good reasons to prefer the judgements of expert linguists?

    For more information, see projects.au.dk/intuitions/upcoming-events.
  • 26 - 27 October 2017, International Conference "I Think, Therefore I Teach: Evolutions in Early Modern Education", Leuven, Belgium

    Date: 26 - 27 October 2017
    Location: Leuven, Belgium

    The aim of the present conference is to enhance our understanding of the way in which evolutions on the European scene were adopted, refuted, or merely ignored in university teaching of the time. Important focal points are the paradigm shifts in the didactical methods and the curricula, e.g. from late scholasticism to humanism, from Spanish scholasticism to Cartesianism, the influence of Jansenism and Port-Royal. Geographically, the conference will focus on European teaching, and chronologically, on the period from 1500-1800, being a wildly interesting but vastly understudied time segment.

    Attention will be paid mainly to the teaching of logic and natural philosophy, since both disciplines - more so than e.g. the teaching of civil and canon law, evolved in tandem with the philosophical and scientific developments on the larger scale of European society.

  • 2 - 4 November 2017, Novembertagung 2017: "Tools for research in mathematics, history, & philosophy", Brussels, Belgium

    Date: 2 - 4 November 2017
    Location: Brussels, Belgium

    The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students in the history of mathematics and related fields. It provides an opportunity for them to present and discuss their research in an informal and safe environment, share experiences and advice and to establish new contacts.

    The theme of the Novembertagung this year is "Tools for research in mathematics, history and philosophy". Invited speakers: Liesbeth de Mol (Lille) & Ralf Krömer (Wuppertal).

  • 12 - 15 November 2017, Trends in Logic XVII, Lublin, Poland

    Date: 12 - 15 November 2017
    Location: Lublin, Poland

    Trends in Logic is the conference series of the journal 'Studia Logica'. The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from November 12-November 15, 2017 under the title 'Traditional and new perspectives on deontic logic and agency modeling'.

    Invited speakers: Jan Broersen, Fenrong Liu, Paul McNamara, Olivier Roy, Marek Sergot and Jan Woleński

    For more information, see trends.philosophy.kul.pl.
  • 5 - 7 December 2017, Workshop "Enabling Mathematical Cultures", Oxford, England

    Date: 5 - 7 December 2017
    Location: Oxford, England

    This workshop celebrates the completion of the EPSRC-funded project 'Social Machines of Mathematics', led by Professor Ursula Martin at the University of Oxford. We will present research arising from the project, and bring together interested researchers who want to build upon and complement our work. We invite interested researchers from a broad range of fields, including: Computer Science, Philosophy, Sociology, History of Mathematics and Science, Argumentation theory, and Mathematics Education. Through such a diverse mix of disciplines we aim to foster new insights, perspectives and conversations around the theme of Enabling Mathematical Cultures.

    For more information, see enablingmaths.wordpress.com or contact .
  • 6 - 8 December 2017, 2nd Amsterdam SMART Cognitive Science Conference: 'SMART Animals', Amsterdam, the Netherlands

    Date: 6 - 8 December 2017
    Location: Amsterdam, the Netherlands

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

    For more information, see here or at smartcs.uva.nl/conference-2017 or contact SMART Cognitive Science at .
  • 11 - 15 December 2017, 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Kanpur, India

    Date: 11 - 15 December 2017
    Location: Kanpur, India

    The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

    Invited Speakers: Sham Kakade (University of Washington, USA), Anca Muscholl (LaBRI & Université Bordeaux, France), Devavrat Shah (MIT, USA), Vinod Vaikuntanathan (MIT CSAIL, USA), and Thomas Wilke (Christian-Albrechts-Universität zu Kiel).

     

    For more information, see fsttcs.org.
  • July 2018, History of Philosophy of Science (HOPOS 2018), Groningen (The Netherlands)

    Date: July 2018
    Location: Groningen (The Netherlands)

    HOPOS 2018 will take place at the University of Groningen in the Netherlands in July 2018. The local organizers include Professor Martin Lenz, Dr Han Thomas Adriaenssen and Dr Andrea Sangiacomo of the History of Philosophy Department.

    The University Groningen Department of the History of Philosophy is the largest in the Netherlands and has considerable strengths in the history of philosophy of science. Following a tradition inspired by John North, a distinguished historian of science at Groningen, the department has continued to attract scholars who work on HOPOS themes, such as Lodi Nauta, winner of the Spinoza Prize, and Detlev Pätzold.

     

    For more information, see here or at www.hopos.org.
  • 6 - 19 July 2018, 7th Federated Logic Conference (FLoC'18), Oxford, England

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

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

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

    For more information, see www.floc2018.org.
  • 6 - 17 August 2018, 30th European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, Bulgaria

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

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

    For more information, see esslli2018.folli.info or contact .

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