Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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. It is sponsored by: the Association for Symbolic Logic (ASL), the ACM Special Interest Group on Logic and Computation (SigLog), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). WoLLIC 2017 is colocated with the 15th meeting on the Mathematics of Language (MoL2017).

Call for paper

Important date

2017-03-28
Abstract submission deadline
2017-03-28
Draft paper submission deadline
2017-05-02
Draft paper acceptance notification
2017-05-22
Final paper submission deadline

Submission Topics

WoLLIC covers formal logic, computing and programming theory, and natural language and reasoning. Typical but not exclusive areas of interest are:

  • foundations of computing and programming

  • novel computation models and paradigms

  • broad notions of proof and belief

  • proof mining, type theory, effective learnability

  • formal methods in software and hardware development

  • logical approach to natural language and reasoning

  • logics of programs, actions and resources

  • foundational aspects of information organization, search, flow, sharing, and protection

  • foundations of mathematics

  • philosophy of mathematics

  • philosophical logic

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Jul 18

    2017

    to

    Jul 21

    2017

  • Mar 28 2017

    Abstract Submission Deadline

  • Mar 28 2017

    Draft paper submission deadline

  • May 02 2017

    Draft Paper Acceptance Notification

  • May 22 2017

    Final Paper Deadline

  • Jul 21 2017

    Registration deadline