ICLR2: International Conference on Logic and Reasoning Takoradi, Ghana, April 12-20, 2020 |
Conference website | https://icrlweb.wordpress.com/ |
Submission link | https://easychair.org/conferences/?conf=iclr2 |
Abstract registration deadline | April 5, 2020 |
Submission deadline | April 7, 2020 |
INTERNATIONAL CONFERENCE ON LOGIC AND REASONING, 2020.
This conference is organized on Logic and Reasoning with multi-track Seminar or Symposium on computational areas. Logic has been called the calculus of computer science and engineering. These formalize an aspect of human reasoning that originated in a more orless natural context. They are all essentially term algebra and as such they put an aspect of reasoning within reach of a machine. The specific areas but not limited subject areas ofinterest includes the following:
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Accepted papers :Limited to 8-15 pages of submitted paper
- Full papers :Limited to 5-8 pages of submitted paper
- Posters : Limited to 2-4 pages of submitted paper
List of Topics: Computational and Game Focus
- Formal Logic
- Automated Deduction
- Rewriting
- Domain Theory
- Logic and Automata
- Lambda Calculus
- Set Theoretical
- Model Checking
- Formal Verification
- Modal Logic
- Temporal Logic
- Propositional Logic
- Logical Theorem
- Symbolic Logic
- First-order Logic
- Safe Algebra
- Logical Aspects
- Categorical
Committees
Program Committee
- Prof. dR. Frank Appiah (Chair)
Organizing committee
- Unitus Appiahmann (Secretary)
- Zoaire Titus
Invited Speakers
- No inivited Speaker
Publication
ICLR2 proceedings will be published in Logic/Security and Language
by ACM/Springer/Lulu.
2017 Publication: 2017 (E) Book Print
Venue
The conference will be held in Kumasi, Ashanti Region of Ghana.
Contact
All questions about submissions should be emailed to
Sponsors
Main funding is King's College Alumni, Association of Engineering
Do contact me if you want to sponsor this yearly event.