7th WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

Наступного, 2022-го року на грецькому Криті заплановано проведення чергових, вже 7-их Всесвітніх конгресу та школи з універсальної логіки. Вже маємо сайт події та повідомлення від організаторів:

In one year will start the 7th edition of UNILOG to take place at the Orthodox Academy of Crete, April 1-11, 2022 with a school (April 1-5) and a congress (April 6-11).
The school will offer 30 tutorials on all aspects of logic.

The congress will include 20 workshops, the World Logic Prizes Contest and a Secret Speaker.

You can submit a tutorial, a workshop or a talk (see the link above).

Call For Papers, Workshops and Tutorials

Talks related to any aspect of logic are welcome. Send a one page abstract to UNILOG 2022 (unilog2021@uni-log.org) before July 21st, 2021.

You can also submit a workshop related to any aspect of logic. Send a one page description of the workshop to UNILOG'2022 before May 21st, 2021. Organizers of workshop will be responsible for the selection of the keynote and contributing speakers of their workshop (circulating a CFP) and should state if they can financially support their coming and the coming of their keynote speakers. A workshop should have 1 to 3 keynote speakers and between 5 to 15 contributing speakers. The duration of a workshop is between half a day and two days. Workshops take place during the congress.

It is possible also to submit a tutorial for the school related to any aspect of logic. Send a one page description of the tutorial to UNILOG'2022 before May 21st, 2021. A tutorial has a duration of 3h displayed in three sessions, each session being on a different day. Those who are submitting a tutorial should state if they can financially support their coming. They should be able to promote their tutorial to attract a good audience.

Registration

Early Registration fee - before Nov 1st, 2021

---

REGULAR REGISTRATION FEE
School: Euro 300
Congress: Euro 300
Congress + School: Euro 500

REDUCED FEE
School: Euro 200
Congress: Euro 200
Congress + School: Euro 400

---

Registration fee after 01.11.2021 or on Arrival

---

REGULAR REGISTRATION FEE
School: Euro 450
Congress: Euro 450
Congress + School: Euro 650

REDUCED FEE
School: Euro 350
Congress: Euro 350
Congress + School: Euro 550

Reduced fee applies to people having an income lower than 1.000 euros per month independently of their country of origin or position (Professor, Student, etc.)

Symposium on Logic and Artificial Intelligence • 2022

The Symposium on Logic and Artificial Intelligence (“Symposium on L&AI” or “SLAI”) is annually organized by the International Society for Logic and Artificial Intelligence (ISLAI) in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions.

SLAI-2022 is organized in cooperation with:

• Louisiana Scholars’ College at Northwestern State University, Louisiana, USA, Host
• Taras Shevchenko National University of Kyiv, Ukraine,
• Alexandru Ioan Cuza University of Iasi, Romania,
• Vladimir Andrunachievici Institute of Mathematics and Computer Science, Chisinau, Moldova,
• Ukrainian Logic Society, Ukraine,
• Academy of Sciences, Moldova.

SLAI-2022 is devoted to the World Logic Day.

Collocated to SLAI-2022 events are

• Moldovan Prizes in Logic and Artificial Intelligence
• Romanian Prizes in Logic and Artificial Intelligence
• Ukrainian Seminar on Logic and its Applications – 2022

SLAI-2022 with collocated events is a cluster of World Logic Day events.

Each talk will be scheduled for one of the two time slots:

• American time slot (CST timezone), and
• European time slot (EEST timezone).

Call for papers/Topics

All accepted papers will be published in Proceedings of L&AI Symposium within one month after the symposium. The selected papers will be also published after the conference in the CSJM (Computer Science Journal of Moldova – indexed in Mathematical Reviews, Zentralblatt MATH, Clarivate Analytics/Web of Science (ISI), MathSciNet, DBLP, DOAJ, EBSCO) or in the Bulletin of Academy of Sciences of Moldova, ser. Mathematics (indexed in Mathematical Reviews, Zentralblatt MATH, SCImago Journal Rank (SJR), Russian RZh Matematika).

Any original contributions are welcome, including but not limited to:

• logic in informatics, databases, and artificial intelligence;
• theoretical aspects of artificial intelligence;
• theoretical aspects of automated reasoning;
• combining artificial intelligence with augmented and virtual reality;
• data mining and knowledge discovery;
• knowledge representation and knowledge modeling;
• ontologies and semantic technologies;
• natural language processing, text mining and text generation;
• logic of natural language;
• formal languages and automata;
• neural networks and Bayesian network (synonyms: belief network, or decision network);
• machine learning and deep learning;
• explainable artificial intelligence;
• nonclassical logics and their applications;
• abductive reasoning;
• fuzzy logics and many-valued logics;
• causal inference;
• epistemic and temporal reasoning;
• inductive reasoning;
• rough sets / rough set computing.

The papers will be submitted through the Easy Chair system.

Requirements to papers:

Your paper is required to be 6-16 pages in English (one page approximating A5 size, i.e. about 800 words), and using the SLAI templates (SLAI2022_template_A5.doc; slai2022_template.tex, slai2022_template.pdf, slai_2022.sty).

Please, start with a succinct statement of the problem, present your results, their significance and a comparison with previous works (if any), as well as a list of references. The submissions should also include the title of proposed paper, author’s names, affiliations, addresses, the name of an author to contact for a possible correspondence, the e-mail address of the contact author, and topics which best describe the paper (max. 5 keywords).

Plagiarism check

Please be informed, that the camera-ready version of your paper will be checked for (self-) plagiarism. This check is performed as SLAI commits to comply with the Committee on Publication Ethics Guidelines (https://publicationethics.org/guidance/Guidelines). The papers that fail to pass this check will be excluded from the proceedings.

Important Dates

All deadlines are at 23:59 Hawaii time on the date given below:

• Paper submission deadline: October 18, 2021.
• Acceptance notification: November 29, 2021.
• Registration deadline: January 10, 2022.
• Symposium: January 12–16, 2022.

Keynote Speakers

David Makinson (London, UK):
Logicians like climbing trees

Leora Morgenstern (Palo Alto, USA):
From text to battle simulations using formal representations: How NLP, logic, and planning work together in COMBAT

Irina Perfilieva (Ostrava, Czech Republic):
Fuzzy sets, fuzzy partitions and manifolds

Anatol Reibold (Darmstadt, Hessen, Germany):
Deep learning as a special case of abductive reasoning

Dimiter Vakarelov (Sofia, Bulgaria):
Region-based theories of space and time

Contact

Please contact us by the email slai2022(at)islai.org

More information about SLAI-2022.

Симпозіум з логіки та штучного інтелекту – запрошені лекції

В рамках Всесвітнього Дня Логіки
https://wld.cipsh.international/wld2022.html
організовано Симпозіум з логіки та штучного інтелекту
https://slai2022.islai.org/
(13-15 січня 2022 року, програму долучено)

ZOOM link to All SLAI-2022 sessionS:
https://zoom.us/j/2022131415
Time is EET (Romania-Moldova-Ukraine time)

Запрошуємо колег, аспірантів та студентів долучитись до Симпозіуму та до наступних запрошених лекцій:

 

З повагою,
Микола Нікітченко