ARQNL
2018
Automated Reasoning in Quantified Non-Classical Logics
3rd International Workshop (associated with FLoC and IJCAR 2018)
18 July 2018, Oxford, United Kingdom
Home
Programme
Call for Papers
Programme Committee
Contact Us
Important Dates
Submission of Abstracts
15 April 2018 (
extended!
)
Submission of Papers
22 April 2018 (
extended!
)
Author Notifications
15 May 2018
Final Paper Versions
25 May 2018
Workshop Date
18 July 2018
Useful Links
Poster/Call-for-Papers
ARQNL-2018.pdf (102 KB)
IJCAR Website
IJCAR 2018
FLoC Website
FLoC 2018
Contact Us
Organizers
Christoph Benzmüller
, Freie Universität Berlin
c.benzmueller@fu
-berlin.de
Jens Otten
, University of Oslo
jeotten@ifi
.uio.no