Events

Institute for Logic, Language and Computation


News and Events: Conferences

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

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

Sections

Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

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

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

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

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

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

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

    For more information, see cca-net.de/cca2018.
  • 14 March 2018, Logic(s) for Imagination, Bochum, Germany

    Date: Wednesday 14 March 2018
    Location: Bochum, Germany

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

    The speakers are: Christopher Badura, Francesco Berto, Dominik Kauss, Heinrich Wansing (TBA).

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

    For more information, contact Christopher Badura at .
  • 16 - 17 February 2018, Workshop on Ramsey Theory of Equations & Related Topics, Pisa, Italy

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

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

     

    For questions, you can contact the organizers:  This workshop is partially supported by PRIN-MIUR grant "Models and Sets" and it is held under the advocacy of AILA (Italian Association for Logic and Applications), http://www.ailalogica.it We hope to see you in February! Best regards,

    The Organizers

    For more information, see ramseyequations.sciencesconf.org or contact Mauro Di Nasso at , or Lorenzo Luperi Baglini at .
  • 22 - 23 March 2018, Fourth Symposium on the History and Philosophy of Programming (HaPoP 4), Oxford, England

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

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

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

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

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

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

    For more information, see www.shift-society.org/hapop4 or contact Tomas Petricek at .
  • 14 - 15 April 2018, 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS'18), Thessaloniki, Greece

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

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

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

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

    For more information, see www.coalg.org/cmcs18.
  • 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.

  • 9 - 12 July 2018, Third International Conference on Formal Structures for Computation and Deduction (FSCD'18), Oxford, England

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

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

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

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

    For more information, see fscd-conference.org/editions/fscd-2018.
  • 12 May 2018, Workshop on Replicability and Reproducibility of Research Results in Science and Technology of Language (4REAL Workshop 2018), Miyazaki, Japan

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

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

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

    For more information, see 4real2018.di.fc.ul.pt.
  • 30 July - 3 August 2018, Computability in Europe 2018 (CiE 2018), Kiel, Germany

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

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

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

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

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

    For more information, see cie2018.uni-kiel.de or contact .
  • 1 - 4 May 2018, PhDs in Logic X, Prague, Czech Republic

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

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

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

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

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

    Date: 28 - 29 May 2018
    Location: Sofia, Bulgaria
    Deadline: Saturday 20 January 2018

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

    Our invited speakers will be: Dr. Zornitsa Kozareva (Amazon): Building Conversational Assistants using Deep Learning Dr. Sujith Ravi (Google): Neural Graph Learning Prof. Ruslan Mitkov (University of Wolverhampton): to be announced

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

    For more information, see dcl.bas.bg/clib or contact .
  • 18 - 20 May 2018, 46th annual meeting of the Society for Exact Philosophy, Storrs CT, U.S.A.

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

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

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

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

    For more information, see www.phil.ufl.edu/SEP/meeting/2018 or contact .
  • 14 - 17 July 2018, 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, England

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

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

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

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

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

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

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

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

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

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

    For more information, see www.gamesemantics.org.
  • 9 - 12 July 2018, 9th International Conference on Interactive Theorem Proving (ITP 2018), Oxford, England

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

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

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

    For more information, see itp2018.inria.fr or contact Jeremy Avigad and Assia Mahboubi at .
  • 20 - 22 June 2018, 16th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Toledo, Spain

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

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

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

    For more information, see www.paams.net/workshops/demadie.
  • 9 - 12 July 2018, Twenty-first International Conference on Theory & Applications of Satisfiability Testing (SAT 2018), Oxford, England

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

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

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

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

    For more information, see sat2018.azurewebsites.net or contact .
  • CfP special issue of Synthese on "Mathematical Cognition & Enculturation"

    Deadline: Thursday 1 February 2018

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

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

    For more information, see philevents.org/event/show/35470.
  • 30 April - 2 May 2018, Workshop on Medieval Logic & its Contemporary Relevance, St. Andrews, Scotland

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

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

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

  • 21 - 23 June 2018, IACAP 2018: Computing & Philosophy, Warsaw, Poland

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

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

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

    For more information, see www.iacap.org/iacap-2018.
  • 18 - 22 June 2018, Logica 2018, Hejnice (Czech Republic)

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

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

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

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

    For more information, see logika.flu.cas.cz/logica or contact Vít Punčochář at .
  • 3 - 6 July 2018, 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), Utrecht, The Netherlands

    Date: 3 - 6 July 2018
    Location: Utrecht, The Netherlands
    Deadline: Sunday 25 February 2018

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

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

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

    For more information, see deon2018.sites.uu.nl.
  • 6 - 17 August 2018, ESSLLI 2018 Student Session, Sofia, Bulgaria

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

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

    We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and selected papers will appear in the Student Session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. Note that there are two separate kinds of submissions, one for oral presentations and one for posters.

    For more information, see esslli2018.folli.info/student-session or contact Jennifer Sikos at .
  • 16 - 18 July 2018, Thirteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 13), Milan, Italy

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

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

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

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

  • (New) 25 - 27 June 2018, 7th International Workshop on Computational Social Choice (COMSOC-2018), Troy, NY (USA)

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

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

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

    For more information, see www.cs.rpi.edu/~xial/COMSOC18/main.html.
  • 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 .
  • 24 - 27 July 2018, 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogota, Colombia

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

    WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.

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

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

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

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

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

    For more information, see www.ramics-conference.org.
  • (New) 4 - 7 September 2018, Computer Science Logic 2018 (CSL 2018), Birmingham, England

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

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

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

    For more information, see events.cs.bham.ac.uk/csl18.
  • 8 July 2018, 12th International Workshop on Developments in Computational Models (DCM 2018), Oxford, England

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

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

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

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

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

     

    For more information, see dcm-workshop.org.uk or contact Sandra Alves at .
  • 11 - 13 June 2018, 6th Workshop on Algebra & substructural logics (AsubL Take 6), Cagliari, Italy

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

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

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

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

    For more information, see sites.unica.it/asubl6 or contact .
  • 28 - 31 August 2018, Logic, Algebra and Truth Degrees 2018 (LATD 2018, Berne, Switzerland

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

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

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

    For more information, see www.latd2018.unibe.ch.
  • 17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), Santiago de Chile, Chile

    Date: 17 - 21 December 2018
    Location: Santiago de Chile, Chile
    Deadline: Wednesday 25 April 2018

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

    Authors are now invited to submit an abstract in PDF format of typically about 1 or 2 pages, via EasyChair.

    For more information, see www.mat-unab.cl/~ccr2018.
  • (New) 23 - 28 July 2018, Logic Colloquium 2018 (LC 2018), Udine, Italy

    Date: 23 - 28 July 2018
    Location: Udine, Italy
    Deadline: Friday 27 April 2018

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

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

    Abstracts of contributed papers must be submitted as pdf file via EasyChair. Abstract should be prepared using  the ASL abstract style.

    For more information, see lc18.uniud.it or contact .
  • 7 - 8 July 2018, Fifth Workshop on Natural Language and Computer Science (NLCS 2018), Oxford, England

    Date: 7 - 8 July 2018
    Location: Oxford, England
    Deadline: Thursday 10 May 2018

    Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop, affiliated with Federated Logic Conference (FLoC) 2018, invites papers on both topics. Invited speaker: Ann Copestake, University of Cambridge.

    Specific topics includes, but are not limited to: logic for semantics of lexical items, sentences, discourse and dialog, continuations in natural language semantics, formal tools in textual inference, such as logics for natural language inference, applications of category theory in semantics, linear logic in semantics, formal approaches to unifying data-driven and declarative approaches to semantics.

    For more information, see www.indiana.edu/~iulg/nlcs.html.
  • 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.

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

    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

  • CfP special issue of JGPS on "Formal Models of Scientific Inquiry"

    We invite submissions for the special issue of the Journal for General Philosophy of Science on the topic of Formal Models of Scientific Inquiry. The issue will include papers presented at the conference on the same topic, which was held in Bochum on July 18-19, 2017. Papers not presented at the conference are also welcome.

    Throughout the last two decades philosophical discussions on scientific inquiry have increasingly utilized formal models. One of the main advantages of formal approaches is that they help us to gain a precise understanding of the underlying issues and to form normative generalizations that are difficult to obtain in view of traditional methods (such as, for example, historical case studies). Nevertheless, models frequently come with a high degree of idealization and simplification, which may impede their relevance for actual scientific practice. This poses the question, to which extent formal models can be used to provide an understanding of scientific inquiry, and to which extent they can be improved with respect to their relevance for science policy. We invite papers on the above and related issues.

  • 17 - 21 December 2017, Advanced Winter School on Formal Verification, Jerusalem, Israel

    Date: 17 - 21 December 2017
    Location: Jerusalem, Israel

    Formal Verification is the study of algorithms and structures applicable to the verification of hardware and software designs. It draws upon ideas and results from logic, graph theory, and automata theory, and combines theoretical and experimental aspects. The IIAS Winter School on Formal Verification would bring together several leading researchers to cover the mathematicall and algorithmic foundations of the field, as well as to discuss its application in industry, and its impact on related areas in computer science.

    Application Deadline: October 1, 2017.

    For more information, see ias.huji.ac.il/CSE2.
  • 20 - 22 December 2017, 21st Amsterdam Colloquium (AC'2017), Amsterdam, The Netherlands

    Date: 20 - 22 December 2017
    Location: Amsterdam, The Netherlands

    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.

    For more information, see events.illc.uva.nl/AC/AC2017.
  • 3 - 5 January 2018, Fifteenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2018), Fort Lauderdale FL, U.S.A.

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

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

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

    For more information, see isaim2018.cs.virginia.edu or contact .
  • 4 - 6 January 2018, British Postgraduate Model Theory Conference 2018, Oxford, England

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

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

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

    For more information, see bpgmtc2018.wixsite.com/bpgmtc.
  • 8 - 11 January 2018, Symposion on Logical Foundations of Computer Science (LFCS 2018), Deerfield Beach FL, U.S.A.

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

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

    For more information, see lfcs.ws.gc.cuny.edu.
  • 8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School

    Date: 8 January - 26 April 2018
    Location: Online and at the Lorentz Center, Leiden
    Target audience: Graduate students and early career researchers

    We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

    During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
    - John Baez: Semantics for open Petri nets and reaction networks
    - Aleks Kissinger: Unification of the logic of causality
    - Martha Lewis: Compositional approaches to linguistics and cognition
    - Pawel Sobocinski: Modelling of open and interconnected systems

    The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

    For more information, see www.appliedcategorytheory.org/school or contact Brendan Fong at , or Nina Otter at .
  • 8 - 10 January 2018, Mathematics & Culture II, Kolkata, India

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

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

    For more information, see here or contact Mihir Chakraborty at , Subhasis Banerjee at , or Michele Friend at .
  • (New) 9 January 2018, Workshop on the occasion of the honorary doctorate of Barbara Partee

    Date & Time: Tuesday 9 January 2018, 09:30-15:30
    Location: Doelenzaal, Universiteitsbibliotheek Singel 425, 1012 WP Amsterdam, The Netherlands

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

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

    For more information, see events.illc.uva.nl/Workshops/Barbara-Partee or contact Peter van Ormondt at .
  • 10 - 13 January 2018, Joint Mathematics Meeting 2018, San Diego CA, U.S.A.

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

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

    For more information, see jointmathematicsmeetings.org/jmm or contact .
  • 12 January 2018, ILLC New Year's Colloquium 2018

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

    The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

    For more information, see www.illc.uva.nl/ILLCColloquium or contact Peter van Ormondt at .
  • 16 - 18 January 2018, Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2018) at ICAART 2018, Funchal, Madeira - Portugal

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

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

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

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

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

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

    For more information, see here or at www.icaart.org.
  • (New) 8 February 2018, 3rd workshop of the European Non-Categorical Thinking Project (EuNoC #3)

    Date & Time: Thursday 8 February 2018, 09:45-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 15 - 17 February 2018, Linguistic Evidence 2018, Tübingen, Germany

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

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

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

  • 16 - 18 February 2018, Workshop "Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy", Bonn, Germany

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

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

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

    For more information, see ouroboros2018.weebly.com or contact .
  • 26 - 28 February 2018, 2nd SYSMICS Workshop "Substructural logics: semantics, proof theory and applications", Vienna, Austria

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

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

    For more information, see sysmics.logic.at or contact .
  • 5 - 9 March 2018, Section Logic at the joint annual meeting of GDM and DMV, Paderborn, Germany

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

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

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

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

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

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

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

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

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

    For more information, see artsysworkshop.wordpress.com.
  • 15 - 16 March 2018, "Philosophy of Imagination", Bochum, Germany

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

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

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

    For more information, see ruhr-uni-bochum.de/philimagconf or contact .
  • 25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France

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

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

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

    For more information, see aitp-conference.org/2018.
  • 4 - 6 April 2018, 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART 7), Parma, Italy

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

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

    For more information, see www.springer.com/computer/lncs.
  • (New) 4 - 7 April 2018, Workshop "Foundations in Mathematics: Modern Views" (FMV 2018), Munich, Germany

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

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

    For more information, see fmv2018.weebly.com or contact .
  • 6 - 24 April 2018, ILLC MasterClass Cognition 2018

    Date: 6 - 24 April 2018
    Location: University of Amsterdam, The Netherlands

    The ILLC will organise a MasterClass Cognition intended for up to 40 secondary school students. The MasterClass will consist of 4 days with lectures and excursions. The dates of the four days are the following:
    ILLC MasterClass Day 1: Friday 6 April 2018
    ILLC MasterClass Day 2: Thursday 12 April 2018
    ILLC MasterClass Day 3: Wednesday 18 April 2018
    ILLC MasterClass Day 4: Tuesday 24 April 2018

    For more information, see events.illc.uva.nl/MasterClass/Cognitie2018 or contact Peter van Ormondt at .
  • 7 - 9 April 2018, 29th International Conference on Algorithmic Learning Theory (ALT 2018), Lanzarote, Spain

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

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

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

    For more information, see www.cs.cornell.edu/conferences/alt2018 or contact .
  • 8 - 12 April 2018, 12th International Conference on Language and Automata Theory and Applications (LATA 2018), Ramat Gan, Israel

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

    LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

    For more information, see grammars.grlmc.com/LATA2018 or contact .
  • 17 - 19 April 2018, Tenth NASA Formal Methods Symposium (NFM 2018): 30 Years of Formal Methods at NASA, News VA, U.S.A.

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

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

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

    For more information, see shemesh.larc.nasa.gov/NFM2018 or contact .
  • 30 April - 4 May 2018, Applied Category Theory 2018 (ACT 2018), Leiden, the Netherlands

    Date: 30 April - 4 May 2018
    Location: Leiden, the Netherlands
    Target audience: researchers and practitioners of applied category theory

    The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.

    A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).

    For more information, see www.appliedcategorytheory.org/workshops or contact Brendan Fong at , or Nina Otter at .
  • 14 - 18 May 2018, Logical Perspectives 2018, St Petersburg, Russia

    Date: 14 - 18 May 2018
    Location: St Petersburg, Russia

    Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations.

    The topics include, but are not limited to:
    - the foundations of mathematics and those of computing;
    - logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language);
    - logical methods in mathematics;
    - logical methods in computer science.

    There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.

    For more information, see www.pdmi.ras.ru/EIMI/2018/LP.
  • 28 - 30 May 2018, 37th Journees sur les Arithmetiques Faibles (JAF 37), Florence, Italy

    Date: 28 - 30 May 2018
    Location: Florence, Italy

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

    For more information, see www.lacl.fr/jaf/issues/generalJAF37.html.
  • 16 - 26 June 2018, 6th World Congress & School on Universal Logic (UNILOG 2018), Vichy, France

    Date: 16 - 26 June 2018
    Location: Vichy, France

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

    For more information, see www.uni-log.org/vichy2018 or contact .
  • 16 - 20 June 2018, Workshop on "Logic, Probability, and their generalisations" at UNILOG 2018, Vichy, France

    Date: 16 - 20 June 2018
    Location: Vichy, France

    Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.

    All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.

  • 16 - 26 June 2018, Workshop on Model Theory at UNILOG 2018, Vichy, France

    Date: 16 - 26 June 2018
    Location: Vichy, France

    We organize a workshop on Classification Questions
    in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

    Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

    For more information, see www.uni-log.org/wk6-model-theory.html or contact .
  • 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

    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.

    For more information, see www.diagrams-conference.org/2018.
  • 18 - 22 June 2018, Conference "From the Fundamental Lemma to Discrete Geometry, to Formal Verification" (60th birthday of Thomas Hales), Pittsburgh PA, U.S.A.

    Date: 18 - 22 June 2018
    Location: Pittsburgh PA, U.S.A.

    The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.

  • 21 - 26 June 2018, Workshop on Logical Correctness at UNILOG 2018, Vichy (France)

    Date: 21 - 26 June 2018
    Location: Vichy (France)

    Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

    Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

  • 21 - 26 June 2018, Workshop on Proof Theory at UNILOG 2018, Vichy, France

    Date: 21 - 26 June 2018
    Location: Vichy, France

    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.

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

    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.

    For more information, see nasslli2018.com or contact .
  • 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

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

  • 24 - 25 June 2018, Workshop "Logic & Music" at UNILOG 2018, Vichy, France

    Date: 24 - 25 June 2018
    Location: Vichy, France

    Keynote Speaker: Thomas Noll (Barcelona, Spain)

    Description: This workshop shall represent a privileged platform to make an important step forward to new universal approaches to logic(s) of music. The Workshop focuses on the relatively autonomous approaches to logic(s) of music and musical logic, i.e. logic in pieces of musical compositions. We invite composers, conductors, musicians and musicologists interested in the interplay between logic and music to submit a paper or just active participation. Another objective is to bring together researchers from all over the world into closer contact.

    For more information, see www.uni-log.org/wk6-logic-and-music.html or contact .
  • 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).

  • 25 - 29 June 2018, XXIInd European Symposium on Medieval Logic & Semantics (ESMLS XXII), Düsseldorf, Germany

    Date: 25 - 29 June 2018
    Location: Düsseldorf, Germany

    The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".

    For more information, see preben.nl/ESMLS.html.
  • 25 June - 9 July 2018, Fifth EPICENTER Spring Course in Epistemic Game Theory 2018, Maastricht University, Maastricht, The Netherlands

    Date: 25 June - 9 July 2018
    Location: Maastricht University, Maastricht, The Netherlands

    The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

    For more information, see www.epicenter.name/springcourse.
  • 25 - 29 June 2018, 11th Young Set Theory Workshop, Lausanne, Switzerland

    Date: 25 - 29 June 2018
    Location: Lausanne, Switzerland

    The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

    Tutorials: Ilijas Farah (York University), Assaf Rinot (Bar-Ilan University), Christian Rosendal (University of Illinois at Chicago) and Dima Sinapova (University of Illinois at Chicago).

    For more information, see youngsettheory2018.altervista.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.
  • 9 - 12 July 2018, 12th International Congress of the International Society for the History of Philosophy of Science (HOPOS 2018), Groningen (The Netherlands)

    Date: 9 - 12 July 2018
    Location: Groningen (The Netherlands)

    HOPOS is devoted to promoting serious, scholarly research on the history of the philosophy of science. We construe this subject broadly, to include topics in the history of related disciplines and in all historical periods, studied through diverse methodologies. We aim to promote historical work in a variety of ways, but especially through encouraging exchange among scholars through meetings, publications, and electronic media.

    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. Keynote speakers: Karen Detlefsen (University of Pennsylvania) and Martin Kusch (University of Vienna).

    For more information, see www.hopos2018.nl or contact .
  • 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