Logic List Mailing Archive

IJCAR 2022: Automated Reasoning

7-12 Aug 2022
Haifa, Israel

IJCAR 2022: call for workshops, tutorials and competitions

11th International Joint Conference on Automated Reasoning ? IJCAR 2022
August 7?12, 2022, Haifa, Israel, part of FLoC 2022,
https://easychair.org/smart-program/IJCAR2022/

The International Joint Conference on Automated Reasoning (IJCAR 2022), part of
the Eighth Federated Logic Conference (FLoC 2022), is soliciting proposals for
workshops, tutorials and competitions.

Researchers are invited to submit proposals on any topic related to automated
reasoning, from theoretical foundations to tools and applications.

The workshops and tutorials will take place before and after the FLoC
conferences:
  * Sunday & Monday, July 31?August 1, 2022, and
  * Thursday & Friday, August 11?12, 2022.
(Note that IJCAR will take place on August 7-10, 2022. We recommend that you
plan your event on the second period, and indicate it in the proposal.)

Proposals for all conferences affiliated to FLoC, including IJCAR, will be
reviewed jointly. Please make sure that the proposal indicates an affiliation
to IJCAR.

Proposals must be submitted before September 27, 2021.

For further details about the submission process and the expected content of
workshop and tutorial proposals, seehttps://floc2022.org/workshops/  .
Competition proposals should be sent directly to Yoni Zohar atyoni206@gmail.com 
.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam