UNILOG 2021 - The 7th World Congress and School on Universal Logic

Організатори UNILOG — Всесвітніх конгресу та школи з універсальної логіки — налаштовані оптимістично і планують провести 7-ий конгрес і школу на рубежі березня і травня наступного 2021 року на Криті. Це вже більш реалістично, ніж проведення заходів цього року, хоча, розвиток подій не дозволяє поки вважати цілком реалістичними і такі строки. Однак, тези можна починати писати вже. Офіційне повідомлення від організаторів:

UNILOG is a series of events (combining a congress and a school) promoting
- logic in all its aspects: mathematical, philosophical, computational, semiological, historical
- the relation between logic and other fields: physics, biology, economics, law, politics, religion, music, literature, pedagogy, color theory, medicine, psychology, psychoanalysis, cognitive science, architecture, artificial intelligence, sociology, linguistics, anthropology.

7th UNIVERSAL LOGIC SCHOOL

The school will have a duration of 5 days: from March 28 to April 1st 2021 with:
- an opening round table on the topic "Why study logic?"
- 30 tutorials
- A poster session.

7th UNIVERSAL LOGIC CONGRESS

The congress will have a duration of 6 days: from April 2 to April 7 2021 with
- invited speakers
- contributing speakers
- workshops
- a secret speaker (as in previous editions), i.e. a speaker whose identity is revealed only at the time of his/her/its talk or after
- a contest

2nd WORLD LOGIC PRIZES CONTEST

The 1st World Logic Prizes Contest took place in Vichy, France, during the 6th UNILOG in 2018.
This contest is a competition between winners of logic prizes of different countries.

To the winner is awarded the Universal Logic Prize.

UNILOG 2021 is organized under the Aegis of the Government of Crete.
Crete is an island with a history of about 5.000 years, cradle of Western civilization, including the Labyrinth, Plato's cave and much more.

Everybody is welcome to join and enjoy this wonderful place.

UNILOG 2021 - The 7th World Congress and School on Universal Logic
https://www.uni-log.org/

MFOI-2020

We would remind that in view of the outbreak of the Coronavirus disease (COVID-19), VI International Conference on Mathematical Foundations of Informatics (MFOI-2020) will be run in the online mode.

MFOI-2020 is postponed to January 12–16, 2021.

During MFOI, January 14, 2021 is devoted to the World Logic Day.

The collocated events on January 14, 2021 are

• Symposium on Logic and Artificial Intelligence (SlAI), Chisinau, Moldova
• Moldovan Prizes in Logic and Artificial Intelligence
• Romanian Prizes in Logic and Artificial Intelligence
• Ukrainian Logic Society Prize – 2021

Program of the MFOI-2020 is in the attached PDF file.

Перегляд	Причіплений файл	Розмір
	MFOI 2020 Program.pdf	233.74 КБ

7th World Congress on the Square of Opposition

Two weeks ago we had a celebration on the Square of Opposition for the 3rd edition of the World Logic Day.
On the page of the event you can find slides and papers:

We would like to remember that the 7th edition of the World Congress on the Square of Opposition should take place in Leuven, Belgium Sept 7-11, 2021:

and that the deadline to submit an abstract is April 21, 2021.

Due to coronavirus the event has been postponed from September 2020 to September 2021. All initially accepted abstracts are automatically approved for presentation in September 2021, and do not have to be resubmitted. If you did not submit an abstract for the cancelled 2020 edition, you can submit a contribution for the 2021 edition by sending a one page abstract before April 21, 2021 to: leuven2020@square-of-opposition.org.

For additional information see the site of the congress above.

TABLEAUX 2021

The main information:

Scope of conference

Tableaux and other proof based methods offer convenient and flexible tools for automated reasoning for both classical and non-classical logics. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

Topics of interest include but are not limited to:

• tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, linear, substructural, relevance, non-monotonic logics) and their proof-theoretic foundations;
• related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches);
• sequent, natural deduction, labelled, nested and deep calculi for classical and non-classical logics, as tools for proof search and proof representation;
• flexible, easily extendable, light weight methods for theorem proving;
• novel types of calculi for theorem proving and verification in classical and non-classical logics;
• systems, tools, implementations, empirical evaluations and applications (provers, logical frameworks, model checkers, ...);
• implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, ...);
• extensions of tableau procedures with conflict-driven learning, generation of proofs; compact (or humanly readable) representation of proofs;
• decision procedures, theoretically optimal procedures;
• applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching.

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

Submission Guidelines

Submissions are invited in two categories:

A. research papers, which describe original theoretical research or applications, with length up to 15 pages excluding references;
B. system descriptions, with length up to 9 pages excluding references.

There will also be a later call inviting position papers and brief reports on work-in-progress. Details will be kept up to date on the website.

Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version.

For category (A) submissions, the reported results must be original and not submitted for publication elsewhere. For category (B) submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories (A) and (B) will be published in the conference proceedings.

Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system:
https://easychair.org/conferences/?conf=tableaux21.

For all accepted papers at least one author is required to register to the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at:
http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines.

Important Dates

Abstract submission: 19 April 2021 (AoE)
Paper submission: 26 April 2021 (AoE)
Notification: 14 June 2021
TABLEAUX Conference: 6-9 September 2021

Conference Format and COVID-19

TABLEAUX 2021 and FroCoS 2021 are intended to be hybrid conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before the notification date 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made.

Publication

The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS).

For complete information see the site of Tableaux 2021.