AReCCa
2023
Automated Reasoning with Connection Calculi
International Workshop (associated with TABLEAUX 2023)
18 September 2023, Prague, Czech Republic
Home
Programme
Call for Papers
Programme Committee
Contact Us
Important Dates
Abstract submission
1 September 2023
Paper submission
4 September 2023
Author notifications
7 September 2023
Final paper version
11 September 2023
Workshop
18 September 2023
Useful Links
Call for Papers
AReCCa-2023_CfP.txt
TABLEAUX Website
TABLEAUX 2023
Contact Us
Organizers
Jens Otten
, University of Oslo
jeotten
@
ifi.
uio.
no
Wolfgang Bibel
, Technical University of Darmstadt
bibel
@
intellektik.
de