[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
IJCAR-11 - Call for participation
|
From: |
geoff |
|
Subject: |
IJCAR-11 - Call for participation |
|
Date: |
Wed, 1 Jun 2022 18:46:01 -0400 (EDT) |
The 11th International Joint Conference on Automated Reasoning (IJCAR 2022)
August 8-10, in-person in Haifa, Israel
The program for IJCAR 2022 is now available at ...
https://easychair.org/smart-program/FLoC2022/IJCAR-program.html
The workshops assocbiated with IJCAR 2022 are listed at ...
https://easychair.org/smart-program/FLoC2022/IJCAR-workshops.html
Registration for IJCAR 2022 is now open at ...
https://easychair.org/smart-program/FLoC2022/IJCAR-Registration.html
Grants to support students' attendance at IJCAR 2022 are available ...
https://easychair.org/smart-program/FLoC2022/IJCAR-Grants.html
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- IJCAR-11 - Call for participation,
geoff <=